φ – Число Бога

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

Рис. 11

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