Краткий исторический экскурс к решению Теоремы Ферма и краткое решение.
В 17 веке французский адвокат и математик-любитель Пьер Ферма сделал краткую запись на полях учебника: уравнение cn=an+bn не имеет целочисленных корней при n>2. Также он указал, что есть простое и красивое решение этой задачи.
Это, простое с виду, уравнение оказалось неподдающимся решению на протяжении трех последующих столетий. Многие великие математики пытались его решить. Находили частные решения для степеней n=3, n=5, n=7, каждый раз получая все более громоздкие математические выкладки, объединяя решения предшествующих поколений и пытаясь найти общее.
Это делало "простую" Теорему Ферма все более сложной и доступной только для "узких" профессионалов. Постепенно она превратилась в
Сам Ферма математикой профессионально не занимался, но в кругу ученых он был человеком известным, так как поддерживал переписку с некоторыми из них.
Пьер Ферма не оставил после себя научных трудов, но, благодаря переписке с математиками, его идеи и решения получили широкое распространение в научной среде.
Ферма редко утруждался доказательством своих теорем, отправляя их в письмах в виде предположений, и предлагая коллегам решить их или опровергнуть.
Некоторые задачи Ферма вызывали у математиков живой интерес и с азартом решались. Иногда его теоремы были ошибочны.
Многие его труды после смерти были собраны, еще не раз внимательно изучены и проверены, и опубликованы в различных научных изданиях.
Но только одно небольшое замечание Пьера Ферма на полях учебника математики не дает покоя ученым более трехсот лет: уравнение cn=an+bn не имеет целочисленных корней при n>2.
В переписке с коллегами он приводил решение для степени n=4.
За три столетия простое решение не нашли.
В конце 20 века английский профессор математики Эндрю Уайлс решил теорему Ферма при помощи наработок последнего столетия. Это большая математическая статья объемом более ста страниц, также доступная для понимания только профессиональным математикам.
Вернемся к вопросу заголовка: мог ли Пьер Ферма решить свою теорему, используя простую "школьную" математику?
Умножим уравнение cn=an+bn на дробь cn/(anbn). Получим выражение:
(c2/ab)n=(c/b)n+(c/a)n.
Это выражение будет исходным для дальнейшего решения.
Из слагаемых исходного уравнения c/a, c/b, c2/ab строим треугольник с соответствующими сторонами.
Для степени n=2 треугольник будет прямоугольным по свойству: квадрат гипотенузы равен сумме квадратов катетов.
В нашем случае n>2, треугольник будет остроугольным, и при решении по теореме косинусов появляется слагаемое (c2/ab)*2
Таким образом, решая исходное уравнение, мы возвращаемся к нему же на следующем уровне. При каждой следующей итерации треугольник будет уменьшаться, а слагаемое (c2/ab)*2
Рассмотрим две первые итерации по формулам.
По теореме косинусов: (c2/ab)2=(c/a)2+(c/b)2-(c2/ab)*2
Поставим новое слагаемое в исходное выражение: [(c2/ab)*2
Строим новый треугольник со сторонами (2
Он меньше предыдущего и пропорционален ему. По теореме косинусов: аналогично вышеизложенному с множителем ((2
Получили следующее слагаемое для следующей итерации ((2
Поставим новое слагаемое в исходное выражение: [(c2/ab)(2
И так далее треугольники убывают до бесконечности.
А так как в первом треугольнике слагаемое (c2/ab)*2
Следовательно, в исходном выражении все слагаемые не могут быть рациональными числами.
Таким образом Пьер Ферма мог решить теорему в свое время.
