A = (1.3160386027596307, 7.857113963769368)
B = (-0.9311985407528052, 0.17370315880780127)
C = (10.84004363955043, 0.21650767582708577)
t1, c, a, b = Polygon(A, B, C)
d = Circle(A, B, C)
O = Center(d)
e = Incircle(A, B, C)
J = Center(e)
f = Line(A, J)
I = Point(f)
E = Intersect(b, OrthogonalLine[I, b])
D = Intersect(c, OrthogonalLine[I, c])
g = Circle(I, Segment[I, D])
F = Point(g)
h = Segment(A, I)
i = Segment(D, E)
α = Angle(E, J, A)
j = Segment(A, D)
k = Segment(A, E)