Teorema della farfalla.
Data una qualsiasi corda AB e il suo punto medio 
M, consideriamo due corde CD ed EF passanti 
per M, allora, dette  G e H le intersezioni di CF 
e DE con AB, la corda GH ha M per punto medio

O = (0.9, 0.78)
B_1 = (3.18, 1.78)
c = Circle(O, B_1)
A = Point(c)
B = Point(c)
f = Segment(A, B)
M = Midpoint(f)
C = Point(c)
g = Line(M, C)
E = Point(c)
h = Line(M, E)
D = Intersect(c, g, 2)
F = Intersect(c, h, 2)
i = Segment(C, D)
j = Segment(E, F)
k = Segment(C, E)
l = Segment(F, D)
G = Intersect(f, k)
H = Intersect(f, l)
distanzaGM = Distance(G, M)
Midpoint(G, M)
TestoGM: Name[G] + (Name[M]) + " = " + distanzaGM
distanzaMH = Distance(M, H)
Midpoint(M, H)
TestoMH: Name[M] + (Name[H]) + " = " + distanzaMH