97電気通信大の入試問題より(出題形式を多少変えています)
 
は整数とする。X の 3次方程式  X 3 X−3−18=0 ・・・(*)  は正の有理数 X 0 を解にもつとする。
このとき、次の問いに答えよ。
(1) X 0 は自然数であることを示せ。
(2) X 0 は 3 の倍数でないとする。このとき、 と X 0 を求めよ。



解答例
(1) 有理数 X0
.
とおく。ここで、m,n は互いに素な自然数とする(n≠1)。これを方程式(*)に代入して、
     . (
.
) 3


.
−3−18=0  より、  m 3

=n{mn+(3+18)n 2

}  となる。
    これより、 m 3 は n の倍数になる。このことは、m 3 はnに含まれる素因数をもつことになる。
     これは、m,n は互いに素であることに矛盾する。よって X0 は自然数である。
      「どこに矛盾が生じていか」何らかの説明はするべきです。

(2)   X=X0 は方程式(*) の解なので、X0 3 0−3−18=0  より 
         =X0 2


−3X0+9−  45 
0+3
      と X0 は整数なので、X0+3 は 45 の約数である。また、X0 は 3 の倍数でない自然数だから、
         X0+3=5 である。よって   X0=2 ,=−2