とりあさんが面白い解法を紹介していたので(
これ
)私は普通の解法を紹介します.
対称的な恒等式なので帰納法かラグランジュ補完を使えば出来そうだと思いました. なのでとりあえずラグランジュ補完の式を書いてみると...(を高々次の多項式として)
なんかどうやっても完全に同じ式にすることは出来なさそう...(ちなみに公式解答にあるよう, 一部の係数のみ取り出すなど上手くやればこの方針でも出来ますが私は諦めました.)
すると帰納法が考えられます. ひとまずこの方針で考えていきます.
帰納法のステップを考えやすくするためにまずは示すべき式の左辺をとします. のときは空積はなので. のときは なのでやはり問題ないですね.
次は帰納法のステップを作れるか考えてみます. このために「の時が正しいならばの時も正しい」を示さないと行けないわけですが, 十分条件的なノリで「の時正しいならばの時も正しい」が言えるかを考えてみました. (これが上手くいかないとの時との時の関係を見いだすのが難しいことになり, 少し帰納法の方針は渋そうという気分になるので) まあやれることは少なくて特殊値を代入してからの形を作るぐらいしかありません. そこで式がきれいになりそうな値を探すとのときとなることがわかります. なのでもう少し帰納法の方針を粘って探してみます. 帰納法の仮定からいくつかの特殊値を求めてそこから上手い具合に(次関数は個の点が分かれば一意に定まる的な定理を使って)示せないか, という感じです.
ここでこの問題を思い出してみましょう.
IMO2021-2
任意の実数に対して, 不等式
が成り立つことを示せ.
この問題は平行移動して式を簡単にして帰納法を回すのです.
と言うわけで差の部分が共通しているので平行移動が上手くいかないかと考えます.を計算すると,
となります, この右辺はに関する高々次関数です. ここで方針を再確認します.
そこで式がきれいになりそうな値を探すとのときとなることがわかります. なのでもう少し帰納法の方針を粘って探してみます. 帰納法の仮定からいくつかの特殊値を求めてそこから上手い具合に(次関数は個の点が分かれば一意に定まる的な定理を使って)示せないか, という感じです.
するとのとき左辺に帰納法の仮定が使えそうです. これによって(達は相異なるので)個の特殊値が分かりました. あと個特殊値が求まればよいですね. そこで似たような代入を探すと(で上手くいくならも試すかというノリでやったのですが)のときも上手く約分されて帰納法の仮定が適用できることが分かります. よっての特殊値が個求まってめでたしめでたし...
と言いたいところですがが成立しているとこの議論は回りません. 従って達が十分離れていることを仮定してその後に一致の定理みたいな議論で任意ので恒等式になっていることを言ってあげればよいでしょう.
これでこの問題を完全に解くことが出来ました.
感想
帰納法はすごい