Equazione diofantea

In matematica, un'equazione diofantea (chiamata anche equazione diofantina) è un'equazione in una o più incognite con coefficienti interi di cui si ricercano le soluzioni intere. L'aggettivo diofanteo si riferisce al matematico greco del III secolo Diofanto di Alessandria, che studiò equazioni di questo tipo e fu uno dei primi matematici a introdurre il simbolismo nell'algebra.

Elementi di base

Un nome tradizionale dato allo studio di tali equazioni è analisi diofantea, che cerca di dare una risposta alle seguenti domande:

• se esistano soluzioni;
• se esistano soluzioni oltre quelle più facilmente reperibili (cioè per ispezione diretta);
• se esista un numero finito oppure infinito di soluzioni;
• se sia possibile, anche a livello teorico, individuare un elenco di tutte le soluzioni;
• se sia possibile calcolare in pratica tutte le soluzioni in maniera diretta.

Il campo dell'approssimazione diofantea si occupa invece delle disuguaglianze diofantee: si suppone ancora che le variabili siano intere, ma alcuni coefficienti possono essere numeri irrazionali, e il segno di uguaglianza viene sostituito da limiti inferiori e superiori.

Storia

Le prime notizie di problemi diofantei si trovano in India, a partire dall'800 a.C. fino al Medioevo. Tra i primi matematici di cui abbiamo notizia che abbiano affrontato problemi di questo tipo vi sono Baudhāyana e Apastamba; quest'ultimo giunse a cercare soluzioni di equazioni con cinque incognite. Nell'Aryabhatiya di Aryabhata, scritto attorno al 500 d.C., compare un algoritmo per risolvere l'equazione diofantea lineare $ax by=c$. Brahmagupta, nel VII secolo, investigò alcuni casi dell'equazione $x^{2}-ny^{2}=1$, che più tardi divenne nota come equazione di Pell.

Nel III secolo un gran numero di problemi di questo tipo compaiono nell'Arithmetica di Diofanto, tutti di secondo o di terzo grado. Diofanto applica però i suoi metodi solamente ad equazioni particolari, senza sviluppare una teoria generale.

La sua opera venne riscoperta da Pierre de Fermat nel Seicento; studiando l'opera di Diofanto, egli compì una serie di altre scoperte, per la maggior parte appuntate (senza dimostrazione) sui margini della sua copia dell'Arithmetica. Le sue osservazioni vennero in seguito pubblicate dal figlio. Tra queste vi era l'enunciato di quello che sarebbe diventato noto come "ultimo teorema di Fermat", ovvero che l'equazione $x^{n} y^{n}=z^{n}$ non ha soluzioni per $n>2$; tale congettura è stata dimostrata solamente nel 1994.

Nel 1900, il decimo dei ventitré problemi che David Hilbert propose ai matematici del nuovo secolo riguardava l'esistenza di un algoritmo generale per la soluzione di un'equazione diofantea arbitraria. Nel 1970 Yuri Matiyasevich dimostrò che tale algoritmo non esiste, mostrando che gli insiemi diofantei sono precisamente gli insiemi ricorsivamente enumerabili.

Recentemente, il punto di vista della geometria diofantea, che consiste nell'applicazione delle tecniche della geometria algebrica a questo campo, ha continuato ad ampliarsi; dato che trattare le equazioni arbitrarie è un vicolo cieco, l'attenzione si rivolge alle equazioni che hanno anche un significato geometrico. Uno dei pochi metodi generali è costituito dal principio di Hasse. La discesa infinita, escogitata da Fermat, è il metodo tradizionale, e fu adottato ampiamente per molto tempo.

Esempi

Le equazioni diofantee di primo grado (lineari) sono oggi ben capite; l'esempio base è la cosiddetta identità di Bézout, ovvero l'equazione $ax by=1$, che ha soluzioni se e solo se il massimo comun divisore di $a$ e $b$ è $1$.

Un esempio di equazione diofantea quadratica è la cosiddetta equazione di Pell, che prende il nome dal matematico inglese John Pell. Fu studiata dapprima da Brahmagupta e in seguito da Fermat.

L'equazione $x^{n} y^{n}=z^{n}$, dove $n$ è un parametro, ha infinite soluzioni per $n=2$ (le cosiddette terne pitagoriche), mentre non ne ha nessuna per $n>2$, come dimostrato da Andrew Wiles nel 1994 (ultimo teorema di Fermat).

Se poi alcune variabili compaiono come esponenti, l'equazione diofantea è detta esponenziale. Un esempio di equazione di questo tipo è

$x^{a}-y^{b}=1$

la cui unica soluzione è data da $x=b=3$, $y=a=2$, come congetturato da Eugène Charles Catalan nel 1844 e dimostrato da Preda Mihăilescu nel 2002.

Bibliografia

• Carl Benjamin Boyer, Storia della matematica, traduzione di Adriano Carugo, Mondadori, giugno 1990, ISBN 88-04-33431-2.
• Harold Davenport, Aritmetica superiore, Bologna, Zanichelli, 1994, ISBN 88-08-09154-6.
• Keith Devlin, Dove va la matematica, Torino, Bollati Boringhieri, 1994, ISBN 88-339-1182-9.
• (EN) Louis Mordell, Diophantine equations, Londra, Academic Press, 1969, ISBN 0-12-506250-8.
• S. M. Voronin, Diophantine equations (in inglese), in Encyclopaedia of Mathematics

Voci correlate

• Teorema di Mihăilescu (Congettura di Catalan)
• Equazione di Pell
• Problema di Waring
• Terna pitagorica
• Ultimo teorema di Fermat

Altri progetti

Altri progetti

• Wikimedia Commons

• Wikimedia Commons contiene immagini o altri file sull'equazione diofantea

Collegamenti esterni

• equazione diofantea, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Diophantine equation, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Opere riguardanti Diophantine equations, su Open Library, Internet Archive.
• (EN) Eric W. Weisstein, Diophantine Equation, su MathWorld, Wolfram Research.
• (EN) Diophantine equations, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
• (EN) Denis Howe, Diophantine equation, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL