A = (-4, -3)
B = (8, -4)
C = (-1, 4)
a = Segment(A, B)
b = Segment(A, C)
c = Segment(B, C)
M_1 = Midpoint(A, B)
M_2 = Midpoint(B, C)
M_3 = Midpoint(C, A)
s_1 = OrthogonalLine(M_1, a)
s_2 = OrthogonalLine(M_2, c)
s_3 = OrthogonalLine(M_3, b)
U = Intersect(s_2, s_3)
k = Circle(U, A)