Тайна за тремя стенами. Пифагор. Теорема Пифагора

Есть надежные свидетельства о том, что Гиппас ставил акустические опыты и изучал резонанс, поэтому его считают теоретиком музыки. Согласно легенде, он не только доказал существование иррациональных чисел, но и нарушил пифагорейский закон молчания, поведав о своем открытии миру. Дошедшие до нас документы того времени приводят различные версии его смерти, но ни одну из них нельзя считать достоверной.

МИР (ПОЧТИ) СОВЕРШЕННЫЙ

Практически установлено, что математическое открытие существования отрезков, взаимно несравнимых, то есть несоизмеримых, произошло в пифагорейской школе не позднее чем в 420 году до н.э. Так как пифагорейцы весьма интересовались тройками целых чисел, которые могли представлять соотношения сторон прямоугольного треугольника, понятно, что они должны были открыть эти новые соотношения, хотя некоторые исследования указывают и на другие возможности, о которых мы поговорим позже. Как правило, исследования по истории математики согласны с традицией, которая приписывает обескураживающее открытие иррациональных чисел Гиппасу из Метапонта. По одной из версий, в качестве наказания за то, что он ввел в мир элемент, не отвечающий основополагающему принципу секты, — что все явления Вселенной могут быть сведены к целым числам и их отношениям, — члены братства сбросили Гиппаса с борта корабля. На самом деле мы не знаем в точности, каким образом были открыты иррациональные числа. Традиция гласит также, что Гиппас изучал свойства квадрата. Хотя это и весьма простая фигура, пифагорейцы не знали никого, кому удалось бы вычислить ее диагональ: это удалось сделать Гиппасу с помощью теоремы Пифагора. В поисках универсального доказательства этот математик смог вычислить диагональ, приняв сторону квадрата за 1. Далее следовала простая операция: оставалось разбить квадрат на два треугольника и применить теорему Пифагора для вычисления их гипотенузы (см. рисунок). В равнобедренном прямоугольном треугольнике квадрат гипотенузы равен удвоенному квадрату катета. Если длину катетов принять за 1, какой будет длина гипотенузы? Полученное число не будет ни целым, ни дробью... Оно будет несоизмеримым. В современной математической терминологии мы бы сказали, что прямоугольный треугольник с катетами, равными 1, имеет гипотенузу длиной √2, и это иррациональное число. Но во времена Гиппаса это открытие потрясало основы пифагорейской философии.

Этот результат не только показывал, что гипотенуза равнобедренного прямоугольного треугольника несоизмерима с катетами, но и поставил греческую математику перед фундаментальной проблемой.

Графическое представление доказательства Гиппаса из Метапонта. Математик из Великой Греции вычислил диагональ квадрата — величину, до тех пор неизвестную, — использовав теорему Пифагора.

Пифагорейцы постулировали абсолютную связь между числом и геометрией, но существование несоизмеримых величин подрывало сами основы этих отношений. Конечно, из-за этого члены братства не перестали изучать длины и соотношения в геометрии, но ограничились числовыми соотношениями только в тех случаях, когда они были соизмеримы. Со временем геометрические величины дистанцировались от величин числовых, так что те и другие стали изучаться раздельно. Введение понятия несоизмеримости убедило греческих математиков в том, что геометрия должна развиваться независимо от арифметики. Так разрушалась пифагорейская традиция, которая не делала различия между этими областями знания. Из «Диалогов» Платона ясно видно, что уже в его время геометрия считалась отдельной наукой.

Каким образом пифагорейцы так поздно заметили этот слабый пункт, который привел к кризису их систему? Что они ожидали найти в диагонали квадрата? Согласно теореме Пифагора, для квадрата со стороной 1 построенный на его диагонали квадрат будет иметь площадь, равную 2, и, таким образом, длина d данной диагонали должна быть числом, которое при возведении в квадрат дает 2 (то есть (d2 = 2). Здесь на сцену возвращается √2. Величина √2 была длиной отрезка, который можно, опираясь на квадрат, легко построить с помощью линейки и циркуля. Естественным было и предположение, что введя некую величину u (меньшую 1), можно было ею одновременно измерить и сторону (1), и диагональ (√2) квадрата? Очевидным было предположение, что сторона и диагональ квадрата должны быть соизмеримы. Однако это оказалось не так.