A_1 = (-0.76, 4.76)
B = (-0.68, -1.84)
a = Line(A_1, B)
E = Point(a)
O = Rotate(B, 90.0*°, E)
α = Angle(B, E, O)
C = (1.16, 3.34)
c = Circle(O, C)
b = Segment(E, O)
d = Segment(O, C)
distanzaOC = Distance(O, C)
TestoOC: "\overline{" + (Name[O]) + (Name[C]) + "} \, = \, " + distanzaOC
distanzaOE = Distance(O, E)
TestoOE: "\overline{" + (Name[O]) + (Name[E]) + "} \, = \, " + distanzaOE