exo7 3158

Soit $p$ un nombre premier impair. Montrer que $\dot k$ est un carré dans l’anneau $\Z/p\Z$ si et seulement si $k^{(p+1)/2} \equiv k (\mathrm{mod}\, p)$.