ÍNDICE

Ecuación diofántica

 Ecuaciones diofánticas lineales

o Solución particular
 Demostración
o Solución general
 Demostración
o Ejemplo práctico
 Ecuaciones diofánticas no lineales
o Ecuación de Pell
o Ecuación de Thue-Siegel-Roth
o Ecuación de Thue
o Ecuación de Mordell
o Ternas pitagóricas
o El Último Teorema de Fermat

Bibliografía

Ecuaciones diofánticas Miguel Cidrás Senra 1

 Ecuación diofántica
Una ecuación diofántica es una ecuación lineal con coeficientes enteros y que
exige soluciones también enteras. Su nombre lo toman de Diofanto de
Alejandría, quien, además de ser uno de los primeros en utilizar simbolismo
en álgebra, se dedicó entre otras cosas al estudio de estas ecuaciones

Ecuación diofántica lineal

La ecuación diofántica 𝑎𝑥 + 𝑏𝑦 = 𝑐 tiene solución si y solo si 𝑑 = 𝑚𝑐𝑑(𝑎, 𝑏) es un
divisor de 𝑐. En ese caso la ecuación tiene una infinidad de soluciones.

Similarmente la ecuación 𝑎1 𝑥1 + 𝑎2 𝑥2 + ⋯ + 𝑎𝑛−1 𝑥𝑛−1 + 𝑎𝑛 𝑥𝑛 tiene solución si y solo

si 𝑑 = 𝑚𝑐𝑑(𝑎1 , 𝑎2 , . . . , 𝑎𝑛 ) es un divisor de 𝑐.

Solución particular

Sean 𝑎, 𝑏 y 𝑐 tres números enteros. La ecuación lineal 𝑎𝑥 + 𝑏𝑦 = 𝑐 tiene solución

entera si, y sólo si el máximo común divisor de 𝑎 y 𝑏 divide a 𝑐.

Demostración
Supongamos que los enteros x0 e y0 son solución de la ecuación 𝑎𝑥 + 𝑏𝑦 = 𝑐, es
decir 𝑎𝑥0 + 𝑏𝑦0 = 𝑐. Pues bien, si 𝑑 = 𝑚. 𝑐. 𝑑. (𝑎, 𝑏), entonces 𝑑 = 𝑚. 𝑐. 𝑑. (𝑎, 𝑏) ⇒
𝑑|𝑎 𝑦 𝑑|𝑏 ⇒ 𝑑|𝑎𝑥0 + 𝑏𝑦0 ⇒ 𝑑|𝑐.

Recíprocamente, supongamos que 𝑑 = 𝑚. 𝑐. 𝑑. (𝑎, 𝑏) es divisor de c. Entonces,

𝑎 𝑏
𝑚𝑐𝑑(𝑎, 𝑏) = 𝑑 ⇒ 𝑚𝑐𝑑 ( , ) = 1
𝑑 𝑑
𝑎 𝑏
⟺ ∃𝑝, 𝑞 ∈ ℤ ∶ 𝑝+ 𝑞=1
𝑑 𝑑
𝑐𝑝 𝑐𝑞
⇒ 𝑎 +𝑏 =𝑐
𝑑 𝑑

Solución general
Sean 𝑎, 𝑏 y 𝑐 tres números enteros no nulos tales que el máximo común divisor de 𝑎
y 𝑏 divide a 𝑐. Entonces la solución general de la ecuación 𝑎𝑥 + 𝑏𝑦 = 𝑐 es:

𝑏
𝑥 = 𝑥0 + 𝑘 ·
𝑑
𝑎
𝑦 = 𝑦0 + 𝑘 ·
𝑑

donde 𝑥0 e 𝑦0 es una solución particular de la misma y 𝑘 es cualquier número entero.

Ecuaciones diofánticas Miguel Cidrás Senra 2

Demostración
Sea 𝑑 el máximo común divisor de 𝑎 y 𝑏 y existe de una solución particular 𝑥 = 𝑥0 e
𝑦 = 𝑦0 para el sistema. Entonces,

𝑎𝑥0 + 𝑏𝑦0 = 𝑐

Dividiendo ahora ambos miembros de esta ecuación por el máximo común divisor de 𝑎
y 𝑏, tendremos,

𝑎 𝑏 𝑐
𝑥0 + 𝑦0 =
𝑑 𝑑 𝑑

𝑎 𝑏 𝑐 𝑎 𝑏
𝑥 + 𝑦 = ⇒ (𝑥1 − 𝑥0 ) + (𝑦1 − 𝑦0 ) = 0
𝑑 0 𝑑 0 𝑑 𝑑 𝑑

𝑎 𝑏 𝑐 𝑎 𝑏
𝑥1 + 𝑦1 = ⇒ (𝑥1 − 𝑥0 ) = (𝑦0 − 𝑦1 )
𝑑 𝑑 𝑑 𝑑 𝑑
𝑏 𝑎
⇔ | (𝑥 − 𝑥0 )
𝑑 𝑑 1
𝑏 𝑎
y al ser 𝑑 primo con 𝑑, dividirá a 𝑥1 − 𝑥0 , luego:

𝑏 𝑏 𝑏
|𝑥1 − 𝑥0 ⇔ ∃𝑘 ∈ ℤ ∶ 𝑥1 − 𝑥0 = 𝑘 · ⇒ 𝑥1 = 𝑥0 + 𝑘 ·
𝑑 𝑑 𝑑
𝑎 𝑏
Sustituimos el valor de 𝑥1 − 𝑥0 en (𝑥1 − 𝑥0 ) + (𝑦1 − 𝑦0 ) = 0 y resulta
𝑑 𝑑

𝑎 𝑏 𝑏 𝑎 𝑎
· 𝑘 · + (𝑦1 − 𝑦0 ) = 0 ⇒ · 𝑘 + 𝑦1 − 𝑦1 = 0 ⇒ 𝑦1 = 𝑦0 − 𝑘 ·
𝑑 𝑑 𝑑 𝑑 𝑑

Veamos, finalmente, que 𝑥1 e 𝑦1 es solución de la ecuación 𝑎𝑥 + 𝑏𝑦 = 𝑐

En efecto,

𝑏 𝑎
𝑎𝑥1 + 𝑏𝑦1 = 𝑎 · (𝑥0 + 𝑘 · ) + 𝑏 · (𝑦0 − 𝑘 · ) =
𝑑 𝑑
𝑏 𝑎
= 𝑎𝑥0 + 𝑎 · 𝑘 · + 𝑏𝑦0 − 𝑏 · 𝑘 · =
𝑑 𝑑

= 𝑎𝑥0 + 𝑏𝑦0 =

=𝑐

Luego, la solución general de la ecuación 𝑎𝑥 + 𝑏𝑦 = 𝑐 para cualquier 𝑘 ∈ ℤ.

𝑏
𝑥1 = 𝑥0 + 𝑘 ·
𝑑
𝑎
𝑦1 = 𝑦0 − 𝑘 ·
𝑑

Ecuaciones diofánticas Miguel Cidrás Senra 3

Ejemplo práctico
Un grupo de 23 viajeros llega a un campamento y encuentra 63 montones de sacos,
todos con el mismo número de sacos, y un montón adicional con 7 sacos. Si sabemos
que los viajeros no podían cargar con más de 50 sacos y pudieron repartírselos por
igual y sin abrirlos, ¿cuántos sacos había en cada uno de los montones?

𝑣 ≡ 𝑛º 𝑑𝑒 𝑠𝑎𝑐𝑜𝑠 𝑝𝑜𝑟 𝑣𝑖𝑎𝑗𝑒𝑟𝑜

𝑠 ≡ 𝑛º 𝑑𝑒 𝑠𝑎𝑐𝑜𝑠 𝑝𝑜𝑟 𝑚𝑜𝑛𝑡ó𝑛

23 · 𝑣 = 63 · 𝑠 + 7

23𝑣 − 63𝑠 = 7

Algoritmo de Euclides

2 1 2 1 5
63 23 17 6 5 1
17 6 5 1 0

𝑚𝑐𝑑(23, 63) = 1

6 = 23 − 17
1 = 6 − 5 = 6 − 17 + 6 · 2 = 6 · 3 − 17 =
1= 6−5
⇒ = (23 − 17) · 3 − 17 = 23 · 3 + (−4) · 17 =
5 = 17 + 6 · (−2)
= 23 · 3 + (−4) · (63 + 23 · (−2)) =
17 = 63 + 23 · (−2)
= 23 · 3 + (−4) · 63 + 23 · 8 = 11 · 23 + 4 · (−63)

Solución particular

7 · 11
𝑣0 = = 77
1
7·4
𝑠0 = = 28
1
Solución general

𝑣 = 77 − 63 · 𝑡

𝑠 = 28 − 23 · 𝑡

Ecuaciones diofánticas Miguel Cidrás Senra 4

 Teniendo en cuenta que los viajeros no podían cargar con más de 50 sacos debe ser
positivo y menor que 50 se obtiene lo siguiente:

50 > 28 − 23𝑡 > 0

22 > −23 · 𝑡 > −28

1,22 > 𝑡 > −0,96

Por tanto, el único valor posible es:

𝑡=1

𝑣 = 77 − 63 = 14

𝑠 = 28 − 23 = 5

Por lo que: cada viajero cargaba con 14 sacos y cada montón tenía
5 sacos.

Ecuaciones diofánticas no
lineales
Por desgracia cuando los exponentes no son 1 (es decir, cuando no son lineales) no
tenemos existe un procedimiento general para resolverlas. Esto se sabe desde 1970
que Yuri Matiyasévich consiguió demostrar que no es posible encontrar un
algoritmo que nos diga si una ecuación diofántica tiene soluciones o no las tiene. Este
fue el décimo de los 23 problemas que David Hilbert propuso en el año 1900.

Sin embargo, sí se sabe resolver algunos casos particulares de ellas.

Ecuación de Pell
𝑥 2 − 𝑛𝑦 2 = 1

Donde 𝑛 es un número entero que no es cuadrado perfecto.

Estas ecuaciones fueron estudiadas ya por Arquímedes, aunque el matemático que
trabajó formalmente en ellas fue Bhaskara I, que por ejemplo, planteó el problema:
"Dime, Oh matemático, ¿cuál es el cuadrado que multiplicado por 8 se convierte -
junto con la unidad - en un cuadrado?" En notación moderna, preguntó por las
soluciones de la ecuación de Pell 𝑥2 − 8𝑦 2 = 1. Tiene la solución simple 𝑥 = 3, 𝑦 = 1, a
partir de las cuales se pueden construir más soluciones, por ejemplo, (𝑥, 𝑦) = (17,6)

Ecuaciones diofánticas Miguel Cidrás Senra 5

Ecuación de Thue-Siegel-Roth
𝑝 1
|𝛼 − | < 2+𝜀 𝜀 > 0
𝑞 𝑞

El teorema de Thue-Siegel-Roth, también conocido simplemente como el teorema

de Roth, es un resultado fundamental en la aproximación diofántica de números
algebraicos. Es de tipo cualitativo, que indica que un α dado de números algebraicos no
puede tener demasiados números racionales aproximaciones, que son "muy buena".
Más de la mitad de un siglo, su resolución se perfeccionó por un número de
matemáticos, a partir de Liouville en 1844 y continuando con el trabajo de Axel
Thue (1909), Carl Ludwig Siegel ( 1921 ), Dyson (1947), y Klaus Roth (1955).

Ecuación de Thue
Una ecuación de Thue es una ecuación diofántica de la forma

𝑓(𝑥, 𝑦) = 𝑟

donde ƒ es un irreductible bivariado con forma de grado, por lo menos 3, con

números racionales, y r es un número racional que no sea 0. Lleva el nombre de Axel
Thue que en 1909 resultó ser un teorema, ahora llamado teorema de Thue, de que la
ecuación tiene un número finito de soluciones de enteros x e y.

Ecuación de Mordell
𝑦2 = 𝑥3 + 𝑎

A esta ecuación se la llama a veces la ecuación de Bachet, aunque fue Fermat el

primero que estudió algunos casos particulares. También se la llama la ecuación de
Mordell ya que la estudió en más detalle.

Los números naturales menores que 100 que si son 𝑎 la ecuación tiene solución son:
1, 2, 3, 4, 5, 8, 9, 10, 12, 15, 16, 17, 18, 19, 22, 24, 25, 26, 27, 28, 30, 31, 33, 35, 36, 37, 38,
40, 41, 43, 44, 45, 48, 49, 50, 52, 54, 55, 56, 57, 63, 64, 65, 68, 71, 72, 73, 76, 79, 80, 81,
82, 89, 91, 92, 94, 97, 98, 99.

Ternas pitagóricas
Una ecuación pitagórica es la ecuación 𝑥 2 + 𝑦 2 = 𝑧 2 con 𝑥, 𝑦, 𝑧 ∈ ℤ. Cualquier
terna (x, y, z) solución de la ecuación anterior se conoce como terna pitagórica. Además
si (x, y, z) es una terna pitagórica solución de la ecuación pitagórica también lo serán:

1. La terna alternando x e y: (y, x, z).

2. Una terna múltiplo (ky, kx, kz).
3. Una terna con algún signo cambiado (-x, y, z), (x, -y, z) o (y, x, -z)
4. Cualquier otra terna obtenida mediante una combinación de los
procedimientos anteriores.

Ecuaciones diofánticas Miguel Cidrás Senra 6

 Se dice que una terna es primitiva, si 𝑚𝑐𝑑(𝑥, 𝑦, 𝑧) = 1. En toda terna primitiva al
menos uno de los números x o y es par y z es impar. Puede verse que en esas
condiciones todas las ternas primitivas que son de la ecuación pitagórica son de la
forma:

𝑥 = 2𝑢𝑣 𝑦 = 𝑢2 − 𝑣 2 𝑧 = 𝑢2 + 𝑣 2

𝑢, 𝑣 ∈ ℕ, 𝑚𝑐𝑑(𝑢, 𝑣) = 1

Imaginemos x, y, z son primos entre sí y cumplen:

𝑥2 + 𝑦2 = 𝑧2

Introducimos la identidad notable, el cuadrado de la suma, y tratamos de

transformarlo en una suma de cuadrados:

(𝑎 + 𝑏)2 = 2𝑎𝑏 + 𝑎2 + 𝑏 2

(𝑎 + 𝑏)2 = 2𝑎𝑏 + 𝟐𝒂𝒃 + 𝑎2 + 𝑏 2 − 𝟐𝒂𝒃

(𝑎 + 𝑏)2 = 4𝑎𝑏 + (𝑎 − 𝑏)2

(𝑎 + 𝑏)2 = 22 𝑎𝑏 + (𝑎 − 𝑏)2

Si 𝑎 = 𝑢2 y 𝑏 = 𝑠 2 :

(2𝑢2 𝑠 2 )2 + (𝑢2 − 𝑠 2 )2 = (𝑢2 + 𝑠 2 )2

Esta tabla va desde la x=3 hasta x=50

x y z x y z x y z x y z x y z

3 4 5 15 112 113 25 312 313 35 612 613

5 12 13 16 255 257 26 675 677 36 1295 1297

7 24 25 17 144 145 27 364 365 37 684 685 45 1012 1013

8 63 65 18 323 325 28 783 785 38 1443 1445 46 2115 2117

9 40 41 19 180 181 29 420 421 39 760 761 47 1104 1105

10 99 101 20 399 401 30 899 901 40 1599 1601 48 2303 2305

11 60 61 21 220 221 31 480 481 41 840 841 49 1200 1201

12 143 145 22 483 485 32 1023 1025 42 1763 1765 50 2499 2501

13 84 85 23 264 265 33 544 545 43 924 925

14 195 197 24 575 577 34 1155 1157 44 1935 1937

Ecuaciones diofánticas Miguel Cidrás Senra 7

El Último Teorema de Fermat
𝑛 ≥ 3 ⇒ 𝑥𝑛 + 𝑦𝑛 ≠ 𝑧𝑛

Es uno de los teoremas más famosos en la historia de la matemática. Utilizando la

notación moderna, se puede enunciar de la siguiente manera: si n es un número
entero mayor que 2, entonces no existen números enteros a, b y c, tales que se cumpla
la igualdad (con x, y, z no nulos):𝑥 𝑛 + 𝑦 𝑛 = 𝑧 𝑛
El teorema fue conjeturado por Pierre de Fermat (jurista francés del siglo XVII y
apasionado de las Matemáticas, es conocido como el “padre de la teoría de números”)
en 1637, pero no fue demostrado hasta 1995 por Andrew Wiles ayudado por el
matemático Richard Taylor.
La búsqueda de una demostración estimuló el desarrollo de la teoría algebraica de
números (s. XIX) y la demostración del teorema de la modularidad (s. XX).
Fermat, cuya gran parte de su interés por la teoría de números la tuvo un ejemplar
de la Arithmetica de Diofanto de Alejandría. A través de ese libro Fermat comenzó a
estudiar propiedades de los números, y dejó su afirmación más enigmática. Por ser la
afirmación de Fermat que más se ha tardado en demostrar se denomina último
teorema de Fermat. Dicho teorema lo escribió al lado de un apartado en el que se
hablaba del teorema de Pitágoras, y escribió Fermat lo siguiente:

Es imposible dividir un cubo en suma de dos cubos, o un bicuadrado en suma de

dos bicuadrados, o en general, cualquier potencia superior a dos en dos potencias del
mismo grado; he descubierto una demostración maravillosa de esta afirmación. Pero
este margen es demasiado angosto para contenerla

Más de 300 años después, en 1993, Andrew Wiles, en edad para recibir la medalla
Fields, presenta su demostración del teorema, pero se encuentra un error que Wiles,
junto a Richard Taylor, tarda en resolver cerca de 2 años, pasando en ese tiempo la
edad máxima para recibir el premio. Se reconoció la labor de Wiles con el premio
Wolfskehl, consistente en una cantidad en metálico dejada por el matemático del
mismo nombre en su testamento y la admiración de toda la comunidad matemática.
Fue tal la trascendencia de la demostración que Wiles apareció en portada del New
York Times por este hecho.

Ecuaciones diofánticas Miguel Cidrás Senra 8

 Bibliografía
Para la realización de este trabajo he investigado en diversas páginas web, que entre
ellas se encuentran:

 http://www2.uca.es/matematicas/Docencia/ESI/1710003/Apuntes/Leccion12.
pdf
 http://es.wikipedia.org/wiki/Ecuaci%C3%B3n_diof%C3%A1ntica
 http://mathworld.wolfram.com/MonkeyandCoconutProblem.html
 http://gaussianos.com/como-resolver-ecuaciones-diofanticas/
 http://gaussianos.com/la-ecuacion-de-pell/
 http://sisbib.unmsm.edu.pe/bibvirtualdata/monografias/basic/alanya_ps/cap
8.pdf
 http://en.wikipedia.org/wiki/Thue_equation
 http://en.wikipedia.org/wiki/Thue%E2%80%93Siegel%E2%80%93Roth_theor
em
 http://usuarios.multimania.es/teoriadenumeros/cubo.html
 http://usuarios.multimania.es/teoriadenumeros/pitag.html
 http://es.wikipedia.org/wiki/%C3%9Altimo_teorema_de_Fermat
 http://www.monografias.com/trabajos-pdf2/demostracion-sencilla-ultimo-
teorema-fermat/demostracion-sencilla-ultimo-teorema-fermat.shtml
 http://gaussianos.com/el-ultimo-teorema-de-fermat/
 http://www-groups.dcs.st-
and.ac.uk/~history/HistTopics/Fermat's_last_theorem.html
 http://www.ciencia.cl/CienciaAlDia/volumen2/numero1/articulos/articulo1.ht
ml

Ecuaciones diofánticas Miguel Cidrás Senra 9