2026.02.02.10:13:13記
2026.02.02.10:53:38記
[解答]
とおくと
より
は単調増加である.
,
であるから,ただ一つの実数解を,
と
の間にもつ.
(ii) この実数解を有理数 (
,
は自然数で互いに素)と仮定すると
が成立し,左辺は
で割り切れることになるが,
,
は自然数で互いに素であるから
,つまりこの実数解が整数解となり(i)の結果に反して矛盾する.よってこの実数解は無理数である.
最高次の係数が の多項式をモニック多項式といいます.正数係数モニック多項式が有理数解を持てば,それは整数解であることを本問と同様に示すことができます.