Question Number 29035 by abdo imad last updated on 03/Feb/18
$${let}\:{give}\:{a}\:{prime}\:{number}\:{p}>\mathrm{2}\:\:{and}\:{a}\:/{D}\left({a},{p}\right)=\mathrm{1}\:{and}\: \\ $$$$\left.{suppose}\:{that}\:{the}\:{equation}\:{x}^{\mathrm{2}} \equiv\:{a}\left[{p}\right]{have}\:{a}\:{solution}\mathrm{1}\right) \\ $$$$\left.\mathrm{1}\right)\:{prove}\:{that}\:\:\:{a}^{\frac{{p}−\mathrm{1}}{\mathrm{2}}} \:\:\:\equiv\:\mathrm{1}\:\left[{p}\right] \\ $$$$\left.\mathrm{2}\right){prove}\:{that}\:\:{x}^{\mathrm{2}} \equiv\:−\mathrm{1}\left[{p}\right]\:\Leftrightarrow\:\:\:{p}\equiv\:\mathrm{1}\:\left[\mathrm{4}\right] \\ $$