X(1)    INCENTER

The incenter, labeled 1, is the point of intersection 
of the angle bisectors. X(1) is the center of the incircle.

Sketch contributed by Michael Stairs, January 2018.

Drag A, B, C.

1

A = (2.1607209770026006, 2.20470953400812)
B = (-0.9862271309128487, -0.15272548120165125)
C = (3.011307515698166, -0.1194126924798928)
f = Segment(B, A)
g = Segment(A, C)
h = Segment(C, B)
i = AngularBisector(B, C, A)
j = AngularBisector(C, B, A)
I = Intersect(i, j)
k = OrthogonalLine(I, h)
D = Intersect(k, h)
l = Segment(I, D)
c = Circle(I, D)
m = Ray(B, I)
n = Ray(C, I)