科赫曲线：用无限的长度，围出有限的雪花

1904 年，瑞典数学家赫尔格·冯·科赫（Helge von Koch）在论文里描述了一条奇特的曲线：它由一段一段的折线组成，处处弯曲、没有光滑点，却在不断"变长"的过程中被围在一小块有限的区域里。这就是科赫曲线——分形几何诞生前的第一颗种子。

科赫曲线的构造规则极其简单，只有一步：把一条直线段等分成三段，把中间那段换成去掉底边的正三角形（即两条与底边等长的边）。对换出来的每一条新线段再重复同样的操作，就得到更高一阶的曲线。

在本应用中，拖动文章顶部滑杆从第 2 阶到第 8 阶，你看到的就是这个"每次把中间 1/3 变成两段"的过程。第 0 阶是一条直线，第 1 阶就出现了第一个"山峰"，往后每一阶，山峰上长出更小的山峰，永无止境。

科赫曲线最惊人的性质藏在两个矛盾里。

其一，它是"无限长"的。每一阶，每条线段被分成 4 条更小的线段，所以总段数变为原来的 4 倍，而每条长度变为原来的 1/3——总长度乘以 4/3。经过 n 阶，长度是初始的 (4/3)ⁿ。当 n 趋向无穷，长度也趋向无穷：一条装在一个有限方格里的曲线，竟然拥有无限的长度。

其二，它"处处连续却无处可微"。曲线从不间断，但任何一点都找不到切线——因为在任意小的尺度上，总能找到一个"山峰"拐点。这与希尔伯特曲线一样，是"连续但不可导"的典范。

如果把三条科赫曲线首尾相接，构成一个等边三角形，就得到著名的"科赫雪花"（Koch Snowflake）。它同样是无限长的，但它围成的面积却是有限的：每阶在每边上多出的 3 个小三角形，面积逐级按 4/9 缩小，累加起来的面积恰好是初始三角形的 8/5 倍。一条无限长的封闭曲线，围出一块有限的雪地——这就是科赫雪花让无数人着迷的地方。

科赫曲线的"自相似"也很迷人：把任意一段放大 3 倍，它看起来和整条曲线一模一样。这种"局部就是整体的缩小版"，正是后来曼德博（Benoît Mandelbrot）在 1975 年正式命名为"分形"（fractal）的核心特征。海岸线为什么那么长？因为从地图到卫星照片，每一级尺度上都有新的曲折——科赫曲线就是这一现象的完美数学模型。

本应用的实现采用递归：函数先求出线段的三等分点，再算出中间三角形顶点的位置（沿原线段方向旋转 60 度），然后对 4 条子线段分别递归调用自身。整个算法只有十几行，却能在第 8 阶时生成 65537 个顶点——这正是递归的力量。

从一条直线出发，经过反复的"分叉"，最终得到无限长、无处可微却依旧优雅的曲线。科赫曲线提醒我们：简单的规则重复无穷次，能制造出远超直觉的复杂性。

现在，拖动文章顶部的滑杆，从第 2 阶到第 8 阶观察曲线的生长：注意每个小线段如何在 1/3 处"顶起"一个山峰，以及曲线如何变得越来越细密。