Fixed

y

x

A = (1.0164069836246392, 8.049734290356149)
B = (-2.1725295343120554, 1.3936318938574095)
C = (8.785426822624775, 1.4150341523670518)
t1, c, a, b = Polygon(A, B, C)
D = Midpoint(B, C)
f = Segment(A, D)
D_1 = Point(f)
d = OrthogonalLine(D_1, f)
M = Point(d)
g = Segment(M, B)
h = Segment(M, C)
E = Midpoint(M, B)
F = Midpoint(M, C)
i = OrthogonalLine(E, d)
j = OrthogonalLine(F, d)
P = Intersect(i, c)
Q = Intersect(j, b)
k = Line(P, Q)
l = Segment(P, Q)
d' = OrthogonalLine(M, Segment[P, Q])
n = Segment(E, P)
p = Segment(F, Q)
G = Intersect(d, n)
X = Intersect(d, j)
α = Angle(E, G, M)
β = Angle(M, X, F)
I = Intersect(d, f)
γ = Angle(D, I, M)
J = Intersect(d', l)
δ = Angle(Q, J, M)
H = Intersect(OrthogonalLine[B, d], d)
K = Intersect(OrthogonalLine[C, d], d)
H' = Mirror(H, c)
K' = Mirror(K, b)
q = Line(H, H')
r = Line(K, K')
F_2 = Intersect(d', q)
s = Segment(H, F_2)
t = Segment(K, F_2)
e = Segment(M, B)
f_1 = Segment(D, B)
g_1 = Segment(D, C)
m = Line(D, A)
h_1 = OrthogonalLine(D, m)