Multiplicar ternas primitivas por k.
Puedes caracterizar por completo el conjunto de todas las ternas pitagóricas —enteros $(a, b, c)$ que cumplen $a^2 + b^2 = c^2$— escalando Ternas Pitagóricas Primitivas (TPP). Una terna es "primitiva" si el máximo común divisor de sus términos es 1, o sea, $\gcd(a, b, c) = 1$. La idea fundamental para generar todas las ternas es que cualquier terna que no sea primitiva es simplemente un múltiplo escalar de una primitiva. Si $(a, b, c)$ es una terna pitagórica, entonces $(ka, kb, kc)$ también lo es para cualquier entero positivo $k$. Al revés, puedes reducir cualquier terna pitagórica a una primitiva si divides todos los términos entre su máximo común divisor.
Esta técnica es crucial en las olimpiadas de matemáticas, sobre todo para problemas de contar o acotar soluciones de ecuaciones diofánticas. Por ejemplo, si un problema del AMC 12 o del AIME te pide el número de triángulos rectángulos con lados enteros y alguna propiedad específica (como que un cateto mida 60), intentar encontrar las soluciones a fuerza bruta no es nada eficiente. En lugar de eso, determina los posibles generadores primitivos $(m, n)$ y luego escálalos por todos los enteros $k$ que funcionen. Esta estructura transforma una búsqueda geométrica o algebraica en