Математика для гуманитариев. Живые лекции - Алексей Владимирович Савватеев

Эту операцию придумал Евклид. Называется она — разложение числа в «цепную дробь». Обратите внимание. На последнем шаге мы попали в целое число 2 при переворачивании дроби 1/2. На этом всё заканчивается, так как из целого числа не удастся выудить дробную часть.

Другой пример:

Опять пришли к целому числу. Ура. Закончили.

Евклид утверждал, что для любой дроби за конечное число шагов мы придем к целому числу. Попробую это пояснить «без формул». Вы берете какую-то очень большую дробь, например, 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 = m2/n2

Получим m2 = 2n2.

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

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

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

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

Сократим на 2, получится 2k2 = n2.

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

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

Попробуем копнуть этот вопрос поглубже.

А может ли быть так, что они почти будут равны, например, m2 = 2n2 ± 1?

Вдруг мы сможем взять какие-нибудь огромные числа, возвести их в квадрат, умножить одно из них на 2 и выяснить, что результаты отличаются на 1. Может ли такое быть или нет? И если может быть, то насколько часто такое бывает? И можно ли полностью описать все пары целых