Question: 2 is a square mod p?
Answer: 2 is a square modulo p if and only if p≡±1(mod8) The indication for this exercise was to consider α such that α8=1 (α is eigth root of the unity) in a field extension of Fp and consider y=α+α−1.