cercles inscrits et droites perpendiculaires
Author: M.Boerkmann

Figure complète

A = (3.7286372639722813, -0.7060654078521675)
B = (1.9686372639722811, -4.166065407852168)
C = (6.080364791277292, -3.9260078484455208)
poly1, c, a, b = Polygon(A, B, C)
M = Point(a)
d = Segment(A, M)
e = AngularBisector(B, A, M)
f = AngularBisector(A, M, B)
g = AngularBisector(M, A, C)
h = AngularBisector(C, M, A)
I = Intersect(f, e)
J = Intersect(h, g)
i = OrthogonalLine(I, d)
D = Intersect(i, d)
k = Circle(I, D)
j = OrthogonalLine(J, d)
E = Intersect(j, d)
p = Circle(J, E)
m = false