Космос: Эволюция Вселенной, жизни и цивилизации

Мы воплощаем собой Космос, достигший самосознания. Мы начали пристально вглядываться в наше происхождение: звездное вещество, размышляющее о звездах; упорядоченные системы из десяти миллиардов миллиардов атомов, изучающие эволюцию атомов, прослеживающие долгий путь, который, по крайней мере здесь, привел к появлению сознания. Мы привязаны к нашему виду и к нашей планете. Мы отвечаем за Землю. Мы обязаны выжить не только ради самих себя, но также ради того древнего и огромного Космоса, который нас породил.

Приложение 1. Приведение к абсурду, или квадратный корень из двух

Найденное пифагорейцами доказательство иррациональности квадратного корня из двух опирается на аргумент, называемый rеductio ad absurdum — приведение к абсурду: мы принимаем за истину некоторое утверждение, выводим следствия из него, наталкиваемся на противоречие и тем самым устанавливаем ложность посылки. В качестве современного примера рассмотрим афоризм великого физика ХХ столетия Нильса Бора: «Противоположность любой глубокой идеи является другой глубокой идеей». Если это утверждение истинно, у него могут найтись довольно опасные следствия. Представьте, например, отрицание золотого правила[240], заповеди, запрещающей лгать, или заповеди «Не убий». Поэтому давайте разберемся, является ли сам афоризм Бора глубокой идеей. Если это так, то противоположный ему тезис: «Противоположность любой глубокой идеи не является другой глубокой идеей» — тоже должен быть истинным. Тем самым мы достигли reductio ad absurdum. Поскольку обратное утверждение ложно, данный афоризм не должен нас сковывать, ибо в соответствии с ним же самим он не является глубокой идеей[241].

Мы приведем современную версию доказательства иррациональности квадратного корня из двух, опирающуюся на reductio ad absurdum и простые алгебраические выкладки, а не чисто геометрическое доказательство, открытое пифагорейцами. Стиль доказательства и способ размышления не менее интересны, чем получаемый результат.

Рассмотрим квадрат со стороной, равной единице (одному сантиметру, одному дюйму, одному световому году — не суть важно).

Диагональ ВС делит квадрат на два прямоугольных треугольника. В таких прямоугольных треугольниках, согласно теореме Пифагора, 1² + 1² = х². Поскольку 1² +1² = 1 + 1 = 2, то х² = 2, и мы можем записать, что х = 2, то есть корню квадратному из двух. Предположим, что 2 является рациональным числом, то есть 2 = p/q, где p и q — целые числа. Они могут быть любыми, сколь угодно большими, но обязательно целыми числами. Мы, конечно, потребуем, чтобы у них не было общих делителей. Если мы, например, заявляем, что 2 = 14/10, то, безусловно, можем сократить эту дробь на множитель 2 и записать: p = 7, q = 5 вместо p = 14, q = 10. Будем далее считать, что у числителя и знаменателя сокращены все общие множители. Для выбора значений p и q y нас остается бесконечное число вариантов. Возведя в квадрат равенство 2 = p/q, получим: 2 = р²/q², или после домножения обеих частей на q²:

p² = 2q² (1)

Таким образом, р² представляет собой некоторое число, умноженное на 2. Однако квадрат любого нечетного числа является нечетным числом (1² = 1,3² = 9,5² = 25,7² = 49 и т. д.). Получается, что само число должно быть четным, то есть можно записать = 2s, где s — некоторое целое число. Подставив его в уравнение (1), находим:

p² = (2s)² = 4s² = 2q².

Деление обеих частей последнего равенства на 2 дает: g 2 = 2s 2. То есть q 2 тоже является целым числом, и, опираясь на тот же аргумент, что был использован для р, мы заключаем, что q тоже является четным. Но если числа p и q оба делятся на два, значит, они содержат несокращенный общий делитель, что противоречит нашему предположению. Reductio ad absurdum. Но в чем состояло предположение? Доказательство не может запретить нам сократить общие множители, разрешив использовать 14/10, но запретив 7/5. Поэтому ошибочным должно быть начальное предположение: p и q не могут быть целыми числами, a 2 является иррациональным числом. В действительности 2 = 1,4142135…

Насколько ошеломляющее и неожиданное заключение! Какое элегантное доказательство! Но пифагорейцы считали необходимым скрывать это великое открытие.

Приложение 2. Пять пифагоровых [242] тел