カタランの三角形とは、次のように対角線上にカタラン数が並ぶ三角形である。
これは縦方向だけの単位数列をもとに、パスカルの三角形と同じように、対角線を超えない範囲で、公式nCr=n-1Cr-1+n-1Crの関係を満たしながら作られている。
この三角形の一般項を求めようと思った。パスカルの三角形でいえば、nCr=n!/(n-r)!r!に対応するものである。
調べていくと、ある記事(注)から、Cn,m=((n+1-m)(n+m)!)/(n+1)!m!であることを知った。しかし、これの導き方は書かれいなかった。どのようにこの公式を導けばよいのだろうか。これを課題とした。
パスカルは隣り合う2つの細胞の比例関係を帰納し、その比例関係から組合せの公式nCr=n!/(n-r)!r!を作った。これを手本にして、比例関係を見つけようとしたができなかった。カタラン数の導き方には、組合せと漸化式の考え方があった。カタランの三角形には漸化式は参考にならないように思えた。組合せを参考すればいいような気になっていた。求める公式は高校数学程度のような気もしたが、もっと高度な数学が必要な気もした。わからないまま、1週間ほど経過した。最短経路の総数に着目すればいいのではないかと寝床のなかで思いついた。
カタラン数を求める図

を参考にして、次の図を作成し、カタランの三角形の一般項を導いた。

カタランの三角形3、カタランの三角形4を参考。
導いてみると、高校数学程度でレベルは低いのだが、自分の身の丈に合っていて、感動したものである。カタランの三角形は、パスカルの三角形と対照したもので、わたしの命名である。対角線上に(n=m)カタラン数が並ぶところは面白いが、カタラン数自体と比べれば、魅力に欠けているような気がしている。
(注)カタラン数 山上滋 http://sss.sci.ibaraki.ac.jp/teaching/catalan.pdf
1 | 111 | 111 | 111 | 111 | 111 | 111 | 111 | 111 | |
1 | 1 | ||||||||
1 | 2 | 2 | |||||||
1 | 3 | 5 | 5 | ||||||
1 | 4 | 9 | 14 | 14 | |||||
1 | 5 | 14 | 28 | 42 | 42 | ||||
1 | 6 | 20 | 48 | 90 | 132 | 132 | |||
1 | 7 | 27 | 75 | 165 | 297 | 429 | 429 | ||
1 | 8 | 35 | 110 | 275 | 572 | 1001 | 1430 | 1430 | |
111 | 191 | 44 | 154 | 429 | 1001 | 2002 | 3432 | 4862 | 4862 |
この三角形の一般項を求めようと思った。パスカルの三角形でいえば、nCr=n!/(n-r)!r!に対応するものである。
調べていくと、ある記事(注)から、Cn,m=((n+1-m)(n+m)!)/(n+1)!m!であることを知った。しかし、これの導き方は書かれいなかった。どのようにこの公式を導けばよいのだろうか。これを課題とした。
パスカルは隣り合う2つの細胞の比例関係を帰納し、その比例関係から組合せの公式nCr=n!/(n-r)!r!を作った。これを手本にして、比例関係を見つけようとしたができなかった。カタラン数の導き方には、組合せと漸化式の考え方があった。カタランの三角形には漸化式は参考にならないように思えた。組合せを参考すればいいような気になっていた。求める公式は高校数学程度のような気もしたが、もっと高度な数学が必要な気もした。わからないまま、1週間ほど経過した。最短経路の総数に着目すればいいのではないかと寝床のなかで思いついた。
カタラン数を求める図

を参考にして、次の図を作成し、カタランの三角形の一般項を導いた。

カタランの三角形3、カタランの三角形4を参考。
導いてみると、高校数学程度でレベルは低いのだが、自分の身の丈に合っていて、感動したものである。カタランの三角形は、パスカルの三角形と対照したもので、わたしの命名である。対角線上に(n=m)カタラン数が並ぶところは面白いが、カタラン数自体と比べれば、魅力に欠けているような気がしている。
(注)カタラン数 山上滋 http://sss.sci.ibaraki.ac.jp/teaching/catalan.pdf
こんな記事を見つける。
球体の1次元の[1]から6面体(立方体 正方形の面)と4面体(正3角錐 正3角形の面)を繋ぐ『ヒフミヨヒンメリ』の吊るされたスケルトンの『カタラン直角三角形』と呼びタイモノの[鉤股弦]の眺めは、
√2/3 4/3 √2 から 1 √8 3 に し
1次元の[1]の垂直面(i 直交補)の軸でのヒフミヨの[鉤股弦]は、
1+8=9 →1²+2³=3²
この光景は、4面体の接続(構成)が、空間(立体)の直交補(i)の軸で捉えると[2]の3乗となり、この[3]が円周の3等分であり、面を構成する直線の[3]本で線(1次元)と面(2次元)の静的な『カタラン直角三角形』と。
≪…点Aと点Bの間の距離が√8となることを知って、平方根(√)を2次元の平面から見たもの…≫は、[1]から[2]への風景(1+1=2)の1・2・3・4次元で無矛盾を静的な『カタラン直角三角形』から≪…冥想…≫し、[鉤股弦]に[離散]的な眺めとしての[時間](i⁴=1)を想い『ヒフミヨ矩形』の『半分こ』の無限が[円]と観える。
この『ヒフミヨ矩形』の『半分こ』の直角三角形の始まりは、
√2 1 √3 (√2)² +i⁴ =(√3)² と観と、
直交補(i)の軸の作用で[鉤股弦]を捉えている。
これから、時間軸を[i⁴]で捉えると、
(√2)²+(√5)⁴=(3)³ は、
3次元(空間)の纏め上げは、静的な『カタラン直角三角形』の3次元軸から4次元軸への変幻として平面(2次元)と空間(3次元)と時間(4次元)を纏め上げているヒフミヨの姿(上空移行)に観える。