パスカルの三角形のソースを表示

{{出典の明記|date=2019-01-16}}
[[File:Pascal's triangle 5.svg|thumb|パスカルの三角形の最初の6段]]
'''パスカルの三角形'''（パスカルのさんかくけい、{{lang-en-short|Pascal's triangle}}）は、[[二項定理|二項展開]]における[[係数]]を[[三角形]]状に並べたものである。[[ブレーズ・パスカル]]（1623年 - 1662年）の名前がついているが、実際にはパスカルより何世紀も前の数学者たちも研究していた。

この三角形の作り方は単純なルールに基づいている。まず最上段に 1 を配置する<ref>最上段には実質的な意味は薄く、2段目の二つの 1 を1段目として紹介される場合もある。この方が以下で説明する数式が簡単になる（1を引いたり足したりする必要がなくなる）場合が多い。最上段の 1 を取り除いても無数の 1 で囲まれる構図は変わらず、屋上屋を重ねるという見方もある。</ref>。それより下の段は両端には 1 を、それ以外の位置には右上の数と左上の数の和を配置する。例えば、5段目の左から2番目には、左上の 1 と右上の 3 の合計である 4 が入る。このようにして数を並べると、上から ''n'' 段目、左から ''k'' 番目の数は、[[二項係数]]
{{indent|<math>{n-1 \choose k-1} = {}_{n-1}\mathrm{C}_{k-1}</math>}}
に等しい。これは、パスカルによって示された以下の式に基づいている。

[[負の整数|負]]でない整数 ''n'' &ge; ''k'' に対して
{{indent|<math>{n \choose k} = {n-1 \choose k-1} + {n-1 \choose k}</math>}}
{{indent|<math>{n \choose 0} = {n \choose n} = 1</math>}}
が成り立つ。

== 三角形 ==
パスカルの三角形の最初の11段は以下のようになる。

[[Image:Pascal triangle.svg]]

これ以降の数字列は{{OEIS|A003590}}を参照。

後述の[[シェルピンスキーのギャスケット]]の図のように、最上段を左上にした直角二等辺三角形状に並べる描き方もある。

== パスカルの三角形の使用 ==
パスカルの三角形は、[[二項定理|二項展開]]でよく使用される。例えば
{{indent|<math>(x+y)^2=x^2+2xy+y^2</math>}}
のそれぞれの[[係数]]は三角形の3段目の数 1 2 1 と一致する。一般に
{{indent|<math>(x+y)^n=a_0x^n+a_1x^{n-1}y+a_2x^{n-2}y^2+\cdots+a_{n-1}xy^{n-1}+a_ny^n</math>}}
とおくと、''a''<sub>''i''</sub> たちは、パスカルの三角形の ''n'' + 1 段目に並んでいる数である。このことは[[数学的帰納法]]により示すことができる。まず、''n'' = 0 の場合は明らかである。次に、
{{indent|<math>(x+y)^n=\sum_{i=0}^n a_i x^{n-i}y^i</math>}}
とすると、
{{indent|<math>
\begin{align}
(x+y)^{n+1}
&=x(x+y)^n+y(x+y)^n \\
&=\sum_{i=0}^n a_i x^{n-i+1} y^i+\sum_{i=0}^n a_i x^{n-i} y^{i+1} \\
&=\sum_{i=0}^n a_i x^{n-i+1} y^i+\sum_{i=1}^{n+1} a_{i-1} x^{n-i+1} y^i \\
&=a_0x^{n+1}+\sum_{i=1}^n a_i x^{n-i+1} y^i+\sum_{i=1}^n a_{i-1} x^{n-i+1} y^i+a_n y^{n+1} \\
&=x^{n+1}+\sum_{i=1}^n (a_{i-1}+a_i) x^{n-i+1} y^i+y^{n+1}
\end{align}
</math>}}
となる。

この三角形の奇数の部分を塗りつぶすと[[シェルピンスキーのギャスケット]]になる。これは2で割った余りによると考えることができるが、一般に2以外の数でも、割った余りによって塗りわけると同様な別の[[フラクタル]]模様になる。

二項係数は[[組合せ (数学)|組合せ]]の数でもあるので、[[組合せ数学]]においてもパスカルの三角形は有用である。''n'' 個のものから異なる ''k'' 個選ぶ選び方 <sub>''n''</sub>''C''<sub>''k''</sub> の値は、パスカルの三角形の (''n'' + 1) 段目の端から (''k'' + 1) 番目の数に等しい。1 &le; ''k'' &le; ''n'' &minus; 1 の場合、これは ''n'' &minus; 1 次元単体の ''k'' &minus; 1 次元[[面 (幾何学)|面]]の数でもある。例えば5段目の端から2番目の4は四面体（3次元単体）の頂点（0次元面）の数、3番目の6は辺（1次元面）の数、4番目の4は面（2次元面）の数である。これは四面体の場合、二つの頂点を結ぶ線分の集合は辺の集合に等しく、三つの頂点を結ぶ三角形の集合は面の集合に等しいためである<ref>二つの面が共有する線分の集合が辺の集合、三つの面が共有する点の集合が頂点の集合と考えてもよい。また3<sup>''n''</sup> = (1 + 2)<sup>''n''</sup> = (2 + 1)<sup>''n''</sup> を二項展開すればn次元の[[正軸体]]と[[超立方体]]の各次元面の数字が現れる。</ref>。両端の1は[[空集合]]（-1次元面）と全体集合（3次元面）の数とも解釈できる。最上段では空集合＝全体集合となる。

また[[代数的位相幾何学]]において、n次元[[トーラス]]の0でない[[ベッチ数]]の列はパスカルの三角形の n + 1 段目の数字に等しい。

== パスカルの三角形の性質 ==
パスカルの三角形の最も単純な性質として、以下のようなものがある。
* 頂上から右下・左下の方向へ並ぶ数字はすべて1である。
* 2段目の 1 から右下・左下の方向（すべて1の方向を除く。以下同じ）には[[自然数]]の列が現れる<ref>一般的な呼び方ではないが自然数は「線分数」、無限に続く 1 は「点数」と考えられる。</ref>。
* 3段目の 1 から右下・左下の方向には[[三角数]]の列が現れる。
* 4段目の 1 から右下・左下の方向には[[三角錐数]]の列が現れる。
* 5段目の 1 から右下・左下の方向には[[五胞体数]]の列が現れる。
* 一般的に ''n'' 段目の 1 から右下・左下の方向には ''n'' &minus; 1 次元[[単体 (数学)|単体]]数が現れる。<div style="margin-top:1ex; margin-left:2em; margin-bottom:1ex;"><math> \textrm{tri}_0(n) = 1, \quad \textrm{tri}_{d}(n) = \sum_{i=1}^n \mathrm{tri}_{d-1}(i). </math></div>
* 前項までと同じ内容を次のように表現してもよい。（頂点と両辺に並んだ）1を除くすべての数は、その右上から左上端まで伸びる数列の総和に等しく、左上から右上端まで伸びる数列の総和に等しい。例えば6段目の左から3番目の10は、右上の6とその左上の3, その左上の1の総和に等しく（10は3番目の三角錐数）、左上の4とその右上の3, その右上の2, その右上の1の総和に等しい（10は4番目の三角数）。
* 偶数段目の中央の数（左右2個存在する）に限り、左は右上から右上端まで、右は左上から左上端まで伸びる数列の総和とも等しい。例えば6段目の中央数10は1, 3, 6の総和となる。数列の最初は1、最後は奇数段目の中央数（1個のみ）である。一般的に ''n'' &plus; 1 番目の ''n'' &minus; 1 次元単体数は ''n'' 番目までの総和と等しい。<div style="margin-top:1ex; margin-left:2em; margin-bottom:1ex;"><math> \quad \textrm{tri}_{n-1}(n+1) = \sum_{i=1}^n \mathrm{tri}_{n-1}(i). </math></div>
* ''n'' 次元単体数の[[逆数]]を[[部分分数分解]]すると、分子にはパスカルの三角形の ''n'' 段目の数字が現れる。

三角形の各数字が最上段の位置を頂点とした斜めの格子の上にあると仮定したとき、各数字は最上段の1から格子の線を通って最短距離でその場所に着く経路の数となる。

更に単純な性質は1段目が11の0乗 (= 1)、2段目が11の1乗 (= 11)、3段目が11の2乗 (= 121)…… というように、''n'' 段目の数字の列を一つの数字と見なすと 11 の ''n'' &minus; 1 乗になる (ただし6段目以降の2桁以上の数は繰り上がりさせる)。これは、11<sup>''n''&minus;1</sup> = (10 + 1)<sup>''n''&minus;1</sup> を二項展開することで容易に示すことができる。

[[Image:Pascal triangle Fibonacci.png|thumb|220px|パスカルの三角形とフィボナッチ数]]
他の性質としては、[[フィボナッチ数]]に関するものがある。左側（または右側）2列の任意の数字から[[桂馬]]跳びの様に斜めに数字を拾い、その合計を取るとフィボナッチ数になる。例えば5段目の4から始め 4, 10, 6, 1 の4つの数字（右の図で四角で囲まれているもの）を拾うと、その合計は 21 となり、これはフィボナッチ数である。同様に、5段目の1から始めて 1, 10, 15, 7, 1 の5つの数字（右の図の網がかかったもの）の合計は 34 となる。また {{mvar|n}} が十分に大きいとき、フィボナッチ数列の漸化式を遡らせるとパスカルの三角形が現れ、桂馬跳びに同じ項が現れる。

<math>F_n = F_{n-1}+F_{n-2} = F_{n-2}+2F_{n-3}+F_{n-4} = F_{n-3}+3F_{n-4}+3F_{n-5}+F_{n-6}</math>

''m'' 段目のそれぞれの数字の合計は、2<sup>''m''&minus;1</sup> となる。例えば、5段目に出現する数字の合計は 1 + 4 + 6 + 4 + 1 = 16 であり、この値は 2<sup>5&minus;1</sup> に等しい。これは、2<sup>''m''&minus;1</sup> = (1 + 1)<sup>''m''&minus;1</sup> を二項展開することで容易に示すことができる。1段目から ''m'' 段目までの数字の総計は 2<sup>''m''</sup> &minus; 1 となる。

2段目以降の数字の[[交項級数|交代和]]はすべて 0 となる。例えば、5段目の数字の交代和は 1 - 4 + 6 - 4 + 1 = 0 である。これは、0<sup>''m''&minus;1</sup> = {1 + (-1)}<sup>''m''&minus;1</sup> を二項展開することで容易に示すことができ、[[レオンハルト・オイラー|オイラー]]の[[多面体]]定理や[[ルートヴィヒ・シュレーフリ|シュレーフリ]]の[[多胞体#多胞体公式|多胞体公式]]に関連する。1段目が合わない理由は[[0の0乗]]になるためである。

''m'' 段目にあるそれぞれの数を2乗して足すと、2''m'' &minus; 1 段目の中央の数になる。例えば、5段目では 1<sup>2</sup> + 4<sup>2</sup> + 6<sup>2</sup> + 4<sup>2</sup> + 1<sup>2</sup> = 70 となり、9段目の中央の数に一致する。これは、以下の式に基づいている。
{{indent|<math>\sum_{k=0}^n {n \choose k}^2 = {2n \choose n}</math>}}

奇数段目の中央の数字からその2つ隣の数を引くと、[[カタラン数]]になる。例えば、7段目の中央の20からその2つ横の 6 を引くと 20 &minus; 6 = 14 であり、これは4番目のカタラン数に等しい。

ある段の端から2番目の数 ''p'' が[[素数]]のときに限り、その段の両端以外の数字はすべて ''p'' の[[倍数]]となり、段の合計 2<sup>''p''</sup> を ''p'' で割った余りは 2 となる（[[フェルマーの小定理]]）。

パスカルの三角形を作成し、各数の倍数に色を付けると、右のような模様ができる。（前節「[[シェルピンスキーのギャスケット]]」）<ref>https://javalab.org/ja/pascals_triangle_ja/</ref>
[[ファイル:パスカルの三角形の倍数に色を付けたもの。.gif|サムネイル|パスカルの三角形の倍数に色を付けると模様ができる。]]

パスカルの三角形全体の数字の[[濃度 (数学)|濃度]]は自然数の集合に等しいが、その総計は[[連続体濃度]]となる。

== 歴史と名称 ==
[[画像:Yanghui triangle.PNG|250px|thumb|[[朱世傑]]の四元玉鑑（1303年）における楊輝の三角形]]
[[画像:Jiaxian.jpg|300px|thumb|『[[永楽大典]]』16344巻（[[1408年]]）より。<br />[[楊輝]]は{{仮リンク|賈憲|en|Jia Xian}}の『釈鎖算書』中の「パスカルの三角形」を引用した。]]
この三角形について確認できる最古の文献は、[[インド]]の[[数学者]]{{ill2|ピンガラ|en|Pingala}}の著作に対して10世紀に{{ill2|ハラーユダ|en|Halayudha}}が書いた注釈『ムリタサンジーヴァニー』である。ピンガラの原文は断片的にしか現存していないが、ハラーユダはピンガラの ''Meru-prastaara''『[[須弥山]]の階段』という言葉をパスカルの三角形のことだと解釈している。ハラーユダは、三角形と[[フィボナッチ数]]との関係についても理解していた。

[[中国]]では[[11世紀]]に数学者の{{ill2|賈憲|en|Jia Xian}}、[[13世紀]]に数学者の[[楊輝]]がこの三角形を研究しており、[[中華人民共和国|同国]]内ではこの三角形は「賈憲三角形」または「楊輝三角形」と呼ばれている。

[[ペルシア]]では、{{ill2|アル＝カラジ|en|Al-Karaji}}と[[ウマル・ハイヤーム]]が研究しており、[[イラン]]国内では「ハイヤームの三角形」と呼ばれる。ハイヤームは、[[二項定理]]を含むいくつかの定理がこの三角形に含まれることを知っており、''n'' 次の二項展開の係数を求める方法を知っていたと考えられる。

[[イタリア]]では、[[三次方程式]]の解法で知られる[[ニコロ・フォンタナ・タルタリア]]に因み「タルタリアの三角形」と呼ばれる。なお、「タルタリアの三角形」には
::<math>1 + 2 = 3</math>
::<math>4 + 5 + 6 = 7 + 8</math>
::<math>9 + 10 + 11 + 12 = 13 + 14 + 15</math>
:…
と続くもの、
::<math>3^2 + 4^2 = 5^2</math>
::<math>10^2 + 11^2 + 12^2 = 13^2 + 14^2</math>
::<math>21^2 + 22^2 + 23^2 + 24^2 = 25^2 + 26^2 + 27^2</math>
:…
と続くものもある。

[[ブレーズ・パスカル]]は[[1655年]]に発表した『''Traité du triangle arithmétique''』の中でこの三角形について言及している。彼はこの中で今までに知られていた結果をまとめ、[[確率論]]の研究に利用している。

パスカルより後の数学者では、[[アブラーム・ド・モアブル]]らが「算術の三角形」と呼んでいる。

== パスカルの三角形の拡張 ==
パスカルの三角形は二次元以外に拡張が可能であり、一般に「[[パスカルの単体]]」と呼ばれる。

0次のものは唯一の 1 であり、パスカルの三角形の最上段の 1 に該当する。

1次のものは無数の1が並ぶ。これはただ一つの項 ''x'' を何乗しても係数は1で変わらないことを示し、パスカルの三角形の最上段から下る2辺に該当する。仮に「パスカルの線分」と名付ける。

2次のものはパスカルの三角形であり、''n'' 段目の各数字はパスカルの線分の各段（各数字）にパスカルの三角形の ''n'' 段目の各数字を掛けた数になっている。

3次のものは三項展開における係数を[[三角錐]]状に並べたもので「{{ill2|パスカルのピラミッド|en|Pascal's pyramid}}」「パスカルの四面体」「パスカルの三角錐」と呼ばれる（ただし、エジプトのギザの大[[ピラミッド]]は[[五面体]]で[[四角錐]]である）。パスカルの三角錐の最上段は1<ref>これも屋上屋とする見方もあり、2段目を最上段としてもよい。</ref>、2段目は三角形状に並ぶ3個の1、3段目以降は各辺に上方に位置する2個の数の和も、4段目以降は内部に3個の和も配置する。頂点から下る3本の辺にはそれぞれ無数の1が並ぶ。三つの側面はいずれもパスカルの三角形である。''n'' 段目には ''x'' + ''y'' + ''z'' を ''n'' &minus; 1 乗して展開した係数が三角形状に並ぶ。三角形の各段はパスカルの三角形の各段に ''n'' 段目の各数字を掛けた数列になっており、その数字の総和は 3<sup>''n''&minus;1</sup> である。また ''n'' 段目の三角形の ''k'' 段目の数字の合計は ''n'' &minus; 1 次元[[正軸体]]の ''k'' &minus; 2 次元面の数に等しく、各数字は対蹠[[面 (幾何学)#ファセット|ファセット]]（''n'' &minus; 2 次元面）の中心同士を結ぶ線に沿って分割された数であり、3辺の数字は正軸体を取り囲むファセット[[正単体]]の各次元面の数である。[[双対多面体|双対]]の[[超立方体]]については下から数えて ''k'' &minus; 1 次元面の数、対蹠点（頂点）同士を結ぶ線<ref>通常、[[正六面体|立方体]]は面を、[[正八面体]]は頂点を上下にした姿でイメージされるが逆であるため注意を要する。</ref>、頂点の形状をなす正単体と読み替える。2の倍数などで色分けするとシェルピンスキーの四面体になる。パスカルの三角錐の n 段目の三角形の数字を桂馬跳びに拾って合計した数列を上から三角形状に並べ、更に桂馬跳びに拾って合計すると[[フィボナッチ数#トリボナッチ数|トリボナッチ数]]が現れる。

4次のものは四項展開における係数を[[五胞体]]状に並べたもので3次元空間に描くことは不可能であるが、（最上段を除いて）各段は三角錐状であるので描くことができる。三角錐の各段はパスカルの三角錐の各段にパスカルの三角形の ''n'' 段目の各数字を掛けた三角形状の数列になっており、その数字の総和は 4<sup>''n''&minus;1</sup> であり、一辺の数字の総和 2<sup>''n''&minus;1</sup> の2乗に等しい。

== 脚注 ==
{{reflist}}

== 関連項目 ==
[[ファイル:Sierpinski Pascal triangle.svg|サムネイル|パスカル三角形からなるシェルピンスキーのギャスケット]]
{{ウィキプロジェクトリンク|数学|[[画像:Nuvola apps edu mathematics blue-p.svg|34px|Project:数学]]}}
{{ウィキポータルリンク|数学|[[画像:Nuvola apps edu mathematics-p.svg|34px|Portal:数学]]}}
* [[二項定理]]
* [[ライプニッツの調和三角形]]
* [[シェルピンスキーのギャスケット]] - パスカル三角形の奇数と偶数を違う色で塗ったら、この図形のように見える。
* [[シングマスター予想]] - パスカルの三角形に関する予想。

== 外部リンク ==
*{{Kotobank|パスカルの三角形|2=世界大百科事典 第2版}}
*{{高校数学の美しい物語|1042|パスカルの三角形の性質とフラクタル}}
*{{MathWorld|title=Pascal's Triangle|urlname=PascalsTriangle|author=[[:en:Christopher Stover|Stover, Christopher]] and [[:en:Eric_W._Weisstein|Weisstein, Eric W]]}}
	
{{Authority control}}
{{DEFAULTSORT:はすかるのさんかくけい}}
[[Category:初等数学]]
[[Category:組合せ論]]
[[Category:数学に関する記事]]
[[Category:数の三角形]]
[[Category:ブレーズ・パスカル|さんかくけい]]
[[Category:数学のエポニム]]