登場人物紹介
僕:数学が好きな高校生。
テトラちゃん:僕の後輩。 好奇心旺盛で根気強い《元気少女》。言葉が大好き。
テトラ「……なるほど。逆を考えるということ、気付きませんでした。 つまり、これが証明できたことになるんですね!」
組み合わせの数 $\BINOM{n}{r}$ の性質
$n$ は $2$ 以上の整数とする。
$n$ が素数であるならば、 $0 < r < n$ を満たす任意の整数 $r$ について $\BINOM{n}{r}$ は $n$ の倍数である。
また逆に、 $0 < r < n$ を満たす任意の整数 $r$ について $\BINOM{n}{r}$ が $n$ の倍数であるならば、 $n$ は素数である。
僕「うん、そうだね。 だから、
いまは放課後。ここは図書室。
僕はテトラちゃんに先日の証明(第397回参照)を話していた。
テトラ「それにしても、パスカルの三角形は奥が深いです。 簡単に作っていくことができるのに、そこにさまざまな数のパターンが出てきます。 それから、組み合わせの数のようにおもしろい性質を持つものも出てきますし……」
僕「うん、そうだよね。パスカルの三角形は具体的に《小さな $n$ で試す》ことができるのも楽しい」
テトラ「あっ、それ思いました。先輩の証明でも、 まず、小さな $n$ でたくさん試していましたよね。 あたし、とても参考になって——そして、すごく反省しました……」
僕「えっ、どうして?」
テトラ「あたしは、文字がたくさん出てくるのが苦手なくせに、 つい、一気に文字を使った証明を書こうとしちゃうんです……そして失敗する」
僕「そうかなあ。テトラちゃんこそ、 根気よくたくさんの数で試す印象があるんだけど」
テトラ「ええとですね……確かにあたしは根気よくやればわかるかも!——と思いがちです。 でも、違うんですよ。あたしが思うに、根気よくやるだけじゃ駄目なんです」
そこでテトラちゃんは真面目な顔になり、ひとりでうんうんと肯く。
僕「うーん……《小さな $n$ で試す》ときは、焦らないで根気よくやる必要があるよね。 根気よく、ていねいに進んで、よく観察しないと一般的な性質を見つけることはむずかしいから」
テトラ「そこっ! そこです。 根気よくやるだけじゃ駄目で、ていねいに進む。 ただ進むだけじゃ駄目で、よく観察する。 それが必要になると思うんです。 あたしはどうしても、バタバタッと進んでしまい、とにかく数をこなそうとしちゃうみたいで……だから、 先輩の《小さな $n$ で試す》お話はとても参考になりました。 素数がどこに出てくるかを注意深く観察なさっていましたし(第397回参照)」
僕「なるほどね。うん、でも、今回の証明の場合には素因数分解が直接的に登場したからわかりやすかったよ。 《整数の構造は、素因数が示す》からね」
テトラ「ところで先輩。組み合わせの数 $\BINOM{n}{r}$ は二項係数と同じですよね?」
僕「うん、そうだよ。どうして $\BINOM{n}{r}$ を二項係数というかというと——」
テトラ「ちょ、ちょっとお待ちください。あたしに言わせてください。 これは先輩に何度も教えていただきましたから、あたしも説明できるはずです」
僕「ごめんごめん。テトラちゃん、どうぞ!」
テトラ「二項係数は、 $x + y$ のように二つの項がある式を $n$ 乗したとき、つまり、 $$ (x + y)^n $$ を展開したときに出てくる係数になっています。 《小さな $n$ で試す》ことをやってみます」
僕「うん、いいね!」
テトラ「$n = 2$ の場合 $(x+y)^n= (x+y)^2$ で、展開するとこうなります」
$$ \begin{align*} (x+y)^2 &= (x + y)(x + y) \\ &= x(x + y) + y(x + y) \\ &= xx + xy + yx + yy \\ &= x^2 + 2xy + y^2 \\ &= \MARKA{1}x^2 + \MARKA{2}xy + \MARKA{1}y^2 \end{align*} $$僕「係数の列 $1,2,1$ を明示的に書くのはわかりやすいよね」
テトラ「はい——これも先輩がこう書いているのを見て真似してるんですが——ともかくこれで、 $n = 2$ の場合に、係数が $1,2,1$ となるのがわかりました。 パスカルの三角形の $2$ 行目の数です」
僕「そうだね」
テトラ「ところでこの途中に出てきた $$ xx + xy + yx + yy $$ の式をよく観察すると、 $x$ と $y$ という $2$ 種類の文字から $2$ 文字を選んで並べるすべての順列が出てきます」
僕「うんうん!」
テトラ「これは、 $n = 3$ でも同じことが起きます」
僕「てきぱき進むねえ!」
テトラ「$n = 3$ の場合 $(x+y)^n= (x+y)^3$ で、 あたしは $1,3,3,1$ と係数を暗記していますけれど、あえて展開するとこうなります」
$$ \begin{align*} (x+y)^3 &= (x + y)(x + y)(x + y) \\ &= x(xx + xy + yx + yy) \\ & \quad + y(xx + xy + yx + yy) \\ &= xxx + xxy + xyx + xyy \\ & \quad + yxx + yxy + yyx + yyy \\ &= x^3 + 3x^2y + 3xy^2 + y^3 \\ &= \MARKA{1}x^3 + \MARKA{3}x^2y + \MARKA{3}xy^2 + \MARKA{1}y^3 \end{align*} $$僕「いいねえ」
テトラ「いま出てきた、 $$ xxx + xxy + xyx + xyy + yxx + yxy + yyx + yyy $$ には、 $x$ と $y$ という $2$ 種類の文字から $3$ 文字を選んで並べるすべての順列が出てきます」
僕「うん。それは——」
テトラ「これは、こんなふうにイメージできます」
僕「そうだね。それって——」
テトラ「これって、二進法で数を数えていくのに似ていますよね。 $\MARKB{x}$ を $\MARKB{0}$ に、 $\MARKA{y}$ を $\MARKA{1}$ に見立てるんです!」
二進法で表現した $3$ 桁の数、すべてのパターン
$$ \begin{array}{cccccc} \MARKB{x} & \MARKB{x} & \MARKB{x} & \to & \MARKB{0} & \MARKB{0} & \MARKB{0} \\ \MARKB{x} & \MARKB{x} & \MARKA{y} & \to & \MARKB{0} & \MARKB{0} & \MARKA{1} \\ \MARKB{x} & \MARKA{y} & \MARKB{x} & \to & \MARKB{0} & \MARKA{1} & \MARKB{0} \\ \MARKB{x} & \MARKA{y} & \MARKA{y} & \to & \MARKB{0} & \MARKA{1} & \MARKA{1} \\ \MARKA{y} & \MARKB{x} & \MARKB{x} & \to & \MARKA{1} & \MARKB{0} & \MARKB{0} \\ \MARKA{y} & \MARKB{x} & \MARKA{y} & \to & \MARKA{1} & \MARKB{0} & \MARKA{1} \\ \MARKA{y} & \MARKA{y} & \MARKB{x} & \to & \MARKA{1} & \MARKA{1} & \MARKB{0} \\ \MARKA{y} & \MARKA{y} & \MARKA{y} & \to & \MARKA{1} & \MARKA{1} & \MARKA{1} \end{array} $$
僕「……まったくその通りだね。何だか僕が補足しようと思ったところ、 すべてテトラちゃんがちゃんと先回りして考えていたんだね」
テトラ「ということじゃなくて、 あたしはもともと先輩からお聞きしたからです。 二項係数の話題のたびに書き出して、すっかり覚えてしまいました」
僕「そうなんだ。 そういえば、ユーリとパスカルの三角形の話をしたとき、 いまのテトラちゃんとそっくりのことを話した覚えがあるよ(第393回参照)。 僕の話、ワンパターン化しているのかな……」
テトラ「でもこんなふうにいろんな話がつながっていくのは、何度やっても楽しいです! 本当に楽しい歌ならば、何度歌っても楽しいのと同じですよ!」
僕「なるほど」
テトラ「それに、 二進法で $000$ から $111$ まで表記するのはいかにも《すべてを尽くしている》って感じがしますし」
僕「うん、僕もそう思う。 いまのテトラちゃんの話で改めて思ったんだけど、 $$ \MARKA{1}x^3 + \MARKA{3}x^2y + \MARKA{3}xy^2 + \MARKA{1}y^3 $$ に出てくる $1,3,3,1$ というのは、展開して出てくるときの同類項の個数ってことになるね」
無料で「試し読み」できるのはここまでです。 この続きをお読みになるには「読み放題プラン」へのご参加が必要です。
ひと月500円で「読み放題プラン」へご参加いただきますと、 434本すべての記事が読み放題になりますので、 ぜひ、ご参加ください。
参加済みの方/すぐに参加したい方はこちら
結城浩のメンバーシップで参加 結城浩のpixivFANBOXで参加(2023年7月7日)