Стивен Вайнберг - Объясняя мир. Истоки современной науки

Теорема Пифагора ведет к другому великому открытию о том, что геометрические построения могут привести к соотношениям, которые не могут быть выражены частным от деления целых чисел. Если каждый катет прямоугольного треугольника имеет длину, равную единице (неважно, в каких единицах измерения), то сумма площадей двух квадратов, сторонами которого являются эти катеты, составляет 1² + 1² = 2. Тогда в соответствии с теоремой Пифагора длина гипотенузы должна выражаться числом, квадрат которого равен 2, но легко увидеть, что число, квадрат которого равен 2, не может быть выражено как соотношение целых чисел (см. техническое замечание 5). Доказательство этого дается в Десятой книге «Начал» Евклида. Ранее о нем говорит Аристотель в «Первой аналитике» {22} 22 Аристотель. Сочинения: в 4 т. Т. 2. – М.: Мысль, 1978. С. 167. в качестве примера reductio ad impossibile [3] Лат. «сведе́ние к невозможности» – прием опровержения в философии. – Прим. ред. , н е давая ссылку на оригинальный источник. Существует легенда о том, что это открытие принадлежит пифагорейцу Гиппасу, который, возможно, родился в городе Метапонте на юге Италии и был изгнан или убит пифагорейцами за разглашение этого открытия.

Сегодня мы можем описать это открытие следующим образом: такие числа, как квадратный корень из двух, являются иррациональными – они не могут быть выражены как отношение целых чисел. Согласно Платону {23} 23 Платон. Диалоги. 147 d – e. , Феодор Киренский показал, что квадратные корни из 3, 5, 6,…, 15, 17 и т. д. (и вдобавок, хотя Платон этого и не говорит, квадратные корни из всех целых чисел, кроме 1, 4, 9, 16 и т. д., которые являются квадратами целых чисел) иррациональны в том же смысле. Но древние греки не выражали эту мысль таким образом. Скорее, судя по переводу Платона, они говорили о сторонах квадратов, площадь которых равна 2, 3, 5 и т. д., несоизмеримых единице. У древних греков не было понятия о каких-либо числах, кроме рациональных, поэтому для них такое число, как квадратный корень из двух, могло быть представлено только геометрически, что затрудняло развитие арифметики.

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

В Академии одним из математиков, который оказал огромное влияние на Платона, был Теэтет Афинский, ставший главным героем одного из диалогов Платона и объектом для обсуждения в другом. Теэтет знаменит открытием пяти правильных многогранников, которые, как мы уже видели, обеспечили основу теории элементов Платона. Доказательство {24} 24 На самом деле, как это обсуждается в техническом замечании 2, что бы ни доказал Теэтет и что бы ни приписывали ему «Начала», существует только пять возможных выпуклых правильных многогранников. На примере правильного полиэдра в «Началах» доказывается, что существует только пять комбинаций длин сторон каждой грани полиэдра и количества граней, которые имеют общие точки. Но там не доказано, что для каждой комбинации этих чисел существует только единственный выпуклый правильный многогранник. того, что эти тела являются единственно возможными выпуклыми многогранниками, предложено в «Началах» Евклида и приписывается Теэтету, который также внес свой вклад в теорию того, что мы сегодня называем иррациональными числами.

Самым великим эллинским математиком IV в. до н. э. был Евдокс Книдский, ученик Архита и современник Платона. Хотя он прожил большую часть своей жизни в городе Книде, на побережье Малой Азии, Евдокс учился в Академии Платона и позже вернулся туда, чтобы самому стать учителем. От Евдокса не осталось никаких записей, но он известен тем, что решил множество сложных математических задач, например доказал, что объем конуса равен одной трети объема цилиндра с тем же основанием и высотой (я не представляю, как Евдокс мог сделать это, не прибегая к математическому анализу). Его величайшим вкладом в математику стало изобретение метода исчерпывания, при использовании которого теоремы выводились из простых аксиом, не требующих доказательства. Этот же метод использовал Евклид в своих работах. На самом деле многое в «Началах» Евклида может быть отнесено на счет Евдокса.