FIND ME ON

GitHub

LinkedIn

Legendre Prop 3

🌱

Theorem
NumberTheory

Proposition

For a prime p≔1(mod4)p\equiv1\pmod{4} we have [(pāˆ’12)!]2ā‰”āˆ’1(modp)\left[ \left( \frac{p-1}{2} \right)! \right]^{2}\equiv-1\pmod{p} giving an explicit solution to the congruence x2ā‰”āˆ’1(modp)x^{2}\equiv-1\pmod{p}.