Круги Форда

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Круги Форда. В основании затемнённых кругов подписаны соответствующие несократимые дроби. Каждый круг касается оси абсцисс и соседних кругов. Несократимые дроби с равными знаменателями соответствуют кругам одного радиуса.

Круги Фордакруги с центрами в точках с координатами и радиусами , где  — несократимая дробь. Каждый круг Форда касается горизонтальной оси , и любые два круга либо касаются друг друга, либо не пересекаются.[1]

Круги Форда — особый случай взаимно касающихся кругов. Системы взаимно касающихся окружностей изучал Аполлоний Пергский, в честь которого названы задача Аполлония и сетка Аполлония. В XVII веке Декарт доказал теорему Декарта — соотношение между обратными радиусами взаимно касающихся окружностей[2].

Круги Форда названы в честь американского математика Лестера Форда старшего[англ.], писавшего о них в 1938 году[1].

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

Любые два различных круга Форда либо не пересекаются вовсе, либо касаются друг друга. Ни у каких двух кругов Форда не пересекаются внутренние области, несмотря на то что в каждой точке на оси абсцисс, имеющей рациональную координату, эту ось касается один круг Форда. Если , то множество кругов Форда, касающихся , можно описать любым из следующих способов:

  1. круги , где ,[1]
  2. круги , где дроби соседствуют с  в каком-либо ряде Фарея,[1] или
  3. круги , где  — ближайший меньший или ближайший больший предок в дереве Штерна — Броко, либо  — ближайший меньший или больший предок .[1]

Круги Форда также можно рассматривать как области на комплексной плоскости. Модулярная группа преобразований комплексной плоскости отображает круги Форда в другие круги Форда.[1]

Если интерпретировать верхнюю половину комплексной плоскости как модель гиперболической плоскости (модель Пуанкаре на полуплоскости), то круги Форда можно интерпретировать как замощение гиперболической плоскости орициклами. Любые два круга Форда конгруэнтны в гиперболической геометрии.[3] Если и  — касающиеся круги Форда, то полуокружность, проходящая через точки и и перпендикулярная оси абсцисс, — это гиперболическая прямая, проходящая также через точку касания двух кругов Форда.

Круги Форда составляют подмножество кругов, из которых состоит сетка Аполлония, заданная прямыми и и окружностью .[4]

Общая площадь кругов

[править | править код]

Имеется связь между общей площадью кругов Форда, функцией Эйлера , дзета-функцией Римана и постоянной Апери .[5] Поскольку никакие два круга Форда не пересекаются по внутренним точкам, то немедленно получаем, что суммарная площадь кругов

меньше 1. Эта площадь даётся сходящейся суммой, которая может быть вычислена аналитически. По определению, искомая площадь равна

Упрощая это выражение, получаем

где последнее равенство использует формулу для ряда Дирихле с коэффициентами, даваемыми функцией Эйлера. Поскольку , в итоге получаем

Примечания

[править | править код]
  1. 1 2 3 4 5 6 Форд Л. Р. Fractions (англ.) // American Mathematical Monthly. — 1938. — Vol. 45, no. 9. — P. 586–601. — doi:10.2307/2302799. JSTOR 2302799, MR: 1524411.
  2. Коксетер Г. The problem of Apollonius (англ.) // American Mathematical Monthly. — 1968. — Vol. 75. — P. 5–15. — doi:10.2307/2315097. MR: 0230204.
  3. Конвей Дж. Квадратичные формы, данные нам в ощущениях. — М.: МЦНМО, 2008. — 144 с. — 1000 экз. — ISBN 978-5-94057-268-8. Архивировано 6 августа 2021 года.
  4. Graham, Ronald L.; Lagarias, Jeffrey C.; Mallows, Colin L.; Wilks, Allan R.; Yan, Catherine H. Apollonian circle packings: number theory (англ.) // Journal of Number Theory. — 2003. — Vol. 100, no. 1. — P. 1–45. — doi:10.1016/S0022-314X(03)00015-5. — arXiv:math.NT/0009113., MR: 1971245.
  5. Marszalek W. Circuits with oscillatory hierarchical Farey sequences and fractal properties (англ.) // Circuits, Systems and Signal Processing. — 2012. — Vol. 31, no. 4. — P. 1279–1296. — doi:10.1007/s00034-012-9392-3..

Внешние ссылки

[править | править код]