Costruzione approssimata di π. 
Essa è dovuta ad un gesuita, Adam Kochansky, che la scoprì nel 1685.
Tutte le circonferenze hanno raggio unitario. F è intersezione di CE con la 
retta perpendicolare ad AH per C.  FG misura 3 unità. 
Il valore approssimato di π è la misura di GH. 
Il valore di π, con la stessa approssimazione è 3,14159

B = (2.1, 3.42)
A = Intersect(xAxis, yAxis)
C = Point(xAxis)
c = Circle(A, C)
d = Circle(C, A)
D = Intersect(c, d, 1)
e = Circle(D, A)
E = Intersect(c, e, 2)
a = Segment(C, E)
b = Line(C, A)
f = OrthogonalLine(A, b)
F = Intersect(a, f)
g = Circle(F, 3)
G = Intersect(g, f, 2)
h = Segment(F, G)
H = Intersect(d, b, 2)
i = Segment(H, G)
distanzaGF = Distance(G, F)
TestoGF: "\overline{" + (Name[G]) + (Name[F]) + "} \, = \, " + distanzaGF
distanzaAC = Distance(A, C)
TestoAC: "\overline{" + (Name[A]) + (Name[C]) + "} \, = \, " + distanzaAC
distanzaDA = Distance(D, A)
TestoDA: "\overline{" + (Name[D]) + (Name[A]) + "} \, = \, " + distanzaDA

Tool: Circonferenza inscritta triangolo (command Circonferenzainscrittatriangolo)
Clicca sul triangolo
Input: A, B, C, poly1
Output: g

poly1, c, a, b = Polygon(A, B, C)
d = AngularBisector(A, B, C)
e = AngularBisector(C, A, B)
D = Intersect(d, e)
f = OrthogonalLine(D, b)
E = Intersect(b, f)
g = Circle(D, E)