O_1 = (-1, 2)
B = (2, 2)
C = (1, 2)
O = (3, 2)
c = Circle(O_1, B)
d = Circle(O, C)
A = Intersect(c, d, 1)
D = Intersect(c, d, 2)
a = Segment(O_1, O)
b = Segment(O, A)
e = Segment(A, O_1)
f = OrthogonalLine(O_1, a)
g = OrthogonalLine(O, a)
E = Point(f)
h = OrthogonalLine(E, f)
F = Intersect(g, h)
i = Segment(E, F)
j = Segment(O_1, E)
k = Segment(O, F)