Equazione di Pell

Il tema di Equazione di Pell ha catturato l'attenzione di molti nel corso degli anni. Che si tratti del suo impatto sulla società, della sua rilevanza nella cultura popolare o della sua importanza nella storia, Equazione di Pell ha lasciato un segno significativo nel mondo. In questo articolo esploreremo ulteriormente il significato e l'influenza di Equazione di Pell, nonché la sua rilevanza oggi. Dalle sue origini fino al suo impatto attuale, scopriremo come Equazione di Pell ha plasmato e continuerà a plasmare vari aspetti della nostra vita. Che tu abbia familiarità con Equazione di Pell o che tu sia nuovo alla sua importanza, questo articolo mira a fornire uno sguardo completo e approfondito all'argomento.

L'equazione di Pell è un'equazione diofantea quadratica in due variabili, del tipo

, oppure

Le equazioni del primo tipo ammettono una soluzione banale per ogni valore di d, cioè , e possono essere risolte in interi non banali per ogni valore di d che non sia un quadrato perfetto. Quelle del secondo tipo hanno invece soluzione soltanto per alcuni casi particolari.

Il nome dell'equazione deriva da quello del matematico inglese John Pell, al quale Eulero attribuì (probabilmente per errore) il metodo per trovarne le soluzioni.

Metodo risolutivo

Per risolvere un'equazione di Pell si sviluppa innanzitutto in frazione continua:

per poi considerare l'n-esimo convergente, . La soluzione riguarderà l'equazione , oppure quella a seconda che n sia dispari o pari. In quest'ultimo caso si prolunga la frazione continua di un altro periodo, fino ad arrivare ai convergenti che risolvono l'equazione per +1.

Ulteriori soluzioni

Si può dimostrare che ogni soluzione x,y dell'equazione di Pell è data da

per certi interi e un intero positivo.

Infatti, consideriamo l'anello (d>0), contenuto in . Può essere definita una norma moltiplicativa . Ora, la norma di è 1, se e solo se (x,y) è una soluzione dell'equazione di Pell, ed è quindi un'unità per l'anello (ovvero è invertibile).

Sia ora la più piccola unità maggiore di 1. Anche tutti gli elementi nella forma ui hanno norma 1, e quindi le loro componenti sono ancora soluzioni dell'equazione di Pell. Se esistesse un'altra soluzione q, essa dovrebbe trovarsi tra due potenze di u:

ovvero, dividendo per un (il che è possibile perché è un elemento invertibile dell'anello),

ovvero dovrebbe esistere un'altra soluzione compresa tra 1 ed u. Ma avevamo supposto u come la minore soluzione possibile, e quindi questo è assurdo, ovvero tutte le soluzioni sono potenze della soluzione base .

Dimostrazione del metodo

Dalla teoria delle frazioni continue si ha che, dati due coefficienti consecutivi e ad un numero irrazionale α, questi verificano la relazione

,

dove è il quoziente completo dopo . Nel caso della frazione continua per , risulterà

Sostituendo questo valore, si ottiene

e poiché sono numeri interi, si può spezzare l'equazione in una parte contenente , sicuramente irrazionale, ed in una parte che non la contiene (sicuramente intera) ottenendo le due equazioni

e
(quest'ultima dopo aver semplificato le radici)

Possiamo ora trasformarli in espressioni per e :

e

Sappiamo anche (sempre dalla teoria delle frazioni continue) che due convergenti qualsiasi verificano:

e quindi sostituendo si ha

che è l'equazione di Pell che stavamo cercando. Se ora n è dispari, avremo una soluzione con +1; se è pari, otterremo una soluzione con -1 Per ottenerne una positiva basta però prolungare la frazione continua di un altro periodo; in tal modo si otterrà, prima del successivo termine , un termine di indice 2n+1, che risolverà l'equazione.

Si può dimostrare inoltre che se il periodo della frazione continua per ha un numero dispari di termine nella parte simmetrica (ovvero c'è un termine centrale), l'equazione non ha soluzioni.

Generalizzazioni

Un'equazione di Pell generalizzata è nella forma

le cui soluzioni sono fornite da un opportuno convergente alla frazione continua per .

Bibliografia

Voci correlate

Collegamenti esterni

Controllo di autoritàThesaurus BNCF 20871 · LCCN (ENsh2002004493 · BNF (FRcb150987299 (data) · J9U (ENHE987007539856505171