📚 Investigation 3: Von Koch’s Snowflake Curve | 探究3：科赫雪花曲线
The Koch snowflake is one of the earliest and most iconic fractal curves, introduced by the Swedish mathematician Helge von Koch in 1904. It is constructed through an infinite iterative process that transforms a simple equilateral triangle into an infinitely detailed, self-similar shape. This investigation explores its sequence of sides, perimeter, area, and fractal dimension, connecting key topics such as geometric sequences, series, limits, and the surprising idea that an infinite boundary can enclose a finite region.
科赫雪花曲线是最早且最具标志性的分形曲线之一，由瑞典数学家赫尔格·冯·科赫于1904年提出。它通过无限的迭代过程，将一个简单的等边三角形变成一个无限精细、自相似的形状。本探究将分析其边数序列、周长、面积和分形维数，联系等比数列、级数、极限等核心概念，并展现无限边界却能围住有限区域这一令人称奇的思想。
1. What Is the Koch Snowflake? | 什么是科赫雪花曲线？
The Koch snowflake belongs to the family of fractal curves, objects that exhibit detailed structure at arbitrarily small scales. Starting from an equilateral triangle, each side is altered by replacing its middle third with an outward-pointing equilateral triangle. Repeating this rule indefinitely leads to a shape that is continuous everywhere but differentiable nowhere — a classic property of many fractals. The curve is often used in IB Mathematics to illustrate the application of infinite geometric series to geometry.
科赫雪花属于分形曲线家族，这些对象在任意小的尺度上都展现出精细结构。从一个等边三角形开始，每条边的中间三分之一被替换为一个向外凸起的等边三角形。无限次重复这一规则后，得到一个处处连续却无处可微的形状——这是许多分形的典型特性。在IB数学中，这条曲线常被用来展示无穷等比级数在几何中的应用。
2. Construction Process | 构造过程
The construction proceeds step by step. First, draw an equilateral triangle with side length s. This is stage 0. For stage 1, divide each side into three equal segments. The middle segment of each side is removed, and two segments of the same length are added to form an outward equilateral triangle. This operation is then applied to every new straight line segment in each subsequent stage.
构造过程是逐步进行的。首先，画一个边长为s的等边三角形，这就是第0阶段。在第1阶段，将每条边分成三等份。去掉每条边中间的一段，并添上两条等长的线段，形成一个向外凸出的小等边三角形。随后，对每一个新产生的直线段重复这一操作，得到第2阶段及以后各阶段。
3. Stages of Iteration | 迭代阶段分析
Let us define stage 0 as the original equilateral triangle. Stage 1 yields a six-pointed star-like shape with 12 sides. Stage 2 produces 48 sides, and the shape begins to resemble a snowflake with finer details. As the number of stages approaches infinity, the curve becomes the classic Koch snowflake, with an infinite number of tiny triangular bays and peninsulas along its perimeter.
我们将第0阶段定义为最初的等边三角形。第1阶段产生一个六角星形的形状，有12条边。第2阶段产生48条边，图形开始像雪花，细节更加精细。当迭代次数趋于无穷大时，曲线便成为典型的科赫雪花，其边界上有着无限多个微小的三角形凹陷与凸起。
4. Number of Sides Sequence | 边数序列
tep. The sequence is S₀ = 3, S₁ = 3 × 4 = 12, S₂ = 3 × 4² = 48, and in general at stage n:
Sₙ = 3 × 4ⁿ (n ≥ 0)
在第0阶段，图形有3条边。每次迭代中，每条边被4条更短的线段替代。因此，边数在每一步都乘以4。序列为 S₀ = 3，S₁ = 3 × 4 = 12，S₂ = 3 × 4² = 48，一般地，在第n阶段有公式（如上）。
This exponential growth is characteristic of fractals; the number of elements explodes as the detail increases. Even after only a few iterations, the side count becomes very large, which is why computer simulations often stop at a manageable number of steps.
这种指数增长是分形的特征；随着细节增加，元素数量爆发式增长。即使只经过几次迭代，边数就变得非常庞大，这也就是计算机模拟经常在可控步数处停止的原因。
5. Side Length Sequence | 边长序列
The original side length s is divided by 3 at each iteration, since the new segments are one-third of the previous length. At stage 1, each side length is s/3; at stage 2, it becomes s/9; and at stage n the length Lₙ of each small segment is:
Lₙ = s / 3ⁿ
最初边长s在每次迭代中被除以3，因为新线段的长度是之前的1/3。第1阶段每条边长为s/3，第2阶段变为s/9；到第n阶段，每一小段的长度Lₙ为（如上）。
As n increases, the individual segments shrink towards zero, but the total number of segments increases even faster. This tension between shrinking length and growing count leads to the unusual behaviour of the perimeter.
随着n增大，单个线段长度趋近于零，但线段总数的增长更快。这种长度缩小与数量增长之间的抗衡，导致了周长的反常行为。
6. Perimeter Sequence | 周长序列
ⁿ) = 3s × (4/3)ⁿ. Thus, the perimeter grows as a geometric sequence with common ratio 4/3.
Pₙ = 3s × (4/3)ⁿ
周长Pₙ就是边数与边长的乘积：Pₙ = Sₙ × Lₙ。利用上面的表达式，Pₙ = (3 × 4ⁿ) × (s / 3ⁿ) = 3s × (4/3)ⁿ。因此，周长是一个公比为4/3的等比数列。
och snowflake has an infinite boundary. No matter how large a magnifying glass you use, you will always find more rugged detail and greater measured length.
由于4/3 > 1，当n → ∞时，周长趋向无穷大。这意味着科赫雪花具有无限的边界。无论你用多大的放大镜观察，总会发现更多参差不齐的细节和更长的测量长度。
7. Area Sequence and Limit | 面积序列与极限
sed by the Koch snowflake remains finite. The initial equilateral triangle has area A₀ = (√3/4) s². At each stage, small equilateral triangles are added to every outward-facing side. At stage 1, three new triangles are added, each of side s/3. Their total added area is:
a₁ = 3 × (√3/4)(s/3)² = (√3/12) s²
与周长不同，科赫雪花内部的面积是有限的。初始等边三角形面积为A₀ = (√3/4) s²。在每一阶段，在所有朝外的边上添加小等边三角形。第1阶段添加了3个边长为s/3的新三角形，它们的总面积增量为（如上）。
e 2, there are 12 sides, and each new triangle has side s/9. The added area is a₂ = 12 × (√3/4)(s/9)² = (√3 4ⁿ⁻¹ triangles of side s/3ⁿ. Simplifying gives a geometric sequence with first term a₁ = (√3 fore, the total area after an infinite number of stages is the sum of an infinite geometric series:
A∞ = A₀ + a₁ / (1 − r) = (√3/4)s² + (√3/12)s² / (1 − 4/9) = (√3/4)s² + (√3/12)s² × (9/5) = (2√3/5) s²
在第2阶段，有12条边，每个新三角形边长为s/9，增加的面积a₂ = 12 × (√3/4)(s/9)² = (√3/27) s²。观察规律，第n阶段（n ≥ 1）增加的面积涉及3 × 4ⁿ⁻¹个边长为s/3ⁿ的三角形。化简后，增量面积构成一个等比数列，首项a₁ = (√3/12)s²，公比r = 4/9。因此，无限次迭代后的总面积是无穷等比级数的和（如上）。
Remarkably, the infinite construction leads to an area exactly 8/5 times the area of the original triangle. The snowflake is bounded by an endless coast, yet occupies a perfectly finite space.
令人惊讶的是，无限构造得到的总面积恰好是原三角形面积的8/5倍。雪花被无尽的海岸线包围，却占据着一个完全有限的空间。
8. Infinite Perimeter and Finite Area | 无限周长与有限面积
The juxtaposition of an infinite perimeter and a finite area is one of the most celebrated paradoxes in fractal geometry. No matter how close you zoom in on the boundary, you will never trace a smooth polygonal path of limited length. Yet the entire figure fits inside a circle of finite radius, and its area converges to a definite limit.
无限周长和有限面积的对立，是分形几何中最著名的悖论之一。无论你将边界放大多少倍，永远找不到一条有限长度的光滑多边形路径。然而，整个图形可以内接于一个有限半径的圆内，其面积收敛到一个确定的极限值。
This idea challenges traditional Euclidean thinking, where perimeter and area often scale together. It also provides a simple model for coastline measurement: a coastline can be thought of as a fractal, whose measured length depends on the scale of the measuring stick.
这一观念挑战了传统的欧几里得思维——在那里周长和面积通常同向变化。它还提供了一个海岸线测量的简单模型：海岸线可以被看作是一个分形，其测量长度取决于度量尺度的精细程度。
9. Self-similarity and Fractal Dimension | 自相似性与分形维数
n version (factor 1/r) make up the whole, D = log N / log r. In the Koch snowflake, each side is replaced by 4 copies scaled by 1/3, so N = 4, r = 3. Hence:
D = log₃ 4 ≈ 1.2619
科赫雪花是严格自相似的：边界上任意一小部分，若放大3倍，看起来与先前阶段的某个较大部分一模一样。这一性质允许我们赋予它一个分形（豪斯多夫）维数D。对于一条自相似曲线，若它由N个缩小为1/r的拷贝组成，则D = log N / log r。在科赫雪花中，每条边被4个缩放1/3的拷贝所替代，因此N = 4，r = 3，从而得到D ≈ 1.2619。
The fractal dimension lies between 1 and 2, indicating that the Koch snowflake is neither a simple one-dimensional line nor a two-dimensional surface. It partially fills the plane, which explains why its perimeter becomes infinite while the area remains bounded — a feature typical of fractal curves.
分形维数介于1和2之间，表明科赫雪花既不是简单的一维线条，也不是二维的面。它部分地填充了平面，这解释了为什么其周长无限而面积有限——这是分形曲线的典型特征。
10. Applications and Extensions in IB Mathematics | IB数学中的应用与扩展
Within the IB programme, the Koch snowflake frequently appears in internal assessments (IAs) and exploration tasks. Students can modify the initial shape, change the scaling factor, or add triangles on a random selection of sides to create stochastic versions. Investigating the snowflake naturally leads to explorations of infinite series, convergence tests, and the concept of limits, all of which are central to both Analysis & Approaches and Applications & Interpretation courses.
在IB课程中，科赫雪花经常出现在内部评估（IA）与探究任务中。学生可以改变初始形状、修改缩放因子，或随机选取一部分边添加三角形，从而创造出随机版本的雪花。探究雪花自然引向无穷级数、收敛性检验和极限概念，这些都是分析与方法、应用与解释课程的核心内容。
Beyond pure mathematics, the curve suggests links to nature — such as snowflakes, ferns, and blood vessel networks — and to the theory of knowledge (TOK), raising questions about whether infinity exists in the physical world or is purely a mathematical construct. Extensions to three-dimensional fractals like the Menger sponge or the Sierpinski tetrahedron further illustrate how simple iterative rules can generate immensely complex structures.
在纯数学之外，这条曲线与自然界——如雪花、蕨类植物和血管网络——以及知识论（TOK）产生联系，提出诸如“无穷是否在物理世界中存在，还是纯粹的数学构造”等问题。扩展到三维分形（如门格海绵或谢尔宾斯基四面体）进一步展示了简单迭代规则如何生成极其复杂的结构。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图