Teorema Fermat-Euler

Teorema Fermat-Euler (alte denumiri sunt Teorema lui Fermat de Crăciun , teorema reprezentării numerelor prime ca sumă a două pătrate ) arată [1] :

Orice număr prim , unde  este un număr natural , poate fi reprezentat ca suma pătratelor a două numere naturale.

Cu alte cuvinte,

unde  este un număr prim.

În literatura străină, această afirmație este adesea numită teorema de Crăciun a lui Fermat , așa cum a devenit cunoscută dintr-o scrisoare trimisă de Pierre Fermat la 25 decembrie 1640.

Exemple:

, , , , , .

Din această afirmație, folosind identitatea Brahmagupta , se deduce o afirmație generală:

Un număr natural poate fi reprezentat ca o sumă a două pătrate (numere întregi) dacă și numai dacă niciun număr prim al formei nu este inclus în descompunerea sa în factori primi într-un grad impar.

Uneori, acest fapt este înțeles prin teorema Fermat-Euler.

Istorie

Această afirmație a fost descoperită pentru prima dată de Albert Girard în 1632 . Pierre Fermat a anunțat în scrisoarea sa către Mersenne ( 1640 ) că a demonstrat această teoremă, dar nu a oferit o dovadă. 20 de ani mai târziu, într-o scrisoare către Karkavy (datată august 1659), Fermat sugerează că proba se bazează pe metoda coborârii infinite .

Prima dovadă publicată prin metoda descendenței infinite a fost găsită între 1742 și 1747 de Leonhard Euler . Dovezi ulterioare bazate pe alte idei au fost date de Joseph Lagrange , Carl Gauss , Hermann Minkowski , Jakobstahl și Don Zagier . Ultima este o dovadă cu o singură propoziție [2] .

Dovezi

Una dintre cele mai scurte dovezi a fost inventată de matematicianul german Don Zagir [3] :

Involuția multime finită definită ca

are exact un punct fix (care este egal cu if , și a cărui unicitate decurge din simplitatea lui ), deci conține un număr impar de elemente, ceea ce înseamnă că involuția are și un punct fix.

Există și o demonstrație prin teorema lui Wilson , inventată de Axel Thue [4] .

Literatură

Note

  1. Senderov V., Spivak A. Sums of squares and Gaussian integers Arhivat 26 noiembrie 2019 la Wayback Machine // Kvant Arhivat la 11 februarie 2014 la Wayback Machine . - Nr. 3 (1999), p. 14-22.
  2. O dovadă dintr-o propoziție că fiecare prim 4k+1 este o sumă a două pătrate
  3. Rezumatul dovezii lui Don Zagier . Preluat la 13 mai 2011. Arhivat din original la 4 martie 2016.
  4. Cele două teoreme ale lui Fermat . Preluat la 17 februarie 2020. Arhivat din original la 26 iunie 2019.