Parametrización de Ternas Pitagóricas

Teoría

La parametrización de ternas pitagóricas es una técnica fundamental en teoría de números que se usa para generar soluciones enteras a la ecuación diofántica $a^2 + b^2 = c^2$. Una terna pitagórica $(a, b, c)$ consiste en tres enteros positivos que representan las longitudes de los lados de un triángulo rectángulo. Aunque ejemplos pequeños como $(3, 4, 5)$ o $(5, 12, 13)$ son muy conocidos, la parametrización te da un método sistemático para describir todas las soluciones posibles usando dos parámetros enteros, que normalmente llamamos $m$ y $n$. Esto transforma una ecuación cuadrática de tres variables en identidades algebraicas de dos variables, lo que simplifica muchísimo la búsqueda de soluciones.

Esta técnica es crucial en matemáticas de olimpiada (como el AMC 12 y el AIME) porque te permite sustituir variables. En lugar de lidiar con la restricción $a^2 + b^2 = c^2$ directamente, puedes sustituir expresiones en términos de $m$ y $n$ en otras ecuaciones del problema. Esto es súper útil cuando quieres optimizar expresiones que involucran los lados de un triángulo rectángulo o cuando resuelves sistemas diofánticos complejos donde la relación pitagórica es solo una parte.

La intuición detrás de la parametrización viene de la geometría del círculo unitario. Si divides la ecuación pitagórica entre $c^2$, obtienes $(\frac{a}{c})^2 + (\frac{b}{c})^2 = 1$, que representa puntos racionales en el círculo unitario. Al proyectar estos puntos desde el intercepto $(-1, 0)$ hacia una línea vertical, puedes establecer una correspondencia uno a uno entre números racionales (pendientes) y ternas pitagóricas primitivas. Esta idea geométrica te lleva directo a las fórmulas algebraicas que se usan para generar las ternas.

Fórmulas Clave

Fórmula de Euclid para Generar Ternas Para cualesquiera dos enteros positivos $m$ y $n$ con $m > n$, puedes generar una terna pitagórica $(a, b, c)$ con: $$a = m^2 - n^2$$ $$b = 2mn$$ $$c = m^2 + n^2$$

Condiciones para Ternas Primitivas Una terna es primitiva (la escribimos como PPT) si $\gcd(a, b, c) = 1$. Para generar todas las ternas primitivas exactamente una vez, los parámetros $m$ y $n$ deben cumplir tres condiciones:

1. $m > n > 0$
2. $\gcd(m, n) = 1$ (son primos relativos)
3. $m$ y $n$ tienen paridad opuesta (uno es par y el otro es impar)

Solución General Cualquier terna pitagórica (sea primitiva o no) se puede escribir de la forma: $$a = k(m^2 - n^2), \quad b = k(2mn), \quad c = k(m^2 + n^2)$$ donde $k$ es un factor de escala entero positivo, y $m, n$ cumplen las condiciones de arriba.

Propiedades Útiles $$c + a = 2m^2, \quad c - a = 2n^2$$ $$a + b + c = 2m(m+n)$$ $$\text{Área} = \frac{1}{2}ab = mn(m^2 - n^2)$$

Demostración

Teorema: Si $a, b, c$ son enteros positivos coprimos por pares que cumplen $a^2 + b^2 = c^2$ y $b$ es par, entonces existen enteros coprimos $m > n > 0$ con paridad opuesta tales que $a = m^2 - n^2$, $b = 2mn$ y $c = m^2 + n^2$.

Demostración:

1. Análisis de paridad: Como $\gcd(a, b, c) = 1$, $a$ y $b$ no pueden ser ambos pares. Si ambos fueran impares, entonces $a^2 \equiv 1 \pmod 4$ y $b^2 \equiv 1 \pmod 4$, lo que implica que $c^2 = a^2 + b^2 \equiv 2 \pmod 4$. Pero recuerda que los cuadrados perfectos solo pueden ser $0$ o $1 \pmod 4$. Así que un cateto tiene que ser impar y el otro par. Sin perder generalidad, supón que $a$ es impar y $b$ es par. Por lo tanto, $c$ tiene que ser impar.

2. Factorización: Acomoda la ecuación pitagórica así: $$b^2 = c^2 - a^2$$ $$b^2 = (c - a)(c + a)$$ Divide entre 4 (como $b$ es par, $b^2$ es divisible entre 4): $$\left(\frac{b}{2}\right)^2 = \left(\frac{c - a}{2}\right)\left(\frac{c + a}{2}\right)$$ Nota que como $a$ y $c$ son impares, su suma y su resta son pares, así que $\frac{c-a}{2}$ y $\frac{c+a}{2}$ son enteros.

3. Coprimacidad de los factores: Sea $d = \gcd\left(\frac{c - a}{2}, \frac{c + a}{2}\right)$. Entonces $d$ tiene que dividir a la suma y a la resta de estos términos: $$d \mid \left(\frac{c + a}{2} + \frac{c - a}{2}\right) \implies d \mid c$$ $$d \mid \left(\frac{c + a}{2} - \frac{c - a}{2}\right) \implies d \mid a$$ Como $\gcd(a, c) = 1$, tienes que $d = 1$. Por lo tanto, $\frac{c - a}{2}$ y $\frac{c + a}{2}$ son primos relativos.

4. Introduciendo los parámetros $m$ y $n$: Como el producto de dos enteros coprimos $\left(\frac{c - a}{2}\right)$ y $\left(\frac{c + a}{2}\right)$ es un cuadrado perfecto $\left(\frac{b}{2}\right)^2$, cada factor tiene que ser un cuadrado perfecto por sí mismo. Pon: $$\frac{c + a}{2} = m^2 \quad \text{y} \quad \frac{c - a}{2} = n^2$$ para algunos enteros positivos $m$ y $n$. Como $c > a$, tienes que $m > n$.

5. Despejando $a, b, c$: Resuelve el sistema para $a$ y $c$: $$c = m^2 + n^2$$ $$a = m^2 - n^2$$ Sustituye de vuelta en $\left(\frac{b}{2}\right)^2 = m^2 n^2$: $$\frac{b}{2} = mn \implies b = 2mn$$

6. Verificando las propiedades de $m$ y $n$:

   • Como $\gcd\left(\frac{c - a}{2}, \frac{c + a}{2}\right) = 1$, se sigue que $\gcd(n^2, m^2) = 1$, así que $\gcd(m, n) = 1$.
   • Si $m$ y $n$ fueran ambos impares, entonces $a = m^2 - n^2$ sería par y $c = m^2 + n^2$ sería par, lo que rompe la condición de ser primitiva. Como son coprimos, no pueden ser ambos pares. Por lo tanto, $m$ y $n$ tienen paridad opuesta.

Así queda lista la parametrización. $\square$