Ir al contenido

Diferencia entre revisiones de «Ecuación diofántica»

De Wikipedia, la enciclopedia libre
Contenido eliminado Contenido añadido
Esta obra contiene una traducción derivada del articulo respectivo de Wikipedia en inglés, concretamente la versión válida al dia de la traducción, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 3.0 Unported.
Línea 11: Línea 11:


Un problema matemático muy famoso que se resuelve por medio de ecuaciones diofánticas es el del [[problema del mono y los cocos|mono y los cocos]].
Un problema matemático muy famoso que se resuelve por medio de ecuaciones diofánticas es el del [[problema del mono y los cocos|mono y los cocos]].

En las ecuaciones diofánticas siguientes, <math>w, x, y</math>, y <math>z</math> son las incógnitas y las otras letras son constantes conocidas:
{| class=«wikitable»
| <math>ax+by = c</math>||Esta es la ecuación diofantina lineal o [[identidad de Bézout]].
|-
| <math>w^3 + x^3 = y^3 + z^3</math>|| La solución notrivial más pequeña en el ámbito de los enteros positivos es {{math|1=12<sup>3</sup> + 1<sup>3</sup> = 9<sup>3</sup> + 10<sup>3</sup> = 1729}}. Fue enunciada como una propiedadevidente en 1729, un código de identificación de taxi (también denominado [[número de Hardy–Ramanujan]]) por [[Ramanujan]] a [[G. H. Hardy|Hardy]] durante una reunión en 1917.<ref>{{cite web |url=http://www-gap. dcs.st-and.ac.uk/~history/Quotations/Hardy.html |title=Quotations by Hardy |publisher=Gap.dcs.st-and.ac.uk |access-date=20 November 2012 |archive-url=https://web.archive.org/web/20120716185939/http://www-gap. dcs.st-and.ac.uk/~history/Quotations/Hardy.html |archive-date=16 July 2012 }}</ref> Existe un número infinito de soluciones notriviales.<ref>{{citation|title=An Introduction to Number Theory|volume=232|series=Graduate Texts in Mathematics|first1=G. |last1=Everest|first2=Thomas|last2=Ward|publisher=Springer|year=2006|isbn=9781846280443|page=117|url=https://books.google.com/books?id=Z9MAm0lTKuEC&pg=PA117}}.</ref>
|-
| Para {{math|1=n = 2}} hay infinitas soluciones {{math|(''x, y, z'')}}: el [[triple pitagórico]]s. Para valores enteros mayores de {{mvar|n}}, [[El último teorema de Fermat]] (afirmado inicialmente en 1637 por Fermat y [[La prueba de Wiles del último teorema de Fermat|probado por Andrew Wiles]] en 1995<ref name=wiles>{{cite journal|last=Wiles|first=Andrew|author-link=Andrew Wiles|year=1995|title=Curvas elípticas modulares y el último teorema de Fermat|url=http: //usuarios. tpg.com.au/nanahcub/flt.pdf |journal=[[Annals of Mathematics]]|volume=141|issue=3|pages=443-551|oclc=37032255|doi=10.2307/2118559|jstor=2118559}}</ref>) afirma que no hay soluciones enteras positivas {{math|(''x, y, z'')}}.
|-
| <math>x^2 - ny^2 = \pm 1</math>|| Esta es la [[ecuación de Pell]], que recibe su nombre del matemático inglés [[John Pell (matemático)|John Pell]]. Fue estudiada por [[Brahmagupta]] en el siglo VII, así como por Fermat en el siglo XVII.
|-
| <math>\frac 4 n = \frac 1 x + \frac 1 y + \frac 1 z</math>||La [[conjetura de Erdős-Straus]] afirma que, para cada entero positivo {{mvar|n}} ≥ 2, existe una solución en {{mvar|x, y}}, y {{mvar|z}}, todos como enteros positivos. Aunque no suele enunciarse en forma polinómica, este ejemplo es equivalente a la ecuación polinómica <math>4xyz = yzn+xzn+xyn = n(yz+xz+xy).</math>
|-
| <math>x^4 + y^4 + z^4 = w^4</math>||Conjectured incorrectly by [[Euler]] to have no nontrivial solutions. Proved by [[Elkies]] to have infinitely many nontrivial solutions, with a computer search by Frye determining the smallest nontrivial solution, {{math|1=95800<sup>4</sup> + 217519<sup>4</sup> + 414560<sup>4</sup> = 422481<sup>4</sup>}}. <ref>{{cite journal |authorlink=Noam Elkies |first=Noam |last=Elkies |title=On ''A''<sup>4</sup> + ''B''<sup>4</sup> + ''C''<sup>4</sup> = ''D''<sup>4</sup> |url= https://www.ams.org/journals/mcom/1988-51-184/S0025-5718-1988-0930224-9/S0025-5718-1988-0930224-9.pdf |journal=[[Mathematics of Computation]] |year=1988 |volume=51 |issue=184 |pages=825–835 |doi=10.2307/2008781 |mr=0930224 |jstor=2008781}}</ref><ref>{{cite conference|last = Frye|first = Roger E.|year = 1988|title = Proceedings of Supercomputing 88, Vol. II: Science and Applications|contribution = Finding 95800<sup>4</sup> + 217519<sup>4</sup> + 414560<sup>4</sup> = 422481<sup>4</sup> on the Connection Machine|doi = 10.1109/SUPERC.1988 .74138|pages = 106–116}}</ref>
|}


== Ecuación diofántica lineal ==
== Ecuación diofántica lineal ==

Revisión del 08:27 11 may 2024

Se llama ecuación diofántica o ecuación diofantina a cualquier ecuación algebraica, de dos o más incógnitas, cuyos coeficientes recorren el conjunto de los números enteros, de las que se buscan soluciones enteras o naturales, esto es, que pertenezcan al conjunto de los números enteros. Un tipo particular de dichas ecuaciones son las ecuaciones diofánticas lineales con dos incógnitas, las cuales tienen la forma .

Una condición necesaria y suficiente para que con perteneciente a los enteros, tenga solución, es que el máximo común divisor de y divida a .

Ejemplo

Un ejemplo de ecuación diofántica es: .

Esta ecuación tiene infinitas soluciones en los números reales. Como regla general, sin embargo, las ecuaciones que aparecen en los problemas tienen restricciones que nos ayudan a limitarnos a un pequeño número de casos e incluso a una única solución.

Por ejemplo, en nuestra ecuación, si restringimos los posibles valores de e a los enteros positivos, tenemos 4 soluciones para : .

Un problema matemático muy famoso que se resuelve por medio de ecuaciones diofánticas es el del mono y los cocos.

En las ecuaciones diofánticas siguientes, , y son las incógnitas y las otras letras son constantes conocidas:

Esta es la ecuación diofantina lineal o identidad de Bézout.
La solución notrivial más pequeña en el ámbito de los enteros positivos es 123 + 13 = 93 + 103 = 1729. Fue enunciada como una propiedadevidente en 1729, un código de identificación de taxi (también denominado número de Hardy–Ramanujan) por Ramanujan a Hardy durante una reunión en 1917.[1]​ Existe un número infinito de soluciones notriviales.[2]
Para n = 2 hay infinitas soluciones (x, y, z): el triple pitagóricos. Para valores enteros mayores de n, El último teorema de Fermat (afirmado inicialmente en 1637 por Fermat y probado por Andrew Wiles en 1995[3]​) afirma que no hay soluciones enteras positivas (x, y, z).
Esta es la ecuación de Pell, que recibe su nombre del matemático inglés John Pell. Fue estudiada por Brahmagupta en el siglo VII, así como por Fermat en el siglo XVII.
La conjetura de Erdős-Straus afirma que, para cada entero positivo n ≥ 2, existe una solución en x, y, y z, todos como enteros positivos. Aunque no suele enunciarse en forma polinómica, este ejemplo es equivalente a la ecuación polinómica
Conjectured incorrectly by Euler to have no nontrivial solutions. Proved by Elkies to have infinitely many nontrivial solutions, with a computer search by Frye determining the smallest nontrivial solution, 958004 + 2175194 + 4145604 = 4224814. [4][5]

Ecuación diofántica lineal

La ecuación diofántica o identidad de Bézout tiene solución si y solo si (máximo común divisor) es un divisor de C. En ese caso la ecuación tiene una infinidad de soluciones.[6][7]

Similarmente la ecuación tiene solución si y solo si es un divisor de .

Solución general

Supongamos la ecuación diofántica . Solo tiene solución si . Para buscar empleamos el algoritmo de Euclides. Si una ecuación diofántica tiene solución, necesariamente tiene infinitas soluciones y todas son de la forma:

Donde , y e son una solución particular de la ecuación.

Esta solución para números enteros contrasta con la solución de la misma ecuación cuando se considera que son números reales, que está formada por infinitas soluciones de la forma: (suponiendo ).

Solución particular

Para encontrar una solución particular usamos la identidad de Bézout junto al algoritmo de Euclides. Esto nos da e . Veamos el ejemplo:

Tenemos la ecuación diofántica

  1. Buscamos el d = mcd(6, 10). A través del algoritmo de Euclides encontramos que .
  2. Como (donde "" significa "divide a"), es decir, , calculamos una solución particular mediante la Identidad de Bézout: e . La ecuación quedaría así: .
  3. Ahora tenemos una solución para la ecuación . Con e . Si multiplicamos cada parte de la ecuación por , tendremos la solución particular de nuestra ecuación original . La ecuación quedaría así: .
  4. Con lo que hemos visto arriba, buscamos la solución general:

Solución por aritmética modular

Supongamos la siguiente ecuación diofántica:

1. Convertimos la ecuación en congruencia, entonces quedaría:

2. Le sumamos o restamos el módulo al residuo, en este caso ; de manera que el residuo pueda ser divisible entre :

En este caso le sumamos 2•7.

3. Ya que ahora sí se puede dividir, hacemos lo siguiente:

4. Ahora convertimos la congruencia en ecuación:

siempre será igual al residuo (en este ejemplo: +5), debido a que es el menor valor posible de

Ya que sabemos que , podemos encontrar el valor de resolviendo la ecuación lineal restante:

Entonces tenemos que . Podemos verificar que los valores sí cumplen la ecuación:



Ecuación no lineal con dos incógnitas

La ecuación

que se puede escribir como . Llamando a ; la ecuación se expresa como .

Sabemos que y tienen la misma paridad. Al resolver el sistema se obtiene que:

Ecuación pitagórica

Se llama ecuación pitagórica a la ecuación con . Cualquier terna (x, y, z) solución de la ecuación anterior se conoce como terna pitagórica. Además si es una terna pitagórica solución de la ecuación pitagórica también lo serán:

  1. La terna alternando e : .
  2. Una terna múltiplo .
  3. Una terna con algún signo cambiado , o .
  4. Cualquier otra terna obtenida mediante una combinación de los procedimientos anteriores.

Se dice que una terna es primitiva, si el máximo común divisor de , , es la unidad, es decir, . En toda terna primitiva al menos uno de los números o es par y es impar. Puede verse que en esas condiciones todas las ternas primitivas que son soluciones de la ecuación pitagórica son de la forma:[8]

Aporte de Platón

A Platón se le debe un aporte sobre el caso cuando él formula como los lados de un triángulo rectángulo, en números enteros , sin duda alguna tuvo influencia en el desarrollo matemático general.[9]

Ternas pitagóricas

Cuando los números enteros positivos , , representan las longitudes de los lados de un triángulo rectángulo, la terna (u, v, w) se dice que es una terna pitagórica. Por ejemplo , y son ternas pitagóricas.[10]

Ecuación diofántica cúbica

La ecuación fue resuelta automáticamente por Ramanujan, quien dio como soluciones -contemplando las cifras que aparecían en la placa de un automóvil- los pares ordenados (1,12), (12,1) (10,9) (9,10).[11]

El décimo problema de Hilbert

En 1900, David Hilbert propuso una famosa lista de problemas cuya solución se considera que concedería grandes aportaciones a las matemáticas. Uno de ellos, el décimo problema concretamente, se refería a la solubilidad general de las ecuaciones diofánticas, que a principios de siglo era un problema abierto. El problema fue resuelto finalmente en 1970, cuando un resultado novedoso en lógica matemática conocido como teorema de Matiyasevich contestaba negativamente al problema de Hilbert: no existe un procedimiento general que permita establecer cuantas soluciones tiene una ecuación diofántica.

Véase también

Notas y referencias

  1. dcs.st-and.ac.uk/~history/Quotations/Hardy.html «Quotations by Hardy». Gap.dcs.st-and.ac.uk. Archivado desde dcs.st-and.ac.uk/~history/Quotations/Hardy.html el original el 16 July 2012. Consultado el 20 November 2012. 
  2. Everest, G.; Ward, Thomas (2006), An Introduction to Number Theory, Graduate Texts in Mathematics 232, Springer, p. 117, ISBN 9781846280443 ..
  3. Wiles, Andrew (1995). [http: //usuarios. tpg.com.au/nanahcub/flt.pdf «Curvas elípticas modulares y el último teorema de Fermat»]. Annals of Mathematics 141 (3): 443-551. JSTOR 2118559. OCLC 37032255. doi:10.2307/2118559. 
  4. Elkies, Noam (1988). «On A4 + B4 + C4 = D4». Mathematics of Computation 51 (184): 825-835. JSTOR 2008781. MR 0930224. doi:10.2307/2008781. 
  5. Frye, Roger E. (1988). «Finding 958004 + 2175194 + 4145604 = 4224814 on the Connection Machine». Proceedings of Supercomputing 88, Vol. II: Science and Applications. pp. 106-116. doi:10.1109/SUPERC.1988 .74138 |doi= incorrecto (ayuda). 
  6. «Acerca de las ecuaciones diofanticas lineales». casanchi.org. Consultado el 21 de septiembre de 2021. 
  7. «Preparación Olimpiadas. Matemáticas. Ecuaciones Diofánticas». 
  8. La solución ya aparecía en la obra cumbre de Euclides, según HOfmann autor de Historia de la matemática ISBN 988-18-6286-4
  9. Hofmann. Op. cit.
  10. "El ingenio en las matemáticas" de Ross Honsberger (1994) ISBN 85731-14-X pág.120
  11. Anécdota comentada por el matemático británico Hardy

Bibliografía

Enlaces externos