Аполлонова прокладка
Начните с четырёх взаимно касательных окружностей, причём одна из них должна окружать остальные. В каждый изогнутый треугольный промежуток можно вписать ещё одну касательную окружность, и повторение этой вставки приводит к образованию аполлониевой вставки.

Теорема Декарта о круге
Для четырёх взаимно касательных окружностей их кривизны со знаком удовлетворяют квадратичному соотношению, известному как теорема Декарта. При заданных трёх совместимых окружностях оно определяет возможные значения кривизны четвёртой окружности и позволяет осуществлять рекурсивную генерацию.
Для трёх взаимно касательных окружностей теорема Декарта связывает их кривизны: bᵢ = 1/rᵢ. Четвёртая касательная окружность удовлетворяет условию (b₁ + b₂ + b₃ + b₄)² = 2(b₁² + b₂² + b₃² + b₄²). Обычно существует два решения: маленькая окружность внутри зазора и окружность, охватывающая зазор. Повторение вычислений в каждом новом зазоре позволяет наращивать уплотнение без предварительного определения радиусов или положений.
Упаковка без заполнения
Новые окружности занимают всё более мелкие промежутки. Их объединение становится плотным вблизи остаточного множества, структура которого является фрактальной, тогда как в идеальном пределе площадь непокрытой прокладки равна нулю.
Каждый новый круг занимает часть изогнутого треугольного промежутка, но создаёт три промежутка меньшего размера. В пределе оставшееся множество имеет нулевую площадь, тогда как граница содержит бесконечное множество кругов. Конечный графический объект должен ограничиваться радиусом или размером пикселя; в противном случае круги, размер которых меньше пикселя, превращаются в шум. Заполнение площади и видимая завершённость — это разные вещи: математическая упаковка продолжается, тогда как изображение требует установки значимого предела масштабирования.
Геометрия встречается с арифметикой
При правильном выборе начальных кривизн каждая окружность в упаковке может иметь целочисленную кривизну. Эти целочисленные упаковки связывают визуальную рекурсию с диофантовыми уравнениями, действиями групп и современной теорией чисел.
Начиная с целочисленных кривизн, рекурсивная операция Декарта может продолжать генерировать целочисленные кривизны. Это создаёт неожиданную связь с диофантовыми уравнениями и действиями групп. Красочные изображения кругов не раскрывают эту арифметику автоматически; она становится очевидной, когда кривизны обозначаются метками или исследуются классы остатков. Данный пример объединяет на первый взгляд элементарную геометрию касательных с глубокой теорией чисел, лежащей в основе изображения.
Источники и дополнительная литература
В данной статье в оригинальной формулировке обобщены следующие специализированные источники. Доступ получен и редакционная проверка проведена 12 августа 2026.
- Apollonian GasketWolfram MathWorld
- Fractal Geometry: Mathematical Foundations and ApplicationsWiley


