A = (-1, 1)
B = (1, 1)
a = Line(A, B)
C_0 = (0, 0)
b = Line(C_0, a)
C = Point(b)
poly1, c, a_1, b_1 = Polygon(A, B, C)
d = OrthogonalLine(C, c)
e = OrthogonalLine(B, b_1)
f = OrthogonalLine(A, a_1)
H = Intersect(f, e)
g = LineBisector(A, B)
h = LineBisector(C, A)
i = LineBisector(B, C)
K = Intersect(i, h)
loc1 = Locus(H, C)
u = Vector(K, A)
v = Vector(K, B)
w = Vector(K, C)
zz: u + v + w
K' = Translate(K, zz)
z = Vector(K, K')
k = Circle(K, B)