Un estudio a las ecuaciones diofánticas

Est. Emerson Buñay; Est. Jade Rodríguez

Escuela Superior Politécnica de Chimborazo

Carrera de Matemática

21 de noviembre de 2025

Teoría de Grupos 1/28

 Introducción

El estudio de las ecuaciones diofánticas constituye una de las ramas más antiguas y fascinantes
de las matemáticas. Estas ecuaciones, cuyo objetivo es encontrar soluciones enteras o racionales
a expresiones polinómicas.

Tienen sus raíces en la antigua Grecia, con pensadores como Pitágoras y su teorema. Sin
embargo, fue Diofanto de Alejandría (siglo III d. C.) quien realizó la primera investigación
sistemática sobre este tipo de problemas en su obra Arithmetica.

Teoría de Grupos 2/28

 Contexto Matemático

Las ecuaciones diofánticas pertenecen al campo de la teoría de números, donde el interés

principal radica en encontrar soluciones enteras a ecuaciones polinómicas. Su estudio combina
técnicas de la aritmética, el álgebra y la geometría, y constituye una de las bases del
pensamiento matemático moderno.
Desde un punto de vista formal, estos problemas impulsaron el desarrollo de conceptos como la
factorización, las congruencias y la divisibilidad, que hoy son pilares de la matemática pura y
aplicada.

Teoría de Grupos 3/28

 Motivación

Estos problemas, que en apariencia son simples al buscar soluciones enteras, han desaado
durante siglos a los más grandes matemáticos y continúan inspirando nuevas investigaciones.

Comprender el comportamiento de las ecuaciones diofánticas permite apreciar la evolución del

razonamiento algebraico y el papel de la abstracción en la resolución de problemas numéricos.
Además, su estudio fortalece la intuición matemática y la capacidad de análisis, competencias
fundamentales en la formación matemática.

Por estas razones, abordar el tema de las ecuaciones diofánticas representa una oportunidad
para profundizar en la belleza lógica de la matemática y reconocer cómo problemas clásicos
pueden tener impacto en la ciencia moderna.

Teoría de Grupos 4/28

 Objetivo

Estudiar las ecuaciones diofánticas lineales desde el punto teórico para avanzar con el
entendimiento de las condiciones necesarias que aseguran la existencia de soluciones de dicha
ecuación, además de determinar cuál es la cantidad de soluciones que llega a tener una
ecuación de este tipo. De manera simultánea, se busca abarcar la importancia de estas
ecuaciones en el campo de la teoría de números, abriendo paso a la aplicación dentro de otras
ramas de la ciencia.

Teoría de Grupos 5/28

 Deniciones y resultados básicos

Denición 2.1 (Ecuación diofántica lineal)

Se denomina ecuación diofántica lineal a toda ecuación de la forma

a1 x1 + a2 x2 + ... + an xn = c con ai , xi , c ∈ Z

donde a1 , a2 , ..., an , c son enteros dados, y solo interesan las soluciones enteras (x1 , x2 , ..., xn ).
La condición necesaria y suciente para que exista solución es que el máximo común divisor de
a1 , a2 , ..., an divida a c.

Teoría de Grupos 6/28

 Preliminares

Denición 2.2 (Ecuación diofántica lineal de una sola incógnita)

Llamaremos ecuación diofántica lineal de una sola incógnita a toda ecuación de la forma

ax = b con a, x, b ∈ Z

donde a y b son enteros dados, y x es la incógnita de la cual se buscan soluciones enteras.

Teoría de Grupos 7/28

 Denición 2.3 (Ecuación lineal diofántica de dos incógnitas)
Llamaremos ecuación lineal diofántica de dos incógnitas a toda ecuación de la forma

ax + by = c

donde a, b, c son enteros dados con a y b no nulos, y x, y son las incógnitas de las cuales se
buscan soluciones enteras.

Teoría de Grupos 8/28

 Denición 2.4 (Ecuación diofántica homogénea)
Se llama ecuación diofántica homogénea a toda ecuación diofántica en la que el término
independiente es cero. Es decir, a toda ecuación de la forma

a1 x1 + a2 x2 + ... + an xn = 0

donde a1 , a2 , ..., an son enteros dados.

Teoría de Grupos 9/28

 Denición 2.5 (Solución trivial)
Se llama solución trivial de una ecuación diofántica a la solución en la que todas las incógnitas
toman el valor de cero. Para una ecuación con n incógnitas, esta es la n − tupla(0, 0, ..., 0).

Denición 2.6 (Soluciones naturales o positivas)

Llamaremos soluciones naturales o positivas de una ecuación diofántica a aquellas soluciones
enteras en las que todas las incógnitas toman valores pertenecientes al conjunto de los números
naturales (enteros positivos). Para una ecuación con incógnitas x1 , x2 , ..., xn , una solución
natural es una n − tupla(k1 , k2 , ..., kn ) donde ki ∈ Z+ .

Teoría de Grupos 10/28

 Denición 2.7 (Ecuación diofántica cuadrática)
Se llama ecuación diofántica cuadrática a toda ecuación diofántica en la que el grado máximo
de cualquiera de sus monomios es dos. Toda ecuación de la forma general

Ax 2 + Bxy + Cy 2 + Dx + Ey + F = 0

donde A, B, C , D, E , F son enteros dados y no todos los coecientes A, B, C son nulos, es una
ecuación diofántica cuadrática en dos variables x, y .

Teoría de Grupos 11/28

 Denición 2.8
Llamaremos ecuación diofántica cuadrática homogénea a toda ecuación de la forma

Ax 2 + Bxy + Cy 2 = 0

donde A, B, C son enteros dados y no todos nulos. La solución trivial (0, 0) siempre satisface
esta ecuación.

Teoría de Grupos 12/28

 Denición 2.9 (Ecuación de Pell)
Denominaremos como Ecuación de Pell a una ecuación diofántica cuadrática de la forma

x 2 − Dy 2 = 1

donde D es un entero positivo jo que no es un cuadrado perfecto, y x, y son las incógnitas de
las cualess se buscan soluciones enteras.

Teoría de Grupos 13/28

 Denición 2.10 (Sistema de ecuaciones diofánticas lineales)
Se denomina sistema de ecuaciones diofánticas lineales a un conjunto de dos o más ecuaciones
diofánticas lineales con coecientes enteros, en las que se buscan valores enteros para las
incógnitas que satisfagan de manera simultánea todas las ecuaciones del sistema

Denición 2.11 (Congruencia lineal)

Se llama congruencia lineal a una relación de la forma

ax ≡ b (mód m)

donde a, b y m son enteros dados con m > 0, y x es una incógnita de la cual se buscan
soluciones enteras. Esta congruencia es equivalente a la ecuación diofántica lineal

ax − my = b

Teoría de Grupos 14/28

 Teoremas importantes

Teorema 3.1
Sean a, b dos enteros no nulos simultáneamente, d = (a, b) y c otro entero. La ecuación
diofántica
ax + by = c
no tiene soluciones enteras si d ∤ c , y tiene innitas soluciones enteras si d | c . Además, si
x = x0 , y = y0 es una solución particular, todas las soluciones enteras tienen la forma

x = x0 + (b/d)n, y = y0 − (a/d)n,

donde n recorre los enteros.

Teoría de Grupos 15/28

 Teorema 3.2
Sean a y b enteros no ambos nulos y d = (a, b). La ecuación diofántica lineal homogénea

ax + by = 0

tiene innitas soluciones enteras. Además, la solución general está dada por
 
b a
x= k, y =− k, k ∈ Z.
d d

Corolario 3.3
Si (a, b) = 1, la solución general de ax + by = 0 es:

x = bk, y = −ak, k ∈ Z.

Teoría de Grupos 16/28

 Teorema 3.4
(Teorema Chino del Residuo) Sean m1 , m2 , . . . , mk enteros positivos coprimos dos a dos (es
decir, gcd(mi , mj ) = 1 para i ̸= j ), y sean a1 , a2 , . . . , ak enteros cualesquiera. Entonces el
sistema de congruencias: 

x ≡ a1 (mód m1 ),

x ≡ a2

(mód m2 ),
..


 .

x ≡ ak (mód mk ),


tiene una solución única módulo M = m1 m2 · · · mk .

Teoría de Grupos 17/28

 Teorema 3.5
(Teorema de la solución general de la Ecuación de Pell) Sea D un entero positivo que no es un
cuadrado perfecto. La ecuación de Pell:

x 2 − Dy 2 = 1

tiene innitas soluciones enteras (x, y ). Si (x1 , y1 ) es la solución fundamental (con x1 , y1 > 0
mínimos), entonces todas las soluciones positivas están dadas por:
√ √
x + y D = (x1 + y1 D) n , n ∈ Z+ .

Teorema 3.6
(Teorema de Bachet - Bézout) Sean a y b enteros no ambos nulos. Existen enteros x y y tales
que:
ax + by = (a, b).

Teoría de Grupos 18/28

 Aplicaciones

1. Criptografía
En criptografía moderna, especialmente en métodos basados en aritmética modular, surgen
ecuaciones diofánticas lineales cuando se requieren inversos modulares. Resolver la congruencia

ax ≡ 1 (mód m)

equivale a resolver la ecuación de Bézout

ax + my = 1.

El algoritmo de Euclides extendido, que produce estos coecientes, es fundamental en sistemas

criptográcos como RSA y en diversos protocolos de clave pública.

Teoría de Grupos 19/28

 Aplicaciones

2. Ciencias de la Computación
Las ecuaciones diofánticas aparecen en:

Algoritmos básicos: El algoritmo de Euclides extendido se utiliza en la computación de

inversos modulares, normalización aritmética y vericación de congruencias.

Asignación y planicación de recursos: Algunos algoritmos de packing o

sincronización requieren valores enteros que satisfacen ecuaciones lineales exactas.

Teoría de algoritmos: En análisis de complejidad y optimización discreta es común

reducir problemas a ecuaciones lineales con restricciones enteras.

Teoría de Grupos 20/28

 Aplicaciones

3. Física
En física, las ecuaciones diofánticas aparecen cuando las magnitudes involucradas son enteras o
discretas:

Modos normales y cuantización: Condiciones de frontera como nλ = L conducen a

ecuaciones lineales en enteros.

Conservación de carga o número de partículas: Relaciones del tipo

q1 x + q2 y = Q

con cargas discretas se modelan como ecuaciones diofánticas.

Teoría de Grupos 21/28

 Aplicaciones

4. Geometría y Teoría de Grafos

Para determinar si dos caminos periódicos en un grafo se encuentran en un vértice común se
analiza la congruencia
ax ≡ by (mód n),
equivalente a estudiar una ecuación diofántica. En geometría discreta, varios problemas sobre
puntos de retícula pueden reducirse a sistemas lineales con soluciones enteras.

Teoría de Grupos 22/28

 Práctica

Ejercicio. Encuentre todas las soluciones enteras (x, y ) de la ecuación

x 2 + y 2 = 25.

Solución. Como x 2 ≤ 25, se tiene

x ∈ {−5, −4, −3, −2, −1, 0, 1, 2, 3, 4, 5}.

Para cada valor vericamos si 25 − x2 es un cuadrado perfecto.

Teoría de Grupos 23/28

 x = ±5. Entonces y 2 = 25 − 25 = 0, por lo que y = 0.

(5, 0), (−5, 0).

x = ±4. Entonces y 2 = 25 − 16 = 9, por lo que y = ±3.

(4, 3), (4, −3), (−4, 3), (−4, −3).

x = ±3. Entonces y 2 = 25 − 9 = 16, por lo que y = ±4.

(3, 4), (3, −4), (−3, 4), (−3, −4).

Teoría de Grupos 24/28

 x = ±2. Entonces y 2 = 25 − 4 = 21. Como 21 no es un cuadrado perfecto, no hay
soluciones.

x = ±1. Entonces y 2 = 25 − 1 = 24. Como 24 no es un cuadrado perfecto, no hay

soluciones.

x = 0. Entonces y 2 = 25, por lo que y = ±5.

(0, 5), (0, −5).

Teoría de Grupos 25/28

 Conjunto de soluciones.

(5, 0), (−5, 0),

(4, 3), (4, −3), (−4, 3), (−4, −3),
(3, 4), (3, −4), (−3, 4), (−3, −4),
(0, 5), (0, −5).

Teoría de Grupos 26/28

 Conclusiones

Las ecuaciones diofánticas constituyen una piedra angular en el desarrollo de la teoría de

números, proporcionando un marco teórico sólido para el estudio de propiedades profundas
de los números enteros. Los teoremas demostrados, desde el caso lineal hasta la ecuación
de Pell, revelan estructuras algebraicas subyacentes que conectan conceptos aparentemente
dispersos como divisibilidad, congruencias y formas cuadráticas, estableciendo así un
puente entre la aritmética elemental y áreas más avanzadas de las matemáticas.

Lejos de ser solo una curiosidad histórica, las ecuaciones diofánticas demuestran una
sorprendente aplicabilidad en campos contemporáneos. Desde la criptografía RSA que
protege comunicaciones digitales hasta problemas de optimización en investigación
operativa, pasando por modelados en física y química, estas ecuaciones proveen
herramientas computacionales y teóricas esenciales. La resolución efectiva de problemas de
distribución, empaque y planicación mediante métodos diofánticos evidencia su utilidad
práctica en escenarios del mundo real.

Teoría de Grupos 27/28

 Referencias

Lorente, J. L. (2015). Tema 15: Teoría de números.

Ortega Torres, A. M. (2017). Estudio y discusión sobre problemas de Olimpiada. Ecuaciones diofánticas

(Trabajo Fin de Máster). Universidad de Granada.

Universidad Pedagógica Nacional. (2015). Teoría de números (Trabajo de grado). Universidad Pedagógica
Nacional.

Varona, J. L. (2019). Recorridos por la teoría de números (2. ed.). Real Sociedad Matemática Española.

Teoría de Grupos 28/28