📚 Investigation 2 - Von Koch's Snowflake Curve | 探究二 - 冯·科赫雪花曲线
The von Koch snowflake curve, introduced by the Swedish mathematician Helge von Koch in 1904, stands as one of the earliest and most iconic examples of a fractal. It challenges our intuitive understanding of perimeter and area, demonstrating that a shape can enclose a finite region while possessing an infinitely long boundary. For IB Mathematics students, investigating this curve offers a rich exploration of infinite sequences, geometric series, limits, and the concept of fractal dimension. This investigation delves into the construction, properties, and profound mathematical insights embedded within the snowflake.
冯·科赫雪花曲线由瑞典数学家赫尔格·冯·科赫于1904年提出，是最早也是最具标志性的分形实例之一。它挑战了我们对周长与面积的直觉理解，证明了一个图形可以围成有限区域却拥有无限长的边界。对于IB数学学生而言，探究这条曲线能够深入探索无穷序列、几何级数、极限以及分形维数的概念。本项研究将深入剖析雪花曲线的构造、性质及其蕴含的深刻数学洞见。
1. Introduction and Historical Context | 引言与历史背景
At the turn of the 20th century, mathematicians sought to construct curves that defied conventional notions of differentiability. Helge von Koch's 1904 paper 'Sur une courbe continue sans tangente, obtenue par une construction géométrique élémentaire' presented a continuous curve that is nowhere differentiable. The snowflake is built by repeatedly modifying the sides of an equilateral triangle, creating a shape whose detail increases with each iteration. This investigation will formalise the iterative process and use it as a vehicle to consolidate understanding of sequences and series.
在20世纪之交，数学家们试图构造出挑战传统可微性概念的曲线。赫尔格·冯·科赫在1904年的论文中提出了一条处处连续但处处不可微的曲线。雪花曲线是通过反复修改等边三角形的边而构建的，每经过一次迭代，图形的细节就变得更加丰富。本探究将形式化这一迭代过程，并将其作为巩固序列与级数理解的工具。
2. Construction of the Koch Snowflake | 科赫雪花的构造
The construction begins with an equilateral triangle, referred to as Stage 0. Each side is then divided into three equal segments. The middle segment of each side is removed and replaced with two segments of equal length, forming the sides of an outward-pointing equilateral triangle. This results in a Star of David-like shape at Stage 1. In every subsequent iteration, the same transformation is applied to every straight line segment of the current figure. The process repeats indefinitely, and the limit curve is called the von Koch snowflake.
构造从一个等边三角形开始，称为第0阶段。接着将每条边等分为三段，去掉中间的一段，替换为两条等长的线段，构成一个朝外的小等边三角形的两边。这样便在第1阶段得到了一个类似大卫之星的形状。在之后的每次迭代中，对当前图形上的每一条直线段都施以相同的变换。这一过程无限重复，其极限曲线就是冯·科赫雪花。
3. Understanding the Iterations | 理解迭代过程
he shape consists of a finite number of straight line segments. Only as n tends to infinity do we obtain the true fractal. The iterative rule is local: every segment of length L is replaced by four segments each of length L/3. This substitution rule is the generator of the Koch curve. The first few iterations can be drawn manually or with software, but the power of the investigation lies in analysing the numerical patterns that emerge.
区分迭代图形与最终曲线至关重要。在第n次迭代时（n = 0,1,2, ...），图形由有限多条直线段组成。只有当n趋向无穷大时，我们才能得到真正的分形。迭代规则具有局部性：每条长度为L的线段被替换为四条长度为L/3的线段。这条替换规则就是科赫曲线的生成元。前几次迭代可以手绘或用软件绘制，但这项探究的核心在于分析所产生的数值规律。
4. Number of Sides and Perimeter Growth | 边数与周长增长
the length of each side at iteration n is (1/3)ⁿ. The perimeter becomes Pₙ = Nₙ × (1/3)ⁿ = 3 × (4/3)ⁿ. Because 4/3 > 1, the perimeter grows without bound as n → ∞. This is a clear example of a divergent geometric sequence.
设初始三角形的边长为1。在第0阶段，边数N₀ = 3，周长P₀ = 3。每次迭代中，每条边都被替换为4条更短的线段，因此边数乘以4：Nₙ = 3 × 4ⁿ。同时，每条新线段的长度是原来边长的三分之一，故在第n次迭代时每条边的长度为(1/3)ⁿ。周长变为Pₙ = Nₙ × (1/3)ⁿ = 3 × (4/3)ⁿ。由于4/3 > 1，当n → ∞时周长无限增长。这是一个典型的发散几何序列实例。
5. Area Calculation: Infinite Series Approach | 面积计算：无穷级数法
d by the snowflake converges. Let A₀ be the area of the initial equilateral triangle: A₀ = √3 d area is ΔA₂ = 12 × (1/81)A₀ = (4/27)A₀. In general, at iteration k (k ≥ 1), the number of new triangles added is 3 × 4ᵏ⁻¹, each area (1/9)ᵏ A₀. The total area can be expressed as A = A₀ + Σ (from k=1 to ∞) [3 × 4ᵏ⁻¹ × (1/9)ᵏ] A₀.
尽管周长发散，雪花所围的面积却是收敛的。设A₀为初始等边三角形的面积：A₀ = √3/4。在第一次迭代中，添加了3个小等边三角形，每个边长为1/3，因此每个面积为(1/9)A₀。增加的面积ΔA₁ = 3 × (1/9)A₀ = (1/3)A₀。第二次迭代中，添加了3 × 4 = 12个更小的三角形，每个边长为(1/3)² = 1/9，故面积为(1/81)A₀。增加的面积ΔA₂ = 12 × (1/81)A₀ = (4/27)A₀。一般地，在第k次迭代（k ≥ 1），新增三角形个数为3 × 4ᵏ⁻¹，每个面积为(1/9)ᵏ A₀。总面积可表示为A = A₀ + Σ (k=1 to ∞) [3 × 4ᵏ⁻¹ × (1/9)ᵏ] A₀。
6. Summing the Infinite Geometric Series | 无穷几何级数求和
Σ (4/9)ᵐ is a geometric series with first term 1 and common ratio r = 4/9, which satisfies |r| ustrates how an infinite process can lead to a finite, rational multiple of a known value.
将总面积表达式因式分解后，可以发现一个几何级数。重写求和式：A = A₀ [1 + (1/3) Σ (m=0 to ∞) (4/9)ᵐ]。无穷和Σ (4/9)ᵐ是首项为1、公比r = 4/9的几何级数，满足|r| < 1。其无穷和为1 / (1 - 4/9) = 9/5。代回可得A = A₀ [1 + (1/3) × (9/5)] = A₀ [1 + 3/5] = (8/5) A₀。因此，科赫雪花的面积恰好是原三角形面积的8/5。这个优美结果展示了无限过程如何产生一个已知值的有限有理数倍数。
7. The Paradox: Infinite Perimeter, Finite Area | 悖论：无限周长，有限面积
The coexistence of an infinite perimeter and a finite area is the central paradox of the von Koch snowflake. It shows that a continuous closed curve can have a boundary that is longer than any straight line yet enclose a region smaller than, say, the circumcircle of the original triangle. This challenges the classical Euclidean idea that perimeter and area scale in intuitive ways. The paradox is resolved by recognising that the snowflake's boundary is not a rectifiable curve: its length cannot be measured by approximating with line segments of finite total length. The infinite detail at all scales prevents finite length.
无限周长与有限面积并存是冯·科赫雪花的核心悖论。它表明一条连续封闭曲线的边界可以比任何直线段都长，却围成一个比原三角形外接圆还小的区域。这挑战了经典欧氏几何中周长与面积按直觉方式缩放的观念。解开这一悖论的关键在于，雪花的边界并非一条可求长曲线：无法用总长度有限的线段去逼近其长度。在所有尺度上存在的无穷细节阻止了长度的有限性。
8. Fractal Dimension of the Koch Curve | 科赫曲线的分形维数
To quantify the complexity of the snowflake' ed by 1/3. Thus N = 4, r = 1/3, and D = log 4 / log 3 ≈ 1.2619. This non-integer dimension indicates that the curve is more than one-dimensional but does not fully fill two-dimensional space. It offers a precise measure of roughness.
为了量化雪花边界的复杂性，我们引入分形维数的概念。对于一个由N个缩小版自身组成的自相似物体，每个缩放因子为r，其相似维数D = log N / log (1/r)。在科赫曲线中，每条线段被替换为自身的4个副本，每个缩放为1/3。因此N = 4, r = 1/3，D = log 4 / log 3 ≈ 1.2619。这个非整数维数表明该曲线比一维更复杂，但又未能填满二维空间。它提供了一种衡量粗糙度的精确方法。
9. Self-Similarity and Mathematical Beauty | 自相似性与数学之美
The Koch snowflake is a classic example of exact self-similarity: any magnified portion of the boundary looks identical to the whole curve. This scaling invariance means that the curve is a fractal. The recursive nature of its construction is easily expressed using iterative function systems or Lindenmayer systems (L-systems). The simplicity of the generating rule—replacing the middle third of a line with an equilateral peak—belies the complexity and beauty of the resulting shape. This blend of simplicity and depth makes the snowflake a favourite topic in both mathematics and art.
科赫雪花是精确自相似性的经典范例：边界上任意被放大的部分看起来都与整条曲线完全相同。这种尺度不变性意味着该曲线是一个分形。其构造的递归特性很容易用迭代函数系统或林氏系统（L-systems）来表达。生成规则的简洁性——将线段中间三分之一替换为一个等边凸起——与其最终形状的复杂性和美感形成鲜明对比。这种简约与深邃的结合使雪花成为数学与艺术共同钟爱的主题。
10. Comparison with Other Fractals and Variations | 与其他分形及变体的比较
Variants of the Koch curve include the Koch anti-flake, formed by inverting the triangular peaks inward, and the quadratic Koch curve, which uses squares instead of triangles. The von Koch snowflake can also be generalised by changing the angle of the peak or the number of divisions. Each variation yields different fractal dimensions and area-perimeter relationships, allowing for a rich comparative study. For instance, the anti-flake has an identical dimension but a different limiting area, demonstrating that shape orientation matters in the limit.
科赫曲线的变体包括将三角形凸起向内翻转形成的科赫反雪花，以及使用正方形代替三角形的二次科赫曲线。冯·科赫雪花还可以通过改变凸起角度或等分段数加以推广。每种变体都会产生不同的分形维数和面积-周长关系，为丰富的比较研究提供了素材。例如，反雪花具有完全相同的维数但不同的极限面积，证明在极限状态下图形的朝向是重要的。
11. Natural and Real-World Connections | 自然与真实世界的联系
While no natural object is a perfect Koch snowflake, many coastlines, snowflakes, and biological structures exhibit fractal-like properties. The idea that a finite area can have an infinitely long boundary is echoed in the coastline paradox, where the measured length of a coastline depends on the unit of measurement. The Koch snowflake provides a mathematical model for understanding such phenomena. It also appears in antenna design, where fractal shapes help create compact, multi-band antennas.
虽然自然界中没有哪个物体是完美的科赫雪花，但许多海岸线、雪花和生物结构都呈现出分形般的特性。有限区域可以拥有无限长边界这一思想与海岸线悖论遥相呼应，即海岸线的测量长度取决于测量单位。科赫雪花为理解这类现象提供了一个数学模型。它还被用于天线设计中，分形形状有助于制造紧凑的多频段天线。
12. Conclusion and Further Investigation Ideas | 结论与进一步探究思路
The investigation of the von Koch snowflake brings together sequences, series, limits, and fractal geometry in a single coherent narrative. By systematically analysing the number of sides, perimeter, and area through the lens of iteration, we have uncovered both divergent and convergent behaviours and derived the fractal dimension. This exploration not only reinforces fundamental IB Mathematics concepts but also opens the door to independent inquiry. Possible extensions include exploring the Cesàro curve, computing the snowflake's moments, investigating three-dimensional analogues such as the Koch surface, or studying the relationship between fractals and chaos theory. The snowflake is a perfect starting point for deeper mathematical adventures.
对冯·科赫雪花的探究将数列、级数、极限和分形几何融为一个连贯的整体。通过从迭代角度系统分析边数、周长和面积，我们揭示了发散与收敛两种行为，并推导出分形维数。这项探究不仅巩固了IB数学的核心概念，也为独立研究开启了一扇大门。可能的扩展方向包括探究切萨罗曲线、计算雪花的矩、研究科赫曲面等三维类比，或者探索分形与混沌理论之间的联系。科赫雪花是深入数学探险的绝佳起点。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图