Круги Форда (Tjrin Skj;g)

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

Круги Форда — круги с центрами в точках с координатами $(p/q,1/(2q^{2}))$ и радиусами $1/(2q^{2})$, где $p/q$ — несократимая дробь. Каждый круг Форда касается горизонтальной оси $y=0$, и любые два круга либо касаются друг друга, либо не пересекаются.

История

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

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

Свойства

Круг Форда, соответствующий дроби $p/q$, обозначается как $C[p/q]$ или $C[p,q]$. Каждому рациональному числу соответствует круг Форда. Кроме того, полуплоскость $y\geqslant 1$ тоже можно считать вырожденным кругом Форда бесконечного радиуса, соответствующим паре чисел $p=1,q=0$.

Любые два различных круга Форда либо не пересекаются вовсе, либо касаются друг друга. Ни у каких двух кругов Форда не пересекаются внутренние области, несмотря на то что в каждой точке на оси абсцисс, имеющей рациональную координату, эту ось касается один круг Форда. Если $0<p/q<1$, то множество кругов Форда, касающихся $C[p/q]$, можно описать любым из следующих способов:

1. круги $C[r/s]$, где $|ps-qr|=1$,
2. круги $C[r/s]$, где дроби $r/s$ соседствуют с $p/q$ в каком-либо ряде Фарея, или
3. круги $C[r/s]$, где $r/s$ — ближайший меньший или ближайший больший предок $p/q$ в дереве Штерна — Броко, либо $p/q$ — ближайший меньший или больший предок $r/s$.

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

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

Круги Форда составляют подмножество кругов, из которых состоит сетка Аполлония, заданная прямыми $y=0$ и $y=1$ и окружностью $C[0/1]$.

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

Имеется связь между общей площадью кругов Форда, функцией Эйлера $\varphi$, дзета-функцией Римана и постоянной Апери $\zeta (3)$. Поскольку никакие два круга Форда не пересекаются по внутренним точкам, то немедленно получаем, что суммарная площадь кругов

$\left\{C[p,q]:0\leqslant {\frac {p}{q}}<1\right\}$

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

$A=\sum _{q\geqslant 1}\sum _{(p,q)=1 \atop 1\leqslant p<q}\pi \left({\frac {1}{2q^{2}}}\right)^{2}.$

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

$A={\frac {\pi }{4}}\sum _{q\geqslant 1}{\frac {1}{q^{4}}}\sum _{(p,q)=1 \atop 1\leqslant p<q}1={\frac {\pi }{4}}\sum _{q\geqslant 1}{\frac {\varphi (q)}{q^{4}}}={\frac {\pi }{4}}{\frac {\zeta (3)}{\zeta (4)}},$

где последнее равенство использует формулу для ряда Дирихле с коэффициентами, даваемыми функцией Эйлера. Поскольку $\zeta (4)=\pi ^{4}/90$, в итоге получаем

$A={\frac {45}{2}}{\frac {\zeta (3)}{\pi ^{3}}}\approx 0.872284041.$

См. также

• Поризм Штейнера
• Поризм Понселе
• Ряд Фарея
• Сетка Аполлония
• Цепь Паппа Александрийского
• Цепь Понселе

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

• Ford's Touching Circles  (англ.)
• Weisstein, Eric W. Ford Circle (англ.) на сайте Wolfram MathWorld.