A_1 = (-1.9333333333333333, 0.6)
B_1 = (10.8, 0.4)
C_1 = (3.8666666666666667, 7)
a = Line(A_1, B_1)
b = OrthogonalLine(C_1, a)
O = Intersect(a, b)
A = Point(a)
c = Circle(A, 9)
C, B = Intersect(c, b)
d = Line(A, C)
e = OrthogonalLine(O, d)
f = Line(A, B)
g = OrthogonalLine(O, f)
D = Intersect(e, d)
E = Intersect(f, g)