Хотя, разумеется, возможно, и даже, пожалуй, вероятно, что несоизмеримость и иррациональные числа были открыты в связи с золотым сечением, более традиционная точка зрения гласит, что на эти концепции мыслителей натолкнуло соотношение стороны и диагонали квадрата. Аристотель в своей «Первой аналитике» пишет, что диагональ квадрата несоизмерима со стороной, «потому что, если допустить их соизмеримость, то нечетное было бы равно четному» (пер. Б. Фохта). Здесь Аристотель вскользь намекает на доказательство несоизмеримости, которое я приведу полностью, поскольку это прелестный пример доказательства логическим методом, известным как reductio ad absurdum («доведение до абсурда», или метод «от противного»). Более того, когда в 1988 году журнал «The Mathematical Intelligencer» предложил читателям проранжировать двадцать четыре теоремы в соответствии с их «красотой», доказательство, которое я сейчас представлю, заняло седьмое место.

Изящный метод «от противного» основывается на том, что верность утверждения доказывается тем, что противоположное ему утверждение ложно. Самый авторитетный иудейский ученый Средневековья Маймонид (Моше бен Маймон, 1135–1204) даже пытался применить этот логический прием, дабы доказать существование Творца. В своем фундаментальном труде «Мишне Тора» (Законы основ Торы), где делается попытка охватить все стороны религии, Маймонид пишет: «Основа основ и столп мудрости – знать, что есть Первичная Сущность, которая является причиной существования всего сущего. И все, что есть на небесах и на земле, и все, что между ними, существует благодаря Истинной Сущности. И если представить, что Его нет – ничто не могло бы существовать» (пер. И. Верника). В математике же метод «от противного» применяется следующим образом. Сначала вы предполагаете, что теорема, истинность которой вы стремитесь доказать, на самом деле ложна. Далее вы совершаете последовательность логических шагов и выводите нечто, представляющее собой явное логическое противоречие – например, 1 = 0. Из этого вы делаете вывод, что первоначальная теорема не могла быть ложной, а следовательно, она должна быть истинной. Обратите внимание, что если вы хотите, чтобы метод оказался действенным, вам следует предположить, что теорема или утверждения могут быть либо истинными, либо ложными: вы либо читаете эти строки, либо нет.

Рис. 11

Прежде всего, посмотрите на квадрат на рис. 11, сторону которого мы примем за единицу. Если мы хотим найти длину диагонали, можно при помощи теоремы Пифагора вычислить гипотенузу любого из двух прямоугольных треугольников, на которые разделен квадрат. Вспомним, что теорема гласит, что квадрат гипотенузы равен сумме квадратов двух катетов. Пусть длина гипотенузы – d, тогда d2 = 12 + 12, а следовательно, d2 = 2. Если мы знаем квадрат числа, то само число можем найти, если извлечем квадратный корень. Например, если мы знаем, что квадрат числа X равен 25, то X = 5. Следовательно, из d2 = 2 мы выводим, что d = √2. Итак, отношение диагонали к стороне квадрата равно квадратному корню из 2. (Карманный калькулятор подскажет, что √2 = 1,41421356…) А теперь нам хочется показать, что √2 невозможно выразить соотношением двух целых чисел (а следовательно, это иррациональное число). Задумайтесь на минуту: сейчас мы докажем, что хотя в нашем распоряжении бесконечное множество целых чисел, но как бы мы ни искали, нам никогда не найти двух таких, чтобы их отношение точно равнялось √2! Это же просто поразительно!

Вот как выглядит доказательство «от противного» в данном случае. Начнем мы с того, что предположим, что верно противоположное тому, что мы стремимся доказать, а именно предположим, что на самом деле √2 равен какому-то отношению двух целых чисел a и b, то есть √2 = a/b. Если у a и b есть общие делители, как, например, у 9 и 6 есть общий делитель 3, можно упростить эту дробь, разделив числитель и знаменатель на эти делители, пока мы не получим два числа p и q, у которых общих делителей уже нет. (В примере с 9 и 6 это превратит 9/6 в 3/2). Очевидно, что не может быть такого, чтобы и p, и q были четными (иначе у них был бы общий делитель 2). Следовательно, наше предположение состоит в том, что p/q = √2, причем p и q – числа, у которых нет общих делителей. Теперь возводим обе части равенства в квадрат и получаем p2/q2= 2. Далее умножаем обе части равенства на q2 и получаем p2 = 2 q2. Обратите внимание, что правая часть равенства, что совершенно очевидно, четное число, поскольку представляет собой какое-то число q2, умноженное на 2, а это всегда дает четное число. Поскольку p2 равно четному числу, p2 тоже четное число. Однако если квадрат числа – четное число, значит, и само это число тоже четное (напомню, что квадрат – это число, умноженное само на себя, а при умножении нечетного числа на себя результат будет нечетным). Таким образом, мы доказали, что число p – четное. Вспомним, что это значит, что q должно быть нечетным: ведь у p и q нет общих делителей. Однако если p четное число, значит, его можно записать в виде p = 2r, ведь у четного числа должен быть делитель 2. А следовательно, вышеуказанное уравнение p2 = 2 q2 можно записать в виде (2r)2 (мы просто заменили p на 2r), то есть поскольку (2r)2= (2r) × (2r)] 4r2 = 2 q2. Теперь разделим обе части равенства на 2 и получим 2r2 = q2. Однако из этого следует – по тем же логическим выкладкам, которые мы только что применяли, – что q2 – четное число (поскольку равно дважды повторенному другому числу), а следовательно, и q – тоже четное число. Однако отметим, что выше мы доказали, что q должно быть нечетным! Итак, мы пришли к очевидному логическому противоречию – доказали, что число должно быть и четным, и нечетным одновременно. Этот факт показывает, что наше первоначальное предположение – что существуют два целых числа p и q, отношение которых равно √2 – ложно, что и требовалось доказать. Числа вроде √2 – это новый вид чисел, иррациональные числа.

Похожим способом можно доказать, что квадратный корень любого натурального числа, не являющегося полным квадратом (вроде 9 или 16), – иррациональное число. Числа вроде √3 и √5 – иррациональные.

Невозможно переоценить значимость открытия несоизмеримости и иррациональных чисел. До этого открытия математики предполагали, что если у вас есть любые два отрезка, один из которых длиннее другого, всегда можно найти какую-то меньшую единицу, чтобы измерить длины обоих отрезков и получить целое число этих единиц. Если, скажем, один отрезок длиной 21,37 дюймов, а второй – 11,475 дюймов, можно измерить оба в единицах в одну тысячную дюйма, и тогда в первом будет 21 370, а во втором – 11 475 таких единиц. Поэтому древние ученые были убеждены, что подобную общую единицу измерения можно найти всегда, надо только набраться терпения. Открытие несоизмеримости означает, что два отрезка прямой, находящиеся между собой в отношении золотого сечения (АС и СВ на рис. 2), диагональ и сторона квадрата или диагональ и сторона правильного пятиугольника не обладают такой общей единицей измерения, и найти ее невозможно. В 1988 году в журнале «Mathematics Magazine» был опубликован стишок Стивена Кашинга, отражающий нашу естественную реакцию на иррациональные числа: