самом деле первооткрывателем этой теоремы был не Пифагор и даже не его ученики. Даже если в Вавилоне и не сформулировали данную теорему в том виде, в котором это будет показано далее, есть основания полагать, что уже тогда, за тысячу лет до этого, стали известны соответствующие тройки чисел. Иначе как шумеры смогли бы перечислить все эти значения сторон прямоугольных треугольников в Плинтонской табличке? В Древнем Египте и Китае также с большой долей вероятности знали о закономерности, подтвержденной впоследствии в теореме. Это следует из комментариев к «Математике в девяти книгах», добавленных в более поздних редакциях.
Некоторые считают, что Пифагор был первым, кто продемонстрировал доказательство этой теоремы. Тем не менее однозначного подтверждения этому факту нет, и первым источником, в котором приводится доказательство, является труд Евклида «Начала», датируемый тремя веками спустя.
5
Немного о методе
Для греческих математиков возможность доказать теорему становится ключевым моментом. Ни одна теорема не может считаться состоятельной, если ее не сопровождает доказательство, иными словами, логичное и точное подтверждение. Крайне важным было суметь предметно продемонстрировать доказательство, т. к. в противном случае оставалось сомнение в совершенстве теоремы и были бы возможны неожиданные сюрпризы. Некоторые методы, несмотря на то что широко известны и повсеместно используются, не всегда хорошо работают.
Вот пример. Помните, в папирусе Ахмеса описывалось, как начертить квадрат и круг с одинаковой площадью? В этих рассуждениях, без сомнения, есть ошибка. Отклонения незначительные, тем не менее они есть. При измерении площадей фигур оказывается, что разница составляет приблизительно 0,5 %! Ну что же, для землемеров такая точность достаточна, однако для теоретиков математики недопустима.
Даже среди гипотез Пифагора были ошибочные суждения. Одно из таких заблуждений касалось соизмеримости длин. Пифагор полагал, что в геометрии любые величины соизмеримы, т. е. всегда можно найти достаточно малую величину для измерения любых двух длин. Представьте два отрезка длиной 9 и 13,7 см соответственно. В Древней Греции еще не использовались десятичные значения для измерений, и, таким образом, второй отрезок нельзя было измерить в сантиметрах. Разумеется, нет ничего сложного в том, чтобы определить длину отрезка единицами в десять раз меньшими, чем сантиметры, соответственно, длины отрезков составят 90 и 137 мм. Пифагор был убежден, что любые два отрезка соизмеримы, и их длины можно определить в соответствующих единицах.
Это утверждение опроверг древнегреческий философ-пифагореец Гиппас из Метапонта. Ученому приписывают открытие существования несоизмеримых отрезков, а именно стороны и диагонали квадрата! Какую бы вы ни выбрали единицу измерения, сторона квадрата и его диагональ не будут соизмеримы в целых выбранных единицах. Гиппас привел логическое обоснование этой гипотезы и
