A = (0.73817762299929, 7.835711705259726)
B = (-1.8086911396481373, 2.035699649146677)
C = (7.1160506588726795, 1.9928951321273924)
t1, c, a, b = Polygon(A, B, C)
D = Intersect(a, OrthogonalLine[A, a])
f = Segment(A, D)
P = Point(f)
E = Intersect(Line[P, B], b)
F = Intersect(Line[C, P], c)
d = Circle(A, F, E)
g = Segment(B, E)
h = Segment(C, F)
α = Angle(C, D, A)
i = Segment(D, E)
j = Segment(D, F)
k = Segment(A, E)
l = Segment(A, F)