Wiktionary
n. (context number theory English) Mathematical theorem relating the Jacobi symbol to the inverted , essentially relating the question of whether ''a'' is a square modulo ''b'' to the opposite question of whether ''b'' is a square modulo ''a'' (or modulo the prime factors).
Wikipedia
In number theory, the law of quadratic reciprocity is a theorem about modular arithmetic that gives conditions for the solvability of quadratic equations modulo prime numbers. There are a number of equivalent statements of the theorem. One version of the law states that for p and q odd prime numbers,
$$\left(\frac{p}{q}\right) \left(\frac{q}{p}\right) = (-1)^{\frac{p-1}{2}\frac{q-1}{2}}$$
where
$$\left(\frac{p}{q}\right)$$
denotes the Legendre symbol.
This law, combined with the properties of the Legendre symbol, means that any Legendre symbol can be calculated. This makes it possible to determine, for any quadratic equation, $x^2\equiv a \pmod{p},$ where p is an odd prime, if it has a solution. However, it does not provide any help at all for actually finding the solution. The solution can be found using quadratic residues.
The theorem was conjectured by Euler and Legendre and first proved by Gauss. He refers to it as the "fundamental theorem" in the Disquisitiones Arithmeticae and his papers, writing
The fundamental theorem must certainly be regarded as one of the most elegant of its type. (Art. 151)Privately he referred to it as the "golden theorem." He published six proofs, and two more were found in his posthumous papers. There are now over 200 published proofs.
The first section of this article gives a special case of quadratic reciprocity that is representative of the general case. The second section gives the formulations of quadratic reciprocity found by Legendre and Gauss.