Escolar Documentos
Profissional Documentos
Cultura Documentos
DIOFÁNTICAS
Publicado por ^DiAmOnD^ | 28 septiembre, 2009 | Álgebra y Matemática discreta, Aprenda
como, Números enteros | 30 |
Este artículo ha sido promovido en Menéame. Si te ha gustado y quieres votarlo entra aquí y
menéalo.
MOTIVACIÓN
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 € más que los grises y ha comprado el
mínimo posible de estos últimos, ¿cuántos trajes ha comprado de cada color?
Vamos a plantearlo:
La ecuación queda:
Si estabais pensando que nos iba a quedar un sistema de ecuaciones sencillo de resolver estáis
equivocados. Nos ha quedado una única ecuación con dos incógnitas. ¿Nos faltan datos? No.
Podemos resolverla. Bienvenidos al maravilloso mundo de las ecuaciones diofánticas.
ECUACIONES DIOFÁNTICAS
Una ecuación diofántica es una ecuación algebraica en la que aparecen varias variables cuyas
soluciones son números enteros. Es decir, resolver una ecuación diofántica consiste en
determinar qué números enteros la cumplen. Su nombre lo toman del matemático Diofanto de
Alejandría, quien, además de ser uno de los primeros en utilizar simbolismo en álgebra, se
dedicó entre otras cosas al estudio de estas ecuaciones
Las ecuaciones diofánticas del tipo anterior se denominan ecuaciones diofánticas lineales.
Este caso particular de este tipo de ecuaciones es el que vamos a aprender a resolver en este
artículo. Más concretamente, vamos a mostrar (y demostrar) un método para calcular las
soluciones enteras de la ecuación
con .
EXISTENCIA DE SOLUCIONES
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 ecuación lineal diofántica de la forma tiene solución
entera si y sólo si el máximo común divisor de y es un divisor de .
siendo .
Demostración:
1.- Comenzamos con la implicación de izquierda a derecha:
Si la ecuación
(1)
Es decir, nos queda una expresión del tipo , con todos ellos números enteros. En
consecuencia tanto como deben dividir a , concluyendo así esta parte de la demostración.
2.- Vamos ahora con la implicación de derecha a izquierda, obteneidno como bonus el además:
Supongamos ahora que es un divisor de . Entonces existe tal que . Por otra
parte, por el teorema de Bezout existen tales que . Multiplicamos los
dos miembros de esta igualdad por :
De donde obtenemos
Entonces:
Teorema:
Si es una solución particular de la ecuación
(1)
(2)
con , siendo .
Demostración:
Si es solución de la ecuación (1), entonces se cumple que . Pero
entonces las expresiones de (2) también son solución de dicha ecuación:
Faltaría ver entonces que todas las soluciones de (1) son de la forma que hemos descrito en
(2). A por ello vamos:
Partiendo de la solución particular anterior , supongamos que tenemos una
solución de la ecuación diofántica lineal (1). Tenemos entonces las dos ecuaciones
siguientes:
Restamos las dos ecuaciones, obteniendo
(3)
Como y son números enteros primos relativos (ya que al dividirlos entre su máximo común
divisor les hemos quitado los factores que tuvieran en común en un principio), y divide
a , debe cumplirse que divida a .
, con
Sustituyendo este valor de en la ecuación (3) llegamos, después de unos sencillos cálculos, a
la expresión buscada para :
EJEMPLO PRÁCTICO
Volvamos a nuestro amigo el de los trajes. Nos quedamos en la ecuación diofántica lineal
siguiente:
Vamos a ver si somos capaces de encontrar cuántos trajes de cada color compró este señor.
por lo que y .
En principio estas expresiones nos dan todas las soluciones del problema, pero todavía no
hemos terminado. Hay que tener en cuenta más cosas. Analizando los datos obtenidos
sabemos que el número de trajes negros que ha comprado es , por lo que el
número de trajes grises comprados es .
Teniendo en cuenta que el número 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 también decía que ha comprado el mínimo número de trajes grises posibles.
Probando con los valores anteriores esta condición se cumple para . En consecuencia
el protagonista de nuestro problema compró trajes grises
y trajes negros.