パスカルの三角形
日本では、高校1年生もしくは2年生で、次のような三角形に出会う。
この三角形は、パスカルの三角形といわれているが、ブレーズ・パスカル(1623 - 1662)
が現れるはるか以前からパスカルの三角形については研究されていたという。
例えば、
中国・・・楊輝(ようき ヤン・ホイ)の三角形
イラン・・・ハイヤームの三角形
イタリア・・・タルタリアの三角形
パスカルの三角形において、偶数に対する奇数の比率は0に近づくという。
ところで、パスカル自身が用いたものは、次のようなものだったらしい。
このパスカルの三角形は、パスカルの友人メレの次のような質問:
(イ) 2人が賭け金を出し合って始めたゲームを途中で中止した場合、賭け金をどう分配
すれば公平か?
(ロ) 2つのさいころを何回か投げて、少なくとも1回、6のぞろ目が出たら勝ちとしたとき、
何回投げることにすれば、勝つ見込みができるか?
を解くために、考案されたものである。パスカルは、この問題に対して、パスカルの三角形
の性質を使って帰納的に解を導いている。
これらの数字の配列をボンヤリ眺めていると、いろいろな特徴・性質があることに気がつ
く。
パスカルの三角形は、(a+b)n の展開に利用される。
(a+b)2=a2+2ab+b2=1a2+2ab+1b2
(a+b)3=a3+3a2b+3ab2+b3=1a3+3a2b+3ab2+1b3
・・・・・・・・・・・・・・・・
この性質を利用すると、いちいち分配法則を用いることなく、一気に式が展開できる。
たとえば、(a+b)5 を展開したい場合、パスカルの三角形から、
1 5 10 10 5 1
が直ぐ得られるので、
(a+b)5=1a5+5a4b+10a3b2+10a2b3+5ab4+1b5
= a5+5a4b+10a3b2+10a2b3+5ab4+b5
となる。
私が高校生の頃、このパスカルの三角形に興味を持って、(a+b)100 が展開できるまで
表を作ろうとしたことがある。最後の段は、項が 101個あり、B4の用紙をたくさん貼り合わ
せて計算を始めたが、途中で計算ミスもあり、挫折したことを覚えている。
基本的には、パスカルの三角形を用いれば、(a+b)n の展開は容易であるが、直ちに
(a+b)100 などを展開したい場合は無力である。その場合は、次のような2項定理が用い
られる。
2項定理(Binomial Theory)
ここで、nCkは2項係数で、異なるn個のものから、異なるk個のものをとる組合せの数で、
但し、 (n の階乗)とする。
(略証) (a+b)n を展開したときの各項は、an 、an-1b 、an-2b2 、・・・ 、 bn
an-kbk の係数は、n 個の因数 a+b のそれぞれから、a を n−k 個、b を k 個とる組
合せの数 nCk に等しい。 (略証終)
上記の略証は、教科書によくあるものだが、次のような証明も可能だろう。
(別証) 集合 S={1,2,・・・,n}と集合 A、B(但し、A∩B=φ、n(A)=a、n(B)=b)に
ついて、写像 F : S → A∪B の個数を数える。
S の各要素について、a+b 通りの値の取り方があるので、写像の個数は、(a+b)n で
ある。
また、S の要素を、n−k 個と k 個(k=0、1、2、・・・、n)に分ける。その分け方の総数は、
nCk 通り。その1通りに対して、n−k 個の要素には、Aの要素が対応し、k 個の要素には、
Bの要素が対応すると考えると、写像の個数は、an-kbk 通り。
したがって、
(証終)
(例) (a+b)6 を、2項定理を用いて展開せよ。
(解) 6C0=1、6C1=6、6C2=15、6C3=20、6C4=15、6C5=6、6C6=1 なので、
(a+b)6=a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6 (終)
この2項定理を用いれば、パスカルの三角形を実際に書き上げなくても、任意の
n に対
して、(a+b)n が直ちに展開される。
また、2項定理は数学のいろいろな分野に登場し、鮮やかな解法を見せてくれる。
(応用例題) 21n を400で割った余りが最大となる最小の自然数 n の値を求めよ。
(解) 2項定理より、 21n=(20+1)n=20n+n・20n-1+・・・+n・20+1 なので、
21n を400で割った余り R(n) は、 R(n)=20n+1 である。
ここで、 R(n+20)=20(n+20)+1=R(n)+400 より、
R(n+20)≡R(n) (mod 400)
すなわち、 R(n) の最大値は、 1≦n≦20 の範囲で調べればよい。
R(20)=1 で、 1≦n≦19 の範囲で、R(n) は単調に増加するので、
n=19 のとき、R(n) は最大となる。 (終)
パスカルの三角形の数は、すべて、2項係数で、その性質から、いろいろなパスカルの
三角形の性質が示される。
2項係数の性質
(1) nCk=nCn-k
異なる n 個のものから、異なる k 個のものをとる組合せの数 nCk と、異なる n 個のも
のから、異なる k 個以外のものをとる組合せの数 nCn-k は等しい。
この性質から、パスカルの三角形は、左右対称となる。
(2) nCk=n-1Ck+n-1Ck-1
異なる n 個のものの中に特定なもの a が含まれている。異なる n 個のものから、異な
る k 個のものをとる組合せの数 nCk は、k 個の中に特定な a が含まれていない場合の
組合せの数 n-1Ck と、k 個の中に特定な a が含まれている場合の組合せの数 n-1Ck-1
の和になる。
この性質から、パスカルの三角形において、両端以外の任意の数は、直前の段の両
側の数の和になる。
(3) nC0+nC1+nC2+・・・+nCn=2n
2項定理において、a=b=1 とすればよい。
この性質から、パスカルの三角形において、各段の数の総和がすぐ分かる。
1+4+6+4+1=24=16
また、この性質から、n 個の要素を含む集合の部分集合の個数が、2n 個あることも分かる。
また、2項定理において、a=10、b=1 とすれば、次のような性質も成り立つ。
121=112 、 1331=113 、 14641=114
のように考えて、161051=115
(追記) 平成18年12月23日付け
高校生の科学技術コンテスト「第4回JSEC(ジャパン・サイエンス&エンジニアリング・チャ
レンジ)」において、津山工業高等専門学校3年の井上昌樹さんと、山本裕子さんが優秀賞
を受賞された。(朝日新聞朝刊(平成18年12月23日付け))
受賞テーマは「k−パスカル三角形の自己相似性の研究」とのこと。パスカルの三角形で
成り立つ種々の性質を一般化されたパスカルの三角形にも拡張されたようである。
どのような拡張であるのか少し興味を持ったので、いろいろ調べてみた。
井上さんが高1のとき学ばれたパスカルの三角形を利用して、
112 、 113 、 114 、 115
が計算できる(上記の計算を参照)ことから、1114 なども同様な三角形を利用して求めて
みようということになり、「井上の三角形」(拡張されたパスカルの三角形の構成方法)が見い
だされたとのことである。
「津山高専1年生によるパスカルの三角形の一般化とその考察」というHPを参考にさせて
いただきながら、その雰囲気を味合わせていただこうと思う。
当HPのこのページ「パスカルの三角形」を初めてアップロードしたのは平成14年1月18日
である。いま再び読み返してみると、説明のあまりの稚拙さに赤面の境地である。
たとえば、
のように考えて、161051=115 とのことだが、一瞬その真意のくみ取りに時間を要し
た。次のように書き直した方が分かりやすいだろうと、今更ながら思う。
115 を計算するために、(10+1)5にパスカルの三角形を利用したように、1114 を
計算するために、(102+10+1)5に「井上の三角形」というものを利用するわけである。
(x2+x+1)2=(x2+x+1)(x2+x+1)
=x4+x3 + x2+x3 + x2 + x+ x2 + x +1
=x4+2x3+3x2+2x+1
(x2+x+1)3=(x2+x+1)(x2+x+1)2
=(x2+x+1)(x4+2x3+3x2+2x+1)
=x6+2x5+3x4+2x3 + x2+ x5+ 2x4+3x3+2x2 + x+ x4 +2x3+3x2+2x+1
=x6+3x5+6x4+7x3+ 6x2+3x+1
・・・・・・・・・・・・・・・・・・
のように計算してみると、各項の係数がどのように求められるかは明らかだろう。
たとえば、(x2+x+1)2 の係数 「 1 2 3 2 1 」を、如何にして求めるかに
ついては、次のように考えるのだという。
「 1 1 1 」の両端に「 0 0 」を書き加えて、
0 0 1 1 1 0 0
とし、左から順次1つずつずらして、
0 | 0 | 1 | 1 | 1 | 0 | 0 | ||
0 | 0 | 1 | 1 | 1 | 0 | 0 | ||
0 | 0 | 1 | 1 | 1 | 0 | 0 |
列毎に、3項の和を求めていくと、
0 0 1 2 3 2 1 0 0
すなわち、 1 2 3 2 1
を得る。これは正に、(x2+x+1)2 の係数になっている。
同様にして、 (x2+x+1)3 の係数を求めるために、
(x2+x+1)3=(x2+x+1)・(x2+x+1)2
と考えて、(x2+x+1)2 の係数 「 1 2 3 2 1 」の両端に 「 0 0 」を書き
加えて、
0 0 1 2 3 2 1 0 0
とし、上と同様に、左から順次1つずつずらして3項の和を求めていくと、
1 3 6 7 6 3 1
を得る。これは正に、(x2+x+1)3 の係数になっている。
同様にして、 (x2+x+1)4 の係数を求めるために、
(x2+x+1)4=(x2+x+1)・(x2+x+1)3
と考えて、(x2+x+1)3 の係数 「 1 3 6 7 6 3 1 」の両端に
「 0 0 」を書き加えて、
0 0 1 3 6 7 6 3 1 0 0
とし、上と同様に、左から順次1つずつずらして3項の和を求めていくと、
1 4 10 16 19 16 10 4 1
を得る。これは正に、(x2+x+1)4 の係数になっている。
この操作を続ければ、一般の場合 (x2+x+1)n の係数を求めるためのパスカルの三
角形のような三角形を得ることが出来る。
このようにして得られる三角形を「井上の三角形」と言うようだ。
例 1114 を計算せよ。
「井上の三角形」より、(x2+x+1)4 の係数は、
1 4 10 16 19 16 10 4 1
よって、
から、 1114 =151807041 となる。
(参考) 井上の三角形 ・・・ 上記の求め方以外に、次のように考えると暗算で求められる。
ある数の直下には、その数字と両端の数の和を書く。空白は0とみなす。
1 | ||||||||||||||||||||
1 | 1 | 1 | ||||||||||||||||||
1 | 2 | 3 | 2 | 1 | ||||||||||||||||
1 | 3 | 6 | 7 | 6 | 3 | 1 | ||||||||||||||
1 | 4 | 10 | 16 | 19 | 16 | 10 | 4 | 1 | ||||||||||||
1 | 5 | 15 | 30 | 45 | 51 | 45 | 30 | 15 | 5 | 1 | ||||||||||
1 | 6 | 21 | 50 | 90 | 126 | 141 | 126 | 90 | 50 | 21 | 6 | 1 | ||||||||
1 | 7 | 28 | 77 | 161 | 266 | 357 | 393 | 357 | 266 | 161 | 77 | 28 | 7 | 1 | ||||||
1 | 8 | 36 | 112 | 266 | 504 | 784 | 1016 | 1107 | 1016 | 784 | 504 | 266 | 112 | 36 | 8 | 1 | ||||
1 | 9 | 45 | 156 | 414 | 882 | 1554 | 2304 | 2907 | 3139 | 2907 | 2304 | 1554 | 882 | 414 | 156 | 45 | 9 | 1 | ||
1 | 10 | 55 | 210 | 615 | 1452 | 2850 | 4740 | 6765 | 8350 | 8953 | 8350 | 6765 | 4740 | 2850 | 1452 | 615 | 210 | 55 | 10 | 1 |
・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・ |
もちろん、手っ取り早く、例えば、(x2+x+1)10 の x8 のみの係数を求めるには、多項
定理を用いた方が計算は速いだろう。多項定理により、(x2+x+1)10 の一般項は、
ただし、 整数 p 、 q 、 r は、 p+q+r=10 、 p≧0 、 q≧0 、 r≧0 を満たす。
このとき、 2p+q=8 となる ( p 、 q 、 r ) を求めると、
( 4 、 0 、 6 )、( 3 、 2 、 5 )、( 2 、 4 、 4 )、( 1 、 6 、 3 )、( 0 、 8 、 2 )
よって、求める係数は、
である。 (追記終了)
(4) nC02+nC12+nC22+・・・+nCn2=2nCn
n 個の異なる赤球と、n 個の異なる白球がある。この異なる 2n 個のものから、異なる
n 個のものをとる組合せの数 2nCn は、赤球の個数で場合分けして、赤球 k 個と白球
n−k 個をとる組合せの数の積 nCk・nCn-k =nCk2 の和に等しい。
この性質から、パスカルの三角形において、正方形の対角線上の数の平方の和は、正方
形の右下の数に等しい。
また、正方形の右下の数は、正方形の最下段の左から2番目の数で割り切れる。
一般に、 2nCn は、n+1 で割り切れる が成り立つ。
(5) k・nCk=n・n-1Ck-1
今、n 人いる。この中から k 人を選んで、その中で一人班長を決める。その場合の数は、
k・nCk 通りある。このような班員と班長の決め方は、次のように考えてもよい。まず、班長
を一人選んで、残りの n−1 人から班員 k−1 人を選ぶ。その場合の数は、n・n-1Ck-1
通りある。両者は等しい。
この性質から、パスカルの三角形において、各段の k 番目の数を k−1 倍した数は、
その段の2番目の数と、直前の段の左側の数との積に等しい。
フィボナッチ数列との関係
パスカルの三角形において、次のような傾き2の直線上の数の和を求めることにより、
フィボナッチ数列が出現する。
上記では傾き(?)が2の直線を意識しているが、
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 ・・・・・・・・・
と配列に工夫を加えると、傾き(?)が1の直線となり、見やすくなるかもしれない。
最短経路の問題との関係
パスカルの三角形において、数はすべて、2項係数なので、最短経路問題とも関連があ
る。左下図のような経路に対して、右下図のように、パスカルの三角形を当てはめれば直
ちに、その場合の数が求められる。
したがって、左上隅から右下隅に至る最短経路は、全部で、35通りある。
以上、とりとめもなくパスカルの三角形の性質をあげてきたが、これ以外にもたくさんの性
質が隠れている。最近のコンピュータの発達から、フラクタル図形が容易に描けるようになっ
てきたが、パスカルの三角形で、n で割ったときの余りで色分けすると、きれいなフラクタル
図形が出現することが知られている。これについては、たくさんのホームページで紹介されて
いるので、このページでは、割愛することにする。
(参考文献:吉田 武 著 虚数の情緒(東海大学出版会)
藤崎真佐五 著 順列・組合せと確率(科学新興社)
渡部隆一 著 確率論(共立出版))
(追記) 平成28年6月14日付け
パスカルの三角形をボンヤリ眺めていると、さらに、あることに気がつく。
上記は、(a+b)n を展開したときの係数を横に並べたものである。このとき、横方向に並
ぶ数を見ると、奇数、偶数が混じり合っている行がほとんどだが、ある行では、すべての数が
奇数となっている。例えば、
n=0 のとき、 1
n=1 のとき、 1 1
n=3 のとき、 1 3 3 1
n=7 のとき、 1 7 21 35 35 21 7 1
n=15 のとき、
1 15 105 455 1365 3003 5005 6435 5005 3003 1365 455 105 15 1
・・・・・・・・・・・・・・・・・・・・・・・・・・・・
n=0という特殊な場合を除いて、「1,3,7,15,・・・」という数列には、
21−1 ,22ー1 ,23−1 ,24−1 ,・・・
という特徴がある。言い換えれば、2進数として考えるとき、
1 ,11 ,111 ,1111 ,・・・
となっている。したがって、次のような予想が成り立つ。
(予想) 2進数で、11・・・1と表される数nについて、
nC0 ,nC1 ,nC2 ,・・・ ,nCn は、すべて奇数である。
実は、一般に次の定理が成り立つ。
定 理 自然数nを、2a1+2a2+・・・+2ak (ただし、a1>a2>・・・>ak≧0) と
2進法表示するとき、nCm が奇数となるmの個数は、2k個である。
例 2進数で、1 即ち、n=1のとき、パスカルの三角形から 1 1 で奇数は、2個
2進数で、11 即ち、n=2+1=3のとき、パスカルの三角形から 1 3 3 1 で、
奇数は、22=4個
・・・・・・・・・・・・・・・・・・・・・・
この定理によれば、(予想)が正しいことが分かる。
実際に、2進数で、11・・・1と表される数nについて、「1」の個数がk個ならば、n=2k−1
で、nCm が奇数となるmの個数は、2k=n+1個あるので、
nC0 ,nC1 ,nC2 ,・・・ ,nCn は、すべて奇数
となる。
(定理の証明) n=2a1+2a2+・・・+2ak のとき、
(1+x)n=(1+x)2a1・(1+x)2a2・・・・・(1+x)2ak
≡(1+x2a1)・(1+x2a2)・・・・・(1+x2ak) (mod 2)
この合同式をF2[x]における恒等式とみなすとき、右辺に現れる項は、左辺の展開で2項
係数nCmが奇数である項と一致する。その総数は、
(1+1)・(1+1)・・・・・(1+1)=2k (個)
となる。 (証終)
(追記) 令和6年10月17日付け
東北大学 文系(1982)で、多項定理に関する問題が出題された。
問題 (a+b+c+d)7 の展開式について、次の問に答えよ。
(1) p、q、r、s が p+q+r+s=7 を満たす負でない整数であるとき、項 apbqcrds の
係数を求めよ
(2) 係数の最大値を求めよ。また、そのときの p、q、r、s を求めよ。
(解)(1) 多項定理より、求める係数は、 7!/(p!q!r!s!)
(2) 係数が最大になるのは、p、q、r、s が最小のときなので、求める最大値は、
7!/(2!2!2!1!)=630
そのときの p、q、r、s は、2、2、2、1 の順列で4通りある。 (終)
以下、工事中!