A = Point(xAxis)
B = (3, 6)
C = (5, 3)
D = (1, 3)
a = Segment(D, B)
b = Segment(B, C)
c = Segment(C, A)
d = Segment(A, D)
e = Segment(D, C)
f = Segment(B, A)
O = Intersect(e, f)
α = Angle(D, O, A)
β = Angle(C, O, B)
distanzaBO = Distance(B, O)
TestoBO: "\overline{" + (Name[B]) + (Name[O]) + "} \, = \, " + distanzaBO
distanzaOA = Distance(O, A)
TestoOA: "\overline{" + (Name[O]) + (Name[A]) + "} \, = \, " + distanzaOA
distanzaDO = Distance(D, O)
TestoDO: "\overline{" + (Name[D]) + (Name[O]) + "} \, = \, " + distanzaDO
distanzaOC = Distance(O, C)
TestoOC: "\overline{" + (Name[O]) + (Name[C]) + "} \, = \, " + distanzaOC
distanzaDB = Distance(D, B)
TestoDB: "\overline{" + (Name[D]) + (Name[B]) + "} \, = \, " + distanzaDB
distanzaBC = Distance(B, C)
TestoBC: "\overline{" + (Name[B]) + (Name[C]) + "} \, = \, " + distanzaBC
distanzaDA = Distance(D, A)
TestoDA: "\overline{" + (Name[D]) + (Name[A]) + "} \, = \, " + distanzaDA
distanzaAC = Distance(A, C)
TestoAC: "\overline{" + (Name[A]) + (Name[C]) + "} \, = \, " + distanzaAC