Математика для гуманитариев. Живые лекции

Евклид утверждал, что для любой дроби за конечное число шагов мы придем к целому числу. Попробую это пояснить «без формул». Вы берете какую-то очень большую дробь, например, 17284/3415.

Что происходит в процессе, предложенном Евклидом? Мы просто несколько раз делим с остатком, и всё. На каждом шагу мы получаем «нечто» плюс что-то меньшее, чем то, на что мы делим. Идея в том, что на каждом шагу числа будут уменьшаться. Числитель и знаменатель — целые положительные числа, и они будут уменьшаться. Но целое число, любое положительное целое число, не может бесконечно долго уменьшаться, оно в конце концов «закончится». Оно придет к нулю за конечное число шагов.

То есть любое рациональное число непременно порождает конечную цепную дробь. А теперь я возьму и покажу, что корень из двух порождает бесконечную цепную дробь.

Вот этот фокус-покус. Если «корень из двух» — рациональное число, то процедура, которую я только что проводил, должна закончиться. Берем корень из двух. Между какими целыми числами он расположен? Вспомним, что, согласно теореме Пифагора, корень из двух — это длина диагонали квадрата с единичной стороной. Поэтому он расположен между 1 и 2 (см. рис. 65).

Рис. 65. Ловись, дробная часть — большая и маленькая! Видно, что диагональ больше стороны, но меньше сумм сторон.

Значит, корень из двух = 1 + дробная часть (она примерно равна 1,4142 − 1 = 0,4142).

Что я сделал? Прибавил единицу и отнял единицу. Больше ничего не делал. То есть я выделил целую часть из «корня из двух» (дробная же часть записана в скобках; она равна примерно 0,414).

Рис. 66. Выделенный отрезок и есть «корень из двух минус один».

Для получения дробной части я взял окружность радиуса 1, провел ее до пересечения с диагональю, и всё (см. рис. 66). Эта часть, без сомнения, меньше единицы. Далее для краткости обозначим «корень из двух» через К. А выражение К − 1 обозначим за С. Значит, С < 1. Поэтому будем эту часть «переворачивать»:

Поясню, почему 1/C превратилось в К + 1.

Я возьму числитель и знаменатель и домножу на одно и то же число (это не изменит значения дроби). Я числитель и знаменатель умножу вот на такое число: К + 1. Помним, что К · К = 2.

Начинаем открывать скобки:

А теперь, по общему правилу, выделяем целую часть.

Между каким двумя целыми числами находится √2 + 1?

Слушатель: Между двойкой и тройкой.

А.С.: Конечно. Поэтому, если я по правилу Евклида выделяю из него целую часть, то она равна?

Слушатель: 2.

А.С.: Значит я должен написать так:

Не правда ли, мы уже сталкивались выше с такой дробной частью?

Слушатель: И так до бесконечности будет повторяться?

А.С.: И так до бесконечности. Значит, исходное число — не рациональное.

Мы получим бесконечную цепную дробь:

Только бесконечное число шагов приведет вас к числу, равному К[19]. Но не конечное — а значит, число К иррационально, что и требовалось доказать. Теперь вы знаете, что есть такие числа, страшные числа, которые не представляются в виде «количество яблок поделить на количество гостей».

Мы еще вернемся к цепным дробям, ибо в них прячется истинная бесконечность.

Пока что дадим стандартное книжное доказательство того, что корень из двух — число не рациональное. Проводится оно от противного.

Предположим, что

K = m/n.

Тогда, если можно, сократим эту дробь. То есть, если m делится на простое число p, и n делится на то же самое простое число p, поделим и числитель, и знаменатель на p. После того как мы сократили всё, что только можно, одно из чисел обязательно будет нечетным. Может быть, оба нечетные, но по крайней мере одно из них точно будет нечетным. Потому что если оба четные, значит, можно было еще раз сократить на 2.

Рассмотрим квадрат равенства (3):

2 = m²/n²

Получим m² = 2n².

Это значит, что если на сетке нарисован квадратик с целочисленной стороной, то в нём количество единичных квадратиков такое же, как удвоенное количество квадратиков какого-то другого квадрата с целочисленной стороной (рис. 67).

Рис. 67. Что-то не получается нарисовать два таких квадрата. И это неспроста!

Значит, если К — рациональное число, то m² = 2n² — верное равенство. Тогда m — число четное, потому что оно делится на 2. Но если m делится на 2, то это значит, что m = 2к для некоторого целого числа к. Тогда m² = 4к².

Подставим в m² = 2n² значение для m². Получим 4к² = 2n².

Сократим на 2, получится 2k² = n².

Но тогда n тоже делится на 2. А значит, мы в начале этого процесса недосократили. Но мы же договорились досократить всё, что возможно. В этом и заключается противоречие — с тем фактом, что в выражении — √2 = m/n можно добиться того, что хотя бы одно из чисел m, n будет нечетным.

То, что √2 никогда не представляется в виде m/n, на самом деле означает то же самое, что равенство m² = 2n² всегда неверно. Никогда не получится взять один квадрат с целыми сторонами, умножить его площадь на два и получить другой квадрат с целыми сторонами (удвоенной площади). Ни для каких целых чисел.