Круги Форда

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

Круги Форда. В основі темніших кругів підписано відповідні нескоротні дроби. Кожен круг дотикається до осі абсцис і сусідніх кругів. Нескоротні дроби з рівними знаменниками відповідають кругам одного радіуса.

Історія

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

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

Властивості

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

Будь-які два різних круги Форда або не перетинаються зовсім, або дотикають між собою.

Ні в яких двох кругів Форда не перетинаються внутрішні області, попри те що в кожній точці на осі абсцис, яка має раціональну координату, до цієї осі дотикається один круг Форда.

Якщо , то множину кругів Форда, що дотикаються , можна описати будь-яким з таких способів:

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

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

Якщо інтерпретувати верхню половину комплексної площини як модель гіперболічної площини (модель Пуанкаре на півплощині), то круги Форда можна інтерпретувати як замощення гіперболічної площини орициклами.

Будь-які два круги Форда конгруентні в гіперболічній геометрії.[3] Якщо і  — дотичні круги Форда, то півколо що проходить через точки і і перпендикулярне до осі абсцис — це гіперболічна пряма, що проходить також через точку дотику двох кругів Форда.

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

Загальна площа кругів

Є зв'язок між загальною площею кругів Форда, функцією Ейлера , дзета-функцією Рімана і сталою Апері .[5] Оскільки ніякі два круги Форда не перетинаються по внутрішніх точках, то негайно отримуємо, що сумарна площа кругів

менша від 1. Ця площа дається збіжною сумою, яку можна обчислити аналітично. За визначенням, шукана площа дорівнює

Спрощуючи цей вираз, отримуємо

де остання рівність використовує формулу для ряду Діріхле з коефіцієнтами, що даються функцією Ейлера. Оскільки , в результаті отримуємо

Примітки

  1. Форд Л. Р. Fractions // The American Mathematical Monthly.  1938. Vol. 45, no. 9 (26 December). P. 586–601. DOI:10.2307/2302799. JSTOR 2302799, MR1524411.
  2. Коксетер Г. The problem of Apollonius // The American Mathematical Monthly.  1968. Vol. 75 (26 December). P. 5–15. DOI:10.2307/2315097. MR0230204.
  3. Конвей Дж. Квадратичные формы, данные нам в ощущениях. — М. : МЦНМО, 2008. — 144 с. — 1000 прим. — ISBN 978-5-94057-268-8.
  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 (26 December). P. 1–45. arXiv:math.NT/0009113. DOI:10.1016/S0022-314X(03)00015-5., MR1971245.
  5. Marszalek W. Circuits with oscillatory hierarchical Farey sequences and fractal properties // Circuits, Systems and Signal Processing.  2012. Vol. 31, no. 4 (26 December). P. 1279–1296. DOI:10.1007/s00034-012-9392-3..

Див. також

Посилання

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.