Антонио Дуран - Том 27. Поэзия чисел. Прекрасное и математика

Построение фрактала на основе трех касающихся окружностей.

Сложно представить, что неимоверно сложный ковер Аполлония образуется простым построением окружностей, касающихся друг друга. Если читатель использует воображение, то увидит, что каждая окружность на ковре Аполлония находится среди бесконечного множества касательных окружностей, за исключением внешней, которая содержит в себе все прочие окружности. Более того, на любой дуге любой окружности, сколь малой бы она ни была, находится бесконечно много касающихся ее окружностей. Стандартное обозначение размерности абсолютно неприменимо для описания ковра Аполлония: было бы излишне говорить, что эта кривая имеет размерность 2, то есть ту же размерность, что и содержащая ее плоскость. Тем не менее, учитывая сложность этой кривой, в которой произвольной дуги любой окружности касается бесконечное множество окружностей, было бы преуменьшением сказать, что ее размерность равна 1. Вычислить точную размерность Хаусдорфа для ковра Аполлония невероятно сложно. На данный момент известно лишь ее приближенное значение, равное 1,305688.

Этот ковер Аполлонияколоссальных размеров изобразил художник Джим Деневанв пустыне штата Невада.

Пример на основе треугольника

Построим другой фрактал, для которого можно точно определить размерность Хаусдорфа. Это кривая Коха, названная в честь шведского математика Нильса фон Коха, определившего ее в 1906 году. Существует несколько разновидностей этой кривой.

Мы построим кривую Коха, взяв за основу равносторонний треугольник. Для этого разделим каждую его сторону на три равные части и заменим центральный отрезок на каждой стороне двумя сторонами равностороннего треугольника, основанием которого будет этот отрезок. Получим шестиконечную звезду. Повторим построение снова, то есть разделим каждую из двенадцати сторон звезды на три равные части и заменим центральный отрезок на каждой стороне двумя сторонами равностороннего треугольника, основанием которого будет этот отрезок. Для построения кривой Коха эти действия нужно повторить бесконечное число раз.

Четыре первых этапа построения кривой Коха.

Теперь представьте, что кривая Коха — это дорога. Рассмотрим две любые точки на этой кривой (представьте, что это две деревни, расположенные у дороги). Сядем в воображаемую машину и поедем из одной деревни в другую вдоль кривой. Какое расстояние покажет счетчик пробега в конце пути? Если читатель ответит, что расстояние будет зависеть от выбранных точек кривой, то ошибется: независимо от того, какие точки мы выберем, пройденное расстояние всегда будет равно бесконечности.

Иными словами, любой участок кривой Коха имеет бесконечно большую длину — она содержит так много поворотов, что проехать по ней от начала до конца невозможно (см. врезку на следующей странице). Похожими свойствами обладает дорога, проходящая вдоль побережья Галисии в Испании. Расстояние, отделяющее устье реки Миньо и мыс Эстака де Барес, по прямой составляет чуть больше 200 километров. Но попытайтесь проделать этот путь, следуя вдоль побережья, и он покажется вам бесконечным: автомагистраль будет петлять возле каждой реки, идти в объезд всех гор, мысов и заливов. Десять километров, разделяющие устье реки и мыс, превращаются в сто и даже больше, и путь кажется бесконечным. Именно это (пусть и в несколько преувеличенном виде) произойдет, если мы попытаемся проехать вдоль кривой Коха.

* * *

ДЛИНА КРИВОЙ КОХА

Чтобы убедиться, что кривая Коха имеет бесконечную длину, выполним следующие действия. Заметим, что на каждом шаге построения кривой Коха число отрезков, составляющих ее, увеличивается в 4 раза: каждый из отрезков, построенных на предыдущем шаге, делится на три части, одна из которых заменяется двумя отрезками. Иными словами, на смену каждому отрезку приходит четыре. Так как построение начинается с равностороннего треугольника, общее число отрезков на шаге Nбудет равно 3·4 N . По той же причине длина каждого из этих отрезков (все они имеют одинаковую длину) на каждом шаге делится на 3, поэтому на шаге Nдлина каждого ее отрезка будет равна I/3 N , где I — длина стороны исходного равностороннего треугольника. Длина кривой на шаге Nбудет равна числу образующих ее отрезков, умноженному на их длину: