ここでは、方程式x^3-3x+1=0は有理数解をもたないことを証明する

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

有理数解q/pをもつと仮定する.ただし、ｐ、ｑは互いに素

(q/p)^3-3(q/p)+1=0

q^3-3qp^2+p^3=0

q^3=3qp^2-p^3=p=p(3qp-p^2)・・・ｐの倍数

ｐ、ｑは互いに素であるから、ｐ＝1

q^3-3q+1=0

1=3q-q^3=q(3-q^2)

q=1,-1

しかし、x=1,-1は解ではない

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝