コッホ曲線

1. 線分を引く。（ステップ0、図左上）
2. 線分を3等分し、中央の線分を1辺とする正三角形を描き、下の辺を消す。（ステップ1、図右上）
3. 得られた4の線分に対して同じ操作を繰り返す。（ステップ2、図左下）
4. 得られた16の線分に対して同じ操作を繰り返す。（ステップ3、図右下）

この操作を無限に繰り返すとコッホ曲線になる。以下はステップ6まで行ったときの図形である。

コッホ雪片（コッホせっぺん、英: Koch snowflake）は、上記のコッホ曲線を3つ繋ぎ合わせ、始点と終点を一致させたものである^[5]。コッホ島などとも呼ぶ^[2]。

コッホ曲線は無限の長さを持つので、同様にコッホ雪片の周長も無限の長さを持つ。一方で、コッホ雪片の曲線で囲まれた面積は有限に留まる。最初の正三角形の面積を 1 とするとコッホ雪片の面積は 1.6 に収束する^[2]。

Summarize Timeline Top Qs Fact Check

コッホ曲線は、アフィン変換を使用することで得られ、

${\displaystyle f(x,y)={\begin{bmatrix}a&b\\c&d\end{bmatrix}}{\begin{bmatrix}x\\y\end{bmatrix}}+{\begin{bmatrix}e\\f\end{bmatrix}}}$

以下の4つの反復関数系(IFS)で表わされる^[6]。

• 1/3 でスケーリングする変換式

${\displaystyle f_{1}(x,y)={\begin{bmatrix}\ {\dfrac {1}{3}}&\ 0\ \\0&\ {\dfrac {1}{3}}\end{bmatrix}}{\begin{bmatrix}\ x\\y\end{bmatrix}}}$

• 1/3 でスケーリングし、60°回転させる変換式

${\displaystyle f_{2}(x,y)={\begin{bmatrix}\ {\dfrac {1}{6}}&\ -{\dfrac {\sqrt {3}}{6}}\ \\{\dfrac {\sqrt {3}}{6}}&\ {\dfrac {1}{6}}\end{bmatrix}}{\begin{bmatrix}\ x\\y\end{bmatrix}}+{\begin{bmatrix}\ {\dfrac {1}{3}}\\0\end{bmatrix}}}$

• 1/3 でスケーリングし、-60°回転させる変換式

${\displaystyle f_{3}(x,y)={\begin{bmatrix}\ {\dfrac {1}{6}}&\ {\dfrac {\sqrt {3}}{6}}\ \\-{\dfrac {\sqrt {3}}{6}}&\ {\dfrac {1}{6}}\end{bmatrix}}{\begin{bmatrix}\ x\\y\end{bmatrix}}+{\begin{bmatrix}\ {\dfrac {1}{2}}\\{\dfrac {\sqrt {3}}{6}}\end{bmatrix}}}$

• 1/3 でスケーリングする変換式

${\displaystyle f_{4}(x,y)={\begin{bmatrix}\ {\dfrac {1}{3}}&\ 0\ \\0&\ {\dfrac {1}{3}}\end{bmatrix}}{\begin{bmatrix}\ x\\y\end{bmatrix}}+{\begin{bmatrix}\ {\dfrac {2}{3}}\\0\end{bmatrix}}}$

反復関数 ƒ(x, y) は、ax+by+e, cx+dy+f の式で展開できるので、計算式は以下のように表される。

ƒ₁

x _{n + 1} = (1/3) x _n

y _{n + 1} = (1/3) y _n

ƒ₂

x _{n + 1} = (1/6) x _n −(√3/6) y _n + 1/3

y _{n + 1} = (√3/6) x _n + (1/6) y _n

ƒ₃

x _{n + 1} = (1/6) x _n + (√3/6) y _n + 1/2

y _{n + 1} = −(√3/6) x _n  + (1/6) y _n + (√3/6)

ƒ₄

x _{n + 1} = (1/3) x _n + 2/3

y _{n + 1} = (1/3) y _n

これらの反復関数を各種プログラム言語（C, Python, Basicなど）でプログラミングし、順次反復計算させ、コッホ曲線を描画させることが可能である^[7]。

また、下表のように各反復関数の確率因子を設定^[8]しておき、コンピューターで乱数を発生させ、確率因子pに応じた乱数範囲で用いる関数を決定し、計算を反復的に実行することでも、コッホ曲線を描画させることができる。これはランダム・アルゴリズムと呼ばれる手法である^[9][10]。

以下のように表計算ソフトの関数を利用することでも同様の計算を実行できる。

なお、B8,C8,D8のセルには以下のような複数条件判定の関数(ネスティング参照)を入力する。

• B8=IF(A8<($H$2),1,IF(A8<($H$2+$H$3),2,IF(A8<($H$2+$H$3+$H$4),3,4)))
• C8=IF(B8=1,$B$2*C7+$C$2*D7+$F$2,IF(B8=2,$B$3*C7+$C$3*D7+$F$3,IF(B8=3,$B$4*C7+$C$4*D7+$F$4,$B$5*C7+$C$5*D7+$F$5)))
• D8=IF(B8=1,$D$2*C7+$E$2*D7+$G$2,IF(B8=2,$D$3*C7+$E$3*D7+$G$3,IF(B8=3,$D$4*C7+$E$4*D7+$G$4,$D$5*C7+$E$5*D7+$G$5)))

最終8行目をオートフィルで適当な行数だけコピーし、XY散布図とするとコッホ曲線が得られる。