１９９７年 東大数学 文系文系第１問（強化帰納法、３項間漸化式、対称式）
１９９７年 東大数学 文系第１問
さて、数学の解説記事の復活です。整数問題の克服をさせていきましょう。 まずは問題からです。
これまで２回分、東大の整数問題を解説書きましたが、その２問は基本中の基本。 今回の問題からは、東大らしい整数問題を連続して扱います。 ちょっと古いですが、まずはこれをおさえると良いでしょう。 では、解説スタートです。
有名事実の証明問題！
さてこの問題、有名事実の証明をする問題です。
物理なんかでは、公式の証明自体が入試問題になることがありますが（典型的なのは、気体の分子運動論など）数学では、少し珍しいですね。
この問題に関しては、証明の過程まで含めて覚えてしまうのが良いでしょう。
では、具体的に流れを見ていきます。
問題の流れが、強化帰納法になっている。
これはどういう問題かというと、
a^n+b^nに対して、
ｎ＝２の時と、ｎ＝３の時に４の倍数となれば、あらゆるｎで４の倍数となることを証明する問題です。
実は、ｎ＝２からスタートではなくて、ｎ＝１からスタートしても成立します。
つまり、
「ｎ＝１の時と、ｎ＝２の時に４の倍数となれば、あらゆるｎで４の倍数となる」
というのが有名事実です。
この赤字の部分が有名事実なわけですが、よく読むとまさに「強化帰納法」そのものになっていることがわかりませんでしょうか？
数学的帰納法は、
ｎ＝１の時の成立を示すと、あらゆるｎに対して成立することを証明する方法ですが、
これの発展版として、強化帰納法があります。
そして、帰納法でも、強化帰納法でも、証明するときによく使うのが「漸化式」です。
では、ａ＾＋ｂ＾ｎに関する漸化式はどうなるでしょう？
漸化式を作ってみよう
作り方は簡単です。
ａ＾ｎ＋ｂ＾ｎに対して、基本対称式であるａ＋ｂとａｂを利用して、少し次数を下げながら等式をつくります。
ここで、登場するのが、ｎ－１乗の部分と、ｎー２乗の部分です。
つまり、ｎ乗と、ｎー１乗と、ｎ－２乗の３つの部分の関係式（３項間漸化式）が登場するということです。
３項間漸化式に対して使う漸化式は、普通の帰納法ではなくて、強化帰納法です。ということで、ａ＋ｂとａｂの値が欲しくなります。
それが、（１）の問題です。
つまり（１）は、（２）で強化帰納法を使う際に出てくる漸化式を作るために必要な値を求めさせる、誘導問題だということなのです。
（１）対称式から基本対称式を求めよう
では、（１）を見てみましょう。
普通の対称式の問題より、少し計算が面倒なだけで、本質はただの連立方程式の問題です。
ａ＾２＋ｂ＾２と、ａ＾３＋ｂ＾３の両方を、基本対称式で表し、加減法や代入法で一つずつ求めるだけですね。
これに関しては、あとで手書きの解答を見てください。
（２）漸化式を使えば、非常に簡単
そして（２）ですが、強化帰納法に、求めた値と漸化式を代入すれば、難しいところが全くありません。
「４の倍数と４の倍数を足したら、４の倍数になる」という、至極当たり前な事実を、わざわざ帰納法の中で示しているにすぎません。
ということで、手書きの解答をご覧くださいませ。
まとめ
今日は、次回以降の導入編。
強化帰納法や、３項間漸化式を自分で作る技術などが、東大では非常に大事で頻出です。
よく復習してから、次回以降の問題をごらんくださいませ。
