問題
を自然数, を 次多項式とする。,,, が整数ならば,すべての整数 に対し, は整数であることを証明せよ。
出典:東京工業大学 2008年度 AO AO・理系 AO第2問
方針
次数について数学的帰納法を用いる。差の多項式 は高々 次であり, は整数である。帰納法の仮定で がすべての整数で整数値をとることを示し,そこから を整数の和または差として表す。
解答
次数 について数学的帰納法で示す。 のときは定数多項式なので明らかである。
とし, 次以下の多項式について命題が成り立つと仮定する。 とおくと, は高々 次の多項式である。また について は整数である。
帰納法の仮定より,すべての整数 に対して は整数である。 のときであり,右辺は整数である。 のときは仮定より整数である。 のときはであり,これも整数である。
したがってすべての整数 に対して は整数である。