A = (-0.64, 1.54)
B = (6.7, 1.58)
poli1, a, a_1, b, C = Polygon(A, B, 3.0)
distanzaBA = Distance(B, A)
TestoBA: "\overline{" + (Name[B]) + (Name[A]) + "} \, = \, " + distanzaBA
distanzaAC = Distance(A, C)
TestoAC: "\overline{" + (Name[A]) + (Name[C]) + "} \, = \, " + distanzaAC
distanzaCB = Distance(C, B)
TestoCB: "\overline{" + (Name[C]) + (Name[B]) + "} \, = \, " + distanzaCB
c = AngularBisector(A, C, B)
d = AngularBisector(B, A, C)
e = AngularBisector(C, B, A)
D = Intersect(d, a_1)
E = Intersect(c, a)
f = Line(C, E)
G = Intersect(e, b)
g = Line(G, B)
h = Line(D, A)
i = Line(C, E)
j = Line(G, B)
k = Line(D, A)
l = Line(C, E)
m = Line(D, A)
n = Line(G, B)
F = Intersect(c, d)
p = Circle(A, B, C)
q = Circle(G, D, E)