Числа Ферма, названные так в честь Пьера де Ферма — первого, кто их изучал, — имеют следующий вид:
Fn = 2²n+1,
где n — натуральное число.
Ферма определил такие простые числа с намерением, очень далеким от того, чтобы решать задачи построения многоугольников с помощью линейки и циркуля (а на самом деле удалось доказать, что не все числа такого вида простые).
Гаусс показал, что для построения правильного многоугольника с n сторонами с помощью линейки и циркуля необходимо, чтобы нечетные простые множители n были различными простыми числами Ферма. То есть правильный многоугольник можно построить, если число его сторон — это степень числа 2, простое число Ферма или произведение некоторой степени числа 2 (включая единицу) и различных простых чисел Ферма. Это то, что в математике известно как достаточное условие. Итак, если многоугольник имеет форму, определенную Гауссом, его можно построить. Естественным образом возникает вопрос, является ли это также необходимым условием. То есть нужно проверить, только ли такие многоугольники можно построить с помощью линейки и циркуля.
Пьер Ванцель, французский математик, в 1837 году доказал, что условие Гаусса является необходимым, и это превратило теорему в полное описание правильных многоугольников, которые можно построить с помощью линейки и циркуля. Математики называют такие условия тогда и только тогда. То есть у нас полностью определены правильные многоугольники, которые мы можем построить с помощью линейки и циркуля. Так, треугольник (3 = 2²0 +1), квадрат (4 = 2²1 ), пятиугольник (5 = 2²1 +1) и шестиугольник (6 = 2-(2²0 +1)) можно построить с помощью линейки и циркуля, а правильный семиугольник (7 =/= 2²n + 1
Но это не означает, что нет людей, которые посвящали бы свое время и энергию безуспешному нахождению способов построения семиугольников или других фигур, что, как доказано математиками, невозможно осуществить с помощью линейки и циркуля. Это касается квадратуры круга, трисекции угла или удвоения куба. Первой задачей со страстью, которая сохранилась всю жизнь, занимался не кто иной, как Наполеон. Однако эту битву, в отличие от битв с прусской армией, Наполеон не смог, да и не мог бы выиграть.
ГЛАВА 2 «Арифметические исследования»
Гаусс — отец теории чисел в ее современном понимании. Среди других его достижений — решительный импульс в использовании комплексных чисел, благодаря чему он оставил нам инструмент, с помощью которого можно подойти к решению полиномиальных уравнений любого типа. Этой теме посвящена работа «Арифметические исследования», в которой Гаусс собрал свои многочисленные исследования, совершенные в молодые годы.
Гаусс привел математику XIX века к целям, о которых до него и не подозревали. Первым огромным вкладом ученого в алгебру была докторская диссертация, которую, как мы уже знаем, он защитил заочно в 1799 году в Хельмштедтском университете. Руководителем работы был Иоганн Фридрих Пфафф (1765-1825), один из великих математиков того времени, и он всегда относился с особым вниманием к своему подопечному. Пфафф считал своим долгом заботиться о том, чтобы его молодой друг больше двигался, и они часто гуляли днем, разговаривая о математике. Поскольку Гаусс отличался не только скромностью, но и некоторой замкнутостью, возможно, Пфафф не смог разглядеть все черты его натуры, однако известно, что сам молодой диссертант восхищался своим преподавателем, которого считал лучшим математиком Германии — благодаря не только отличным научным работам, но и простому и открытому характеру. Со временем ученик превзойдет учителя. Барон Александр фон Гумбольдт (1769-1859), знаменитый путешественник и любитель наук, с которым Гаусс сотрудничал, изучая геомагнетизм, спросил Пьера-Симона Лапласа (1749-1827), одного из выдающихся французских математиков, кого тот считает самым великим математиком в Германии. Лаплас ответил: «Пфаффа». «А Гаусс?» — удивился фон Гумбольдт, который поддерживал кандидатуру Карла Фридриха на пост директора Гёттингенской обсерватории. «О, — сказал Лаплас, — Гаусс — самый великий в мире».
Название докторской диссертации Гаусса звучит так: Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse («Новое доказательство теоремы, в которой говорится, что любая алгебраическая рациональная функция может быть разложена на множители первой или второй степени с действительными коэффициентами»). В этом заголовке содержится небольшая ошибка, которая принесла молодому Гауссу еще больше величия: это доказательство было не «новым», а первым в истории полным доказательством основной теоремы алгебры.
Математика — царица наук, а арифметика — царица математики.
Карл Фридрих Гаусс
В этой теореме, в том виде, в каком ее формулировал Гаусс (затем она была обобщена), утверждается, что любой многочлен от одной переменной имеет столько корней, сколько показывает его степень, допуская, что эти корни могут быть множественными. Многочлен Р — это выражение вида Р(x) = anxn + an-1xn-1 + ... + а1х + a0, где коэффициенты аn, аn-1, ... , a1, a0 — действительные числа. Степень Р — это наибольший показатель степени, в которую нужно возвести переменную х, то есть n. Корни многочлена — это точки, в которых он равен нулю, то есть такие точки х, в которых Р(х) = 0. В качестве естественного следствия из теоремы можно сделать вывод, что любой многочлен степени n с n корнями, необязательно разными, которые мы обозначим r1, r2,..., rn, можно разложить как произведение одночленов вида:
Р(х) = (x-r1) · (x - r2) · ... · (x - rn).
Задачи такого типа часто встречаются в повседневной жизни, и их решение заботило математиков с самого начала развития этой науки. Очевидно, что задачи типа x - 3 = 0 имеют единственный корень, то есть 3. Если мы возьмем многочлен x + 3 = 0, то для его решения нам придется учитывать отрицательные числа, поскольку решение — это -3. Именно по этой причине потребовалось расширить множество натуральных чисел до множества целых чисел, которое включает в себя и отрицательные числа. Вавилоняне и египтяне осознали, что для решения простых уравнений первой степени нужно новое расширение, в данном случае это дроби, поскольку решением уравнения 3x — 2 = 0 является величина 2/3. Множество, которое включало в себя дроби, назвали множеством рациональных чисел.
С увеличением показателя степени многочлена все усложняется, и такое простое уравнение, как х²-2 = 0, привело греков к великому открытию, поскольку решение нельзя было выразить в виде дроби. Действительно, методом от противного было найдено аналитическое доказательство того, что sqrt(2) не является рациональным числом.