問題
を自然数, を 次の多項式とする。,,, が整数ならば,すべての整数 に対し, は整数であることを証明せよ。
出典:東京工業大学 1993年度 前期 理系 第4問
方針
多項式の次数に関する帰納法で示す。 とおくと, は1つ低い次数の多項式で, は整数になる。帰納法の仮定からすべての整数 で が整数であることを得て, を と差分の和で表す。
解答
多項式の次数について帰納法で証明する。0次多項式の場合は定数なので明らかである。
とし, 次以下の多項式について主張が成り立つと仮定する。 を 次多項式とし, がすべて整数であるとする。
とおく。 は 次以下の多項式であり, に対しては整数である。したがって帰納法の仮定より,すべての整数 に対して は整数である。
のときは
であるから整数である。 では仮定より整数である。 のときは
であるから,やはり整数である。
以上より,すべての整数 に対して は整数である。