Ecuacin diofntica

Se llama ecuacin diofntica a cualquier ecuacin alge- 2.1 Solucin general

braica, de dos o ms incgnitas, cuyos coecientes reco-
rren el conjunto de los nmeros enteros, de las que se bus- Supongamos la ecuacin diofntica
can soluciones enteras, esto es, que pertenezcan al con- Ax+By=C
junto de los nmeros enteros.[1]
. Solo tiene solucin si
mcd(A,B)=d|C
1 Ejemplo . Para buscar el
mcd(A,B)
Un ejemplo de ecuacin diofntica es:
empleamos el algoritmo de Euclides. Si una ecuacin dio-
x+y =5
fntica tiene solucin, necesariamente tiene innitas so-
Esta ecuacin tiene innitas soluciones en los nmeros luciones y todas son de la forma:
enteros. Como regla general, sin embargo, las ecuaciones
que aparecen en los problemas tienen restricciones que
x = x1 +
B
nos ayudan a limitarnos a un pequeo nmero de casos e d
incluso a una nica solucin.
y = y A
1
Por ejemplo, en nuestra ecuacin, si restringimos los po- d
sibles valores de Donde
x d=mcd(A,B)

e y
y x1

a los enteros positivos, tenemos 4 soluciones para e

(x, y) y1

: son una solucin particular de la ecuacin.

Esta solucin para nmeros enteros contrasta con la solu-
(1, 4) (2, 3) (3, 2) (4, 1) cin de la misma ecuacin cuando se considera que A, B,
C, x e y son nmeros reales, que est formada por inni-
Un problema matemtico muy famoso que se resuelve tas soluciones de la forma: y = (C - x*A)/B (suponiendo
por medio de ecuaciones diofnticas es el del mono y los B diferente de cero).
cocos.

2.2 Solucin particular

2 Ecuacin diofntica lineal Para encontrar una solucin particular usamos la
identidad de Bzout junto al algoritmo de Euclides. Esto
La ecuacin diofntica nos da
Ax + By = C x1
o identidad de Bzout tiene solucin si y solo si d = e
mcd(A, B) (mximo comn divisor) es un divisor de C.
y
En ese caso la ecuacin tiene una innidad de soluciones. 1
. Veamos el ejemplo:
Similarmente la ecuacin
Tenemos la ecuacin diofntica 6x + 10y = 104
a1 x1 + a2 x2 + ... + an xn = C
tiene solucin si y solo si d = mcd(a1 , a2 ,...,an) es un 1. Buscamos el d = mcd(6, 10). A travs del algoritmo
divisor de C. de Euclides encontramos que d = 2.

1
2 7 NOTAS Y REFERENCIAS

2. Como d|C (donde "|" signica divide a), es decir, 2n, n2 1, n2 + 1

2|104, Calculamos una solucin particular mediante
la Identidad de Bzout: x1 = 2 e y1 = 1. La ecua- , sin duda alguna no tuvo inuencia en el desarrollo ma-
cin quedara as: 6 2 + 10 (1) = 2. temtico general.[3]
3. Ahora tenemos una solucin para la ecuacin 6x +
10y = 2. Con x1 = 2 e y1 = 1. Si multiplicamos 3.2 Ternas pitagricas
cada parte de la ecuacin por C/d (104 / 2 = 52),
tendremos la solucin particular de nuestra ecuacinCuando los nmeros enteros positivos u, v, w represen-
original (6x + 10y = 104). La ecuacin quedara as:tan las longitudes de los lados de un tringulo rectngu-
6 2 52 + 10 (1) 52 = 104 lo, la terna (u, v, w) se dice que es una terna pitagrica.
4. Con lo que hemos visto arriba, buscamos la solucin Por ejemplo[4](3,4,5), (7,24,25) y (9, 40, 41) son ternas
general: pitagricas.

{
x = (2 52) + 10
2 Z 4 Ecuacin diofntica cbica
y = (1 52) 6
2

La ecuacin
3 Ecuacin pitagrica
x3 + y 3 = 1729
Se llama ecuacin pitagrica a la ecuacin
x2 + y 2 = z 2 fue resuelta automticamente por Ramanujan, quien dio
como soluciones- contemplando las cifras que aparecan
con en la placa de un automvil- los pares ordenados (1,12),
x, y, z Z (12,1) (10,9) (9,10).[5]
. Cualquier terna (x, y, z) solucin de la ecuacin ante-
rior se conoce como terna pitagrica. Adems si (x, y, z)
es una terna pitagrica solucin de la ecuacin pitagrica 5 El dcimo problema de Hilbert
tambin lo sern:
En 1900, David Hilbert propuso una famosa lista de pro-
1. La terna alternando x e y: (y, x, z). blemas cuya solucin se considera concedera grandes
aportaciones a las matemticas. Uno de ellos, el dcimo
2. Una terna mltiplo (ky, kx, kz). problema concretamente, se refera a la solubilidad ge-
3. Una terna con algn signo cambiado (-x, y, z), (x, -y, neral de las ecuaciones diofnticas, que a principios de
z) o (y, x, -z) siglo era un problema abierto. El problema fue resuel-
to nalmente en 1970, cuando un resultado novedoso en
4. Cualquier otra terna obtenida mediante una combi- lgica matemtica conocido como teorema de Matiyase-
nacin de los procedimientos anteriores. vich contestaba negativamente al problema de Hilbert: no
existe un procedimiento general que permita establecer
Se dice que una terna es primitiva, si el mximo comn cuantas soluciones tiene una ecuacin diofntica.
divisor de x, y, z es la unidad, es decir, mcd(x,y,z) = 1.
En toda terna primitiva al menos uno de los nmeros x
o y es par y z es impar. Puede verse que en esas condi- 6 Vase tambin
ciones todas las ternas primitivas que son soluciones de
la ecuacin pitagrica son de la forma: Teora de nmeros
{
x = u2 v 2 y = 2uv z = u2 + v 2 Dcimo problema de Hilbert
u, v N u = v (mod 2) mcd(u, v) = 1

[2] 7 Notas y referencias

[1] Julin Espinoza de los Monteros ( Coordinador gene-
3.1 Aporte de Platn ral).Diccionario de matemticas, edicin 2001, Cultural,
S.A. Madrid. ISBN 84-8055-355-3
A Platn se le debe un aporte sobre el caso cuando l for- [2] La solucin ya apareca en la obra cumbre de Euclides,
mula como los lados de un tringulo rectngulo, en n- segn HOfmann autor de Historia de la matemtica ISBN
meros enteros 988-18-6286-4
7.2 Enlaces externos 3

[3] Hofmann. Op. cit.

[4] El ingenio en las matemticas de Ross Honsberger

(1994) ISBN 85731-14-X pg.120

[5] Ancdota comentada por el matemtico britnico Hardy

7.1 Bibliografa
Mordell, L. J. (1969). Diophantine equations. Pure
and Applied Mathematics 30. Academic Press. ISBN
0-12-506250-8. Zbl 0188.34503.

Schmidt, Wolfgang M. (1991). Diophantine appro-

ximations and Diophantine equations. Lecture Notes
in Mathematics 1467. Berlin: Springer-Verlag. ISBN
3-540-54058-X. Zbl 0754.11020.

Shorey, T. N.; Tijdeman, R. (1986). Exponential

Diophantine equations. Cambridge Tracts in Mathe-
matics 87. Cambridge University Press. ISBN 0-521-
26826-5. Zbl 0606.10011.

Smart, Nigel P. (1998). The algorithmic resolution of

Diophantine equations. London Mathematical So-
ciety Student Texts 41. Cambridge University Press.
ISBN 0-521-64156-X. Zbl 0907.11001.

Stillwell, John (2004). Mathematics and its History

(Second Edition edicin). Springer Science + Busi-
ness Media Inc. ISBN 0-387-95336-1.

7.2 Enlaces externos

Weisstein, Eric W. Diophantine Equation. En
Weisstein, Eric W. MathWorld (en ingls). Wolfram
Research.
Ecuacin diofntica en PlanetMath.
4 8 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

8 Origen del texto y las imgenes, colaboradores y licencias

8.1 Texto
Ecuacin diofntica Fuente: https://es.wikipedia.org/wiki/Ecuaci%C3%B3n_diof%C3%A1ntica?oldid=99077262 Colaboradores: Pino,
Joseaperez, Cdlfd, Sanbec, Gauss, Rsg, LeonardoRob0t, RobotQuistnix, Caiserbot, Yrbot, GermanX, Eskimbot, CEM-bot, Davius,
Thijs!bot, TXiKiBoT, Edmenb, BotMultichill, Manw, Kuragari~eswiki, XalD, HUB, DragonBot, Artra, Raulshc, Camilo, UA31, AV-
BOT, DumZiBoT, Arjuno3, Luckas-bot, MystBot, Yerco, Don arcay, Jkbw, Rubinbot, BenzolBot, TobeBot, PatruBOT, EmausBot, Grilli-
tus, MerlIwBot, Invadibot, Acratta, JYBot, Legobot, FedeBosio, Nigersht, Nacio1234, Humani65, Willcox27 y Annimos: 33

8.2 Imgenes

8.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0