3/3/13

Cmo resolver ecuaciones diofnticas - Gaussianos | Gaussianos

noticias y ltima hora

Archivo
Contacto
Ganadores del concurso #MatGaussianos
Quines somos?
Frmulas con LaTeX en Wordpress
Licencia CC

Porque todo tiende a infinito

Hay nuevos comentarios sin leer

Cmo resolver ecuaciones diofnticas

Este artculo ha sido promovido en Mename. Si te ha gustado y quieres votarlo entra aqu y menalo.

Motivacin
Supongamos que nos encontramos el siguiente problema:
Un hombre va a una tienda de ropa y compra 12 trajes, unos negros y otros grises, por 1200 . Si los trajes negros valen 30 ms que los grises y
ha comprado el mnimo posible de estos ltimos, cuntos trajes ha comprado de cada color?
Vamos a plantearlo:

La ecuacin queda:

Haciendo cuentas nos queda lo siguiente:

Si estabais pensando que nos iba a quedar un sistema de ecuaciones sencillo de resolver estis equivocados. Nos ha quedado una nica ecuacin con dos
incgnitas. Nos faltan datos? No. Podemos resolverla. Bienvenidos al maravilloso mundo de las ecuaciones diofnticas.

Ecuaciones diofnticas
Una ecuacin diofntica es una ecuacin algebraica en la que aparecen varias variables cuyas soluciones son nmeros enteros. Es decir, resolver una ecuacin
diofntica consiste en determinar qu nmeros enteros la cumplen. Su nombre lo toman del matemtico Diofanto de Alejandra, quien, adems de ser uno de los
primeros en utilizar simbolismo en lgebra, se dedic entre otras cosas al estudio de estas ecuaciones
Las ecuaciones diofnticas del tipo anterior se denominan ecuaciones diofnticas lineales. Este caso particular de este tipo de ecuaciones es el que vamos a
aprender a resolver en este artculo. Ms concretamente, vamos a mostrar (y demostrar) un mtodo para calcular las soluciones enteras de la ecuacin

con

Existencia de soluciones
gaussianos.com/como-resolver-ecuaciones-diofanticas/

1/10

3/3/13

Cmo resolver ecuaciones diofnticas - Gaussianos | Gaussianos

El primer resultado que vamos a ver y demostrar tiene que ver con la existencia de soluciones de estas ecuaciones. Vamos con l:
Teorema:
Una ecuacin lineal diofntica de la forma
.
Adems, si llamamos

siendo

al

tiene solucin entera

si y slo si el mximo comn divisor de

y es un divisor de

se tiene que una solucin particular de dicha ecuacin puede obtenerse de la siguiente forma:

Demostracin:
1.- Comenzamos con la implicacin de izquierda a derecha:
Si la ecuacin
(1)
tiene solucin entera, entonces existen
Como

es un divisor comn de

tales que

y , entonces

, con

Tenemos entonces lo siguiente:

Es decir, nos queda una expresin del tipo

parte de la demostracin.

, con todos ellos nmeros enteros. En consecuencia tanto

como

deben dividir a , concluyendo as esta

2.- Vamos ahora con la implicacin de derecha a izquierda, obteneidno como bonus el adems:
Supongamos ahora que es un divisor de . Entonces existe
tal que
. Multiplicamos los dos miembros de esta igualdad por :

. Por otra parte, por el teorema de Bezout existen

tales que

De donde obtenemos

Con lo que hemos llegado a que

son soluciones de la ecuacin (1).

Entonces:

es una solucin de la ecuacin (1), que es lo que queramos demostrar.

Lo que hemos conseguido hasta ahora es saber reconocer qu ecuaciones diofnticas lineales tienen soluciones y calcular una solucin particular de las mismas.
Pero queremos una solucin general, es decir, todas las soluciones de las ecuaciones diofnticas lineales que se puedan resolver. A ello vamos en el siguiente
punto.

Solucin general de una ecuacin diofntica lineal

Vamos a demostrar el siguiente teorema:
Teorema:
Si

Tambin podra interesarte...

es una solucin particular de la ecuacin

(1)

entonces todas las soluciones enteras

(Lo que yo considero) Lo mejor de

2009 en Gaussianos

de la misma son de la forma:

(2)

gaussianos.com/como-resolver-ecuaciones-diofanticas/

2/10

3/3/13

Cmo resolver ecuaciones diofnticas - Gaussianos | Gaussianos

con

, siendo

Demostracin:
Si

es solucin de la ecuacin (1), entonces se cumple que

. Pero entonces las expresiones de (2) tambin son solucin de dicha ecuacin:

Faltara ver entonces que todas las soluciones de (1) son de la forma que hemos descrito en (2). A por ello vamos:
Partiendo de la solucin particular anterior
ecuaciones siguientes:

, supongamos que tenemos una solucin

de la ecuacin diofntica lineal (1). Tenemos entonces las dos

Restamos las dos ecuaciones, obteniendo

Pasando el segundo sumando al otro miembro de la igualdad llegamos a

(3)
Dividimos ahora por :

Como y son nmeros enteros primos relativos (ya que al dividirlos entre su mximo comn divisor les hemos quitado los factores que tuvieran en comn en un
principio), y divide a
, debe cumplirse que divida a
.
Esto nos lleva a que debe existir

tal que:

De donde obtenemos que debe ser de la forma:

, con
Sustituyendo este valor de en la ecuacin (3) llegamos, despus de unos sencillos clculos, a la expresin buscada para :

Ejemplo prctico
Volvamos a nuestro amigo el de los trajes. Nos quedamos en la ecuacin diofntica lineal siguiente:

Vamos a ver si somos capaces de encontrar cuntos trajes de cada color compr este seor.
Como
es un divisor de
nuestra ecuacin tiene soluciones. Para obtener y debemos utilizar el algoritmo de Euclides para el clculo del
mximo comn divisor junto con la identidad de Bezout, citada anteriormente. En este caso se obtiene

por lo que

Entonces la solucin particular queda de la siguiente forma:

A partir de esto ya es sencillo encontrar todas las soluciones:

En principio estas expresiones nos dan todas las soluciones del problema, pero todava no hemos terminado. Hay que tener en cuenta ms cosas. Analizando los
datos obtenidos sabemos que el nmero de trajes negros que ha comprado es
, por lo que el nmero de trajes grises comprados es
.
gaussianos.com/como-resolver-ecuaciones-diofanticas/

3/10

3/3/13

Cmo resolver ecuaciones diofnticas - Gaussianos | Gaussianos

Teniendo en cuenta que el nmero de trajes de cada tipo comprados por nuestro amigo debe ser positivo y menor que 12 se tiene lo siguiente:

Por tanto, los nicos valores posibles para son

Pero el enunciado tambin deca que ha comprado el mnimo nmero de trajes grises posibles. Probando con los valores anteriores esta condicin se cumple para
. En consecuencia el protagonista de nuestro problema compr
trajes grises y
trajes negros.
Fuente de la demostracin:
lgebra y Matemticas Discretas I, de Carmen Moreno Valencia.

ompartir e n Facebook

18

34

54

Autor: ^DiAmOnD^ | Publicado el 28 de septiembre de 2009

Categoras: lgebra y Matemtica discreta, Aprenda como, Nmeros enteros |

Imprime este post

Sin comentarios
1. Trackback | 28 sep, 2009
Bitacoras.com
2. Trackback | 28 sep, 2009
Cmo resolver ecuaciones diofnticas

3.

Alejandro | 28 de septiembre de 2009 | 15:26

Vtalo

Intersante post. Aunque yo siempre haba resuelto estos problemas derivando para hallar el mnimo.

4.

mada | 28 de septiembre de 2009 | 17:57

Vtalo

muy buen post, y muy interesante tambin!

5.

Emmanuel | 28 de septiembre de 2009 | 21:52

Vtalo

@ Alejandro
Pero esa funcin es lineal
Y pues hasta lo que se una recta no tiene mximos o mnimos XD
gaussianos.com/como-resolver-ecuaciones-diofanticas/

4/10

3/3/13

Cmo resolver ecuaciones diofnticas - Gaussianos | Gaussianos

O me equivoco?
Saludos

6.

M | 28 de septiembre de 2009 | 22:42

Vtalo

Esta es una muestra ms de lo cmodo que resulta la linealidad en matemticas, por la generalidad de resultados que permite. Podran darse tambin
resultados para las soluciones de la ecuacin lineal general
.
Espero que este excelente post nos conduzca, ms pronto que tarde, a la joya de la corona: la reciprocidad cuadrtica en la resolucin de la ecuacin
cuadrtica.

7.

Abeco | 29 de septiembre de 2009 | 05:14

Vtalo

Muy buen trabajo quisiera que me envies el trabajo en formato .tex si es posible.

8.

smart | 29 de septiembre de 2009 | 06:27

Vtalo

Muy interesante.
Emmanuel, tienes que tener en cuenta que en la recta, y es el precio del traje gris y la x es el nmero de trajes negros. Esta es una recta que en el primer
cuadrante est limitada por y = 100, x= 0 (el coste del traje gris sera de 100 y no habra comprado trajes negros y 12 grises) y y=0,x=40 (habra
comprado 40 trajes negros). Adems hay una recta que limita las x; x<=12 ya que el nmero total de trajes es 12, por lo que nunca podr ser x mayor que
este valor. Entonces se trata de ver por qu pares de nmeros naturales pasa ese segmento.
Quedara otro caso: que el precio de cada traje no tenga que ser necesariamente un natural sino un real (luego habra que ver si por el redondeo puede
tratarse como un nmero natural haciendo que el precio sea dado en cntimos)

9.

Emmanuel | 29 de septiembre de 2009 | 22:54

Vtalo

Comprendo la metodologa que se sigui para llegar a ese resultado de 2 trajes grises y 10 trajes negros,
Cual es la diferencia entre el resultado obtenido mediante este mtodo de solucin de ecuaciones diofnticas en el cual se ha comprado el mnimo de trajes
grises y algo simple como siguiendo la lgica (entendiendo como mnimo que no pudo haber comprado cero trajes grises)
y decir el mnimo de trajes grises que compro son 1 y el numero de trajes negros 11???
que tiene malo esta respuesta? con una simple ecuacin sacas cuanto costo cada uno de los trajes si hubiese comprado un traje gris y los otros 11 negros
XDD
x + 11(x+30)=1200
12x+330=1200
x=870/12

10.
gaussianos.com/como-resolver-ecuaciones-diofanticas/

5/10

3/3/13

Cmo resolver ecuaciones diofnticas - Gaussianos | Gaussianos

Sote | 30 de septiembre de 2009 | 03:11

Vtalo

All dice:

Pero, debe ser:

Genial artculo!

11.

gaussianos | 30 de septiembre de 2009 | 15:15

Vtalo

Emmanuel, en el problema estaba implcito que el precio de cada traje tambin debe ser un nmero entero (ya que si no es as la ecuacin que se acaba
resolviendo no se podra tomar como diofntica, ya que sus soluciones podran ser nmeros no enteros). Igual lo tena que haber especificado.
Sote, cierto. Lo cambio ahora. Gracias

12.

Emmanuel | 1 de octubre de 2009 | 00:41

Vtalo

Bueno ya aclarado ese punto ya veo la utilidad de este procedimiento

Saludos!
13. Trackback | 1 oct, 2009
La ecuacin de Pell | Gaussianos

14.

Nicols | 3 de octubre de 2009 | 02:29

Vtalo

Hay un problema que me parece que puede estar relacionado con este tema, al menos en lo que se refiere a cantidades enteras. De todas formas es un
ejemplo divertido
El dentista le prohibi a Juan comer ms de 10 caramelos por da, pero adems, si algn da come ms de 7 caramelos, entonces los dos das siguientes
no puede comer ms de 5 caramelos por da.
Calcular cul es el mayor nmero de caramelos que puede comer Juan durante 25 das seguidos obedeciendo las indicaciones del dentista.

15.

Ramn | 3 de octubre de 2009 | 03:16

Vtalo

Perdn, hay algo que no entiendo: Debajo de la ecuacin 3, en la segunda demostracin, por que razn a/d debera dividir a (y0-y) dando como resultado
un entero?
Si no me equivoco (y0-y)/(a/d) no tiene porque ser un entero. Corregidme por favor.
gaussianos.com/como-resolver-ecuaciones-diofanticas/

6/10

3/3/13

Cmo resolver ecuaciones diofnticas - Gaussianos | Gaussianos

16. Trackback | 5 oct, 2009

El algoritmo de Euclides | Gaussianos

17.

magui | 20 de octubre de 2009 | 05:19

Vtalo

genial ya le entendi no encontraba ningun ejemplo que me ayudara a entender ya podre hacer mi tarea gracias gracias

Escribe un comentario
Puedes utilizar cdigo LaTeX para insertar frmulas en los comentarios. Slo tienes que escribir
[latex]cdigo-latex-que-quieras-insertar[/latex]

o
$latex cdigo-latex-que-quieras-insertar$.

Si tienes alguna duda sobre cmo escribir algn smbolo puede ayudarte la Wikipedia. Utiliza la Vista Previa antes de publicar tu comentario para asegurarte de
que las frmulas estn correctamente escritas.

Nombre (requerido)
E-mail (requerido)
Web

Vista Previa

Publicar

Notify me of followup comments via e-mail

Recibir un email con cada nuevo post.

El Cajn de mi Escritorio
Visita El Cajn de mi Escritorio, mi blog personal.

Buscar
Buscar

gaussianos.com/como-resolver-ecuaciones-diofanticas/

7/10

3/3/13

Cmo resolver ecuaciones diofnticas - Gaussianos | Gaussianos

Click here

Yo constru el poliedro de Csszr

nete a la iniciativa Yo constru el poliedro de Csszr. Haz click en la imagen para conocer todo los detalles.

Y visita este set de Flickr para ver las construcciones de los lectores de Gaussianos.

Twitter
Seguir a @gaussianos

Suscripcin
RSS

Email

Suscrbete a Gaussianos mediante RSS Recibe los artculos de Gaussianos en tu mail

Matemticos clebres
Si quieres saber cundo nacieron los matemticos ms importantes de la historia, entonces ste es tu calendario.
Matemticos Clebres
lun mar mi jue vie sb dom
25 26 27 28 1 de mar 2
3
+2 ms
Luitzen
Brouwer
John Pell+2 ms
4
5
6
7
8
9 10
Laurent Schwartz
Arqumedes de Siracusa
12 13 14 15 16 17
+2
ms
Joseph
Ernesto
Bertrand
C esro +2 ms
18 19 20 21 22 23 24
+2 msJoseph Liouville
C hristian Goldbach
Jean Baptiste
Fourier
25 26 27 28 29 30 31
+2 msKarl Pearson Stefan
+2 ms
Banach
11

Puedes acceder al mismo haciendo click en este enlace.

Imprimir artculos
Puedes imprimir cada artculo de Gaussianos de forma individual. Visita la entrada Imprime los artculos de Gaussianos y sigue las instrucciones.

Gaussianos en Facebook

gaussianos.com/como-resolver-ecuaciones-diofanticas/

8/10

3/3/13

Cmo resolver ecuaciones diofnticas - Gaussianos | Gaussianos

Bscanos en Facebook
Gaussianos
Me gusta
A 2.579 personas les gusta Gaussianos.

P lug-in social de F acebook

Gaussianos colabora con...

Carnaval de Matemticas

Ahora tambin en Facebook.

Amazings

Categoras
lgebra y Matemtica discreta (21)
Aprenda como (60)
Clculo (54)
Carnaval de matematicas (47)
Centros del tringulo (7)
Ciencia (19)
Citas matemticas (185)
Colaboraciones (29)
Conferencias (11)
Criptografa (13)
Curiosidades (165)
Curvas famosas (6)
Demostraciones (90)
Estadstica (21)
Fractales (12)
Geometra (136)
Historia (56)
Humor matemtico (43)
Imgenes (3)
Informtica (29)
Juegos (414)
Libros y publicaciones (29)
Lgica (1)
Matemticas (17)
gaussianos.com/como-resolver-ecuaciones-diofanticas/

9/10

3/3/13

Cmo resolver ecuaciones diofnticas - Gaussianos | Gaussianos

Matemticos (74)
Mirndonos el ombligo (140)
Mundial 2010 (1)
Noticias (131)
Nmeros complejos (17)
Nmeros enteros (86)
Nmeros primos (72)
Personal (4)
Pi (76)
Otras constantes (27)
Reflexiones (10)
Sumatorio de enlaces (16)
Teoremas (61)
Topologa (48)
Utilidades (35)
Vdeos (55)
Saba que ? (67)

Enlaces
Acertijos y ms cosas
Acertijos y pequeos enigmas
Blog de Juan de Mairena
Ciencia de Bolsillo
Ciencia Kanija
Cuentos Cunticos
Curioso Pero Intil (CPI)
Division by Zero
dy/dan
Edumat Matemticas Educativas
Edumate Per
El Agujero: la web de Ozarfreo
El blog de Terry Tao
El Espejo Ldico
El Paraso de las Matemticas
Eulerianos
Eureka
Genciencia
God Plays Dice
Grado 361
Guirnalda Matemtica
Historias de la Ciencia
Juegos Topolgicos
La Covacha Matemtica
Mathblogging
Mati y sus mateaventuras
Mati, una profesora muy particular
Microsiervos
RSME
To Petros
Tito Eliatron Dixit
Topologa I
Gaussianos utiliza WordPress con el theme Fourier creado por Fran y con logo y favicion creados por Alpoma

gaussianos.com/como-resolver-ecuaciones-diofanticas/

10/10