今年の柿は不作だった。
第一の原因は、夏場に雨天が続いて十分な日照時間が確保できなかったことである。さらに追い打ちをかけたのが台風１９号である。熟した実が暴風雨を受けて一夜でたくさん振り落とされてしまった。
それでもけなげに耐え抜いてくれたのが彼らである。
ちょうど２０個であった。これを積上げてみると一辺の長さ４の三角錐がきれいに出来上がった。
いきなり数学の話になって恐縮だが、ｄ次元の三角錐を考える。一辺の長さをｎとしたときに、三角錐を構成する柿の実の数を、
と表す。一番わかりやすい２次元の場合（三角形）を考えると、
柿はこのように積み上げられ、長さｎの柿の実の数は、
で与えられることは有名である。幼少のガウスがこれを発見したという話もある。次に３次元を考えると長さが１～ｎの三角形を積み上げていくことになる。この操作を一般のｄ次元に拡張すると、柿の実の数に関する漸化式は、
となる。３次元の場合でこれを計算すると、
となる。今回、収穫した２０個の柿については、
と記述される。
４次元以上の場合も同様の漸化式で計算することになるが、その計算は次元数が増えるに従って複雑化してしまう。もっとわかりやすい計算方法はないだろうか。ということで、２次元、３次元の式を並べてみる。
これらはどこかに見覚えがある。それは分子の掛け算の順序を入れ替えるとわかりやすい。
これから次の定理が予想される。
これを数学的帰納法で証明する。
(1) d＝１の場合、三角錐を想像するのは難しいが、
と考えれば、
であり、確かに成り立つ。
(2) ｄ＝ｋ次元で成立すると仮定する。すなわち、
ｄ＝ｋ＋１次元について漸化式を用いて計算する。
つまりｋ＋１次元でも成立する。
以上より、すべてのｄ次元について成立することが証明された。この過程で、下記の恒等式を使用した。
この恒等式はパスカルの三角形において、斜めに並んだ数の総和がすぐ斜め下に登場するという原理を示している。
三角錐に関する定理が同じく三角形の原理から導き出されることは決して偶然ではない。
今回の１，２，３次元のｎに対応した柿の数の列を書き出してみる。
これらの数列は、パスカルの三角形の上にきちんと並んでいる。
今回の柿の数である２０もすでにここに登場していた。こうしてみると、パスカルの三角形が柿の個数を数えるために存在していたような気がしてくるから不思議である。
