正九邊形的尺規作圖
Author: 9902高一忠班王昱旼

取O為圓心，  \overline{ OP } 為半徑

現在以 P為圓心, \overline{ OP } 為半徑晝弧，
交第一個圓於 D及G

連 \overline{ DG } ，交半徑 \overline{ OP }  於 M

隨即以M為圓心，半徑 \overline{ OP } 畫弧，交  \vec{ DG }  於 T

為方便看，移走一些作圖線

現以 \overline{ MG } 為底，作正三角形。
分別以M和T 為圓心, \overline{ MT } 為半徑畫弧，相交於S

為方便看，移走一些作圖線

結連 \overline{ OS } ，交圓於 F

這時，正九邊形的一條邊長就是 \overline{ GF } 的長度，用圓規依次複製

即正九邊形為ABCDEEFGHI

正九邊形的尺規作圖

O = (3.2388089853935473, 3.2266948334826204)
P = (1.7720638630160965, 2.4480523611094056)
c = Circle(O, P)
a = Line(O, P)
n = 0 (slider from 0 to 8, step 1)
d = Circle(P, O)
D = Intersect(c, d, 2.0)
G = Intersect(c, d, 1.0)
b = Line(D, G)
M = Intersect(a, b)
e = Circle(M, Segment[O, P])
T = Intersect(e, b, 2.0)
f = Circle(T, Segment[M, T])
g = Circle(M, Segment[M, T])
S = Intersect(f, g, 1.0)
h = Segment(O, S)
F = Intersect(c, h, 1.0)
i = Segment(G, F)
k = Circle(G, Segment[F, G])
p = Circle(F, Segment[F, G])
E = Intersect(c, p, 2.0)
q = Circle(E, Segment[F, E])
r = Circle(D, Segment[E, D])
H_1 = Intersect(c, r, 2.0)
s = Circle(H_1, Segment[D, H_1])
B = Intersect(c, s, 2.0)
t = Circle(B, Segment[H_1, B])
J, C = Intersect(t, c)
c_1 = Circle(J, Segment[B, J])
I = Intersect(c, c_1, 2.0)
d_1 = Circle(I, Segment[I, J])
H, A = Intersect(d_1, c)
多邊形1, a_1, b_1, j, l, m, e_1, f_1, g_1, h_1, C_3, D_3, E_3, F_2, G_2, H_3, I_2 = Polygon(A, B, 9.0)