パスカルの三角形の性質とフラクタル

• パスカルの三角形において偶数を0，奇数を1としたものは図のようになります。色のついた三角形はとりあえず無視して0と1という数字のみに注目して下さい。

• 上から $a$ 段目，左から $b$ 番目の数字が二項係数 ${}_{a-1}\mathrm{C}_{b-1}$ に対応しています。例えば，上から4段目，左から2番目には「1」があるので ${}_3\mathrm{C}_1$ が奇数であることを表しています。

実は上の図は美しい規則性のおかげで簡単に作ることができます！

各段階で作った三角形を違う色で囲むと上図のようになります（1段階目は青，2段階目は緑，3段階目は赤）。

少し見にくいですが， 青い三角形の中は全て1，外は全て0となっています！

なお，上の構成法が正しいことは帰納法で簡単に証明できます。練習問題にどうぞ。

上記の操作を無限に繰り返していくとフラクタル構造（シェルピンスキーのギャスケットと呼ばれるもの）が現れます。

※「無限に繰り返す」という表現は厳密ではありませんが，ここではフラクタル構造っぽさ，自己相似っぽさがなんとなく分かればOKです。

• 性質1：各段階で一番下に来る行には全て1が並ぶ。つまり，$m$ が $2^k-1$（$k$ は非負整数）という形のとき，$0\leq n\leq m$ なる任意の $n$ に対して ${}_m\mathrm{C}_n$ は奇数である。

• 性質2：逆に，$m$ が $2^k-1$ という形でないとき，ある $n$（$0\leq n\leq m$）が存在して ${}_m\mathrm{C}_n$ は偶数である。

性質1は構成法のステップ2から，性質2は構成法のステップ3からただちに分かります。

1999年東大理系第5問です。東大の問題の中でもけっこう難しい問題だと思いますが，上記の構造を知っていると一瞬で答えが分かります。

さきほどの構成法が正しいことをきちんと書くだけの簡単な問題となります。 $(2)$ の答えは「$2^k-1$ 型の自然数」です。

ちなみに2015年東大理系第5問も二項係数の偶奇に関する問題でした。

こちらについては上記の構造を知っていると「一瞬で答えが分かる」とまでは行きませんが，かなり有利になります。

さらにさらに，1991年JMO予選問9はこの記事の内容を知っていれば簡単に解けます。

Tag:東大入試数学の良問と背景知識まとめ