Soluciones Enteras Positivas

Teoría

Cuando trabajas con Ecuaciones Diofánticas Lineales de la forma $ax + by = c$, donde $a, b, c$ son enteros, encontrar la solución entera general suele ser solo el primer paso. En muchos problemas de competencia (como el AMC 12 o el AIME), las variables $x$ y $y$ representan cantidades físicas o conteos, así que tienen que ser enteros positivos (o enteros no negativos). Cuando $a$ y $b$ son ambos positivos, la gráfica de la ecuación es una recta con pendiente negativa en el plano cartesiano. Por eso, esta recta pasa por el primer cuadrante solo en un segmento finito, lo que significa que hay un número finito de soluciones enteras positivas.

Para encontrar estas soluciones específicas, usa la forma paramétrica de la solución general. Una vez que encuentres una solución particular $(x_0, y_0)$ (muchas veces con el Algoritmo de Euclides Extendido), puedes expresar la solución general en términos de un parámetro entero $t$. Al imponer las restricciones $x > 0$ y $y > 0$ en estas expresiones paramétricas, generas un sistema de desigualdades que involucra a $t$.

Resolver este sistema te da un intervalo específico para $t$. La cantidad de valores enteros que puede tomar $t$ dentro de este intervalo corresponde exactamente al número de soluciones enteras positivas $(x, y)$ de la ecuación original. Esta técnica transforma un problema de geometría discreta (encontrar