Loading [MathJax]/jax/output/HTML-CSS/fonts/TeX/fontdata.js

Теорема Ферма Эйлера

Теорема Ферма — Эйлера или теорема о представлениипростых чисел в виде суммы двух квадратов гласит:
 Любое простое число p=4n+1, где n — натуральное число, представимов виде суммы квадратов двух натуральных чисел.
 Иначе говоря,
p=4n+1,nNp=x2+y2,
 где p — простое число.
 В иностранной литературе это утверждение часто называютрождественской теоремой Ферма, так как она стала известна изписьма Пьера Ферма, посланного 25 декабря 1640 года.
 Примеры:

5=12+22,13=22+32,17=12+42,29=22+52,37=12+62,41=42+52.
 Из этого утверждения при помощи тождества Брахмагупты выводится общееутверждение:
 Натуральное число представимо в виде суммы двух квадратов (целых чисел)тогда и только тогда, когда любое простое число вида 4k+3 входит в егоразложение на простые множители в чётной степени.
 Иногда именно этот факт подразумевается под теоремой Ферма — Эйлера.

История


 Впервые это утверждение обнаружено у Альбера Жирара в 1632 году. ПьерФерма объявил в своём письме к Мерсенну (1640), что он доказал даннуютеорему, однако доказательство не привёл. Через 20 лет в письме кКаркави (от августа 1659 года) Ферма намекает, что доказательствоосновывается на методе бесконечного спуска.
 Первое опубликованное доказательство методом бесконечного спуска былонайдено Леонардом Эйлером между 1742 и 1747 годами. Позднеедоказательства, основанные на иных идеях, дали Жозеф Лагранж, КарлГаусс, Герман Минковский, Якобшталь и Дон Цагир. Последним приведенодоказательство, состоящее из одного предложения.

Доказательство


 Одно из самых коротких доказательств придумано немецким математикомДоном Цагиром:
 Инволюция конечного множества S={(x,y,z)N3:x2+4yz=p},определённая как
 $(x,y,z) \rightarrow\begin{cases}(x+2z,z,y-x-z), & x2y\end{cases}имеетровнооднунеподвижнуюточку(аименно(1,1,k),таккакp=4k+1простое),такчто|S|нечётноиинволюция(x,y,z) \rightarrow (x,z,y)$ также имеет неподвижную точку.