Самая сложная задача в мире. Ферма. Великая теорема Ферма

После этого попытки Коши и Ламе провалились, в то время как Куммер продолжил исследования и в итоге создал новую математическую теорию, чтобы попытаться доказать Великую теорему Ферма. Данное исследование подтолкнуло его к изучению разложения на множители, на которое опирались французы, и это, в свою очередь, привело его к формулировке принципов того, что сегодня известно как теория идеалов. Инструменты для доказательства становились все более сложными...

Однако Куммер пошел еще дальше. Пользуясь еще более продвинутыми математическими методами, он нашел условия, которые делали возможным единственное разложение на множители. На основе этого он доказал, что существуют некие простые числа, называемые регулярными, для которых Последняя теорема Ферма выполняется. Куммеру удалось доказать теорему для огромного числа случаев (возможно, бесконечного, хотя не было доказано, что число регулярных простых чисел бесконечно). На самом деле ему удалось доказать ее для всех случаев меньше 100, кроме 37,59 и 67, являющихся иррегулярными простыми числами.

ПОДРОБНЕЕ О ПОДХОДЕ ЛАМЕ-КОШИ И ПОПРАВКЕ КУММЕРА

Подход Габриеля Ламе и Огюстена Луи Коши заключался в том, чтобы попытаться разложить на множители левый член уравнения Ферма в следующем виде:  xⁿ + yⁿ = (x+y)(x+ςy)...(x+ς^n-1y), где х и у — обычные целые числа, а ς — числа, которые известны как алгебраические целые числа. Последние, несмотря на свое название,— комплексные числа (числа вида а + bi, где i равен √-1), появляющиеся в виде корней некоторого типа многочленов. Важно то, что если это разложение на множители является единственным, можно доказать, что нет решений для уравнения Ферма, то есть Последняя теорема истинна. Ламе и Коши открыли новый фронт: использование комплексных чисел в степени. Но Куммер доказал, что такое разложение на множители в целом невозможно. На основе этого он пытался найти условия, при которых можно было бы его осуществить, что привело его к изучению так называемых циклотомических полей. Они являются продолжением рациональных, полученных прибавлением одного из чисел ζ^k из предыдущего уравнения. Куммер впервые применил теорию групп к теории чисел. На основе этого немецкому математику удалось доказать, что существуют некие простые числа, которые не являются делителем числа, называемого числом класса идеалов, что служит характеристикой вышеупомянутого продолжения. Такие простые числа называются регулярными простыми числами.

Работа Куммера также была основополагающей для последующего обобщения его понятия идеальных чисел немецким математиком Рихардом Дедекиндом (1831-1916) при создании теории идеалов. Идеал, например, — это множество четных чисел, или кратных трем, однако существуют идеалы, не являющиеся числами, несмотря на то что к ним применимы близкие им понятия, такие как разложение на простые множители.

ФАЛЬТИНГС И ЭЛЕКТРОННЫЙ ПОИСК КОНТРПРИМЕРОВ