∆ABF gleichseitig

A = Intersect(xAxis, yAxis)
B = Point(xAxis)
c = Circle(A, B)
d = Circle(B, A)
C, D = Intersect(c, d)
Vieleck1, c_1, a, b = Polygon(A, B, C)
e = OrthogonalLine(C, c_1)
E_1 = Intersect(e, c_1)
T = Midpoint(C, E_1)
Thales = Circle(T, E_1)
g = Circle(E_1, B)
h = Segment(C, E_1)
M, H = Intersect(Thales, g)
i = Line(C, M)
F = Mirror(C, i)
P' = Mirror(E_1, i)
h' = Segment(F, P')
Vieleck2, c', e_1, e' = Polygon(E_1, P', F)
k = CircleArc(E_1, B, M)
P = Mirror(E_1, c')
J = Mirror(P', c')
E = Mirror(F, c')
Vieleck2', c'', e'_1, j = Polygon(P, J, E)
l = AngularBisector(P', M, F)
K = Intersect(h', e_1)
L = Intersect(l, e_1)
L' = Mirror(L, i)
Vieleck3, l_1, l', m, n, N', N = Polygon(L, L', 4.0)
f = Perimeter(Vieleck3)
o = Distance(n, l_1)
p = Perimeter(Vieleck3)
Text1: "Kante = " + m
α = Angle(M, P, F)
Text2: "α = ∡MPF= " + α