zum Beweis

Ha 2016

B = (0, 0)
A = Point(xAxis)
c = Circle(A, B)
Q = Point(c)
Vieleck1, a, o, q = Polygon(B, Q, A)
b = LineBisector(B, Q)
d = OrthogonalLine(Q, xAxis)
P = Intersect(b, d)
Ortslinie1 = Locus(P, Q)
e = OrthogonalLine(A, xAxis)
Q' = Mirror(Q, e)
d' = Mirror(d, e)
f = Line(B, P)
Q_b = Intersect(e, f)
C = Intersect(d', f)
g = Segment(P, Q_b)
h = Segment(Q_b, C)
i = false
k = Circle(Q_b, A)