Восемь этюдов о бесконечности. Математическое приключение | страница 56

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

И ошибочность этого убеждения открыл не кто иной, как сам Пифагор.

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

Сейчас объясню.

Начнем с квадрата, стороны которого имеют единичную длину. Обозначим длину его диагонали с:

Вот что говорит теорема, прославившая Пифагора: квадрат гипотенузы прямоугольного треугольника равен сумме квадратов двух других его сторон.

В приложении к нашему чертежу это означает, что 1² + 1² = с², а следовательно, c = √2.

Отметим, что √2 – всего лишь символ, обозначающий число, которое, будучи умножено само на себя, дает число 2. Теоретически мы могли бы нарисовать цветок и сказать, что он обозначает число, квадрат которого равен 2. Очевидно, не существует такого целого числа, квадрат которого был бы равен 2 (поскольку 1 в квадрате равно 1, 2 в квадрате равно 4, а других целых чисел между 1 и 2 нет).

Но может ли существовать некая дробь a/b, такая, что при возведении ее в квадрат получает- ся 2? Здесь я напомню вам, что числа вида a/b, где a – целое число (которое может быть и нулем), а b – натуральное (то есть положительное целое) число, называются рациональными числами. Пифагор, несомненно, был бы очень рад, если бы такая дробь существовала, потому что это отлично согласовывалось бы с его философским воззрением, что все на свете может быть представлено натуральными числами.

Однако Пифагора ожидали чрезвычайно неприятные новости!

Сейчас мы докажем, что √2 никак не может быть выражен дробью вида a/b, где оба числа a и b – натуральные. Другими словами, мы докажем, что √2 – число не рациональное.

Для этого мы воспользуемся методом доказательства от противного, с которым мы уже встречались в этой книге. Другими словами, сначала мы предположим, что утверждение, которое мы хотим доказать, ложно, то есть что существуют такие два числа