[1]
⇔x^3−3x=1
⇔x(x^2−3)=1
これを満たす整数xがないより示せた!
[2]x=q/pと仮定すると(p、q互いに素)
(q/p)^3−3(q/p)=0 ⇔q^3−3p^2q−p^3=0
q^3=p^2(p+3q)
p、qは互いに素であるから
p=1
[1]よりこれをみたさないより有理数でない