Саймон Сингх - Великая Теорема Ферма

Однако, существует в природе процесс, который укрощает хаос: увеличение извилистости русла приводит к появлению петель и, наконец, к «короткому замыканию» русла: река спрямляет русло, а замкнутая петля, оставшаяся в стороне от русла, становится старицей. Баланс между этими двумя противоположными факторами приводит к близкому к π среднему значению отношения истинной длины реки и расстоянием между истоками и устьем по прямой. Отношение равное π чаще всего встречается у рек, текущих по равнинам с очень слабым уклоном. Таковы, например, реки Бразилии и Сибири.

Пифагор понял, что всюду, от гармонии в музыке до планетных орбит, скрыты числа, и это открытие позволило ему сформулировать афоризм: «Все сущее есть Число». Постигая смысл и значение математики, Пифагор разрабатывал язык, который позволил бы и ему самому, и другим описывать природу Вселенной. С тех пор каждое существенное продвижение в математике давало ученым словарь, необходимый для лучшего объяснения явлений в окружающем мире. Не будет преувеличением сказать, что успехи математики порождали коренные сдвиги в естествознании.

Исаак Ньютон был не только открывателем закона всемирного тяготения, но и выдающимся математиком. Его величайшим вкладом в математику стало создание математического анализа — дифференциального и интегрального исчисления. Позднее физики использовали язык математического анализа для более точного описания закона всемирного тяготения и решения задач, связанных с гравитацией. Созданная Ньютоном классическая теория гравитации пережила века и уступила место общей теории относительности Альберта Эйнштейна, давшего новое, более подробное объяснение гравитации. Идеи самого Эйнштейна стали возможными только благодаря новым математическим понятиям, позволившим ему развить более изощренный язык для своих более сложных (по сравнению с ньютоновскими) научных идей. Современная интерпретация гравитации также стала возможной под влиянием последних достижений математики. Новейшие квантовые теории гравитации связаны с успехами математической теории струн, в которой геометрические и топологические свойства трубок наилучшим образом объясняют силы природы.

Из всех взаимосвязей между числами и природой, изученных членами пифагорейского братства, наиболее важным стало соотношение, которое ныне носит имя основателя братства. Теорема Пифагора дает нам соотношение, которое выполняется для всех прямоугольных треугольников и, следовательно, определяет прямой угол. В свою очередь, прямой угол определяет перпендикуляр, т. е. отношение вертикали к горизонтали, а в конечном счете — отношение между тремя измерениями нашего мира. Математика — через прямой угол — определяет самую структуру пространства, в котором мы живем. Это очень глубокая мысль.

Между тем, формулировка теоремы Пифагора сравнительно проста. Действительно, чтобы понять ее, нужно прежде всего измерить длину двух более коротких сторон ( x и y ), — так называемых катетов, — прямоугольного треугольника, и каждую из полученных длин возвести в квадрат ( x 2и y 2). Затем нужно сложить квадраты длин ( x 2+ y 2). Для треугольника, изображенного на рис. 2, сумма равна 25.

Теперь вы можете измерить длину наибольшей стороны z — так называемой гипотенузы — и возвести полученное число в квадрат. Самое замечательное заключается в том, что число z 2совпадает с вычисленной вами ранее суммой, т. е. 5 2= 25. Иначе говоря, в любом прямоугольном треугольнике квадрат, построенный на гипотенузе, равен сумме квадратов, построенных на катетах.

Иными словами (точнее, символами), теорема Пифагора утверждает, что

Ясно, что это соотношение выполняется для треугольника на рис. 2, но суть теоремы Пифагора в том, что это равенство остается в силе для любого прямоугольного треугольника, какой вы только можете себе представить. Это — универсальный закон математики, и вы можете положиться на него всякий раз, когда вам доведется встретить треугольник, содержащий прямой угол. И обратно, стоит вам встретить треугольник, удовлетворяющий теореме Пифагора, как вы можете быть абсолютно уверенными в том, что перед вами прямоугольный треугольник.

Уместно заметить, что, хотя теорема, о которой идет речь, навсегда связана с именем Пифагора, китайцы и вавилоняне использовали ее на тысячу лет раньше. Однако ни китайские, ни вавилонские геометры не знали, что эта теорема выполняется для любого прямоугольного треугольника. Теорема, получившая впоследствии название теоремы Пифагора, оказалась верной для любого прямоугольника, на котором китайцы и вавилоняне могли ее проверить, но они не знали, как показать, что она будет справедлива для всех тех прямоугольных треугольников, которые они не подвергли проверке. Причина, по которой теорему стали называть теоремой Пифагора, заключается в том, что именно он доказал ее универсальную истинность.

Но каким образом Пифагор узнал, что его теорема верна для любого прямоугольного треугольника? Он не мог надеяться на то, что ему удастся проверить бесконечно много разнообразнейших прямоугольных треугольников, и тем не менее Пифагор сумел обрести уверенность «на все сто процентов» в том, что его теорема — абсолютная истина. Причина его уверенности — в понятии математического доказательства. Поиск математического доказательства — это поиск знания, более точного, чем знание, накопленное какой-нибудь другой научной дисциплиной. Жажда постичь абсолютную истину с помощью метода доказательства двигала математиками на протяжении двух с половиной тысяч лет.

История Великой теоремы Ферма — это история поиска недостающего доказательства. Математическое доказательство гораздо мощнее и строже, чем представление о доказательстве, которым мы пользуемся в нашем повседневном языке, и даже чем то представление о доказательстве, которого придерживаются физики или химики. Понимание различия между естественнонаучным и математическим доказательствами имеет решающее значение для осознания того, чем занимается каждый математик со времен Пифагора.

Классическое математическое доказательство начинается с серии аксиом — утверждений, которые можно предположить истинными или истинность которых самоочевидна. Затем с помощью логических рассуждений, шаг за шагом, можно прийти к заключению. Если аксиомы истинны, а логика безупречна, то заключение безупречно. Этим заключением и является теорема.