Том 27. Поэзия чисел. Прекрасное и математика

Если мы будем использовать привычную систему декартовых координат для обозначения точек плоскости (читатель должен был познакомиться с декартовыми координатами в средней школе), то множество окружностей Форда будет образовано всеми окружностями с центром в точках (р/q, 1/(2q²)) и радиусом 1/(2q²).

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

Окружности Форда, соответствующие дробям на интервале от 0 до 1, знаменатель которых меньше или равен 7. Так, изображенные на иллюстрации окружности соответствуют следующим дробям: 0, 1/7, 1/6, 1/5, 1/4, 2/7, 1/3, 2/5, 3/7, 1/2, 4/7, 3/5, 2/3, 5/7, 3/4, 4/5, 5/6, 6/7, 1.

Аналогичные расчеты показывают, что окружности Форда, соответствующие дробям p/q и Р/Q, касаются, если числа р·Q и Р·q отличаются на единицу; верно и обратное.

Еще один фрагмент окружностей Форда. Изображенные на рисунке окружности соответствуют дробям между 1/2 и 1 со знаменателем, меньшим либо равным 11.

Также можно относительно просто доказать, что если окружности, соответствующие дробям p/q и Р/Q, касаются, то окружности Форда, соответствующие дробям

будут касаться окружности, соответствующей дроби p/q. Кроме того, указанные дроби описывают все окружности Форда, касающиеся окружности, которая соответствует дроби p/q.

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

Аналогично простые расчеты показывают, что окружности Форда, касающиеся данной, полностью окружают ее. Если бы мы могли изобразить на иллюстрации бесконечное множество этих окружностей, то увидели бы, что они бесконечно приближаются к дроби p/q, пока не «кусают» ее (см. рисунок выше и врезку ниже), как если бы они обладали столь же огромным аппетитом, что и донья Роса из романа Селы.

* * *

ПРОЖОРЛИВЫЕ ОКРУЖНОСТИ ФОРДА

Представленные ниже простые расчеты должны убедить читателя, что окружности Форда, касающиеся данной окружности, соответствующей дроби p/q, неограниченно приближаются к точке, соответствующей этой дроби. Рассмотрим касающиеся окружности, расположенные слева от дроби p/q. Они соответствуют дробям (Р + n·p)/(Q + n·q), где n — любое натуральное число. Теперь достаточно показать, что разность между этими дробями и p/q неограниченно уменьшается с увеличением n:

Так как окружности, соответствующие дробям p/q и P/Q, касаются, то, как мы отмечали выше, числа р·Q и Р·q будут последовательными. Как следствие, их разность будет равна 1 или -1. С учетом этого предыдущее равенство примет вид:

Так как n расположено в знаменателе, то с его увеличением разность между p/q и (Р + n·p)/(Q + n·q) будет уменьшаться и в пределе, при бесконечно большом n, будет равна нулю.

* * *

Читатель согласится с тем, что окружности Форда настолько исполнены гармонии и элегантности, насколько отсутствие этих атрибутов характерно для доньи Росы; ее вздутого, как мех с оливковым маслом, живота, который Села называет «воплощением враждебности сытого к голодному».

Мартин Марко, или рациональное приближение иррациональных чисел

Оставим ненадолго донью Росу и окружности Форда и обратимся к биографии второго нашего героя — Мартина Марко, или рационального приближения иррациональных чисел.