A = (2.58, 5.04)
B = (0.36, -3.4)
C = (13.64, -1.66)
poly1, c, a, b = Polygon(A, B, C)
d = OrthogonalLine(A, a)
e = OrthogonalLine(B, b)
f = OrthogonalLine(C, c)
H = Intersect(e, f)
P = Intersect(a, d)
g = Circle(A, B, C)
h = LineBisector(a)
i = LineBisector(b)
j = LineBisector(c)
O = Intersect(i, h)
α = Angle(B, A, P)
β = Angle(O, A, C)
H' = Mirror(H, a)