Lösung

A = (-3.6428353494008627, 1.2747274771499488)
B = (5.133103155867413, 3.3072500314003936)
C = (1.1820312747076698, 3.269258955620012)
Vieleck1, c, a, b = Polygon(A, B, C)
d = Circle(A, 5.7)
e = Circle(B, 4.9)
C'_1 = Rotate(C, 73.0*°, A)
α = Angle(C, A, C'_1)
C' = Rotate(C, 304.0*°, B)
β = Angle(C', B, C)
f = Line(A, C'_1)
g = Line(B, C')
h = OrthogonalLine(A, f)
i = OrthogonalLine(B, g)
k = LineBisector(A, C)
E = Intersect(k, h)
j = LineBisector(C, B)
D = Intersect(j, i)
p = Circle(D, B)
q = Circle(E, A)
P, G = Intersect(p, q)
Vieleck2, a_1, c_1, f_1 = Polygon(C, P, A)
Vieleck3, b_1, c_2, f_2 = Polygon(C, P, B)
δ = Angle(C, P, A)
ε = Angle(B, P, C)
l = true