A = (1, 1)
B = (8, 1)
c = Segment(A, B)
C = (3, 5)
b = Segment(A, C)
a = Segment(B, C)
h_c = LineBisector(A, B)
h_a = LineBisector(B, C)
h_b = LineBisector(A, C)
M = Intersect(h_a, h_b)
r = Segment(A, M)
k = Circle(M, r)