パスカルの三角形
パスカルの三角形（パスカルのさんかくけい、）は、二項展開における係数を三角形状に並べたものである。ブレーズ・パスカル（1623年 - 1662年）の名前がついているが、実際にはパスカルより何世紀も前の数学者たちも研究していた。
この三角形の作り方は単純なルールに基づいている。まず最上段に 1 を配置する。それより下の行はその位置の右上の数と左上の数の和を配置する。例えば、5段目の左から2番目には、左上の 1 と右上の 3 の合計である 4 が入る。このようにして数を並べると、上から "n" 段目、左から "k" 番目の数は、二項係数
に等しい。これは、パスカルによって示された以下の式に基づいている。
負でない整数 "n" ≥ "k" に対して
が成り立つ。
パスカルの三角形の最初の10段は以下のようになる。
パスカルの三角形は、二項展開でよく使用される。例えば
のそれぞれの係数は三角形の3段目の数 1 2 1 と一致する。一般に
とおくと、"a" たちは、パスカルの三角形の "n" + 1 段目に並んでいる数である。このことは数学的帰納法により示すことができる。まず、"n" = 0, 1 の場合は明らかである。次に、
この三角形の奇数の部分を塗りつぶすとシェルピンスキーのギャスケットになる。これは2で割った余りによると考えることができるが、一般に2以外の数でも、割った余りによって塗りわけると同様な別のフラクタル模様になる。
二項係数は組合せの数でもあるので、組合せ数学においてもパスカルの三角形は有用である。"n" 個のものから異なる "k" 個選ぶ選び方 "C" の値は、パスカルの三角形の ("n" + 1) 段目の端から ("k" + 1) 番目の数に等しい。1 ≤ "k" ≤ "n" − 1 の場合、これは "n" − 1 次元単体の "k" − 1 次元面の数でもある。例えば5段目の端から2番目の4は四面体（3次元単体）の頂点（0次元面）の数、3番目の6は辺（1次元面）の数、4番目の4は面（2次元面）の数である。これは四面体の場合、二つの頂点を結ぶ線分の集合は辺の集合に等しく、三つの頂点を結ぶ三角形の集合は面の集合に等しいためである。
パスカルの三角形の最も単純な性質として、以下のようなものがある。
三角形の各数字が最上段の位置を頂点とした斜めの格子の上にあると仮定したとき、各数字は最上段の1から格子の線を通って最短距離でその場所に着く経路の数となる。
更に単純な性質は1行目が11の0乗 (= 1)、2行目が11の1乗 (= 11)、3行目が11の2乗 (= 121)…… というように、"n" 行目が 11 の "n" − 1 乗になる (ただし5行目以降の2桁以上の数は繰り上がりさせる)。
他の性質としては、フィボナッチ数に関する物がある。左側2列の任意の数字から桂馬跳びの様に斜めに数字を拾い、その合計を取るとフィボナッチ数になる。例えば5段目の4から始め 4, 10, 6, 1 の4つの数字（右の図で四角で囲まれている物）を拾うと、その合計は 21 となり、これはフィボナッチ数である。同様に、5段目の1から始めて 1, 10, 15, 7, 1 の5つの数字（右の図の網がかかったもの）の合計は 34 となる。
"m" 段目にあるそれぞれの数を2乗して足すと、2"m" − 1 段目の中央の数になる。例えば、5段目では 1 + 4 + 6 + 4 + 1 = 70 となり、9段目の中央の数に一致する。これは、以下の式に基づいている。
奇数段目の中央の数字からその2つ隣の数を引くと、カタラン数になる。例えば、7段目の中央の20からその2つ横の 6 を引くと 20 − 6 = 14 であり、これは4番目のカタラン数に等しい。
また、"m" 段目のそれぞれの数字の合計は、2 となる。例えば、5段目に出現する数字の合計は 1 + 4 + 6 + 4 + 1 = 16 であり、この値は 2 に等しい。これは、2 = (1 + 1) を二項展開することで容易に示すことができる。
ある段の端から2番目の数 "p" が素数のとき、その段の両端以外の数字は "p" の倍数となる。
この三角形について確認できる最古の文献は、インドの数学者の著作に対して10世紀にが書いた注釈『ムリタサンジーヴァニー』である。ピンガラの原文は断片的にしか現存していないが、ハラーユダはピンガラの "Meru-prastaara"『須弥山の階段』という言葉をパスカルの三角形のことだと解釈している。ハラーユダは、三角形とフィボナッチ数との関係についても理解していた。
中国では11世紀に数学者の、13世紀に数学者の楊輝がこの三角形を研究しており、同国内ではこの三角形は「賈憲三角形」または「楊輝三角形」と呼ばれている。
ペルシアでは、とウマル・ハイヤームが研究しており、イラン国内では「ハイヤームの三角形」と呼ばれる。ハイヤームは、二項定理を含むいくつかの定理がこの三角形に含まれることを知っており、"n" 次の二項展開の係数を求める方法を知っていたと考えられる。
イタリアでは、三次方程式の解法で知られるニコロ・フォンタナ・タルタリアにちなみ「タルタリアの三角形」と呼ばれる。なお、「タルタリアの三角形」には別のものもある。
ブレーズ・パスカルは1655年に発表した『"Traité du triangle arithmétique"』の中でこの三角形について言及している。彼はこの中で今までに知られていた結果をまとめ、確率論の研究に利用している。
パスカルより後の数学者では、アブラーム・ド・モアブルらが「算術の三角形」と呼んでいる。
パスカルの三角形は二次元以外に拡張が可能である。
0次のものはただ一つの1である。
1次のものは無数の1が並ぶ。これはただ一つの項 "x" を何乗しても係数は1で変わらないことを示す。
3次のものは三項展開における係数を三角錐状に並べたもので「」「パスカルの四面体」「パスカルの三角錐」と呼ばれる（ただし、エジプトのギザの大ピラミッドは五面体で四角錐である）。パスカルの三角錐の頂点は1であり、それより下の段にはその上方に位置する三つの数の和を配置する。頂点から下る三本の辺にはそれぞれ無数の1が並ぶ。三つの側面はいずれもパスカルの三角形である。"n" 段目には "x" + "y" + "z" を "n" − 1 乗して展開した係数が三角形状に並ぶ。三角形の三つの頂点はいずれも1であり、三本の辺はいずれもパスカルの三角形の "n" 段目に等しい。三角錐の "n" 段目の数字の総和は 3 である。
4次以上のものは一般に「パスカルの単体」と呼ばれ、3次元空間に描くことは不可能であるが、4次のものは五胞体状で、各段は三角錐状であるので描くことができる。三角錐の四つの頂点はいずれも1であり、六本の辺はいずれもパスカルの三角形の同じ段に等しく、四つの面はいずれもパスカルの三角錐の同じ段の三角形に等しい。三角錐の数字の総和は一辺の数字の総和の2乗に等しい。