A = (-0.5, 4.58)
B = (-0.44, -2.22)
a = Line(A, B)
C = Point(a)
O = Rotate(B, 90.0*°, C)
α = Angle(B, C, O)
c = Circle(O, C)
b = Segment(O, C)
D = Point(c)
d = Segment(O, D)
distanzaB'D = Distance(O, D)
TestoB'D: "\overline{" + (Name[O]) + (Name[D]) + "} \, = \, " + distanzaB'D
distanzaB'C = Distance(O, C)
TestoB'C: "\overline{" + (Name[O]) + (Name[C]) + "} \, = \, " + distanzaB'C