Demonstraie pentru marea teorem lui Fermat n cazul n=4

Redm mai jos demonstraia lui Euler pentru n = 4 astfel cum este prezentat ntr-un articol de Hans Reichardt aprut n Mathematik in der Schule 6/1964. Artnd c ecuaia x4 + y4 = y2 nu este rezolubil n numere ntregi diferite de zero,a fortiori va rezulta c ecuatia x4 + y4 = z4 nu are soluii n numere ntregi diferite de zero. S presupunem , prin absurd ca ar exista totui o asemenea soluie, unde x, y, z pot fi luai pozitivi i primi ntre ei, doi cte doi. Unul din numerele x sau y va fi par, fie y. n descompunerea x4 = (z y2 ) (z + y2 ) factorii fiind primi ntre ei i pozitivi deducem: z y2 = u4 i z + y2 = v4 i x = uv unde u i v sunt pozitivi,impari i nu au divizori comuni. Rezult 2z = u4 + v4 i 2y2 = v4 - u4 = (v2 + u2 ) (v2 - u2 ). Asemntor ca mai sus obinem : v2 + u2 = 2s2 i v2 - u2 = 4t2 unde s i t sunt pozitivi i primi ntre ei. Din a doua ecuaie deducem : v + u = 2a2 , v - u = 2b2 , t = ab cu a i b pozitivi i fr divizori comuni, deci u = a2 - b2 i v = a2 + b2 . Introducnd aceste valori n u2 + v2 = 2s2 , gsim o nou ecuaie de tipul celei de la care am pornit: a4 + b4 = s2 unde a, b i s sunt iari ntregi i pozitivi.

Dar z = a8 + 6 a4 b4 + b8 = s4 + 4 a4 b4 > s4 s > 0. Noii ecuaii i putem aplica acelai procedeu i repetnd la infinit obinem un ir de ecuaii ale cror numere z formeaz un ir infinit descresctor de numere pozitive, ceea ce este imposibil. Contradicia la care am ajuns dovedete c ecuaia x4 + y4 = z2 nu este rezolubil i cu att mai mult ecuaia x4 + y4 = z4 nu este rezolubil n numere ntregi pozitive i diferite de zero. Principiul acestei demonstraii, folosirea faptului c nu exist un ir descresctor de numere ntregi pozitive, poart numele de reducere nesfrit i se datoreaz lui Fermat , care l-a aplicat n multe chestiuni dificile din teoria numerelor. (prelucrare din Gazeta Matematica seria B nr. 5/1965 pagina 204-205)