はじめに
今回は大学入試でも出そうな大学院入試の問題を持ってきました.実際,大学数学の知識を全く使うことなく議論ができます.
※代数学をやるそのうんたらの他の問題たちが
こちらのまとめページ
から見れます.良ければリンクをご利用ください.
更新履歴
(2022/8/2):軽微な文章変更と追記追加
問題と解答
実数係数の多項式が次の性質を持てば,は全て有理整数であることを証明せよ.(東北大)
(性質):適当な正の整数を取れば,以上の正の整数全てについては有理整数である.
証明を表示
以下多項式とは実数係数1変数多項式のことを指すこととする.問題に記された性質をで表すことにする.主張をに関する帰納法で示す.
とする.性質によって存在が保証された正の整数を取る.するとは共に整数であるから,
も整数である.するとであるからも整数である.よってのとき主張が成り立つ.
としまでの全ての整数に対して主張が成り立つと仮定する.多項式が性質を満たすとし,によって存在が保証された正の整数をとする.多項式について考える.が性質を満たすことから,以上の任意の整数に対して
が成り立つ.即ちも性質を満たす.
が成り立つから,は次多項式である.よって帰納法の仮定より
が従う.ここで,多項式を
とおく.補題1より全ての整数に対しては整数である.よって以上の任意の整数に対しては整数である.即ち多項式は性質を満たす.整数によって
と書けるから,
となる.これよりは高々次の多項式である.よって帰納法の仮定から,任意のに対しが成り立つ.すると
が成り立つ.よって題意は示された.(証明終)
感想
帰納法を使うことは何となく分かるので,後はどうやって次数を落とすかですが,そこでを引っ張ってくるのは一度こういった問題に触れておかないと難しいような気がします.
今回用いた事実
以下,に対して多項式を
とおきます.は次のような良い性質を持ちます.
証明を表示
がを満たすなら,式の形からである.またはを満たすなら,の分子は連続する個の整数の積となるので,それはで割り切れる.従ってである.(証明終)
発展
以下,有理整数のことを単に整数といいます.
実は上で示したことよりももっと深い次の事実を示すことができます.証明は上で行ったものと全く同様に展開できます.
実数係数の多項式が性質
(性質):適当な正の整数を取れば,以上の正の整数全てについては整数である.
を満たせば,適当な整数が存在して
と書ける.また,のこの表示は一意的である.
証明を表示
以下多項式とは実数係数1変数多項式のことを指すこととする.命題の中で記された性質をで表すことにする.がたちの整数倍の和で書けることをに関する帰納法で示す.
とする.性質によって存在が保証された正の整数を取る.するとは共に整数であるから,
も整数である.するとであるからも整数である.であることに注意すると,とすることでと書ける.つまりのとき主張が成り立つ.
としまでの全ての整数に対して主張が成り立つと仮定する.多項式が性質を満たすとし,によって存在が保証された正の整数をとする.上の問題で示したことからが成り立つので,以上の任意の整数に対しては整数である.即ち多項式は性質を満たす.とは共に次多項式で,その最高次係数は共にであるから,は高々次の多項式である.の次数をとすると,帰納法の仮定から整数が存在して
が成り立つ.である場合はとすることで
が成り立つ.よってとすれば,それは整数で
が成り立つ.以上よりがたちの整数倍の和で書けることが示された.
整数によって
と書けたとする.であることと,に対してかつであることから,帰納的にが成り立つ.よってのこの表示が一意的であることも示された.(証明終)
この命題の結果から,次のような面白い事実が従います.
実数係数の多項式が次の性質
(性質):適当な正の整数を取れば,以上の正の整数全てについては整数である.
を満たすならば,任意の整数に対しては整数となる.
証明を表示
命題2の結果から,が定理の中にある性質を満たすとき,整数が存在して
が成り立つ.ここでである.補題1より,全てのは,任意の整数に対してを満たす.よってそれらの整数倍の和として書けるも,全ての整数に対してを満たす.(証明終)
つまり,ある整数以上の整数全てについて整数値を取る実数係数多項式は,全ての整数について整数値を取る,ということですね.部分的な性質が全体に波及していてとても面白いです.
また,逆に任意の整数に対して整数値をとるような多項式は,定理3の中で述べられている(性質)を明らかに満たすので,今までの話をまとめると,次の定理を得ることができます.
について,次の3つの条件は同値である.
- 任意の整数に対しては整数である.
- 適当な正の整数を取れば,以上の正の整数全てについては整数である.
- ある整数によってと一意的に書ける.
更に,ここまでの議論の中で用いられた係数体の性質は,の定義のときに用いたの逆元が取れるという点のみなので,を含む体に対しては全く同様に展開できることになります.
2022/8/2 追記
今までの話との一貫性を保つために上で考えます.上でなくとも同様の議論ができることは同様です.
上で何度も引用した性質
適当な正の整数を取れば,以上の正の整数全てについては整数である
は,更に次のように弱めることができます.証明も上で用いた議論と全く同様です.
実数係数の多項式が次の性質を持てば,は整数であり,加えてある整数によってと一意的に書ける.
(性質):を満たす任意の整数については整数であるような整数が存在する.
証明を表示
以下多項式とは実数係数1変数多項式のことを指すこととする.命題の中に記された性質をで表すことにする.が整数であり,かつがたちの整数倍の和で書けることを,に関する帰納法で示す.
とする.性質によって存在が保証された整数を取る.するとは共に整数であるから,
も整数である.即ちは整数である.であるからも整数である.であるから,とすればこれらは整数でと書ける.よってのとき主張が成り立つ.
としまでの全ての整数に対して主張が成り立つと仮定する.多項式が性質を満たすとし,によって存在が保証された整数をとする.多項式について考える.
が成り立つから,は次多項式である.が性質を満たすことから,を満たす任意の整数に対して
が成り立つ.即ちも性質を満たす.よって帰納法の仮定より
が従う.
さて,を満たす任意の整数に対しては整数である.即ち多項式は性質を満たす.とは共に次多項式で,その最高次係数は共にであるから,は高々次の多項式である.の次数をとすると,帰納法の仮定から整数が存在して
が成り立つ.である場合はとすることで
が成り立つ.よってとすれば,それは整数で
が成り立つ.以上よりがたちの整数倍の和で書けることが示された.
整数によって
と書けたとする.であることと,に対してかつであることから,帰納的にが成り立つ.よってのこの表示が一意的であることも示された.(証明終)
また,追記より前で展開されている議論ではが正であることを一切使わなかったので,が正であることは条件として外しても良いですね.最も,これは自明な同値性
適当な正の整数を取れば,以上の正の整数全てについては整数である
適当な整数を取れば,以上の整数全てについては整数である
からも分かります.これらによって上で示した定理4が次のように更新されます.
について,次の5つの条件は同値である.の次数をとする.
- 任意の整数に対しては整数である.
- 適当な正の整数を取れば,以上の正の整数全てについては整数である.
- 適当な整数を取れば,以上の整数全てについては整数である.
- 適当な整数を取れば,を満たす整数全てについては整数である.
- ある整数によってと一意的に書ける.
つまり,十分連続した整数に対して整数値を取る多項式は,任意の整数に対して整数値を取る,ということですね.有限な部分の結果が全体に波及するなんてなかなか面白いですね~.
また,定理6はの次数がの場合でも明らかに成り立ちます.が零多項式の場合は(4)の条件を除いて成り立ちますね.
今回の記事は以上です.
最後までお読みいただきありがとうございました.