Чарльз Сейфе - Ноль - биография опасной идеи

Даже если бы ноль был числом в греческом смысле, составление пропорции с участием ноля противоречило бы законам природы. Пропорция больше не выражала бы отношение между двумя объектами. Частное от деления ноля на что угодно — на любое число — всегда равно нолю; другое число полностью поглощается нолем. А частное от деления чего угодно на ноль — числа на ноль — может разрушить логику. Ноль пробил бы дыру в аккуратном пифагорейском порядке Вселенной; по этой причине его нельзя было терпеть.

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

Понятие иррациональности таилось внутри греческой математики, как бомба с часовым механизмом. Благодаря двойственности «число-формы» греческое исчисление было равносильно измерению прямой. Таким образом, отношение двух чисел было не более чем сравнением двух отрезков разной длины. Однако для любого измерения требуется стандарт, общая мера для сравнения с величиной отрезков. Например, представьте себе отрезок прямой длиной ровно в фут. Сделайте отметку, скажем, на расстоянии пяти с половиной дюймов от одного конца, которая разделит фут на две неравные части. Греки вычислили бы пропорцию с помощью деления отрезка на маленькие кусочки, используя, например, стандартную мерку в полдюйма. Одна часть отрезка содержала бы одиннадцать таких мер, а другая — тринадцать. Отношение двух отрезков, таким образом, было бы 11:13.

Для того чтобы все вещи во Вселенной управлялись пропорциями, как надеялись пифагорейцы, любое имеющее смысл явление должно было быть связано с безупречной, точной пропорцией. Она в буквальном смысле слова должна была быть рациональной. Точнее, пропорции должны были иметь вид a / b , где a и b были бы безупречными, точными натуральными числами, такими как 1, 2 или 47. (Математики предупреждают, что b не должно быть нолем, потому что это было бы равнозначно делению на ноль, что, как мы знаем, катастрофично.)

Нет необходимости говорить: Вселенная вовсе не так упорядочена. Некоторые числа не могут быть выражены в виде простого отношения a / b . Эти иррациональные числа были неизбежным следствием греческой математики.

Квадрат — одна из простейших геометрических фигур, и пифагорейцы должным образом ценили его. (Квадрат имеет четыре стороны, что соответствует четырем элементам; он символизирует совершенство чисел.) Однако в простоте квадрата прячется иррациональность. Она появляется, если вы проведете диагональ — из одного угла в противоположный. В качестве конкретного примера представьте себе квадрат со стороной в один фут. Проведите диагональ. Одержимые рациональностью люди, такие как греки, смотрели на сторону и диагональ квадрата и спрашивали себя: каково отношение этих двух отрезков?

Первым шагом было бы создать общую мерку, может быть, маленькую линейку в полдюйма длиной. Следующим шагом было бы использование этой мерки, чтобы разделить оба отрезка на одинаковые части. Пользуясь полудюймовой меркой, мы можем разделить сторону квадрата длиной в один фут на двадцать четыре части, каждая длиной в полдюйма. Но что получится, когда мы измерим диагональ? Используя ту же мерку, мы обнаружим… что диагональ состоит из почти тридцати четырех таких частей, но совсем точно не делится. Тридцать четвертый кусочек чуть-чуть не умещается, линеечка торчит из угла квадрата. Мы можем усовершенствовать процесс, взять линеечку длиной в одну шестую дюйма и разделить отрезки на бо́льшее число частей. Тогда сторона квадрата окажется состоящей из семидесяти двух частей, но диагональ будет содержать больше сто одной, но меньше сто двух частей. Измерение снова окажется несовершенным. Что случится, если мы разобьем отрезки на действительно маленькие части — в миллионную долю дюйма каждая? На сторону квадрата придется двенадцать миллионов кусочков, но диагональ будет содержать их чуть меньше, чем 16 970 563. Снова наша линеечка не уляжется на оба отрезка в точности. Какую бы мерку мы ни выбрали, измерение так и не получится точным.

На самом деле сколь бы маленькую мерку мы ни использовали, невозможно найти такую, которая измерила бы сторону и диагональ квадрата в совершенстве: диагональ несоизмерима со стороной квадрата. Тем не менее без общей меры невозможно выразить длины двух отрезков так, чтобы они образовали пропорцию. Это значит, что для квадрата со стороной в единицу длины нельзя найти такие натуральные числа a и b, чтобы диагональ квадрата могла быть выражена как a / b . Другими словами, диагональ квадрата выражается числом иррациональным; сегодня мы понимаем, что это число — корень квадратный из двух.