Найти тему
Математика не для всех

Удивительные круги Форда в математике. Чем они так примечательны?

Приветствую Вас, уважаемые Читатели! Сегодня хочу рассказать Вам про замечательную геометрическую конструкцию, названную кругами Форда в честь американского математика Лестера Форда старшего.

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

Неудивительно, что в один прекрасный момент математик решил пойти по пути Аполлония Пергского и поиграться с взаимно касающимися друг друга окружностями.

Классическая задача для построения - начертить с помощью циркуля и линейки окружность, касающуюся трёх данных окружностей. По легенде была предложена Аполлонием примерно в 220 г. до н. э. в книге «Касания»
Классическая задача для построения - начертить с помощью циркуля и линейки окружность, касающуюся трёх данных окружностей. По легенде была предложена Аполлонием примерно в 220 г. до н. э. в книге «Касания»

Форда заинтересовали особые окружности - те, у которых радиусы и центры на плоскости выражаются через определенного вида дроби:

-3

Расшифровываю:

  • p,q - целые неотрицательные числа, p меньше q.
  • центры окружности O имеют соответствующие координаты;
  • наибольший общий делитель p и q равен 1 - это значит, что дробь не сократима.

Что же получится, если рассмотреть все такие возможные дроби?

Оказывается, что каждой дроби соответствует т.н. "окружность Форда":

-4

На рисунке выше показаны первые шаги построения этих окружностей:

  • окружности слева соответствуют значения p = 0, q=1;
  • окружности справа p=1, q=1 - единственный случай, когда p=q;
  • окружности по центру - значения p=1, q=2...

Продолжая данное построение мы будем получать некое "замощение" плоскости такими окружностями.

Например, на 5 шаге это будет выглядеть следующим образом:

-5

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

-6

О них я уже достаточно подробно рассказывал в своём недавнем материале.

Источник: https://upload.wikimedia.org/wikipedia/commons/thumb/7/77/Ford_circles_colour.svg/1280px-Ford_circles_colour.svg.png
Источник: https://upload.wikimedia.org/wikipedia/commons/thumb/7/77/Ford_circles_colour.svg/1280px-Ford_circles_colour.svg.png

Два разных круга Форда либо не пересекаются, либо касаются друг друга. Из рисунка видно, что площадь всех кругов Форда явно меньше единицы и, что замечательно, поддается вычислению аналитически: она равна примерно 0,872.

Источник: https://upload.wikimedia.org/wikipedia/commons/3/34/Ford-Kugeln.png
Источник: https://upload.wikimedia.org/wikipedia/commons/3/34/Ford-Kugeln.png

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

  • Ставьте "Нравится" и подписывайтесь на канал прямой сейчас. На канале есть статьи на любой вкус!
  • TELEGRAM и Facebook - там я публикую не только интересные статьи, но и математический юмор и многое другое.