ALGEBRA

ENSEAZA DE LA MATEMTICA

ECUACIONES DIOFANTINAS

PREPARADO POR: MAURICIO RUBIANO SIERRA 01 de Agosto de 1997

RECURSO PARA LA MATEMATICA

BOGOT, D.C.

NDICE GENERAL Dedicatoria..4 Agradecimiento...5 Introduccin6

CAPTULO 1. HISTORIA SOBRE ECUACIONES DIOFNTICAS.7 1.1 Introduccin Histrica...8 1.2 Biografa de Diofanto de Alejandra...11

CAPTULO 2. ECUACIONES DIOFNTICAS..14 2.1 Generalidades..15 2.2 Solucin de una ecuacin diofntica lineal con dos incgnitas..15 2.3 Ecuaciones Diofnticas Cuadrticas...21 2.4 Ecuaciones de la forma 2.5 La ecuacin 2.6 Ecuaciones de la forma 2.7 Ecuaciones de la forma 2.8 Ecuaciones de la forma ....22 ..23 .24 ...24 .24

CAPTULO 3. APLICACIONES DE ECUACIONES DIOFNTICAS...26 3.1 Compra de una bufanda..27 3.2 Una revisin en la tienda.31 3.3 Compra de sellos de correos34 3.4 Compra de frutas.36 3.5 Adivinar el da del nacimiento37 Conclusiones..40 Recomendaciones..41 Bibliografa....42

DEDICATORIA Dedico con todo mi amor este trabajo a mi madre Sagrario Sierra de Rubiano y a mi padre Luis A. Rubiano, quien en el continuo esfuerzo de cada da, me concedi una educacin y con sus consejos me inspiraron a superarme en momentos de mis flaquezas.

AGRADECIMIENTO

Agradezco primeramente a Dios por darme salud y sabidura, y por darme fuerzas, una vez ms, para alcanzar una de mis tantas metas. De igual manera le doy gracias a mis padres por el apoyo incondicional que me han ofrecido siempre. As mismo le doy gracias al profesor Hctor Linares por el tiempo que me ha brindado para la buena realizacin de este trabajo.

INTRODUCCIN Supongamos que se te pide que des las soluciones de la ecuacin seguramente dirs que es un problema muy sencillo, que la solucin es ; , donde

puede tomar cualquier valor. Otra cuestin mucho menos obvia es que halles las soluciones con e enteros. Este tipo de ecuaciones, cuyas soluciones se exigen que

tomen valores enteros, o ms en general valores racionales, es lo que se conocen como ecuaciones diofnticas, en honor a Diofanto, matemtico griego del ao 275 que las estudi extensivamente y dio soluciones a algunas de ellas. La teora de las ecuaciones diofnticas ha llegado con el tiempo a contarse entre las ms bellas y difciles reas de las matemticas; tanto es as que el gran matemtico y fsico Gauss lleg a decir que la Matemtica es la reina de las ciencias y la Aritmtica (llamada modernamente Teora de Nmeros) es la reina de las matemticas. En este trabajo menciono algunas ecuaciones diofantinas, algunas de ellas muy conocidas como el ltimo teorema de Fermat, hablar de ella estaramos hablando de desarrollar otro trabajo ms como ste. En el ltimo captulo de este trabajo se puede hallar algunas aplicaciones de las ecuaciones diofantinas, resueltas con sumo cuidado, para que as sea de fcil comprensin para el lector. Las ecuaciones Diofantinas caen dentro del marco de la teora de nmeros y de hecho es sta la disciplina encargada de estudiarla. Este trabajo ha sido realizado como alternativa de trabajo de graduacin para obtener el ttulo de Licenciatura en Matemticas de la Universidad de Panam. La Teora de nmeros como las otras ramas de la Matemtica comprende una gran cantidad de temas que resulta de inters para aquellos que estudian matemtica.

CAPTULO 1. HISTORIA SOBRE ECUACIONES DIOFNTICAS

1.1 INTRODUCCIN HISTRICA

Los matemticos en la India se interesaron en encontrar soluciones enteras a las ecuaciones diofnticas desde la poca de los Vedas. El primer uso geomtrico de las ecuaciones diofnticas se remonta a los ShulbaSutras, los cuales fueron escritos entre los siglos VIII y VI a. C. Baudhayana (s. VII a. C.) encontr dos conjuntos de enteros positivos a un conjunto de ecuaciones diofnticas simultneas, y tambin se usan ecuaciones diofnticas simultneas con ms de cuatro incgnitas. Apastamba (s. VI a. C.) usaba ecuaciones diofnticas simultneas con ms de cinco incgnitas. La Teora de nmeros fue una de las disciplinas de estudio favoritas entre los matemticos griegos de Alejandra, Egipto a partir del siglo III a. C., quienes tenan conciencia del concepto de ecuacin diofntica en sus casos particulares. El primer matemtico helenstico que estudi estas ecuaciones fue Diofanto. Este tipo de ecuaciones se conoce, en matemticas, desde muy antiguo, pero fue tras la obra del matemtico griego Diofanto de Alejandra (siglo III d.C.: 210 - 290) que comenzaron a llamarse Ecuaciones Diofantinas. Se trata de Aritmtica, un tratado de 13 libros del que slo se conocen los seis primeros. Fue encontrado en Venecia por Johann Mller (Regiomontanus, matemtico y astrnomo alemn), hacia 1464. Esta obra de Diofanto fue preservada por los rabes y traducida al latn en el siglo XVI. Desde entonces,muchos matemticos han realizado diversos tipos de solucin de las ecuaciones Diofantinas.

Dentro de tal grupo de matemticos puede citarse a: Bhaskara, Fermat, Lagrange, Euler, Hilbert, Gauss, Thue, Baker, Peano, Pell, cuyos aportes han jalonado no slo el campo de las ecuaciones Diofantinas sino tambin el de otras reas de las matemticas. Diofanto investig un mtodo para encontrar las soluciones enteras para las ecuaciones lineales indeterminadas, ecuaciones en las que falta informacin suficiente para producir un conjunto nico de respuestas discretas. La ecuacin es un

ejemplo de ellas. Diofanto descubri que muchas ecuaciones indeterminadas pueden ser reducidas a una forma en donde cierta categora de soluciones son conocidas, incluso a travs de una solucin que no lo es. Diofanto conoci y emple los nmeros negativos y a l se atribuye la norma emprica de menos por menos da ms, y menos por ms da menos, aplicada en Aritmtica y en lgebra moderna. Sin embargo la notacin algebraica de Diofanto fue sustituida ms tarde, en el siglo XVII, por la que propuso el matemtico francs FrancoisViete (1540 1603), que es la que se sigue actualmente. Sobre las ecuaciones Diofantinas de orden 2 y superiores se han realizado prolijos estudios, algunos de los cuales son: Solucin de la ecuacin cuadrtica diofantina para la cual Lagrange en 1769 encontr un algoritmo completo. Ecuacin de Pell. Es un caso especial de la ecuacin cuadrtica diofantina de la forma , donde es un entero positivo que no es un cuadrado, es un entero

diferente de cero. Para el caso general de la ecuacin de Pell (cualquier) hay por lo menos cinco buenos mtodos de solucin: 1. Bsqueda de Fuerza Bruta, que es la base de los otros mtodos; 2. El algoritmo de Lagrange-Matthews-Mollin (LMM); 3. Sistema de reducciones de Lagrange; 4. El mtodo cclico; 5. El uso de formas cuadrticas binarias. Dificultades en la elaboracin de un algoritmo para resolver ecuaciones Diofantinas. Un ejercicio consistente en analizar una ecuacin Diofantina desde diversas perspectivas: , con primo.

Qu es el Mtodo del descenso Infinito? (propuesto por Lagrange).

 El problema multigrados Tarry-Escott: dado un entero positivo n, hallar dos conjuntos de enteros y , para , con tan pequeo como sea posible, tal que .Conjetura .

El problema multigrados (hallar conjuntos de enteros cuyas sumas sean iguales; sumas de cuadrados, sumas de cubos,...). Nueva solucin del problema Prouhet-Tarry-Escott para k=11; otras restricciones. Sugerido por el ordenamiento de nmeros en un torneo de baloncesto: resolver en enteros. El rompecabezas Times: Hallar soluciones racionales elptica). Cuestiones relativas a una conjetura de Erds: que todo nmero natural Soluciones para Generar todas (pequeas) ternas Pitagricas. Tringulos enteros con un ngulo de 120 grados. Teorema de Runges: lmite en el nmero de soluciones para ciertas ecuaciones Diofantinas en dos variables. Un par de ecuaciones se convierten en una sola ecuacin en enteros Gaussianos. Ecuacin de Fermat. Resolver : Ecuacin de Thue. . en enteros. tiene solucin para . (Una curva

Ecuaciones Diofantinas Exponenciales. Completa parametrizacin de la superficie cbica de Fermat: Este es un famoso problema Diofantino. .

10

Las ecuaciones diofantinas fueron estudiadas de manera intensiva por los matemticos hindes medievales, quienes fueron los primeros en buscar sistemticamente mtodos para la determinacin de soluciones enteras. Aryabhata en el ao 499 da la primera descripcin explcita de la solucin entera general de la ecuacin diofantina lineal la cual aparece en su texto Aryabhatiya. El algoritmo kuttaka es considerado como una de las contribuciones ms significativas de Aryabhata en las matemticas puras, el cual encuentra las soluciones enteras de un sistema de ecuaciones diofantinas lineales, un problema de importante aplicacin en la astronoma. Tambin encuentra la solucin general de la ecuacin lineal indeterminada utilizando este mtodo. Brahmagupta trabaja en 628 las ecuaciones diofantinas ms difciles. Utiliza el mtodo chakravala para resolver las ecuaciones diofantinas cuadrticas, incluyendo aquellas de la forma de la ecuacin de Pell tal que . Su Brahma SphutaSiddhanta fue fue propuesta

traducido al rabe en 773 y al latn en 1126. La ecuacin

como un problema por el matemtico francs Pierre de Fermat. La solucin general de esta forma particular de la ecuacin de Pell fue encontrada 70 aos ms tarde por Leonhard Euler, aunque la solucin general de la ecuacin de Pell fue encontrada 100 aos ms tarde por Joseph-Louis de Lagrange en 1767. Sin embargo, varios siglos antes, la ecuacin de Pell fue trabajada por Bhaskara II en 1150 utilizando una versin modificada del mtodo chakravala de Brahmagupta, encontrando la solucin general de otras ecuaciones cuadrticas intermedias indeterminadas y ecuaciones diofnticas cuadrticas. El mtodo chakravala para encontrar la solucin general de la ecuacin de Pell era ms simple que el mtodo utilizado por Lagrange 600 aos ms tarde. Bhaskara encuentra tambin la solucin de otras ecuaciones cuadrticas indeterminadas, cbicas, curticas y polinmicas de mayores grados. Narayana Pandit perfeccion an ms las dems cuadrticas indeterminadas para las ecuaciones de grados superiores.

11

1.2 BIOGRAFA DE DIOFANTO DE ALEJANDRA

Diofanto, a menudo conocido como el padre del algebra, es mejor conocido por su Aritmtica, un trabajo sobre la solucin de ecuaciones algebraicas y sobre la teora de los nmeros. Nacimiento: alrededor del 200 d.C. Muri: alrededor del 284 d.C. Diofanto de Alejandra fue un matemtico griego del ltimo periodo alejandrino tardo. Sus mayores logros fueron de carcter eminentemente geomtricos. Durante este periodo, cuando la ciencia griega y la filosofa como un todo estaba en decadencia, con esta su matemtica y los mtodos algebraicos ocuparon un primer plano. Po este tiempo Diofanto, el ms reconocido exponente del lgebra griega, vivi en Alejandra. Prcticamente no se conoce nada sobre su vida y ha existido mucho debate respecto de la fecha en que vivi. Existe una coleccin de problemas griegos escritos en forma potica, la Antologa Palatina, que fue probablemente compilada en la primera centuria despus de la muerte de Diofanto. Contiene ciertos problemas que pueden ser resueltos mediante ecuaciones. Entre ellos se encuentra el siguiente que contiene toda la informacin acerca de Diofanto. Aqu ves la tumba que contiene los restos de Diofanto, se pude notar: ingeniosamente se cuenta la medida de su vida. Su niez ocup la sexta parte de su vida. Despus, durante la doceava parte se le creci la barba. Pas an una sptima parte de su vida antes de tomar esposa, y en el quinto ao fue padre. Elas, su hijo, un querido pero desafortunado nio, vivi la mitad de la edad de su padre, pereci de una muerte desgraciada. Su padre tuvo que sobrevivirle, llorndole, durante cuatro aos. De todo esto se deduce su edad.

12

De modo que se cas a la edad de 26 y tuvo un hijo que muri a la edad de 42, aos antes de que el propio Diofanto muriese a la edad de 84 aos. El matemtico alejandrino debe su renombre a su obra Aritmtica. La Aritmtica es una coleccin de 130 problemas dando soluciones numricas de determinadas ecuaciones (sas con una solucin nica) y de ecuaciones indeterminadas. El mtodo para resolver estas ltimas es conocido como el anlisis Diofantino. En esta obra realiza sus estudios de ecuaciones con variables que tienen un valor racional (ecuaciones diofnticas), aunque no es una obra de carcter terico sino una coleccin de problemas. Importante fue tambin su contribucin en el campo de la notacin; si bien los smbolos empleados por Diofanto no son como los concebimos actualmente, introdujo importantes novedades como el empleo de un smbolo nico para la variable desconocida y para la sustraccin, aunque conserv las abreviaturas para las potencias de la incgnita.Se cree que slo seis de los 13 libros originales se conservaron y tambin se cree que los otros deben haberse perdido muy pronto despus de haber sido escritos. Existen muchas traducciones arbigas, por ejemplo de Abu'l-Wafa, pero nicamente el material de estos seis libros apareci. Sin embargo, un manuscrito en rabe en la biblioteca Astan-i Quds (La biblioteca del Templo Sagrado) en Meshed, Irn lleva un ttulo reivindicando y que es una traduccin hecha por QustaibnLuqa, quien muri en el ao 912, de los libros IV al VII de Aritmtica de Diofanto de Alejandra. F Sezgin hizo este notable descubrimiento en 1968. Rashed compara los cuatro libros en esta traduccin al rabe con los seis libros Griegos conocidos y sostiene que este texto es una traduccin de los libros perdidos de Diofanto. La traduccin latina ms famosa de la Aritmtica de Diofanto se debe a Bachet en 1621, edicin reimpresa con posterioridad en 1670 por el hijo de Pierre de Fermat incluyendo los comentarios que el clebre matemtico francs haba realizado en los mrgenes de un ejemplar de la edicin de Bachet que posea. En una de dichas anotaciones se expona, sin demostracin, el ltimo teorema de Fermat. En el precioso ejemplar de la edicin de Bachet que Fermat posea l dijo "haber encontrado una gran luz."

13

CAPTULO 2. ECUACIONES DIOFNTICAS

14

2. ECUACIONES DIOFNTICAS

2.1 Generalidades Como se dijo anteriormente, estas ecuaciones reciben este nombre en honor a Diofanto, matemtico que trabaj en Alejandra a mediados del siglo III a.C. Fue uno de los primeros en introducir la notacin simblica en matemtica y escribi seis libros sobre problemas en las que consideraba la representacin de nmeros anterior como suma de cuadrados.

2.1.1 Definicin Una ecuacin diofntica tiene la forma general

donde

son enteros y se exige soluciones tambin enteras.

La ecuacin diofntica ms simple es la ecuacin diofntica lineal con dos incgnitas, donde a y b son enteros dados, no ambos cero.

2.2Solucin de una Ecuacin Diofntica Lineal con dos incgnitas Veremos un teorema que nos permite saber cundo una ecuacin de este tipo tiene solucin y aporta un mtodo para calcular una solucin particular de la misma.

15

2.2.1Solucin Particular de una Ecuacin Diofntica Lineal con 2 Incgnitas

Sean

tres nmeros enteros. La ecuacin lineal y divide a .

tiene solucin entera

si, y slo si el mximocomn divisor de

Demostracin Supongamos que los enteros . Pues bien, si Y Recprocamente, supongamos que es divisor de . Entonces, ( ) e son soluciones de la ecuacin , entonces , es decir,

Siendo c/d entero ya que, por hiptesis, d es divisor de c. Ahora bastara tomar e Y tendramos que

Es decir los enteros

son soluciones de la ecuacin.

La solucin encontrada se llamar Solucin Particular del sistema. Obsrvese que este teorema adems de asegurar la existencia de solucin para una ecuacin de este tipo, ofrece un mtodo para calcularla. El siguiente ejemplo aclarar estas cuestiones.

Ejemplo 2.1 Encontrar una solucin para la ecuacin diofntica

Solucin - Veamos si existe solucin entera para la ecuacin. Calculamos el mximo comn divisor de 525 y 100 mediante el algoritmo de Euclides 525= 5(100) + 25

16

100 = 4(25) + 0 Es decir,

m.c.d. (525, 100)= 25

Y como 25 divide a 50, el teorema anterior asegura la existencia de solucin entera para la ecuacin.

- Calculamos una solucin para la ecuacin. Siguiendo el mtodo indicado en la demostracin del teorema, hallamos los coeficientes de la combinacin lineal del mximo comn divisor de 525 y 100. Bastara seguir el algoritmo de Euclides hacia atrs.

25= 1(525) + (-5)100

Por tanto, los coeficientes buscados son solucin para la ecuacin sera

y segn el citado teorema una

Donde es el trmino independiente de la ecuacin y el mximo comn divisor de los coeficientes de e . Consecuentemente,

2.2.2Solucin General de una Ecuacin Diofntica Lineal con 2 Incgnitas Sean y tres nmeros enteros no nulos tales que el mximo comn divisor de es y

divide a . Entonces la solucin general de la ecuacin

17

Donde

es una solucin particular de la misma y k es cualquier nmero entero.

Demostracin Sea el mximo comn divisor de y . Por hiptesis divide a luego el teorema para el sistema.

2.3.1 asegura la existencia de una solucin particular Entonces,

Dividiendo ahora ambos miembros de esta ecuacin por el mximo comn divisor de , tendremos,

Siendo

entero y

nmeros enteros primos entre s, luego el mximo comn divisor

de ambos es 1 y como 1 divide a , el teorema 2.3.1 asegura la existencia de una solucin particular para esta ecuacin, luego

Pues bien,

18

Y al ser primo con , dividir a

, luego

Sustituimos el valor de

en

y resulta

Veamos, finalmente, que En efecto,

es solucin de la ecuacin

Luego,

Es solucin de la ecuacin Solucin General de dicha ecuacin. Nota: En el ejemplo anterior, tenamos que

cualquiera que sea

. La llamaremos

19

Era una solucin particular para la ecuacin

Luego una solucin general de la misma ser:

Siendo k cualquier nmero entero. Ejemplo 2.2 Calcular las soluciones enteras de la ecuacin diofntica

Solucin

- Veamos si la ecuacin admite solucin entera. Calculamos el mximo comn divisor de 66 y 550 por el algoritmo de Euclides. 550 = 8(66) + 22 66 = 3(22) + 0 Luego, m.c.d. (66, 550) = 22 Y como 22 divide a 88, trmino independiente de la ecuacin, por el teorema 2.2.1 se sigue que la ecuacin propuesta admite una solucin particular - Calculamos esta solucin particular. Volviendo hacia atrs en el algoritmo de Euclides, tendremos 22 = (-8) (66) + (1) (550)

20

Luego,

Es una solucin particular de la ecuacin. - Calculemos ahora la solucin general. Segn lo visto en el teorema 2.2.2 si una solucin particular de la misma es e , entonces la solucin general es:

Siendo

cualquier nmero entero.

2.3 Ecuaciones Diofnticas Cuadrticas Las ecuaciones diofnticas cuadrticas se encuentran, por ejemplo en problemas tales como el siguiente: Encuentre un entero tal que sea posible expresar, mediante una ecuacin cuadrtica factorizable en el sentido del lgebra elemental; esto es mediante una ecuacin de segundo grado cuyas races sean nmeros racionales, la siguiente ecuacin

Simplificando tenemos

21

Si se pide que esta ecuacin tenga soluciones racionales, su discriminante debe ser un cuadrado perfecto, es decir, para algn entero ,

Por tanto necesitamos resolver en trminos de

la ecuacin diofntica

En consecuencia, un factor de 12 debe ser En smbolos,

y el otro,

Donde

. Por tanto,

Debido a que el factor 2

aparece en el segundo miembro en ambas ecuaciones, sta pueden resolverse en trminos de los enteros b y s, si y slo si, r y t son pares ambos, o ambos impares. Ya que al intercambiar r y t no cambia b, podemos escoger a r como menor que t en valor absoluto y tener los siguientes pares de valores posibles para r y t:

Sin embargo, r y t deben tener la misma paridad y, por tanto, los nicos valores por considerarse son: y Que darn Y .

2.4 Ecuaciones de la forma Como . La ecuacin queda .

22

Ahora hacemos

deben ser ambos pares o ambos impares, pues la suma de

dos nmeros y su diferencia son ambas pares o ambas impares. Entonces

Resolviendo el sistema se obtiene:

2.5 La Ecuacin Supondremos lo es infinitas. Suponemos dos pares. Transformamos la ecuacin en impar, lo podemos hacer ya que al ser primos entre s no puede haber primos entre s ya que si para cualquier es solucin de la ecuacin tambin

.De ah se deduce que encontrada una solucin hay

Como

El problema se reduce a descomponer Sean y estos nmeros

como producto de dos nmeros primos entre s.

23

Obtenemos

Son dos soluciones enteras puesto que la suma y la diferencia de dos impares es un nmero par. 2.6 Ecuaciones de la forma Esta ecuacin con , nmero natural, se llama ecuacin de Louis Mordell. Con cualquier nmero natural. posee un

Su representacin grfica es una curva elptica en el plano Real. Para cada nmero finito de soluciones enteras.

2.7 Ecuaciones de la forma La ecuacin no tiene solucin para , siendo un nmero entero.

Expresado en palabras significa que un cubo no se puede expresar como suma de dos cubos, y ninguna potencia mayor o igual que tres se puede expresar como suma de otras dos similares. Este teorema estuvo sin demostrar durante ms de trescientos aos, aunque Fermat anot en el margen del libro de Aritmtica de la edicin de Bachet "Para esto he descubierto una demostracin verdaderamente maravillosa, pero el margen de ste libro es demasiado pequeo para contenerla...". Nadie encontr esa demostracin y se dud de su existencia. El intento por demostrar ste teorema ocasion una evolucin de las matemticas.

24

Finalmente en 1993 Andrew Wiles demostr el teorema relacionndolo con las curvas elpticas modulares, en un manuscrito de doscientos folios.

2.8

Ecuaciones de la forma

Esta ecuacin, con d un nmero natural mayor que cero, se llama ecuacin de John Pell, aunque fue Lagrange quien resolvi la ecuacin. Lagrange demostr que la ensima solucin primera de esta forma: se puede expresar en trminos de la

Resolver la ecuacin de Pell significa encontrar 2.8.1 Fracciones Continas

Definicin: Una funcin contina es una fraccin escrita en la forma

Si los

son enteros positivos y

para todo

entonces la fraccin se llama

25

Fraccin Contina Simple.

Ejemplo:

26

CAPTULO 3. APLICACIONES DE ECUACIONES DIOFNTICAS

27

3. Aplicaciones de Ecuaciones Diofnticas

3.1 Compra de una bufanda Una bufanda cuesta 19 pesos, pero el comprador no tiene ms que billetes de tres pesos; y la cajera, slo de cinco. Puede en estas condiciones abonarse el importe de la compra, y cmo hacerlo? La misin de este problema se reduce a saber cuntos billetes de tres pesos deben entregarse a la cajera para que ella d las vueltas con billetes de cinco, cobrando los 19 pesos. Las incgnitas del problema son dos: el nmero de billetes de tres pesos (x) y el nmero de billetes de cinco (y). Slo puede plantearse una ecuacin:

Aunque una ecuacin con dos incgnitas tiene infinidad de soluciones, esto no quiere decir que entre ellas haya alguna en las que e sean nmeros enteros y positivos

(recordemos que se trata del nmero de billetes de banco). He aqu por qu el lgebra ha elaborado el mtodo de solucin de estas ecuaciones "indeterminadas". El mrito de haberlas introducido en el lgebra pertenece al primer sabio europeo que cultiv esta ciencia, a Diofanto, clebre matemtico de la antigedad, por lo que estas ecuaciones se llaman con frecuencia "ecuaciones de Diofanto". Solucin En el ejemplo citado mostremos cmo deben resolverse tales ecuaciones. Hay que hallar el valor de y de en la ecuacin

Sin olvidar que tanto

como

son nmeros enteros y positivos. Despejando la incgnita tendremos:

cuyo coeficiente es menor, es decir,

28

De donde

Como , que

son nmeros enteros, la ecuacin puede ser acertada slo en el caso de

sea tambin un nmero entero. Expresmosle con la letra . Entonces

Donde

Y, por tanto,

De la ltima ecuacin despejaremos la

Comoquiera que consiguiente,

son nmeros enteros,

debe ser un nmero entero

. Por

Y, adems,

De donde

29

Sustituyamos el valor de

en las igualdades anteriores:

De esta forma hemos encontrado la expresin para

y para

Es sabido que

son enteros y adems positivos, es decir, mayores que 0; por lo tanto,

De estas desigualdades resulta que y y Con esto el valor est acotado. es mayor que , (y claro, mucho mayor que ). Ms,

De aqu que la magnitud como

es un nmero entero, se deduce que puede tener tan slo los siguientes valores:

Los valores correspondientes de

y de

son:

Veamos ahora de qu manera puede efectuarse el pago: o bien se entregan 8 billetes de 3 pesos, recibiendo de vuelta uno de cinco:

30

O se entregan 13 billetes de 3 pesos, recibiendo de vuelta 4 billetes de 5 pesos: (13)(3)(4) (5)= 19 Tericamente, este problema tiene infinidad de soluciones, pero en la prctica su nmero es limitado, por cuanto ni el comprador, ni la cajera tienen una cantidad ilimitada de billetes de banco. Si cada uno dispone, por ejemplo, de 10 billetes, el pago puede efectuarse slo de una forma: entregando 8 billetes de 3 y recibiendo uno de 5. Como vemos, en la prctica las ecuaciones indeterminadas pueden dar soluciones determinadas. Volviendo a nuestro problema, proponemos al lector que, en calidad de ejercicio, resuelva por su cuenta una de las variantes: concretamente, examinar el caso en que el comprador no tenga ms que billetes de 5 pesos, y la cajera, slo de 3. En este caso aparecen las siguientes soluciones: x = 5, 8, 11,.... y = 2, 7, 12,.... En efecto, 5 * 5 - 2 * 3 = 19 8 * 5 - 7 * 3 = 19 11 * 5 - 12 * 3 = 19 Podramos obtener tambin estos resultados al tomar las soluciones del problema central mediante un sencillo procedimiento algebraico. Puesto que entregar billetes de cinco pesos los y recibir de tres pesos equivale a "recibir billetes negativos de cinco pesos" y "dar billetes negativos de 3 pesos", la nueva variante del problema se resuelve con la ecuacin planteada en el problema central: 3x - 5y = 19 Pero con la condicin de que x e y sean nmeros negativos. Por eso, de las igualdades

31

x=8+5 y=1+3 Sabiendo que x < 0 e y < 0, deducimos: 8+5 <0 1+3 <0 Y, por consiguiente,

Tomando valores para

= - 2, - 3, - 4, etc., obtenemos de las frmulas anteriores, los siguientes e

El primer par de soluciones

, significa que el comprador "paga menos dos

billetes de tres pesos" y "recibe menos cinco billetes de cinco", es decir, traducido al idioma comn, quiere decir que paga con cinco billetes de a cinco, recibiendo como vuelta 2 billetes de a tres. De esta misma manera interpretaremos tambin las dems soluciones.

3.2 Una revisin en la tienda Al revisar los libros de contabilidad de la tienda, uno de ellos apareci con borrones de tinta, presentando este aspecto:

32

No era posible descifrar el nmero de metros vendidos, pero no caba duda de que ste no era un decimal. En el importe de la venta podan distinguirse slo las tres ltimas cifras y establecer que, delante de stas, haba otras tres. Poda la comisin revisora averiguar qu cifras eran las del libro auxiliar, valindose tan slo de estos datos? Solucin Representemos el nmero de metros con la kopeks, con el nmero 4.936 . Las tres cifras cubiertas por el borrn las expresamos con una . Esto, sin duda, expresa la cantidad de millares de kopeks; y toda la suma de kopeks ser: 1.000y + 728. Tenemos la ecuacin 4.936x = 1.000y + 728. Despus de dividir los dos miembros de la igualdad por 8, resulta 617x - 125y = 91 En esta ecuacin, los nmeros e son enteros y, adems, no es superior a 999, por y el importe de la venta, expresado en

cuanto no puede tener ms de tres cifras. Resolvamos la ecuacin como indicamos antes: 125y = 617x 91

33

(Aqu hemos tomado posible. El quebrado

, ya que nos conviene que haya el menor residuo

Es un nmero entero, y como 2 no se divide por 125, que representaremos con la t. Despus, de la ecuacin

debe ser un nmero entero,

Se obtiene 17 - 4x = 125t

Donde

Por lo tanto

Se sabe que

Por consiguiente

34

, De donde y

Es evidente que para

existe solamente un valor entero:

, de donde

; es decir, fueron vendidos 98 metros por una suma total de 4.837 rublos 28 kopeks. El libro auxiliar, pues, ha sido restablecido.

3.3 Compra de sellos de correos Se dispone de 1 peso para comprar 40 sellos de correos: de 1, 4 y 12 kopeks. Cuntos sellos de cada uno de estos precios debern comprarse? Solucin En este caso tenemos dos ecuaciones con tres incgnitas:

Donde es el nmero de sellos de 1 kopeks; , el de 4 kopeks, y , el de 12 kopeks. Restando de la primera ecuacin la segunda, obtendremos una ecuacin con dos incgnitas:

Despejemos la :

Es evidente que 3 es un nmero entero. Indiqumosle con la . Tenemos:

35

Sustituyamos la

y la

en la segunda de las ecuaciones iniciales:

De aqu que x = 20 + 8t Como , no es difcil establecer los lmites de t:

De donde se deduce que para t son posibles slo dos valores enteros: t = 0 y t = 1. Los valores correspondientes de , y son: t=01 x = 20 28 y = 20 9 z=03 Prueba: y = 20 * 1 + 20 * 4 + 0 * 12 = 100 z = 28 * 1 + 9 * 4 + 3 * 12 = 100 En la compra de sellos, como vemos, son posibles dos variantes (si van a exigir que se compre aunque sea un solo sello de cada valor, es posible una sola variante). Pasemos al segundo problema de este mismo tipo.

36

3.4 Compra de frutas Por 5 pesos se compraron 100 unidades de diferentes frutas. Sus precios son los siguientes: Sanda50 kopeks cada una Manzanas 10 kopeks cada una

Ciruelas1 kopeks cada una Cunta fruta de cada clase fue comprada? Solucin Indicando el nmero de sandas con la , el de las manzanas con la con la , establezcamos dos ecuaciones: { Restando de la primera ecuacin la segunda, obtendremos una ecuacin con dos incgnitas 49x + 9y = 400. El anterior desarrollo del problema ser el siguiente: y el de las ciruelas

De las desigualdades Y Se deduce que

37

Por consiguiente, t = 0. Por eso. y Sustituyendo los valores de y de en la segunda ecuacin, deduciremos que = 60.

Se compraron 1 sanda, 39 manzanas y 60 ciruelas.

3.5 Adivinar el da de nacimiento Las ecuaciones indeterminadas permiten efectuar el siguiente truco matemtico. Se propone a una persona que multiplique la fecha del da de su nacimiento por 12, y el nmero del mes, por 31. Con la suma de los productos de esos datos puede calcularse la fecha del nacimiento de la persona dada. Si por ejemplo naci el 9 de febrero, se efectuarn las siguientes operaciones:

Cmo se deducir el da del nacimiento conociendo esa suma? Solucin La tarea se reduce a resolver la ecuacin indeterminada 12x + 31y = 170 En la que los valores de las incgnitas deben ser enteros y positivos; adems, la fecha del mes, , no es superior a 31, y el nmero del mes, , no pasa de 12.

38

Se sabe que

, por lo que los lmites para

Por lo tanto,

La fecha de nacimiento es el da 9 del segundo mes, es decir, el 9 de febrero. Se puede proponer otra solucin que no exige el empleo de ecuaciones. Nos han dicho la cifra . Puesto que 12x + 24y se divide entre 12, en este caso los nmeros y ,

despus de ser divididos entre 12, tienen restas iguales. Al multiplicar por 7 resulta que y , despus de ser divididos entre 12, tienen restas iguales. Pero y ,y

se divide entre 12. Resulta que Con otras palabras, si divisin del nmero nmero

al ser divididos entre 12 tienen restas iguales. es igual a la resta de la = 12. Este

no se divide entre 12, en este caso entre 12; pero si

se divide entre 12, entonces

(nmero del mes) se determina enteramente. Sabiendo

ya es muy fcil

determinar . Un pequeo consejo: antes de determinar la resta de la divisin del nmero cambie el mismo nmero entre 12,

por su resta de la divisin entre 12 - ser ms fcil calcular.

Por ejemplo, si =170, Ud. tiene que efectuar mentalmente los siguientes clculos: 170 = (12) (14) + 2 (entonces la resta es 2)

39

2 * 7 = 14; 14 = (12) (1) + 2 (entonces

= 2)

Entonces

Ahora Ud. puede comunicar que la fecha del nacimiento es el 9 de febrero. Demostremos que el truco nunca falla, es decir, que la ecuacin tiene siempre una sola solucin, siendo sus valores enteros y positivos. Representemos por este caso, la fecha Del nacimiento vendr expresada por la ecuacin el nmero que se nos comunica. En

Razonemos "por reduccin al absurdo". Supongamos que esta ecuacin tiene dos soluciones diferentes enteras y positivas, concretamente: la solucin ; adems, tanto que 12. Tenemos: como no son superiores a 31; y y la solucin

tampoco son mayores

Restando la segunda ecuacin de la primera, tendremos:

De esta igualdad se desprende que el nmero 12(

) es divisible por 31. Como

, son nmeros positivos que no superan 31, su diferencia, menor que 31. Por eso, el nmero 12(

es una magnitud ,

) puede dividirse por 31 slo cuando

es decir, si la primera solucin coincide con la segunda. De esta manera, la suposicin de que existen dos soluciones diferentes conduce a una contradiccin.

40

CONCLUSIONES Las ecuaciones diofnticas han sido un tema de mucho inters para los matemticos de todos los tiempos y es por eso que, como matemticos que somos, lo es tambin para nosotros. Una de las caractersticas de la teora de nmeros es la facilidad con que surgen gran cantidad de problemas muchos de los cuales pueden ser abordados, en principio, sin necesitar grandes requisitos. Estudiamos que este tipo de ecuaciones se conoce, en Matemtica, desde muy antiguo, pero fue tras la obra del matemtico griego Diofanto de Alejandra (siglo III d.C.: 210 - 290) que comenzaron a llamarse Ecuaciones Diofantinas. Hemos aprendido lo que es una ecuacin diofntica, y tambin hemos aprendido a resolver algunas de ellas, concretamente las ecuaciones diofnticas lineales con dos incgnitas (Solucin Particular y Solucin General), con y nmeros enteros.

Finalmente, aprendimos a cmo resolver problemas de aplicacin mediante ejemplos. La teora de nmeros es tan importante en la Matemtica como la Matemtica en todas las dems disciplinas.

41

RECOMENDACIONES

1. Este trabajo de investigacin, es realizado con la finalidad de que sirva de motivacin para los lectores, para seguir realizando trabajos en el campo de la investigacin, y as poder dar aportes al campo de la Matemtica. 2. Las Ecuaciones Diofantinas son tan importantes que desde las ecuaciones ms simples hasta las ms complejas se pueden verse como una ecuacin diofntica. As que animo al lector a seguir investigando ms sobre estas ecuaciones diofantinas. 3. Para nosotros que somos los estudiantes de Matemtica, debera ser de mucha importancia, estudiar temas relacionados a la Teora Elemental de Nmeros.

42

BIBLIOGRAFA http://www2.uca.es/matematicas/Docencia/ESI/1710003/Apuntes/Leccion12.pdf http://biblio3.url.edu.gt/Libros/2011/alg-recre/cap04.pdf http://www.telefonica.net/web2/lasmatematicasdemario/Algebra/Ecuaciones/EcuDio.htm http://matematica.lacoctelera.net/post/2006/03/20/ecuaciones-diofanticas http://www.astroseti.org/articulo/3629/

BARRANTES, HUGO, y otros. 1998. Introduccin a la Teora de Nmeros. San Jos, Costa Rica; Pgs. 39 40.

43