Diofánticas
Diofánticas
Diofánticas
La redujo a 3𝑥 + 5𝑦 = 10
Una vez que tiene una solución de Bezout por tanteo 𝑟 = 2, 𝑠 = −1, esta solución verifica la
ecuación de Bezout. Por lo tanto,
1 = 3 · 2 + 5 · (−1)
Lo único que hay que hacer para calcular la solución particular (𝑟´, 𝑠´) de la ecuación reducida
es multiplicar a la ecuación de Bezout (con su solución hallada) por el término independiente.
Por lo tanto,
10 = 3 · 20 + 5 · (−10)
𝑟´ = 20 , 𝑠´ = −10
Ahora, unas paramétricas que nos dan todas las soluciones enteras son:
𝑥 = 𝑟´ + 𝑏´𝑡
} 𝑡∈ℤ
𝑦 = 𝑠´ − 𝑎´𝑡
𝑥 = 20 + 5𝑡
} 𝑡∈ℤ
𝑦 = −10 − 3𝑡
Para el ejemplo −127𝑥 + 52𝑦 = 1, hay que aplicar el algoritmo de Euclides dividiendo el
coeficiente grande entre el pequeño y realizando la misma operación con divisores y restos
sucesivos hasta que el resto de 1.
127 = 52 · 2 + 23
52 = 23 · 2 + 6
23 = 6 · 3 + 5
6=5·1+1
127 = 52 · 2 + 23 ⇔ 23 = 127 − 52 · 2
52 = 23 · 2 + 6 ⇔ 6 = 52 − 23 · 2
23 = 6 · 3 + 5 ⇔ 5 = 23 − 6 · 3
6=5·1+1 ⇔ 1=6−5·1
Ahora, desde la última igualdad y hacia arriba, vaya sustituyendo el divisor por el resto de la
anterior (que es el mismo).
1 = 6 − 5 · 1 = 6 − (23 − 6 · 3) · 1 = 6 − 23 · 1 + 6 · 3 = 6 · 4 − 23 · 1 =
= (52 − 23 · 2) · 4 − 23 · 1 = 52 · 4 − 23 · 8 − 23 · 1 = 52 · 4 + 23 · (−9) =
= 52 · 22 − 127 · 9
Por lo tanto,
1 = 52 · 22 − 127 · 9
Co