A = (0.2673279357871606, 7.921320739298295)
B = (-2.7075859970531115, 1.1582070502513446)
C = (7.22306195142089, 1.0725980162127757)
t1, c, a, b = Polygon(A, B, C)
f = OrthogonalLine(A, a)
g = OrthogonalLine(B, b)
h = OrthogonalLine(C, c)
D = Intersect(f, a)
E = Intersect(g, b)
F = Intersect(h, c)
H = Intersect(f, g)
i = Segment(A, D)
j = Segment(B, E)
k = Segment(F, C)
α = Angle(A, D, B)
β = Angle(C, F, A)
γ = Angle(B, E, C)
t2, f_1, a_1, e = Polygon(A, E, F)
t3, d, b_1, f_2 = Polygon(B, F, D)
t4, d_1, c_1, e_1 = Polygon(C, E, D)