Тэарэма Ферма — Эйлера

З пляцоўкі Вікіпедыя
Перайсці да: рух, знайсці

Тэарэма Ферма-Эйлера або тэарэма аб прадстаўленні простых лікаў сумай двух квадратаў сцвярджае[1]:

Няцотны просты лік можна прадставіць у выглядзе сумы двух квадратаў (цэлых лікаў), калі і толькі калі ён мае выгляд 4k + 1.

Інакш кажучы, для простага ліку p > 2 існаванне цэлых лікаў x і y, такіх што

раўназначна таму, што лік p пры дзяленні на 4 дае ў астачы 1:

У замежнай літаратуры гэта сцверджанне часта называюць Каляднай тэарэмай Ферма, бо яно стала вядома з пісьма П'ера Ферма, дасланага ім 25 снежня 1640 года.

Прыклады:

Гісторыя[правіць | правіць зыходнік]

Упершыню гэта сцвярджэнне сустракаецца ў Альбера Жырара ў 1632 годзе. П'ер Ферма заявіў у сваём пісьме Мерсену (1640), што ён даказаў гэту тэарэму, але доказу не прывёў. Праз 20 год у пісьме да Каркаві (жнівень 1659 года) Ферма намякае, што доказ заснаваны на метадзе бесканечнага спуску.

Першы абнародаваны доказ метадам бесканечнага спуску быў знойдзен Леанардам Эйлерам паміж 1742 і 1747 гадамі. Пазней доказы, заснаваныя на іншых ідэях, далі Жазэф Лагранж, Карл Гаус, Герман Мінкоўскі, Якобшталь і Дон Цагір. Апошні прывёў доказ у адзін сказ.[2]

Доказ[правіць | правіць зыходнік]

Адзін з самых кароткіх доказаў прыдумаў нямецкі матэматык Дон Цагір[3].

Абагульненне[правіць | правіць зыходнік]

З гэтага сцверджання пры дапамозе тоеснасці Брахмагупты:

выводзіцца агульнае сцверджанне:

Натуральны лік можна запісаць у выглядзе сумы квадратаў двух цэлых лікаў тады і толькі тады, калі любы просты лік выгляду 4k + 3 уваходзіць у яго раскладанне на простыя множнікі ў цотнай ступені.

Часам іменна гэта сцверджанне разумеюць пад тэарэмай Ферма — Эйлера.

Зноскі

Літаратура[правіць | правіць зыходнік]

  • Бухштаб А. А. Теория чисел. М.: Государственное учебно-педагогическое издательство Министерства просвещения РСФСР, 1960.- 375 с.
  • Сендеров В., Спивак А. Суммы квадратов и целые гауссовы числа. Квант, № 3 (1999), стр. 14-22.