Kempe の角の三等分器
Author: Jun Mitani

Kempe の角の三等分器を再現してみました。
リンク構造を構成する4つの線分で作られる3つの角が常に等しい角度になります。
赤い丸をドラッグして動作させることができます。

●

●

●

A = (-1.16, -0.04)
B = Point(Circle[A, 8.0])
a = Segment(A, B)
C = Point(Circle[B, 4.0])
b = Segment(B, C)
c = Circle(C, 8.0)
d = Circle(A, 4.0)
D = Intersect(c, d, 2.0)
e = Segment(C, D)
f = Segment(D, A)
g = Circle(D, 2.0)
E = Intersect(g, e, 1.0)
h = Circle(A, 2.0)
k = Circle(E, 4.0)
F = Intersect(h, k, 1.0)
i = Segment(A, F)
j = Segment(F, E)
p = Circle(F, 1.0)
q = Circle(A, 1.0)
G = Intersect(p, j, 1.0)
r = Circle(G, 2.0)
H = Intersect(q, r, 1.0)
l = Segment(A, H)
m = Segment(H, G)
n = Ray(A, H)
s = Ray(A, F)
a_1 = Ray(A, B)
γ = Angle(s, n)
t = Ray(A, D)
α = Angle(a_1, t)
β = Angle(t, s)
I = Point(a_1)
c_1 = Circle(A, I)
J = Intersect(c_1, t, 1.0)
K = Intersect(c_1, s, 1.0)
L = Intersect(c_1, n, 1.0)
d_1 = CircleArc(A, I, J)
e_1 = CircleArc(A, J, K)
f_1 = CircleArc(A, K, L)