L'equazione di Fermat nel caso particolare di N=3

Page 1

Patrizio Gravano

DIMOSTRAZIONE

NEL CASO PARTICOLARE N=3 aprile 2020

PATRIZIO GRAVANO

L’equazione di fermat neL caso particolare n=3

Gia’ nel XVIII secolo (Euler, 1753) fu affrontato e risolto il teorema di Fermat nel caso n = 3, essendo stato evidenziato che non esistono terne costituite da numeri interi assoluti (a,b,c) che verificano l’equazione đ?‘Ž3 + đ?‘? 3 = đ?‘? 3 Il caso piu’ generale (riferito a n = 3) presuppone đ?‘Ž ≠đ?‘? ≠đ?‘? ≠0 . Vi sono casi particolari che non sono soluzioni di đ?‘Ž3 + đ?‘? 3 = đ?‘? 3 quali ad esempio l’ipotesi đ?‘Ž = đ?‘? per il quale si ha 2đ?‘Ž3 = đ?‘? 3 da cui

đ?‘?3 đ?‘Ž3

=2

Pertanto deve essere vera la condizione đ?‘Ž = đ?‘? = 2đ?›ź (cioe’ un numero pari ). Risultando incompatibile la condizione đ?‘Ž = đ?‘? con l’essere tali numeri dispari. Si puo’ scrivere (2đ?›ź)3 + (2đ?›ź)3 = đ?‘? 3 da cui 2(2đ?›ź)3 = đ?‘? 3 e quindi 16đ?›ź 3 = đ?‘? 3 o anche 42 đ?›ź 3 = đ?‘? 3 . Si osservi che comunque sia la scomposizione in fattori il primo membro non puo’ mai essere il cubo di un intero. Pertanto in ogni caso (a, a, c) non soddisfa l’equazione nel caso n= 3. A conclusione negativa si perviene anche nel caso in cui (a,b,c) siano una terna pitagorica. In questo caso infatti da đ?‘Ž2 + đ?‘? 2 = đ?‘? 2 (vera per definizione) seppur in modo laborioso si puo’ moltiplicare tale relazione per a, per b e per c e sommare le tre relazioni membro a membro. 1

Sviluppati i calcoli ed elisi i termini eguali si ottiene la relazione đ?‘? 3 = đ?‘Ž2 đ?‘? + đ?‘? 2 đ?‘? . Dati a e b i numeri đ?‘Ž2 đ?‘? đ?‘’ đ?‘? 2 đ?‘? potrebbero essere cubi di un numero intero ad esempio se đ?‘Ž = đ?‘? = đ?‘? che conduce ad un risultato palesemente assurdo. Questo non e’ l’unico caso possibile. E’ noto che se (x, y, z) e’ una terna pitagorica elementare anche (2x, 2y, 2z) e’ una terna pitagorica, come e’ immediato desumere. E’ utile ricordare che una terna elementare non puo’ essere costituita da tre numeri pari. Sia b il numero pari elemento di una terna pitagorica. Si puo’ scrivere đ?‘? = đ?œ‡2đ?œ— (per una opportuna coppia (đ?œ‡, đ?œ—) di interi assoluti). Quindi si ha đ?‘? 2 = đ?œ‡22đ?œ— . Poiche’ c e’ dispari, per ipotesi, esso nella scomposizione non puo’ contenere il fattore 2 ad esponente maggiore di 1 quindi il numero đ?‘? 2 đ?‘? non puo’ essere il cubo di un intero . A questo punto non e’ piu’ neppure rilevante indagare sulla natura del numero đ?‘Ž2 đ?‘?. In definitiva ∀(đ?‘Ž, đ?‘?, đ?‘?) ∈ đ?‘ 3 ⎚ đ?‘Ž2 + đ?‘? 2 = đ?‘? 2 l’equazione đ?‘Ž3 + đ?‘? 3 = đ?‘? 3 non ammette soluzioni intere. In realta’ e’ noto dal XIX secolo che comunque si prendano tre interi assoluti l’equazione đ?‘Ž3 + đ?‘? 3 = đ?‘? 3 non ammette soluzioni intere. Occorre partire da una osservazione di carattere generale. Dati tre numeri interi assoluti a, b, e c comunque presi la terna (a, b, c) e’ una terna pitagorica oppure non e’ una terna pitagorica. Tertium non datur. In termini formali una terna pitagorica puo’ essere vista come una corrispondenza che associa una coppia non ordinata di numeri interi (a, b) (d’altronde đ?‘Ž2 + đ?‘? 2 = đ?‘? 2 + đ?‘Ž2 ) un numero naturale c tale che đ?‘Ž2 + đ?‘?2 = đ?‘?2 . Nella prima parte della breve trattazione si e’ osservato che đ?‘Ž2 + đ?‘? 2 = đ?‘? 2 ⇒ đ?‘Ž3 + đ?‘? 3 ≠đ?‘? 3 .

2

Occorre considerare il caso per il quale đ?‘Ž2 + đ?‘? 2 ≠đ?‘? 2 cioe’ il caso in cui tre interi assoluti a, b, c non sono membri di una terna pitagorica. Se đ?‘Ž2 + đ?‘? 2 ≠đ?‘? 2 sono possibili due ipotesi alternative cioe’ đ?‘Ž2 + đ?‘? 2 < đ?‘? 2 oppure đ?‘Ž2 + đ?‘? 2 > đ?‘? 2 . Ammettiamo, per assurdo, sia đ?‘Ž3 + đ?‘? 3 = đ?‘? 3 quando sia vero đ?‘Ž2 + đ?‘? 2 < đ?‘? 2 . La diseguaglianza đ?‘Ž2 + đ?‘? 2 < đ?‘? 2 puo’ essere moltiplicata per c > 0 risultando đ?‘?đ?‘Ž2 + đ?‘?đ?‘? 2 < đ?‘? 3 = đ?‘Ž3 + đ?‘? 3 . đ?‘Ž<đ?‘?<đ?‘? Tale diseguaglianza e’ assurda quando e’ verificata una delle seguenti condizioni { in altri đ?‘?<đ?‘Ž<đ?‘? termini quando c> max (đ?‘Ž, đ?‘?) . In questo caso infatti la diseguaglianza đ?‘?đ?‘Ž2 + đ?‘?đ?‘? 2 < đ?‘? 3 in quanto deve per le condizioni poste deve essere 2 3 vero che {đ?‘?đ?‘Ž2 > đ?‘Ž3 đ?‘?đ?‘? > đ?‘?

da cui sommando membro a membro si ha đ?‘?đ?‘Ž2 + đ?‘?đ?‘? 2 > đ?‘? 3 contro l’ipotesi

conseguente alle condizioni date. (đ?‘Ž, đ?‘?, đ?‘?)đ?‘–đ?‘›đ?‘Ąđ?‘’đ?‘&#x;đ?‘– Questo secondo caso copre il secondo possibile caso { đ?‘Ž2 + đ?‘? 2 ≠đ?‘? 2 . đ?‘? > max (đ?‘Ž, đ?‘?) Dati (a,b,c) terna di interi e’ possibile un caso ulteriore, cioe’ sia đ?‘? < max (đ?‘Ž, đ?‘?). In questo caso da đ?‘Ž > đ?‘? si ottiene đ?‘Ž2 > đ?‘? 2 quindi a fortiori đ?‘Ž2 + đ?‘? 2 > đ?‘? 2 poiche’ đ?‘? 2 > 0 . Ma tale osservazione e’ estensibile al variare dell’esponente n, quindi per quanto qui interessa da đ?‘Ž > đ?‘? si ottiene đ?‘Ž3 > đ?‘? 3 . A fortiori si ha đ?‘Ž3 + đ?‘? 3 > đ?‘? 3 in contrasto con l’ipotesi possa essere đ?‘Ž3 + đ?‘? 3 = đ?‘? 3 , per le condizioni poste. Se la scrittura (a,b,c) definisce una terna pitagorica e’ ben evidente che anche (b,a,c) definisce una terna pitagorica. Le due terne sono la stessa terna. Per le terne pitagoriche vale la relazione di ordine stretto per đ?‘Ž<đ?‘?<đ?‘? la quale { . đ?‘?<đ?‘Ž<đ?‘?

3

Per certi aspetti una terna pitagorica associa ad una coppia di interi assoluti (a,b) l’intero assoluto c > max (đ?‘Ž, đ?‘?) tale che đ?‘Ž2 + đ?‘? 2 = đ?‘? 2 . Una complicazione nasce dal fatto che sia da studiare il caso di una terna (a, c, b) che quando c > đ?‘? non puo’ essere pitagorica. Ma da đ?‘Ž2 + đ?‘? 2 ≠đ?‘? 2 non puo’ dichiararsi ex se đ?‘Ž3 + đ?‘? 3 ≠đ?‘? 3 . Ma dimostrare đ?‘Ž3 + đ?‘? 3 ≠đ?‘? 3 equivale a dimostrare che ∀(đ?‘Ž, đ?‘?, đ?‘?) di interi assoluti con c> đ?‘? l’equazione đ?‘Ž3 + đ?‘? 3 = đ?‘? 3 non ammette soluzioni intere cioe’ non esistono tre interi (đ?‘Ž0 , đ?‘?0 , đ?‘?0 ) con đ?‘?0 > đ?‘?0 che verificano la condizione đ?‘Ž3 + đ?‘? 3 = đ?‘? 3 . Se (a,b,c) e’ una terna pitagorica allora (a,c,b) e (c,a,b) non lo possono essere. Cio’ e’ immediato perche’ applicando il teorema di Pitagora e sommando membro a membro dopo aver eliso si otterrebbe l’assurdo 2đ?‘Ž2 = 0 quando a ≠0. Occorre pero’ concentrarsi sul caso (a, b, c) che quando b > đ?‘? che non puo’ essere pitagorica. Occorre cioe’ dimostrare che đ?‘Ž2 + đ?‘? 2 ≠đ?‘? 2 , đ?‘? > đ?‘? , → đ?‘Ž3 + đ?‘? 3 ≠đ?‘? 3 . Questo caso si gestisce ricordando che , đ?‘? > đ?‘? conduce ad affermare che đ?‘? 3 > đ?‘? 3 (e in generale anche đ?‘? đ?‘› > đ?‘? đ?‘› quando n > 0) e a fortiori đ?‘Ž3 + đ?‘? 3 > đ?‘? 3 ∀đ?‘Ž intero assoluto. Vi sono poi dei casi particolari per lo studio di đ?‘Ž3 + đ?‘? 3 = đ?‘? 3 che evidenziano pure la non esistenza soluzioni per tale equazione. Assurdo e’ il caso đ?‘Ž = đ?‘? in quanto per esso si ha đ?‘Ž3 + đ?‘? 3 = đ?‘Ž3 vera solo per đ?‘? = 0 . Altrettanto assurdo e’ il caso đ?‘Ž = đ?‘? = đ?‘? che conduce al caso assurdo 2đ?‘Ž3 = đ?‘Ž3 mai vera per ogni a≠0 . A conclusioni assurde si giunge anche ponendo đ?‘Ž = đ?‘? ≠đ?‘? . Sotto queste condizioni deve porsi sia 2đ?‘Ž3 = đ?‘? 2 .

4

Questo caso si bipartisce in due sottocasi, il primo dei quali ammette sia c un numero dispari, e come tale privo, nella scomposizione in fattore 2. Quindi si avrebbe che il primo membro pari (2đ?‘Ž3 ) e’ eguale al secondo che per contro e’ posto dispari per ipotesi. Tale e’ una assurdita’. Se c contiene (per ipotesi) il fattore due allora il numero c puo’ essere scritto nella forma c= đ?œ‘2đ?›ź essendo đ?œ‘ đ?‘’ đ?›ź due interi assoluti. Pertanto si puo’ scrivere đ?‘? 3 = đ?œ‘ 3 23đ?›ź . Se a contiene il fattore 2 allora si puo’ scrivere đ?‘Ž = đ?›ž2đ?›˝ da cui đ?‘Ž3 = đ?›ž 3 23đ?›˝ Pertanto si puo’ scrivere 2đ?‘Ž3 = đ?›ž 3 23đ?›˝+1 . Dovrebbe quindi aversi đ?›ž=đ?œ‘ che đ?›ž 3 23đ?›˝+1 = đ?œ‘ 3 23đ?›ź che e’ verificata qualora risulti {3đ?›˝ + 1 = 3đ?›ź . La condizione e’ che si tratti di numeri interi assoluti. Non e’ possibile che 3đ?›˝ + 1 = 3đ?›ź per una coppia (đ?›ź , đ?›˝) di interi. Infatti, sarebbe đ?›˝ =

3đ?›źâˆ’1 3

intero, il che e’ assurdo ∀đ?›ź intero assoluto. Il numero intero

(3đ?›ź − 1) non puo’ mai essere multiplo di 3. Occorre considerare il cao che l’intero a non contiene il fattore 2. In questo caso si puo’ scrivere che đ?‘Ž = đ?œ?20 da cui si ha 2đ?‘Ž = 2đ?œ?20 Pertanto possiamo scrivere 2đ?‘Ž3 = 2đ?œ? 3 . Dovrebbe, quindi, risultare vero che 2đ?œ? 3 = đ?›ž 3 23đ?›˝ . Tale eguaglianza e’ vera se đ?œ? = đ?›ž e se 2 = 23đ?›˝ e, in ultima analisi, 3đ?›˝ = 1 che non ammette soluzioni in đ?‘? + . Patrizio Gravano Roma, 7 aprile 2020

5

Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.