Cmo resolver ecuaciones diofnticas

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 matemticoDiofanto 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
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

tiene solucin

entera

si y slo si el mximo comn divisor de

Adems, si llamamos

al

es un divisor de

se tiene que una solucin particular de

dicha ecuacin puede obtenerse de la siguiente forma:

siendo

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

enteros. En consecuencia tanto

como

, con todos ellos nmeros

deben dividir a

, concluyendo as esta

parte de la demostracin.
2.- Vamos ahora con la implicacin de derecha a izquierda, obteneidno como
bonus eladems:
Supongamos ahora que
que
que

es un divisor de

. Entonces existe

tal

. Por otra parte, por el teorema de Bezout existen

. Multiplicamos los dos miembros de esta igualdad por

tales
:

De donde obtenemos

Con lo que hemos llegado a que

Entonces:

son soluciones de la ecuacin (1).

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

es una solucin particular de la ecuacin

(1)

entonces todas las soluciones enteras

de la misma son de la forma:

(2)
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
solucin

, supongamos que tenemos una

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

ecuaciones siguientes:

Restamos las dos ecuaciones, obteniendo

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

(3)
Dividimos ahora por

Como

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

Esto nos lleva a que debe existir

De donde obtenemos que

divida a

tal 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
Para obtener

es un divisor de
y

nuestra ecuacin tiene soluciones.

debemos utilizar el algoritmo de Euclides para el clculo del

mximo comn divisorjunto 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
es

, por lo que el nmero de trajes grises comprados

.

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
compr

. En consecuencia el protagonista de nuestro problema

trajes grises y

trajes negros.