О том, чего мы не можем знать. Путешествие к рубежам знаний - страница 65

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

Из теоремы Пифагора о прямоугольном треугольнике следует, что длина гипотенузы равна произведению длины катета на квадратный корень из 2. Но Гиппас смог доказать, что дроби, квадрат которой был бы точно равен 2, не существует. Доказательство использует один из классических приемов, имеющихся в арсенале математика, – доказательство от противного. Гиппас предположил сначала, что существует такая дробь, квадрат которой равен 2. При помощи некоторых ловких преобразований можно показать, что из этой посылки всегда следует противоречивый вывод о существовании числа одновременно четного и нечетного. Единственный способ разрешения этого противоречия состоит в признании ложности исходного предположения: существование дроби, квадрат которой был бы равен 2, невозможно.

Говорят, что его товарищи-пифагорейцы были приведены в смятение вестью о том, что их прекрасные прямоугольные треугольники могут порождать такие негармоничные длины. Члены секты поклялись молчать об этом, но, когда Гиппас обнародовал свои результаты, его, как рассказывают, утопили в море за разглашение факта существования в физическом мире подобной дисгармонии. Однако заткнуть рот этим новым числам, называемым иррациональными, поскольку они не являются отношениями целых чисел[34], было сложнее.

Иррациональные длины в кубе

Мне конечно же кажется, что такая длина существует. Я могу увидеть ее на линейке, приложенной к длинной стороне треугольника. Она равна расстоянию между двумя противоположными углами любой грани моей кости. И тем не менее, сколько бы я ни пытался, я не могу найти закономерность этого бесконечного десятичного числа. Оно начинается с 1,414213562… и продолжается до бесконечности, никогда не повторяясь.

Открытое древними греками существование длин, которые нельзя выразить простым отношением целых чисел, заставило математиков того времени создать новую математику, математику иррациональных чисел, которая позволила бы действительно измерить Вселенную. Иррациональными оказались и другие базовые длины, например