こんにちは！
またまた小惑星りゅうぐうの、大きなニュースが。
もう２週間も前の話題になりますが、探査機はやぶさ２が採取した砂の試料から、液体の水が検出されました！
その水は、鉄と硫黄の化合物の結晶中で守られる格好で存在し、塩や有機物を含んだ炭酸水と言うことです。また、銅と硫黄の化合物が層状に積み重なった結晶も確認されており、このような構造は、豊富な水がなければ形成されない、とのこと。一体過去、宇宙ではどのようなことが起きていたのでしょうか。
JAXAや東北大のチームは今、この炭酸水と地球の水との比較、及び分析を行っています。
同じような起源を持つものだとしても、まったく違う形成の仕方だとしても、そのどちらであろうともワクワクします。
同じ起源と思われるならば、地球の生命誕生との関わりを。
違う起源と考えられるならば、宇宙のそこかしこに「水」の存在、すなわち生命に繋がる環境がある、ことを示唆します。
木星の衛星の一つ、外殻が氷で覆われた衛星、エウロパのその分厚い氷の下にも大量の水が存在していると考えられています。またそれが塩水ではないかとも推測されています。
２０２４年には、エウロパ・クリッパーの打ち上げが予定され、予定通りであれば、木星を周回する軌道に入るのは２０３０年。エウロパ・クリッパーの本体も今年６月に完成しました。この計画が発表されてから、ずっとまちかんてぃしています！
今宇宙が熱い！！
さて、前回
「一番上と両端は１，その他は上の隣り合った２数の和」
と数を並べたとき、それぞれの段の数の並びがなぜ「二項係数」となるのか。
との疑問を投げかけました。
どうでしょう。何か思い付きましたか？
一部の「パスカルの三角形」の説明には解説されているものもありますが、少し難しく、結構スルーしている人が多いような気がします。
それでは、その謎をなるべく噛み砕いて解き明かしていきましょう。
乗法ではほとんど用いない、整式の乗法のひっ算を使ってみます。
（１段目の１と２段目の１，１は明らかなのでここでは省略）
ｘ＋１・・・<1>
×) ｘ＋１
ｘ＋１
ｘ＾2＋ ｘ
ｘ＾2＋２ｘ＋１
<1>を１倍した式のｘの係数は１
<1>をｘ倍した式のｘの係数は<1>の定数項１をｘ倍した結果なので１
よってその和は１＋１＝２
ｘ＾2の係数と定数項は<1>の両端と等しく１となる
ｘ＾2＋２ｘ＋１・・・<2>
×) ｘ＋１
ｘ＾2＋２ｘ＋１
ｘ＾3＋２ｘ＾2＋ ｘ
ｘ＾3＋３ｘ＾2＋３ｘ＋１
<2>を１倍した式のｘ＾2の係数は１、
<2>をｘ倍した式のｘ＾2の係数は<2>の２ｘをｘ倍した結果なので２、
よってその和は１＋２＝３
ｘの係数も同様に、２＋１＝３
ｘ＾3の係数と定数項は<2>の両端と等しく１となる
結果、ｘをかけた部分は、元々の式の次数全体を１つ上げることになります。
この、次数を上げた後（×ｘの部分）と次数が上がる前（×１の部分）の「係数」をたすことが、隣合った２数の和、の正体になります。
結局、そもそも「二項係数」は次数が一つ上がる度に項が一つずつ増え、その増え方自体が隣り合った２数の和を用いて作られているものだった、と言うことです。
これによって「なぜ」「二項係数」と「パスカルの三角形」のすべての段の数の並びが一致するのか、との謎は解明されました。
「係数分離法」で行うともっと見やすくなります。
１１
×） １１
１２１
１２１
×） １１
１３３１
・
・
・
１４６４１
×） １１
１４６４１
１４６４１
1 5 1010 5 1
あれ？どこかで見たような・・・
「算数と数学１１」灘中の入試問題、解①にありました！
結果、ひっ算で縦に繰り上げをせず計算したものは、隣通しの数をたしたものと同じ！
と「気付く」ことと同じ「気付き」が必要だった訳ですね。
さぁこの後は、どのように「証明」するかですが、
次に予定するテーマ「高校数学」「数列」の単元が必要となります。
これはどこにでも出ているかと思いますが、簡単に示しておきましょう。
「二項係数」が
「一番上と両端は１，その他は上の隣り合った２数の和」・・・★
１
１ １
１ ２ １
１ ３ ３ １
１ ４ ６ ４ １
１ ５ 10 10 ５ １
・・・
として示せること、及び、「これらの数の並びである、上からｎ段目左からｋ段目の数はすべてn-1Ck-1となる」ことを「数学的帰納法」により示します。
２つの数が出てくるのは２段目からなのでｎ＝２，３，４，・・・とし、
「二項定理」を用いて
ｆ(n-1)＝(x＋1)^n-1＝n-1C0ｘ＾n-1＋n-1C1ｘ＾n-2＋・・＋n-1Cn-2ｘ＋n-1Cn-1
とすると
（これらの式も、「数列」の単元にΣ（シグマ）と言う記号があり、それを用いるともっとスッキリ書けます。）
（ⅰ）ｎ＝２のとき
ｆ（１）＝1C0ｘ＋1C1
各項の係数は、１，１
ｎ＝３のとき
ｆ（２）＝（ｘ＋１）＾2
＝2C0ｘ＾2＋2C1ｘ＋2C2
各項の係数は、１，２，１
となり、「二項係数」は、★の下線部分「両端は１，その他は上の隣り合った２数の和」、とした並びと一致する。
（ⅱ）ｎ＝mのとき、左からｋ番目の項の係数を
m-1Ck-1（ｍ＝２，３，・・・、１≦ｋ≦ｎ－１）とすると
ｆ(m-1)＝(x＋1)＾m-1＝m-1C0ｘ＾m-1＋m-1C1ｘ＾m-2＋・・＋m-1Ck-1ｘ＾m-k＋m-1Ckｘ＾m-k-1＋・・・
下線部分だけ取り出し、この式に（ｘ＋１）をかけて計算してみます。
m-1Ck-1ｘ＾m-k＋m-1Ckｘ＾m-k-1
×） ｘ ＋ １
m-1Ck-1ｘ＾m-k＋m-1Ckｘ＾m-k-1
m-1Ck-1ｘ＾m-k+1＋m-1Ckｘ＾m-k
・・・＋(m -1Ck-1＋ m-1Ck)ｘ＾m-k＋・・
（PC用)
m-1Ck-1ｘ＾m-k＋m-1Ckｘ＾m-k-1
×） ｘ ＋ １
m-1Ck-1ｘ＾m-k＋m-1Ckｘ＾m-k-1
m-1Ck-1ｘ＾m-k+1＋m-1Ckｘ＾m-k
・・＋(m -1Ck-1＋ m-1Ck)ｘ＾m-k＋・・
（スマホ・携帯用拡大してご覧ください）
⇒（ｘ＋１）をかけた後の、ｘ＾m-kの項の係数は
m-1Ck-1＋ m-1Ck
これも、ｘ＾m-k-1をｘ倍したことで次数が１つ上がり、ｘ＾m-kの係数となったことから、隣り合った（左からｋ番目とｋ＋１番目の）２つの係数の和になっていることが分かります。
ここで
m-1Ck-1＋ m-1Ck
＝(ｍ－１)！/(ｋ－１)！(ｍ－ｋ)！＋(ｍ－１)！/ｋ！(ｍ－ｋ－１)！
＝ｋ(ｍ－１)！/ｋ！(ｍ－ｋ)！＋(ｍ－ｋ)(ｍ－１)！/ｋ！(ｍ－ｋ)！
＝(ｍ－１)！(ｋ＋ｍ－ｋ)/ｋ！(ｍ－ｋ)！
＝ｍ！/ｋ！(ｍ－ｋ)！
＝mCk
（上の隣合った２つの係数の和が、１つ上の次数の、左からｋ＋１番目の係数 であることも分かります。）
よって
（ｘ＋１）ｆ（m－１）
＝m-1C0ｘ＾m＋(m-1C0＋m-1C1)ｘ＾m-1＋・・・＋(m-1Cm-2＋m-1Cm-1)ｘ＋m-1Cm-1
＝mC0ｘ＾m＋mC1ｘ＾m-1＋・・・＋mCm-1ｘ＋mCm
m-1C0＝mC0＝１、m-1Cm-1＝mCm＝１より置き換えが可能。よって常に両端は１となる。
（ｘ＋１）ｆ（m－１）＝ｆ（m）であることから
ｆ（m）＝mC0ｘ＾m＋mC1ｘ＾m-1＋・・＋mCm-1ｘ＋mCm
となり、ｎ＝m＋１でも成立
（ⅰ）（ⅱ）より
ｎ＝２，３，・・・のとき、各項の係数である「二項係数」
n-1C0，n-1C1，・・・，n-1Cn-2，n-1Cn-1
は、★の下線部分「両端は１，その他は上の隣り合った２数の和」、とした並びと一致することが示された。
またｎ＝１のとき
ｆ（０）
＝（ｘ＋１）＾0
＝0C0
＝１
より、一番上の段の１と一致。
よって、ｎ＝１，２，・・，１≦ｋ≦ｎのとき
左からｋ番目の二項係数をn-1Ck-1とすると
★で作られる上からｎ段目、左からｋ番目の数はすべて
n-1Ck-1
で表されることが示された。
（解説終わり）
尚、これは「解説」を含むので、「解答」の場合もっとスッキリとまとめることができます。
どうでしょう。
これでようやく、根拠が出揃いました。
この「二項定理」「二項係数」を用いることが許されるなら、「パスカルの三角形」の様々な規則性の証明もうまくできそうです。
ただそれには「数列」と言う、大きな単元がどうしても必要となってきます。
よって、それらはもう少し後回し。
次は「二項定理」
（１＋ｘ）＾n＝nC0＋nC1ｘ＋nC2ｘ＾2＋・・・＋nCn-1ｘ＾n-1＋nCnｘ＾n・・・②
がどのようなところに用いられているのか、代表的なものを紹介します。
上の証明もこの②を降べきの順で表したものになっています。
次回更新は１０月２７日頃、COFFEE BREAKを挟む予定です。
それではまた！