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)\).