A = (-6.7, 3.6999999999999997)
B = (2.1666666666666665, 4.066666666666666)
C = (-4, 8.433333333333334)
P, c, a, b = Polygon(A, B, C)
w_α = AngularBisector(B, A, C)
w_β = AngularBisector(A, B, C)
w_γ = AngularBisector(A, C, B)
F = (8.433333333333334, 2.4)
I = Intersect(w_γ, w_β)
d = OrthogonalLine(I, b)
e = OrthogonalLine(I, c)
f = OrthogonalLine(I, a)
D = Intersect(e, c)
G = Intersect(d, b)
H = Intersect(f, a)
g = Segment(D, I)
h = Segment(I, G)
i = Segment(I, H)
k = Circle(I, G)