Ecuación diofantiana

Chámase **ecuación diofantiana** a calquera ecuación alxébrica, xeralmente de varias variábeis, formulada sobre o conxunto dos números enteiros \mathbb{Z} ou dos números naturais \mathbb{N}, é dicir, trátase de ecuacións cuxas solucións son números enteiros e con menos ecuacións que variábeis.

Ás veces poden considerarse solucións nos racionais. 

O termo *diofantiana* fai referencia a Diofanto de Alexandría (século III), matemático grego do período helenístico, que estudou tales ecuacións e foi un dos primeiros matemáticos que introduciu o simbolismo en álxebra.

## Exemplo ilustrativo 
Un exemplo de ecuación diofantiana é:
x + y = 5 \, nos números enteiros positivos só ten as solucións
:(x, y)=(1,4),  (2,3),   (3,2),   (4,1).

Esta ecuación ten infinitas solucións nos números reais.

Un problema matemático moi famoso que se resolve por medio de ecuacións diofantianas é o do mono e os cocos.

Nas seguintes ecuacións diofantianas,  e  son as incógnitas e as outras letras serían constantes:

## Ecuacións diofantianas lineares
### Unha ecuación
A ecuación diofantiana linear máis sinxela toma a forma
:ax+by=c,

onde ,  e  son números enteiros. 

As solucións descríbense co seguinte teorema:
:Esta ecuación diofantiana ten unha solución (onde  e  son números enteiros) se e só se  é un múltiplo do máximo común divisor de  e . Alén diso, se  é unha solución, entón as outras solucións teñen a forma , onde  é un enteiro arbitrario e ,  son os cocientes de  e  (respectivamente) polo máximo común divisor de  e .

### Teorema chinés do resto 
miniatura|Formulación orixinal de Sunzi:   \equiv 2 (mod 7) coa solución  con k enteiro
O Teorema chinés do resto describe unha importante clase de sistemas lineares de ecuacións diofantianas: sexan n_1, \dots, n_k,   números coprimos por pares enteiros maiores que 1, tamén a_1, \dots, a_k son   números enteiros arbitrarios e  é o produto n_1 \cdots n_k. 

:\begin{align}
x &= a_1 + n_1\,x_1\\
&\;\;\vdots\\
x &= a_k + n_k\,x_k.
\end{align}

Que en forma de aritmética modular sería
: \begin{align}
 x &\equiv a_1  \pmod{n_1} \\
  &\,\,\,\vdots \\
 x &\equiv a_k \pmod{n_k}.
\end{align}

O teorema chinés do resto afirma  que se coñecemos os restos da división euclidiana  dun enteiro  por varios enteiros, daquela podemos determinar  o resto da división de  polo produto destes enteiros, baixo a condición de que os divisores sexan coprimos por pares (ningunha parella de divisores comparte un factor común  á parte do 1).

O sistema diofantiano linear ten exactamente unha solución (x, x_1, \dots, x_k) de tal forma que  e as outras solucións obtéñense sumando a   un múltiplo de .

Por exemplo, se sabemos que o resto de n dividido por 3 é 2, o resto de n  dividido por 5 é 3, e o resto de n dividido por 7 é 2, daquela sen saber o valor de n, podemos determinar que o resto de n dividido por 105 (produto de 3, 5, 7) é 23. Importante: isto dinos  que se n é un número natural menor de 105, entón 23 é o único valor posíbel de n.

## Ecuacións homoxéneas
Unha ecuación diofantiana homoxénea é unha ecuación diofantiana que está definida por un polinomio homoxéneo. Unha ecuación típica deste tipo é a ecuación do Último Teorema de Fermat
:x^d+y^d -z^d=0.

Resolver unha ecuación diofantiana homoxénea é xeralmente un problema moi difícil, mesmo no caso non trivial máis sinxelo de tres indeterminadas (no caso de dúas indeterminadas o problema equivale a probar se un número racional é a -ésima potencia doutro número racional). Un exemplo da dificultade do problema é o Último Teorema de Fermat (para , non hai solución enteira da ecuación anterior), que precisou máis de tres séculos de esforzos dos matemáticos antes de ser resolvido.

### Grao dous
As ecuacións diofantianas homoxéneas de grao dous son máis fáciles de resolver. O método de resolución estándar procede en dous pasos. Primeiro hai que atopar unha solución, ou demostrar que non hai solución. Cando se atopa unha solución, dedúcense todas as solucións.

Para demostrar que non hai solución, pódese reducir a ecuación módulo. Por exemplo, a ecuación diofantiana
:x^2+y^2=3z^2,
non ten outra solución que a solución trivial . De feito, ao dividir  e  polo seu máximo común divisor, pódese supoñer que son coprimos. Os cadrados módulo 4 son congruentes con 0 e 1. Así, o lado esquerdo da ecuación é congruente con 0, 1 ou 2, e o lado dereito é congruente con 0 ou 3. Así, a igualdade só se pode obter se  e  non son todos pares e, polo tanto, non son todos coprimos. Así temos que a única solución é a solución trivial . Isto mostra que non hai un punto racional nunha circunferencia de raio \sqrt{3}, centrado na orixe.

Máis xeralmente, o principio de Hasse permite decidir se unha ecuación diofantiana homoxénea de grao dous ten unha solución enteira, e calcular unha solución se a existe.

#### Exemplo con ternas pitagóricas
A ecuación
:x^2+y^2-z^2=0
é probabelmente a primeira ecuación diofantiana homoxénea de grao dous estudada. As súas solucións son as ternas pitagóricas. Esta é tamén a ecuación homoxénea da circunferencia unitaria. Esta sección permite visualizar a fórmula de Euclides para xerar ternas pitagóricas.

Para ver exactamente a fórmula de Euclides, partimos da solución , correspondente ao punto  da circunferencia unitaria. Unha recta que pasa por este punto pódese parametrizar pola súa pendente:
: y=t(x+1).
Poñendo isto na ecuación da circunferencia
:x^2+y^2-1=0,
conseguimos
:x^2-1 +t^2(x+1)^2=0.
Dividindo entre , resulta
:x-1+t^2(x+1)=0,
que é fácil de resolver en :
:x=\frac{1-t^2}{1+t^2}.
Así temos
: y=t(x+1) = \frac{2t}{1+t^2}.
Homoxeneizando obtemos todas as solucións como
:\begin{align}
x&=k\,\frac{s^2-t^2}{d}\\
y&=k\,\frac{2st}{d}\\
z&=k\,\frac{s^2+t^2}{d},
\end{align}
onde  é calquera número enteiro,  e  son enteiros primos e  é o máximo común divisor dos tres numeradores. De feito,  se  e  son ambos os dous impares, e  se un é impar e o outro é par.

As *ternas primitivas* son as solucións onde  e .

Esta descrición das solucións difire lixeiramente da fórmula de Euclides porque a fórmula de Euclides considera só as solucións tal  que  e  son todas positivas, e non distingue entre dúas ternas que se diferencian polo troco de  e .

## Ecuacións diofantianas exponenciais
Se unha ecuación diofantiana ten variábeis que aparecen como expoñentes, é unha ecuación diofantiana exponencial. Os exemplos inclúen:

* a ecuación de Ramanujan-Nagell, ,
* a ecuación da Conxectura de Fermat–Catalan e a Conxectura de Beal,  con restricións de desigualdade nos expoñentes,
* a ecuación de Erdős-Moser, 

Non se dispón dunha teoría xeral para estas ecuacións. Abordáronse casos particulares como a Conxectura de Catalan e o Último Teorema de Fermat. Porén, a maioría resólvense mediante métodos ad-hoc como o teorema de Størmer ou mesmo ensaio e erro.

## Notas 
## Véxase tamén 
### Outros artigos 
* Teoría de números
* Problema bovino de Arquímedes
* Ecuación de Pell

### Ligazóns externas 
* *Diophantine equation* en MathWorld  Consultada o 25/12/2012.
* *Diophantine equation*  en PlanetWorld  Consultada o 25/12/2012.