A = (-0.4175443365213913, 8.477779460548994)
B = (-2.6005747045049, 1.9928951321273924)
C = (7.779520672671588, 1.9928951321273924)
t1, c, a, b = Polygon(A, B, C)
f = OrthogonalLine(A, a)
g = OrthogonalLine(B, b)
M = Intersect(f, a)
N = Intersect(g, b)
h = Segment(A, M)
i = Segment(B, N)
d = Circle(A, B, C)
D = Point(d)
Q = Intersect(Line[D, A], Line[B, N])
P = Intersect(Line[M, A], Line[B, D])
I = Midpoint(P, Q)
j = Segment(M, N)
k = Segment(B, D)
l = Segment(P, M)
m = Segment(A, D)
n = Segment(P, Q)
α = Angle(A, M, B)
β = Angle(A, N, B)
H = Intersect(h, i)