A Fermat-Euler tétel (más nevek Fermat karácsonyi tétele , a prímszámok két négyzet összegeként való ábrázolásának tétele ) így hangzik [1] :
Bármely prímszám , ahol egy természetes szám , ábrázolható két természetes szám négyzeteinek összegeként. Más szavakkal, hol van egy prímszám. |
A külföldi szakirodalomban ezt az állítást gyakran Fermat karácsonyi tételének nevezik, ahogy ez Pierre Fermat 1640. december 25-én küldött leveléből vált ismertté .
Példák:
, , , , , .Ebből a kijelentésből, a Brahmagupta identitást használva, egy általános állítás következik:
Egy természetes szám akkor és csak akkor ábrázolható két négyzet (egész szám) összegeként, ha az alak prímszáma nem szerepel a prímtényezőkre való felosztásában páratlan mértékben. |
Néha éppen ezt a tényt érti a Fermat-Euler-tétel.
Ezt az állítást először Albert Girard fedezte fel 1632 -ben . Pierre Fermat Mersenne -nek írt levelében ( 1640 ) bejelentette, hogy bebizonyította ezt a tételt, de bizonyítékkal nem szolgált. 20 évvel később, Karkavynak írt levelében (1659 augusztusában) Fermat utal arra, hogy a bizonyítás a végtelen származás módszerén alapul .
Az első publikált bizonyítékot a végtelen származás módszerével Leonhard Euler találta 1742 és 1747 között . Később Joseph Lagrange , Carl Gauss , Hermann Minkowski , Jakobstahl és Don Zagier bizonyítást adtak más elképzelésekre . Az utolsó egy mondatos bizonyítás [2] .
Az egyik legrövidebb bizonyítást Don Zagir német matematikus találta ki [3] :
A véges halmaz involúciója definiálva
pontosan egy fix pontja van (amely egyenlő ha -val, és amelynek egyedisége az egyszerűségből következik ), tehát páratlan számú elemet tartalmaz, ami azt jelenti, hogy az involúciónak is van fix pontja.
Van egy Wilson-tételen keresztüli bizonyítás is , amelyet Axel Thue talált ki [4] .