A = (-0.3333333333333333, -1.7)
B = (8.6, -0.43333333333333335)
C = (6.133333333333333, 4.133333333333333)
P, c, a, b = Polygon(A, B, C)
d = AngularBisector(C, A, B)
e = AngularBisector(A, B, C)
In = Intersect(d, e)
f = AngularBisector(A, C, B)
g = Ray(A, In)
h = Ray(C, In)
i = Ray(B, In)
j = OrthogonalLine(In, c)
D = Intersect(c, j)
k = Circle(In, D)