Кольцевик Коха: Нескінченний Периметр, Обмежена Площа

Одна правило, застосовується назавжди

Шведський математик Гельг фон Кох представив цю криву у праці 1904 року, шукаючи безперервну криву, яка не має дотичної лінії ніде – "монстр" криву, як її використовували математики того часу для кількох патологічних прикладів, які руйнували їх інтуїцію щодо гладкості. Правило побудови майже смішно просте: візьміть будь-який прямий відрізок лінії, розділіть його на три рівні частини, видаліть середню частину та замініть її двома сторонами рівностороннього трикутника, побудованого назовні від цієї щілини. Застосовуйте той самий замінник до кожного з чотирьох отриманих сегментів, а потім до кожного сегмента нової форми, вічно. Починаючи з рівностороннього трикутника замість одного сегменту та застосовуючи правило до всіх трьох сторін одночасно, це дає шістнадцятикутний сніговик Коха.

Периметр розбігається в нескінченність

Кожне застосування правила замінює один сегмент довжиною L на чотири сегменти довжиною L/3 кожен, тому загальна довжина після цього кроку становить 4 × (L/3) = 4L/3 — множення точно на 4/3 на кожному етапі, незалежно від того, скільки сегментів існує в цей момент. Починаючи з трикутника із периметром P, після n ітерацій периметр становить P × (4/3)ⁿ, і оскільки 4/3 більше за 1, ця величина зростає без обмежень зі збільшенням n. Немає найбільшого периметра сніжинки та немає кінцевого фіксованого значення — в ідеалізованому математичному сенсі, після нескінченної кількості ітерацій межа стала нескінченно довгою, навіть якщо вона все ще поміщається в межах обмеженої області площини, яку можна намалювати навколо кінцевого кола.

// recursive construction: replace a segment (p1 → p2) with 4 shorter segments
function koch(p1, p2, depth):
  if depth == 0: return [p1, p2]
  a = p1 + (p2 - p1) / 3                       // first third-point
  b = p1 + (p2 - p1) * 2 / 3                   // second third-point
  peak = midpoint(a, b) + outwardNormal(p2 - p1) * (side / (2 * sqrt(3)))  // equilateral bump
  return koch(p1, a, depth-1) + koch(a, peak, depth-1)
       + koch(peak, b, depth-1) + koch(b, p2, depth-1)

// perimeter(n) = P0 * (4/3)^n         → diverges as n → ∞
// area(n)      = A0 * (1 + (3/5) * (1 - (4/9)^n))  → converges to A0 * 8/5

Площа зовсім інша, і цей контраст є повною метою конструкції.

Площа поводиться абсолютно не так, і цей контраст – це вся суть конструкції. Кожен новий виступ додає маленький трикутник, площа якого пропорційна квадрату відрізка, який він замінює. Оскільки кожен з наступних поколінь відрізків на 1/3 коротший за попереднє, площа кожного нового трикутника становить (1/3)² = 1/9 площі трикутника, доданого в тому ж місці на одному поколінні раніше – але виступає 4× більше сегментів під час кожного новому виступу, тому загальна додана площа на кожному кроці зменшується у порівнянні з попереднім на коефіцієнт 4/9. Геометрична прогресія з відношенням 4/9 (яке менше за 1) сходиться до кінцевої суми: починаючи з початсого рівностороннього трикутника площі A0, загальна площа сніжинки сходиться точно до 8/5 від A0 – чиста, замкнена формула, що контрастує з неконтрольованим ростом периметра.

Невеличка вимірюваність: Розмір не є цілим

Беніто Малдерброд пізніше використав криву Коха як приклад заснування під час розробки фрактальної геометрії, частково тому що її самоподібна вимірюваність не є цілим числом. Кожне повторення замінює один сегмент чотирма самоподібними копіями, кожен з яких зменшений у масштабі на коефіцієнт 1/3; загальна формула для вимірюваності самоподібності становить D = log(N)/log(1/r), де N - кількість самоподібних частин і r - коефіцієнт масштабування, що дає D = log(4)/log(3) ≈ 1.2619. Цей показник, який строго знаходиться між 1 (вимірюваністю звичайної гладкої кривої) та 2 (вимірюваністю заповненої двохвимірної області), є формальним способом відображення неформального спостереження, що крива Коха є «грубішою», ніж лінія, але ніколи не займає площі — саме цей тип середнього, нецілого рівня грубості дав назву та інтуїцію заснування галузі фрактальної геометрії.

Никуда гладкого, на любом увеличении

Изначальная мотивация Коха — кривая с отсутствием касательной в любой точке — напрямую следует из той же рекурсивной правила. Приблизьтесь к любому пункту на готовой кривой, при любом увеличении, и вы всегда найдете свежий треугольный изгиб, введенный на последующей итерации; кривая никогда не выпрямляется локально так, как это делает гладкая кривая при приближении. Формально это означает, что кривая Коха непрерывна везде, но нигде не дифференцируема — в ней нет точки, где существует хорошо определенная касательная линия, и, следовательно, хорошо определенный уклон или скорость. Это была одна из первых явных, легко визуализируемых конструкций такой кривой, опередив более абстрактные патологические примеры, которые использовали аналитики, и она остается одним из самых ясных способов увидеть, почему «непрерывность» и «гладкость» — это не одно и то же свойство.

Часті запитання

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте the simulation і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.