Ternas Pitagóricas

Teoría

Una terna pitagórica es un conjunto de tres enteros positivos $(x, y, z)$ que cumplen con la ecuación diofántica $x^2 + y^2 = z^2$. Geométricamente, estos enteros representan las longitudes de los lados de un triángulo rectángulo. El ejemplo más famoso es $(3, 4, 5)$. Si el máximo común divisor de los tres números es $1$ (o sea, $\gcd(x, y, z) = 1$), a la terna se le llama Terna Pitagórica Primitiva (TPP). Cualquier terna que no sea primitiva la puedes obtener multiplicando los elementos de una terna primitiva por un factor de escala entero positivo $k$.

Entender las ternas pitagóricas es esencial para resolver ecuaciones diofánticas que involucran sumas de cuadrados y para problemas de geometría que piden lados enteros. El poder de este tema está en la Parametrización de Euclid, que te da un método para generar todas las ternas primitivas usando dos parámetros enteros, $m$ y $n$. Esto transforma un problema de tres variables limitadas por una ecuación cuadrática en un problema con dos variables libres, lo que simplifica muchísimo la búsqueda de soluciones en concursos como el AMC 12 o el AIME.

Una idea clave en teoría de números es la conexión entre las ternas pitagóricas y los puntos racionales en el círculo unitario. Si divides la ecuación original entre $z^