Enunciado de la Reciprocidad Cuadrática

Teoría

La Ley de Reciprocidad Cuadrática es uno de los teoremas más famosos y fundamentales en la teoría de números; Carl Friedrich Gauss hasta lo llamó el "Teorema de Oro" (Theorema Aureum). Describe una relación profunda entre dos primos impares distintos, $p$ y $q$, específicamente sobre si $p$ es un residuo cuadrático módulo $q$ y si $q$ lo es módulo $p$. En palabras más simples, conecta si la congruencia $x^2 \equiv p \pmod q$ tiene solución con si $x^2 \equiv q \pmod p$ también la tiene.

Este teorema es indispensable en las olimpiadas de matemáticas para calcular símbolos de Legendre $\left(\frac{a}{p}\right)$ cuando $a$ es un entero grande. Sin la Reciprocidad Cuadrática, para saber si un número es un residuo cuadrático tendrías que revisar todos los cuadrados o usar el Criterio de Euler directamente, lo cual es imposible de hacer a mano para módulos grandes. Al aplicar esta ley repetidamente (junto con las propiedades del símbolo de Legendre), puedes "voltear" el módulo y el argumento, reduciendo los números involucrados hasta que la respuesta sea obvia.

La idea clave del teorema es su simetría específica. Para la mayoría de los pares de primos impares, $p$ es un cuadrado módulo $q$ si y solo si $q$ es un cuadrado