Il metodo di esaustione
per il calcolo dell'area
del cerchio
(A. Pisani)

N= numero di lati del poligono inscritto nel cerchio.

r = 1  (il raggio del cerhio è preso pari a uno)

L'area S del cerchio viene approssimata dall'area s(N) del
poligono regolare con N lati inscritto nel cerchio.

s(N)= \frac{ 1 }{2 } r^2 N \cdot  \sin \left(  \frac{ 2 \pi }{N }  \right)

N = 61 (slider from 3 to 61, step 1)
L1 = Sequence(((2 * 3.141592653589793) * (i - 1) / (N - 1)), i, 1, N)
L2 = Sequence((cos(Element[L1, i]), sin(Element[L1, i])), i, 1, N)
L3 = Sequence(Segment[Element[L2, i], Element[L2, i + 1]], i, 1, N - 1)
A = Intersect(xAxis, yAxis)
B = Point(yAxis)
c = Circle(A, B)
sN: ((0.5 * N) * sin((2 * 3.141592653589793 / N)))
T1: "s(N) / π=" + (sN / 3.141592653589793)
poli1 = Polygon(L2)