A = (3.1036973559677503, -0.8168414013039444)
B = (7.9, 0.98)
C = (5.775463992405768, 4.285794879762105)
poly1, c, a, b = Polygon(A, B, C)
d = LineBisector(a)
e = LineBisector(c)
O = Intersect(d, e)
f = Segment(O, C)
g = Segment(O, B)
h = Segment(O, A)
k = Circle(O, C)
D = Intersect(d, a)
E = Intersect(e, c)
i = Segment(C, D)
j = Segment(D, B)
l = Segment(B, E)
m = Segment(E, A)
α = Angle(C, D, O)
β = Angle(O, E, A)
n = Segment(D, B)