I know x^2 ≡ -2 (mod p) means that p|(x^2 -2), but I can't figure out how to continue with this.
Any help is appreciated!
[also under discussion in math links forum]
by Dirichlet's approximation theorem there exist integers and such that which gives us
now put and and show that and