α

α

α/2

F=M_k

Beweis von

Ha 2017

α = 1.7453292519943295 rad (slider from 0 to 6.283185307179586, step °)
A = Intersect(xAxis, yAxis)
B = Point(xAxis)
c = Circle(A, B)
G = Point(c)
D = Point(c)
C = Intersect(c, yAxis, 1)
C' = Rotate(C, (-α), D)
h = LineBisector(C, C')
f = Segment(C, D)
β = Angle(C', D, C)
g = Segment(C', D)
E, F = Intersect(c, h)
d = Circle(F, C)
Vieleck1, d_1, c_1, f_1 = Polygon(C, F, D)
F' = Mirror(F, h)
D' = Mirror(D, h)
i = Segment(A, C)
j = Segment(A, D)
C'_1 = Mirror(C, h)
F'_1 = Mirror(F, h)
D'_1 = Mirror(D, h)
Vieleck1', d'_1, c'_1, f'_1 = Polygon(C'_1, F'_1, D'_1)
ε = Angle(F, A, C)
Vieleck2, c_2, f_2, a = Polygon(F, A, C)
Vieleck3, c_3, c', d_2 = Polygon(C', D, C)
Vieleck4, c_4, f_3, d_3 = Polygon(F, D, C)
γ = Angle(F, D, C)
H, I = Intersect(c, d)
k = LineBisector(I, C)
J, K = Intersect(c, k)
n: 5