Visualizza wikitesto di Definizione rigorosa del Pi greco in geometria euclidea

{{Torna a|Pi greco}}

Nella [[geometria euclidea]] la costante [[pi greco]]  (<math>\pi</math>) è definita come il rapporto fra la misura della lunghezza della circonferenza e la misura della lunghezza del diametro di uno stesso [[cerchio]]. Affinché questa definizione sia univoca, è necessario dimostrare che è indipendente dal cerchio scelto.
Da alcuni teoremi classici di [[Euclide]] e [[Archimede]] segue che, in terminologia moderna, pi greco è una costante, e inoltre che pi greco è uguale al rapporto fra l'area di un cerchio e il quadrato del suo raggio.<ref>[http://books.google.it/books?id=qZcCSskdtwcC&printsec=frontcover&dq=Pierre+Eymard,+Jean+Pierre+Lafon,+The+Number+Pi&hl=it&ei=iPWdTeasNMOk8QOcu-nIBA&sa=X&oi=book_result&ct=result&resnum=1&ved=0CC4Q6AEwAA#v=onepage&q&f=false] ''Nel suo lavoro "La misura del cerchio" [Archimede] ha dimostrato che esiste un'unica costante <math>\pi</math> tale che l'area A e la circonferenza C di un cerchio di raggio arbitrario R sono date da A=<math>\pi R^2</math> e L=2<math>\pi</math>R'', Pierre Eymard, Jean Pierre Lafon, The Number Pi, p. 1, da Google libri</ref>

In questa voce verrà esposto in dettaglio il ragionamento che permette di definire il pi greco e di dimostrarne l'unicità; prima si descriverà una procedura che si limita a far uso degli [[assiomi]] e delle conoscenze geometriche a disposizione di [[Euclide]] e [[Archimede]] poi, in un secondo momento, si mostrerà una derivazione più rigorosa basata sul moderno ([[1872]]) [[assioma di Dedekind]]. Per la comprensione di questa voce sono comunque necessarie alcune conoscenze pregresse di geometria euclidea come, ad esempio, il [[teorema di Pitagora]], il [[teorema di Talete]] e i criteri di [[Similitudine (geometria)#Triangoli simili|similitudine tra triangoli]].

==Dimostrazione di Euclide-Archimede==
===Assiomi e teoremi necessari===
Questa dimostrazione è basata sugli assiomi e sulle proposizioni contenuti negli ''[[Elementi (Euclide)|Elementi]]'' di [[Euclide]], nel primo libro [[Della sfera e del cilindro|''Sulla Sfera ed il Cilindro'']] e nel libro ''[[La misura del cerchio|Sulla Misura del Cerchio]]'' di [[Archimede]]. Punto di partenza fondamentale per le dimostrazioni che verranno esposte è l'assioma di [[Eudosso di Cnido|Eudosso]], corrispondente alla ''Definizione 4'' del ''V libro'' degli ''Elementi''.
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
'''Assioma di Eudosso''': Si dice che hanno rapporto due grandezze le quali possono, se moltiplicate, superarsi reciprocamente.
</div>
L'assioma ci dice quindi che date due grandezze <math>a</math> e <math>b</math> tali che <math>0 < a < b</math>, è possibile trovare un <math>n</math> tale che <math>na > b </math>.

L'assioma di Eudosso permette allora di dimostrare l'importantissimo teorema detto anche ''metodo di esaustione'', corrispondente alla ''Proposizione 1'' del ''X libro'' degli ''Elementi'':
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
[[File:Esaustione.JPG|right|150px|border]]
'''Teorema 1 (metodo di esaustione)''': Date due grandezze, se dalla maggiore viene sottratta una grandezza maggiore della metà e da quello che resta una grandezza maggiore della sua metà, e ripetendo continuamente questo procedimento, allora resterà una grandezza più piccola della minore data.
{{clear}}
</div>
Ad esempio, con riferimento alla figura, date le grandezze <math>AB > C</math>, allora sottraendo da <math>AB</math> prima la grandezza <math>HB > \frac{AB}{2} </math> e poi la grandezza <math>KH > \frac{AH}{2} </math>, alla fine resta <math> AK < C </math>.

{{Approfondimento
|larghezza = 100%
|titolo = Dimostrazione Teorema 1
|contenuto = Sia <math>AB > C</math>. Allora, per l'assioma di Eudosso, qualche multiplo <math>DE</math> di <math>C</math> è maggiore di <math>AB</math>. Si divida <math>DE</math> in parti uguali <math>DF, FG, GE, \ldots = C</math>. Da <math> AB </math> si sottragga <math>BH > \frac{AB}{2}</math> e da <math>AH</math> si sottragga <math>HK > \frac{AH}{2}</math> e si ripeta questo procedimento fino a che le sezioni di <math>AB</math> siano uguali in numero a quelle di <math>DE</math>. Ora, poiché <math>DE > AB </math> da <math>DE</math> viene sottratto <math> EG<\frac{DE}{2}</math> e da <math>AB</math> viene sottratto <math> BH > \frac{AB}{2} </math>, allora <math>GD > HA </math>. Da questo segue che, sottraendo da <math>GD</math> la metà <math>GF</math> e da <math>HA </math> la grandezza <math>HK > \frac{AH}{2}</math>, si ottiene <math>DF > AK </math>. Ma <math> DF = C </math>, quindi <math> C > AK </math>. Della grandezza maggiore data <math>AB </math> resta quindi <math> AK </math> più piccolo della grandezza minore <math> C </math> data.}}

A questo punto Euclide può utilizzare il [[metodo di esaustione]] per dimostrare una fondamentale proposizione (''Proposizione 2'' del ''XII libro'' degli ''Elementi'') sulle aree dei cerchi, ma per questo è prima necessario dimostrare un'altra proposizione (''Proposizione 1'' del ''XII libro'' degli ''Elementi'') sulle aree dei poligoni iscritti all'interno di una circonferenza; la ''Proposizione 2'' fa infatti uso fondamentale della ''Proposizione 1'', corrispondente al seguente
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
[[File:Euclide Elementi XII 1.JPG|right|350px|border]]
'''Teorema 2 (Elementi, XII, 1)''': Le aree di due [[Similitudine (geometria)#Poligoni simili|poligoni simili]] iscritti in due distinte circonferenze stanno tra loro come i quadrati dei rispettivi raggi.
{{clear}}
</div>
Ovvero con riferimento alla figura, dove <math>BM = 2 R_1</math> e <math>GN = 2 R_2</math> sono i diametri delle due circonferenze e <math>A_1</math> e <math>A_2</math> sono rispettivamente le aree dei poligoni simili <math>ABCDE</math> e <math>FGHKL</math>, si ha <math>\frac{A_1}{A_2} = \frac{R_1^2}{R_2^2} </math>.

{{Approfondimento
|larghezza = 100%
|titolo = Dimostrazione Teorema 2
|contenuto = Siano <math>BM</math> e <math>GN</math> due diametri delle rispettive circonferenze. Dato che <math>ABCDE</math> è simile ad <math>FGHKL</math>, allora l'angolo <math>B \hat A E </math> è uguale a <math> G \hat F L</math> e <math>\frac{BA}{AE} = \frac{GF}{FL}.</math> Allora <math>BAE</math> e <math>GFL</math> sono due triangoli che hanno un angolo uguale e proporzionali i lati ad esso relativi. Allora i due triangoli sono simili, quindi tutti i loro angoli sono uguali, perciò <math>A \hat E B = F \hat L G</math>. Ma <math>A \hat E B = A \hat M B</math> perché hanno lo stesso arco di circonferenza come base<ref>Euclide, ''Elementi'', libro III, proposizione 27</ref>. Analogamente <math>F \hat L G = F \hat N G.</math> Quindi <math>A \hat M B = F \hat N G.</math> Gli angoli <math>B \hat A M</math> e <math>G \hat F N</math> sono retti, perché un angolo al centro e uno alla circonferenza, che hanno lo stesso arco di circonferenza come base, sono uno il doppio dell'altro<ref>Euclide, ''Elementi'', libro III, proposizione 20</ref>. Allora i triangoli <math>ABM</math> e <math>FGN</math> hanno tutti gli angoli uguali, quindi sono simili. Questo significa che <math>\frac{R_1}{R_2}=\frac{BM}{GN}=\frac{BA}{GF}.</math> Ma per l'ipotesi di similitudine tra i due poligoni <math>\frac{BA}{AE} = \frac{GF}{FL} \Rightarrow \frac{R_1}{R_2} = \frac{BA}{GF} = \frac{AE}{FL}.</math> Ripetendo questo ragionamento per tutti i lati si ottiene <math>\frac{R_1}{R_2} = \frac{BA}{GF} = \frac{AE}{FL} = \frac{ED}{LK}=\ldots.</math> Quindi lati corrispondenti dei due poligoni stanno tra loro come i raggi delle rispettive circonferenze. Da questo si deduce immediatamente che anche per i perimetri <math>P_1</math> e <math>P_2</math> risulta <math>\frac{P_1}{P_2} = \frac{R_1}{R_2}.</math> Tracciando ora le altezze <math>OP</math> e <math>O'Q</math> dei triangoli <math>ABO</math> e <math>FGO'</math>, si ottengono gli angoli <math>O\hat B P = O \hat B A = O'GF = O'GQ </math> e <math>B \hat P O = G \hat Q O'</math> (retti per costruzione), e di conseguenza <math>P \hat O B = Q \hat O' G.</math> Quindi anche <math>BPO</math> e <math>GQO'</math> sono triangoli simili, e perciò <math>\frac{OP}{O'Q} = \frac{R_1}{R_2}.</math> Allora le aree dei due triangoli <math>ABO</math> e <math>FGO'</math> stanno tra loro come <math>\frac{R_1^2}{R_2^2}</math>. Ripetendo il ragionamento per tutti gli altri lati e sommando si ottiene immediatamente per le aree <math>A_1</math> e <math>A_2</math> dei due poligoni <math>\frac{A_1}{A_2}=\frac{R_1^2}{R_2^2}</math>}}

Il Teorema 1 è fondamentale per poter dimostrare il seguente:
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
[[File:Euclide Elementi XII 2.JPG|right|400px|border]]
'''Teorema 3 (Elementi, XII, 2)''': Le aree di due cerchi stanno tra loro come i quadrati dei rispettivi raggi.
{{clear}}
</div>

Siano <math>A_1</math> e <math>A_2</math> le aree dei cerchi <math>ABCD</math> e <math>EFGH</math>, <math>BD</math> e <math>FH</math> i loro diametri ed <math>R_1</math>, <math>R_2</math> i loro raggi. Allora si vuole provare che <math>\frac{A_1}{A_2} = \frac{R_1^2}{R_2^2} = \frac{BD^2}{FH^2}</math>. Supponiamo allora che i quadrati di <math>BD</math> ed <math>FH</math> non stiano tra loro come <math>A_1</math> e <math>A_2</math>, allora <math>\frac{BD^2}{FH^2} = \frac{A_1}{S}</math> dove <math>S</math> è una qualche area che potrebbe essere maggiore oppure minore di <math>A_2</math>. Trattiamo separatamente questi due casi.

Sia prima <math>S<A_2</math>. Si iscriva il quadrato <math>EFGH</math> nel cerchio <math>EFGH</math>. Si può dimostrare che l'area di questo quadrato è maggiore di <math>\frac{A_2}{2}</math>. Infatti, se per i punti <math>E, F, G, H</math> tracciamo le tangenti al cerchio, allora si vede immediatamente che il quadrato <math>EFGH</math> ha area pari alla metà di quella del quadrato circoscritto al cerchio, e il cerchio ha un'area minore del quadrato circoscritto, quindi l'area del quadrato <math>EFGH</math> iscritto è maggiore di <math>\frac{A_2}{2}</math>.

Si bisechino ora gli archi di circonferenza <math> \stackrel{\frown}{EF}, \ \stackrel{\frown}{FG}, \ \stackrel{\frown}{GH}, \ \stackrel{\frown}{HE}</math>, ottenendo i punti <math>K, \ L, \ M, \ N</math>. Si congiungano <math>EK, \ KF, \ FL, \ LG, \ GM</math>. Si può dimostrare che l'area del triangolo <math>EKF</math> è maggiore della metà dell'area del corrispondente segmento circolare. Infatti tracciando la tangente al cerchio in <math>K</math> e costruendo il rettangolo sul lato <math>EF</math> si vede immediatamente che l'area del triangolo <math>EKF</math> è la metà dell'area del rettangolo costruito; ma questo rettangolo ha area maggiore del corrispondente segmento circolare, quindi l'area del triangolo è maggiore della metà dell'area del segmento circolare.

Bisecando poi gli archi <math>\stackrel{\frown}{EF}, \ \stackrel{\frown}{KF}, \ldots. </math> si può continuare iterativamente questo processo in cui, ad ogni iterazione, da ogni segmento circolare si sottrae un triangolo che ha area maggiore della metà dell'area del segmento circolare stesso. Definendo con <math>\varepsilon_n</math> l'area totale di tutti i segmenti circolari costruiti alla n-esima iterazione, allora per il Teorema 2 (cioè il metodo di esaustione) esisterà <math>\bar n</math> tale che <math>\varepsilon_{\bar n} < A_2 -S</math>. Supponiamo che <math>EKFLGMHN</math> sia il poligono ottenuto alla <math>\bar n</math>-esima iterazione; si costruisca allora nel cerchio <math>ABCD</math> il poligono simile <math>AOBPCQDR</math>. Allora per il Teorema 2: <math>\frac{area \left(AOBPCQDR\right)}{area \left(EKFLGMHN\right)}=\frac{R_1^2}{R_2^2}=\frac{A_1}{S}</math>. Ma <math>area \left(AOBPCQDR\right) < A_1 </math>, quindi dovrebbe essere <math>area \left(EKFLGMHN\right) < S</math>, però per costruzione risulta <math>area \left(EKFLGMHN\right) > S </math>. Quindi <math> S < A_2 </math> non può essere vera. Analogamente si dimostra che, se <math>\frac{FH^2}{BD^2}=\frac{R_2^2}{R_1^2}=\frac{A_2}{S} </math>, non può essere <math>S < A_1</math>.

Si supponga allora <math>S > A_2</math>. Dato che per ipotesi <math> \frac{R_1^2}{R_2^2} = \frac{A_1}{S} </math>, esisterà una certa area <math>T</math> tale che <math> A_1 A_2 = ST </math>, ma dato che <math> S >  A_2 </math>, allora sarà <math> T < A_1 </math>. Risulta quindi che <math> \frac{R_2^2}{R_1^2} = \frac{A_2}{T} </math> con <math> T<A_1 </math>, ma questo è stato più sopra dimostrato essere impossibile, quindi non può essere <math> S > A_2 </math>. Analogamente si dimostra che, se <math>\frac{FH^2}{BD^2}=\frac{R_2^2}{R_1^2}=\frac{A_2}{S} </math>, allora non può essere <math> S > A_1 </math>.

Quindi, mettendo tutto insieme, deve necessariamente valere <math>\frac{R_1^2}{R_2^2}=\frac{A_1}{A_2} </math>, ovvero le aree di due cerchi stanno tra loro come i quadrati dei rispettivi raggi; il Teorema 3 è quindi dimostrato.

Per poter ora passare al calcolo della circonferenza è necessario prima premettere una definizione e due assiomi che Archimede enuncia nel primo libro ''Sulla Sfera ed il Cilindro''. A rigore, gli assiomi di Archimede non sono una definizione della lunghezza di una curva, ma piuttosto soltanto l'enunciazione di alcune proprietà che lasciano di fatto all'intuizione la definizione vera e propria di lunghezza. Più avanti queste nozioni verranno ridefinite utilizzando l'assioma di Dedekind.

<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
[[File:Archimede - Sulla Sfera ed il Cilindro I - Definizione 2.JPG|right|450px|border]]
'''Definizione (Sulla Sfera ed il Cilindro I, definizione 2)''': si applica la definizione di '''concava dalla stessa parte''' ad una linea tale che, se vengono presi due punti qualsiasi su di essa, o i segmenti che collegano questi punti giacciono su un solo lato della linea data, oppure alcuni giacciono su un solo lato mentre altri giacciono sulla linea data stessa, ma nessun segmento giace sull'altro lato.
{{clear}}
</div>

In figura sono riportate tre curve. Le prime due soddisfano la definizione, infatti tutti i segmenti che collegano due punti qualsiasi giacciono interamente da una stessa parte della curva, quindi tali curve sono concave dalla stessa parte. Nella terza curva invece alcuni segmenti che collegano due punti qualsiasi non giacciono interamente dallo stesso lato della curva, che quindi non è concava dalla stessa parte.

Archimede enuncia poi due assiomi sulla lunghezza delle curve.

<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
'''Assioma 1 di Archimede sulla lunghezza delle curve''': Di tutte le linee che hanno gli stessi estremi, la linea retta è la più breve.
</div>
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
[[File:Archimede - Sulla Sfera ed il Cilindro I - Assioma 2.JPG|right|600px|border]]
'''Assioma 2 di Archimede sulla lunghezza delle curve''': Delle altre linee in un piano e che hanno gli stessi estremi, siano due linee differenti entrambe concave dalla stessa parte, delle quali una sia interamente contenuta tra l'altra linea e la linea retta con le stesse estremità, oppure sia parzialmente contenuta da e parzialmente coincidente con l'altra linea; la linea contenuta ha lunghezza L minore dell'altra.
{{clear}}
</div>

In figura sono mostrati alcuni esempi di curve che soddisfano le condizioni degli assiomi di Archimede per la lunghezza <math>L</math>. In tutti i casi risulta <math>L \left(\Gamma\right) > L \left(\gamma\right) > L \left(r\right)</math>.

Dall'assioma 1 di Archimede sulla lunghezza delle curve segue immediatamente il seguente:
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
'''Teorema 4''': Il perimetro di un poligono iscritto in una circonferenza è minore della lunghezza della circonferenza.
</div>
Infatti ogni lato del poligono è, per l'assioma 1, minore della parte di circonferenza tagliata da esso.

Si può poi dimostrare anche l'ulteriore
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
[[File:Archimede - Sulla Sfera ed il Cilindro I - Proposizione 1.JPG|right|190px|border]]
'''Teorema 5 (Sulla Sfera ed il Cilindro I, proposizione 1)''': Se un poligono è circoscritto ad una circonferenza, il perimetro del poligono è maggiore della lunghezza della circonferenza.
{{clear}}
</div>

{{Approfondimento
|larghezza = 100%
|titolo = Dimostrazione Teorema 5
|contenuto = Due qualsiasi lati adiacenti con vertice <math>A</math> sono tangenti al cerchio nei punti <math>P</math> e <math>Q</math>. Allora per l'assioma 2 di Archimede sulla lunghezza delle curve <math> PA + AQ > L\left( \stackrel{\frown}{PQ}\right).</math> Una disuguaglianza simile vale per tutti gli altri lati quindi, sommando, si ottiene che il perimetro del poligono è maggiore della circonferenza.}}

Ci sono ora tutte le premesse per dimostrare un altro fondamentale teorema, corrispondente alla ''Proposizione 1'' del libro ''Sulla Misura del Cerchio'' di Archimede:
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
[[File:Archimede - Sulla Misura del Cerchio - Proposizione 1.JPG|right|550px|border]]
'''Teorema 6 (Sulla Misura del Cerchio, proposizione 1)''': L'area <math>A_C</math> di un qualunque cerchio è equivalente a quella di un triangolo rettangolo nel quale uno dei cateti è uguale al raggio <math>R</math> del cerchio e l'altro cateto uguale alla circonferenza <math>C</math>. Ovvero <math>A_C = \frac{CR}{2}</math>
{{clear}}
</div>
Sia <math>ABCD</math> il cerchio dato e <math>K</math> il triangolo descritto nell'enunciato del Teorema 6. Allora, se l'area del cerchio non fosse equivalente a quella di <math>K</math>, dovrebbe essere minore oppure maggiore.

Supponiamo prima che sia <math>A_C > K.</math> Si iscriva nella circonferenza il quadrato <math>ABCD</math>, si bisechino gli archi <math>\stackrel{\frown}{AB}, \ \stackrel{\frown}{BC}, \ \stackrel{\frown}{CD}, \ \stackrel{\frown}{DA}, </math> poi si bisechino (se necessario) le rispettive metà, e così via fino a che i lati del poligono iscritto, i cui vertici coincidono con i punti di bisezione, determinino dei segmenti circolari la somma delle cui aree sia minore di <math>A_C-K</math>. Questo è sempre possibile grazie al Teorema 1, così come già è stato esposto nella dimostrazione del Teorema 3. L'area del poligono iscritto è quindi maggiore di quella di <math>K</math>. Sia <math>AE</math> un lato di questo poligono, e <math>ON</math> la perpendicolare ad esso dal centro <math>O</math> del cerchio. Allora <math>ON</math> è minore del raggio e pertanto minore di uno dei cateti di <math>K</math>. Anche il perimetro del poligono è minore della circonferenza, e quindi minore dell'altro cateto di <math>K</math>. Quindi l'area del poligono deve essere minore di <math>K</math>. Abbiamo così ottenuto una contraddizione (area del poligono iscritto contemporaneamente maggiore e minore di <math>K</math>), quindi l'ipotesi <math>A_C > K</math> non può essere vera.

Sia allora <math>A_C < K.</math> Si circoscriva un quadrato al cerchio e due lati adiacenti con vertice <math>T</math> siano tangenti al cerchio nei punti <math>E</math> e <math>H</math>. Si bisechi l'arco <math>\stackrel{\frown}{EH}</math> e si tracci la tengente nel punto <math>A</math> di bisezione. Sia <math>FG</math> il segmento tangente ad <math>A</math>. Allora l'angolo <math>T \hat A G</math> è retto; ne segue quindi che <math>TG>GA</math> e <math>TG>GH</math>. Ma dato che <math>TAG</math> e <math>AHG</math> sono due triangoli con la stessa altezza e basi <math>TG>GH</math>, allora l'area di <math>TAG</math> è maggiore dell'area di <math>AHG</math>. Da questo segue immediatamente che l'area del triangolo <math>FTG</math> è maggiore della metà dell'area del poligono <math>TEAH</math>.

Similmente, se l'arco <math>AH</math> viene bisecato e ne viene tracciata la tangente nel punto di bisezione, di nuovo dall'area <math>GAH</math> viene sottratta un'area maggiore della metà. Continuando questo processo quindi, per il Teorema 1, si arriva ad un poligono circoscritto tale che lo spazio compreso tra esso e la circonferenza sia minore di <math>K-A_C</math>, ovvero il poligono circoscritto ha area minore di <math>K</math>. Il poligono ha apotema pari al raggio e quindi pari ad un cateto di <math>K</math>; ma il suo perimetro è maggiore della circonferenza del cerchio, quindi maggiore dell'altro cateto di <math>K</math>. Allora l'area del poligono è maggiore di <math>K</math>. Abbiamo così ottenuto un'altra contraddizione (area del poligono circoscritto contemporaneamente maggiore e minore di <math>K</math>), quindi l'ipotesi <math>A_C < K</math> non può essere vera.

Riassumendo, non potendo essere <math>A_C < K</math> né <math>A_C > K</math>, necessariamente risulta <math>A_C = K = \frac{CR}{2}</math>.

===Definizione e unicità del Pi greco===
{{F|matematica|aprile 2011|commento=in che testo è citato questo teorema? Se possibile scoprirlo, a chi viene attribuito?}}
Tutta le teoria finora sviluppata permette di definire il pi greco e di dimostrarne l'unicità.
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
'''Definizione del Pi greco''': Dato un cerchio di circonferenza <math>C</math> e raggio <math>R</math>, si definisce <math>\pi_C = \frac{C}{2R} </math>
</div>
Per il momento si è utilizzato il pedice "C" perché, a priori, non si conosce se il valore del pi greco dipenda dal cerchio dato. Ma comunque subito enunciamo e dimostriamo il seguente:
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
'''Teorema 7 di unicità del Pi greco''': Date due qualsiasi circonferenze <math>C_1</math> e <math>C_2</math> di raggi <math>R_1</math> e <math>R_2</math>, allora risulta sempre <math>2 \pi_1 = \frac{C_1}{R_1} = \frac{C_2}{R_2} = 2 \pi_2</math>, ovvero <math>\pi_1=\pi_2=\pi</math>. Quindi il pi greco è lo stesso per tutti i cerchi.
</div>
Infatti, siano <math>A_1</math> e <math>A_2</math> le aree dei due cerchi arbitrariamente scelti, allora per il Teorema 3 risulta <math>\frac{A_1}{A_2} = \frac{R_1^2}{R_2^2}</math>, mentre per il Teorema 6 <math>A_1 = \frac{C_1 R_1}{2}, \ A_2 = \frac{C_2 R_2}{2} \Rightarrow \frac{A_1}{A_2}= \frac{C_1 R_1}{C_2 R_2}</math>. Segue allora che <math>\frac{C_1}{C_2} =\frac{R_1}{R_2} \Rightarrow \frac{C_1}{R_1} = \frac{C_2}{R_2}</math>.

==Discussione e ridefinizione moderna degli assiomi==
===L'assioma di Dedekind===
Per arrivare alla definizione di <math>\pi</math> è necessario utilizzare l'assioma di Eudosso e gli assiomi di Archimede sulla lunghezza delle curve. Quello di Eudosso non viene utilizzato da Euclide come un assioma, ma soltanto come una definizione. In realtà esso è un vero e proprio assioma che viene infatti utilizzato da [[David Hilbert|Hilbert]] nella sua [[Assiomi di Hilbert|moderna assiomatizzazione della geometria euclidea]], con il nome di Assioma di Archimede:
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
'''Assioma di Archimede-Hilbert''': Sia <math>A_1</math> un punto qualsiasi di una retta tra due punti <math>A</math> e <math>B</math> della retta stessa arbitrariamente scelti. Si prendano punti <math>A_2, A_3, A_4,\ldots</math> in modo tale che <math>A_1</math> giaccia tra <math>A</math> e <math>A_2</math>, <math>A_2</math> tra <math>A_1</math> e <math>A_3</math>, <math>A_3</math> tra <math>A_2</math> e <math>A_4</math> ecc. Inoltre siano i segmenti <math>\overline{AA_1}, \overline{A_1 A_2}, \overline{A_2 A_3},\ldots</math> uguali tra loro. Allora in questa serie di punti, esiste sempre un certo punto <math>A_n</math> tale che <math>B</math> giaccia tra <math>A</math> e <math>A_n</math>.
[[File:Assioma di Archimede-Hilbert.jpg|center|750px|border]]
</div>
L'assioma di Archimede-Hilbert è solo una formulazione diversa dell'assioma di Eudosso, infatti, dato un segmento <math>\overline{CD}</math> qualsiasi, definendo <math>\overline{CD}=\overline{AA_1}=\overline{A_1 A_2}=\overline{A_2 A_3}=\ldots{}</math>, segue immediatamente che esiste <math>A_n</math> tale che <math>\overline{A A_n} = n \cdot \overline{CD} > \overline{AB} </math>, ovvero l'assioma di Eudosso.
----
L'assioma 2 di Archimede sulla lunghezza delle curve concave dalla stessa parte è invece più problematico. In esso infatti viene definita solo una proprietà della lunghezza di una curva, ma non ne viene data una precisa definizione. Per definire la lunghezza di una curva è necessario introdurre un altro assioma fondamentale, l'[[assioma di Dedekind]]. Come si vedrà, questo assioma è di fatto implicito nella geometria euclidea e, come discuteremo, da esso si può dedurre sia l'assioma di Eudosso sia l'assioma 2 di Archimede sulle curve. Enunciamo<ref>L'assioma di Dedekind può essere enunciato in forme diverse. Qui si segue la formulazione data in Einar Hille, ''Analytic function theory'', second edition, AMS Bookstore, 1987 - pagine 6-8</ref> subito l'assioma di Dedekind, poi se ne discuteranno le conseguenze:
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
'''Assioma di Dedekind (1872)''': Sia <math>S</math> un sottoinsieme di un [[campo ordinato]] di grandezze <math>F</math>. Se <math>\exists c \in F : a \in S \Rightarrow a \leq c</math> allora <math>\exists B \in F</math> tale che
* <math>a \in S \Rightarrow a \leq B</math>;
* <math>d \in F, d<B \Rightarrow \exists a \in S : d<a</math>.
Analogamente, se <math>\exists c \in F : a \in S \Rightarrow a \geq c</math>, allora <math>\exists b \in F</math> tale che
* <math>a \in S \Rightarrow a \geq b</math>;
* <math>d \in F, d>b \Rightarrow \exists a \in S : d>a</math>.
</div>
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
'''Definizione''': Le grandezze <math>B</math> e <math>b</math> definite nell'assioma di Dedekind vengono chiamate rispettivamente '''estremo superiore''' ed '''estremo inferiore''' dell'insieme <math>S</math> e indicate come <math>B = \sup\left(S \right)</math> e <math> b= \inf \left( S \right)</math>.
</div>
Si può dimostrare che dall'assioma di Dedekind segue l'assioma di Eudosso.
{{Approfondimento
|larghezza = 100%
|titolo = Dimostrazione
|contenuto = Supponiamo per assurdo che, date due grandezze <math>a</math> e <math>b</math> tali che <math>0<a<b</math>, sia <math> na \le b</math> per qualunque intero <math>n</math>. Allora l'insieme <math>S=\left\{na\right\} </math> soddisfa le condizioni dell'assioma di Dedekind e quindi esiste <math>B = \sup\left( \left\{na\right\}\right)</math>. Quindi <math> na \le B </math> per ogni <math>n</math>, e poiché <math> B-a < B </math>, per l'assioma di Dedekind esiste <math>ma \in \left\{na \right\}</math> tale che <math>B-a < ma</math> ovvero <math> B < ma + a = \left(m+1\right)a</math>. Ma anche <math> \left(m+1\right)a \in \left\{na \right\} </math> quindi abbiamo trovato un elemento di <math> S </math> maggiore dell'estremo superiore <math>B</math> di <math>S</math>. Ma questa è una contraddizione, quindi <math> na \le b</math> non può essere vera per ogni <math>n</math>.}}
Abbiamo detto che l'assioma di Dedekind è di fatto implicito in tutta la geometria euclidea; esso infatti in generale esprime il concetto di continuità. Per capire questo si considerino le cosiddette ''sezioni di Dedekind'':
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
'''Definizione''': Dato un campo ordinato di grandezze <math>F</math>, una '''sezione di Dedekind''' è una [[Partizione (teoria degli insiemi)|partizione]] <math>\left(F_1, F_2 \right)</math> di <math>F</math> (ovvero <math>F=F_1 \cup F_2</math> e <math> F_1 \cap F_2 = \oslash</math>) tale che <math> \forall x \in F_1, \ \forall y \in F_2 \Rightarrow x<y </math> e che <math>\forall \varepsilon >0, \ \exists x \in F_1, \ \exists y \in F_2</math> tali che <math> y-x < \varepsilon </math> (classi indefinitamente ravvicinate).
</div>
Utilizzando l'assioma di Dedekind si può dimostrare che <math>\sup\left(F_1\right) = \inf \left( F_2 \right) = k</math>. La grandezza <math>k</math> viene chiamata ''elemento di separazione'' delle due classi <math>F_1</math> e <math>F_2</math>.
{{Approfondimento
|larghezza = 100%
|titolo = Dimostrazione
|contenuto = Per l'assioma di Dedekind <math>\sup\left(F_1\right)</math> e <math>\inf\left(F_2\right)</math> esistono, quindi si deve dimostrare che essi coincidono. Supponiamo che sia <math>\inf\left(F_2\right) < \sup \left( F_1 \right) </math>; allora per l'assioma di Dedekind esiste <math> \bar y \in F_2 </math> tale che <math> \bar y < \sup\left(F_1 \right)</math>, ma quest'ultima relazione, sempre per l'assioma di Dedekind, implica <math> \bar y \in F_1</math>, contrariamente all'ipotesi che i due insiemi <math>F_1</math> e <math>F_2</math> siano disgiunti. Supponiamo allora che sia <math>\sup\left(F_1\right) < \inf \left( F_2 \right) </math>; allora risulta <math> \forall x \in F_1, \ \forall y \in F_2 \Rightarrow x \le \sup\left(F_1\right) < \inf \left( F_2 \right) \le y</math> ovvero <math>y-x > \inf \left( F_2 \right) - \sup\left(F_1\right)</math>, contrariamente all'ipotesi che <math>\forall \varepsilon >0, \ \exists x \in F_1, \ \exists y \in F_2</math> tali che <math> y-x < \varepsilon </math>. Necessariamente quindi risulta <math>\sup\left(F_1\right) = \inf \left( F_2 \right) </math>.}}
Abbiamo allora trovato in questo modo l'originaria formulazione dell'assioma di Dedekind, che riportiamo direttamente con le parole del matematico tedesco<ref>Richard Dedekind, ''Essays on the theory of numbers'', Dover Publications, 1963 - capitolo 1, pagina 11</ref>:
{{citazione|Io trovo l'essenza della continuità nel seguente principio: ''se tutti i punti della linea retta si distinguono in due classi tali che ogni punto della prima classe giaccia a sinistra di ogni punto della seconda classe, allora esiste uno e soltanto un punto che produce questa divisione di tutti i punti in due classi, questa sezione della linea retta in due parti.''}}

Che l'assioma di Dedekind esprima in astratto il concetto di continuità lo si può meglio comprendere da quanto segue. Nell'opera di Euclide ci sono due assiomi che vengono implicitamente utilizzati senza essere enunciati<ref>M. J. Greenberg (vedi bibliografia), capitolo 3</ref>:
#''Assioma di continuità circolare'': se una circonferenza <math>\gamma</math> ha un punto all'interno e uno all'esterno di un'altra circonferenza <math>\gamma'</math>, allora le due circonferenze si intersecano in due punti.
#''Assioma di continuità elementare'': se l'estremo di un segmento cade all'interno di una circonferenza e l'altro estremo all'esterno, allora il segmento interseca la circonferenza.

Ma in realtà non c'è bisogno di introdurre la continuità circolare ed elementare come assiomi, infatti, partendo dall'assioma di Dedekind, essi possono essere dimostrati come teoremi<ref>M. J. Greenberg (vedi bibliografia), capitolo 3 - L'autore fornisce solo uno schema della dimostrazione di questi teoremi e non una dimostrazione completa in ogni dettaglio</ref>. Come illustrato nel prossimo paragrafo anche l'assioma di Archimede sulla lunghezza delle curve concave dalla stessa parte può essere dimostrato da quello di Dedekind, così che esso ci permette di arrivare alla definizione e all'unicità del pi greco riducendo i due assiomi di Archimede (sulle curve) e di Eudosso ad uno solo. Quindi, anche se in Euclide e Archimede non si trovano formulazioni analoghe dell'assioma di Dedekind, e considerando anche il fatto che esso permette di derivare la continuità circolare ed elementare (implicite in tutta l'opera di Euclide e Archimede), l'assioma di Dedekind può essere considerato un assioma fondamentale della geometria euclidea.

===Lunghezza di una curva===
L'assioma 2 di Archimede sulla lunghezza delle curve concave da una stessa parte può essere dimostrato come teorema sfruttando l'assioma di Dedekind<ref>In questo paragrafo si segue P. Eymard e J. P. Lafon (vedi bibliografia), capitoli 1 e 6</ref>. Tuttavia si deve prima dare una definizione rigorosa di ''lunghezza di una curva'', definizione che Archimede non fornisce; anche questa definizione sarà fondata sull'assioma di Dedekind.
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
'''Definizione di lunghezza di una curva''': Sia data una curva <math>\gamma</math> di estremi <math>A</math> e <math>B</math> e una successione di <math>n</math> punti <math>P_0, \ P_1, \ P_2, \ldots</math> sulla curva stessa tali che <math>P_0 = A</math> e <math>P_n = B</math>. Si indichi con <math>d \left( P_i, P_j \right) </math> la lunghezza del segmento che unisce due punti <math>P_i</math> e <math>P_j</math>. Allora si definisce la lunghezza <math>L</math> della curva <math>\gamma</math> come
<div style="text-align:center;">
<math>L \left( \gamma \right) = \sup \left( \left\{ \sum\limits_{i = 1}^n d \left(P_i, P_{i-1} \right): \ n \in \mathbb{N}, \ P_i \in \gamma \right\} \right)</math></div>
</div>
[[File:Archimede - Sulla Sfera ed il Cilindro I - Assioma 2 - dimostrazione.JPG|right|350px|border]]
Quindi <math>L\left(\gamma\right)</math> è l'estremo superiore dell'insieme costituito da tutte le lunghezze di tutte le possibili poligonali che approssimano <math>\gamma</math> pertanto, per l'assioma di Dedekind, <math> \forall \ell </math> tali che <math> d\left(A,B\right) < \ell < L \left(\gamma\right) </math> esiste una poligonale che approssima la lunghezza di <math>\gamma</math> meglio di <math> \ell </math>.

Con questa definizione di lunghezza l'assioma 2 di Archimede può essere dimostrato. Siano allora <math>\Gamma</math> e <math>\gamma</math> due curve qualsiasi entrambe concave dalla stessa parte, con gli stessi estremi e tali che <math>
\gamma</math> sia contenuta in <math>\Gamma</math>. Si vuole dimostrare che <math>L\left( \Gamma \right) > L \left( \gamma \right) </math>. Dimostriamo prima la tesi nel caso in cui la curva contenuta in <math>\Gamma</math> sia una qualunque poligonale costituita da <math>n</math> segmenti. La dimostrazione procede per induzione. Il caso <math>n=1</math> è banalmente vero, perché la poligonale si riduce al segmento <math>AB</math>. Assumendo allora che la tesi sia vera per una qualunque poligonale costituita da <math>\left(n-1\right)</math> segmenti (ipotesi induttiva), dimostriamo che sarà vera anche per <math>n</math>.

Sia allora <math>A M_1 M_2 \ldots M_{n-1} B </math> una poligonale di <math>n</math> segmenti concava dalla stessa parte di <math>\Gamma</math> e interamente contenuta in essa. Sia <math>N_1</math> il punto di intersezione tra <math>\Gamma</math> e il prolungamento di <math>AM_1</math>. Applichiamo allora l'ipotesi induttiva alla poligonale <math>M_1 M_2 \ldots M_{n-1} B</math> che è interamente contenuta nella curva formata dall'unione del segmento <math>M_1 N_1</math> e l'arco <math>\stackrel{\frown}{N_1 B}</math> di <math>\Gamma</math>. Per l'ipotesi induttiva si ha allora:
*<math>L \left(M_1 M_2 \ldots M_{n-1} B \right)< M_1 N_1 + L\left(\stackrel{\frown}{N_1 B} \right) </math>
da cui
*<math>L \left(AM_1 M_2 \ldots M_{n-1} B \right)= AM_1 + L \left(M_1 M_2 \ldots M_{n-1} B \right) < AM_1 + M_1 N_1 + L\left(\stackrel{\frown}{N_1 B} \right) =</math>
*::::::<math>=A N_1 + L\left(\stackrel{\frown}{N_1 B} \right) < L\left(\stackrel{\frown}{A N_1} \right) + L\left(\stackrel{\frown}{N_1 B} \right) = L\left(\stackrel{\frown}{A B} \right) = L \left(\Gamma \right)</math>

Quindi tutte le poligonali concave dalla stessa parte e contenute in <math>\Gamma</math> hanno lunghezza minore di quella di <math>\Gamma</math> stessa. Di conseguenza anche l'estremo superiore di tutte queste poligonali, ovvero <math>L\left(\gamma\right)</math>, deve essere minore di <math>L \left(\Gamma\right)</math>. Infatti, se fosse <math>L\left(\Gamma\right) < L \left( \gamma \right)</math>, per l'assioma di Dedekind <math>L \left(\Gamma\right)</math> sarebbe una lunghezza appartenente all'insieme di tutte le lunghezze di tutte le poligonali che approssimano <math>\Gamma</math>, ed esisterebbe una poligonale la cui lunghezza è maggiore di <math>L \left(\Gamma\right)</math>, ma questo, come abbiamo appena dimostrato, è impossibile. Quindi non può essere <math>L\left(\Gamma\right) < L \left( \gamma \right)</math>.

==Derivazione alternativa del Pi greco==
Un altro possibile modo di derivare il pi greco si ricava dalla sola opera di Archimede. Questa derivazione può essere fondata direttamente sull'assioma di Dedekind, oppure sull'assioma 2 di Archimede sulla lunghezza delle curve concave dalla stessa parte. Ci sono tre teoremi che è preliminarmente necessario dimostrare per arrivare poi a provare, sempre con il metodo di esaustione, che il rapporto tra circonferenza e raggio è uguale per tutti i cerchi.

I primi due teoremi corrispondono alle ''Proposizioni 2'' e ''3'' del primo libro ''Sulla sfera ed il cilindro'' di Archimede.
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
[[File:Archimede - Sulla Sfera ed il Cilindro I - Proposizione 2.JPG|right|300px|border]]
'''Teorema 8 (Sulla Sfera ed il Cilindro I, proposizione 2)''': Date due diverse grandezze, è sempre possibile trovare due segmenti diversi tale che il rapporto tra il maggiore e il minore sia più piccolo del rapporto tra la grandezza maggiore e quella minore date.
{{clear}}
</div>
Con riferimento alla figura diciamo che, date le grandezze <math>AB > D</math>, è sempre possibile trovare due segmenti <math>EG> GH</math> tali che <math> \frac{EG}{GH} < \frac{AB}{D}</math>.
{{Approfondimento
|larghezza = 100%
|titolo = Dimostrazione Teorema 8
|contenuto = Siano date le grandezze  <math>AB > D</math> e sia <math>GH</math> un qualunque segmento. Si misuri lungo <math>BA</math> un segmento <math>BC</math> equivalente a <math>D</math>. Allora se <math>CA</math> viene aggiunto a sé stesso un numero sufficiente di volte, per l'assioma di Eudosso, tale somma sarà maggiore di <math>D</math>. Sia <math>AF</math> tale somma e si prenda <math>E</math> sul prolungamento di <math>GH</math> tale che <math>\frac{EH}{GH} = \frac{AC}{AF}</math>. Ma dato che <math>AF > BC </math> allora <math>\frac{AC}{AF} < \frac{AC}{BC} \Rightarrow \frac{EH}{GH} < \frac{AC}{BC}</math>. Ma dato che <math>EH = EG-GH</math> e che <math>AC = AB-BC</math>, segue la disuguaglianza <math>\frac{EG}{GH}-1 < \frac{AB}{BC} - 1 \Rightarrow \frac{EG}{GH} < \frac{AB}{D} </math>, quindi <math>EG > GH </math> sono proprio i due segmenti cercati. Il teorema è quindi dimostrato.}}
Il Teorema 8 è necessario per la dimostrazione del seguente:
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
[[File:Archimede - Sulla Sfera ed il Cilindro I - Proposizione 3.JPG|right|400px|border]]
'''Teorema 9 (Sulla Sfera ed il Cilindro I, proposizione 3)''': Date due diverse grandezze e un cerchio, è sempre possibile iscrivere un poligono regolare nel cerchio e circoscriverne un altro con lo stesso numero di lati intorno al cerchio, in maniera tale che il rapporto tra il lato del poligono circoscritto e il lato di quello iscritto sia minore dal rapporto tra la grandezza maggiore e quella minore date.
{{clear}}
</div>
Con riferimento alla figura diciamo che, date le grandezze <math>A>B</math>, è sempre possibile trovare due poligoni regolari con lo stesso numero di lati, l'uno iscritto nel e l'altro circoscritto al cerchio, in modo tale che per i loro rispettivi lati <math>CN</math> ed <math>ST</math> valga la disuguaglianza <math>\frac{ST}{CN} < \frac{A}{B}</math>.

{{Approfondimento
|larghezza = 100%
|titolo = Dimostrazione Teorema 9
|contenuto = Siano date le grandezze <math>A>B</math> e il cerchio <math>DCGE</math>. Il Teorema 8 garantisce che si possano trovare due segmenti <math> F>KL</math> tali che <math> \frac{F}{KL} < \frac{A}{B}</math>.

Si disegni la perpendicolare <math>LM</math> a <math>KL</math> di lunghezza tale che <math>KM=F</math>. Nel cerchio siano <math>CE</math> e <math>DG</math> due diametri ad angolo retto. Allora, bisecando l'angolo <math>D \hat O C </math>, bisecandone poi la metà e procedendo iterativamente, si arriva infine, per l'assioma di Eudosso, ad un angolo (ad esempio <math>N \hat O C</math>) minore del doppio dell'angolo <math>L \hat K M </math>.

Il segmento <math>NC</math> è per costruzione il lato del poligono regolare iscritto nel cerchio. Sia <math>OP</math> il raggio che biseca l'angolo <math>N \hat O C</math> (e che pertanto biseca <math>NC</math> ad angolo retto in <math>H</math>), e si tracci la tangente al cerchio in <math>P</math> che interseca i prolungamenti di <math>OC</math> e <math>ON</math>, formando così il segmento <math>ST</math> che per costruzione è il lato del poligono regolare circoscritto al cerchio.

Risulta ora <math>N \hat O C < 2L \hat K M \Rightarrow H \hat O C < L \hat K M </math>, e che gli angoli in <math>H</math> ed <math>L</math> sono retti. Risulta allora <math>\frac{KM}{KL} > \frac{OC}{OH} = \frac{OP}{OH}</math>.

Inoltre, poiché <math>OCH</math> e <math>OSP</math> sono triangoli simili, risulta <math>\frac{OH}{CH} = \frac{OP}{SP} \Rightarrow \frac{OP}{OH} = \frac{SP}{CH}= \frac{ST}{CN}</math>.

Si ottiene così <math>\frac{ST}{CN} < \frac{KM}{KL} = \frac{F}{KL} < \frac{A}{B} \Rightarrow \frac{ST}{CN} < \frac{A}{B} </math>. Il teorema è così dimostrato.}}
Dal Teorema 9 segue il seguente corollario:
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
'''Corollario del Teorema 9''': Dato un cerchio e una grandezza <math>\varepsilon</math> arbitraria, è sempre possibile trovare due poligoni regolari, uno circoscritto e l'altro iscritto nella circonferenza, tali che la differenza dei loro perimetri sia minore di <math>\varepsilon</math>.
</div>

{{Approfondimento
|larghezza = 100%
|titolo = Dimostrazione del Corollario del Teorema 9
|contenuto = Si considerino due segmenti arbitrari <math>A</math> e <math>B=A+\varepsilon''</math>. Allora per il Teorema 9 è possibile trovare due poligoni, uno circoscritto e uno iscritto nella circonferenza, tali che i loro rispettivi perimetri <math>P_c</math> e <math>P_i</math> soddisfino la disuguaglianza <math> \frac{P_c}{P_i} < \frac{B}{A} = 1 + \frac{\varepsilon''}{A} </math>. Ma dato che <math>\varepsilon''</math> è una quantità arbitraria, di fatto anche la quantità <math> \varepsilon' = \frac{\varepsilon''}{A} </math> è una quantità arbitraria. Quindi <math> \frac{P_c}{P_i} < 1 + \varepsilon' \Rightarrow P_c < P_i + \varepsilon' P_i </math>. Ma ancora, dato che <math>\varepsilon'</math> è una quantità arbitraria, anche la quantità <math>\varepsilon = \varepsilon' P_i </math> è in pratica arbitraria. Segue quindi che <math>P_c - P_i < \varepsilon</math>, come volevasi dimostrare.}}

Dal Corollario segue allora che la classe di tutti i poligoni regolari iscritti nella circonferenza e la classe di tutti i poligoni regolari circoscritti formano una [[sezione di Dedekind]]. Come è stato più sopra dimostrato, ogni sezione di Dedekind ha un solo elemento di separazione; possiamo allora dare la seguente definizione di lunghezza della circonferenza:
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
'''Definizione di lunghezza della circonferenza''': Dato un cerchio qualsiasi, si definisce la '''lunghezza della circonferenza''' <math>C</math> come l'elemento di separazione (unico) della sezione di Dedekind costituita dalla classe <math>P_i </math> dei perimetri di tutti i poligoni regolari iscritti nella circonferenza e la classe <math>P_c </math> dei perimetri di tutti i poligoni regolari circoscritti. Pertanto <math> \forall p_i \in P_i, \forall p_c \in P_c </math> risulta sempre <math>p_i < C < p_c </math>.
</div>
Resta da enunciare un ultimo teorema necessario a dimostrare l'unicità del pi greco:
<div style="float:center; width:90%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:justify">
[[File:Rapporto poligoni circoscritti.JPG|right|400px|border]]
'''Teorema 10''': I perimetri di due poligoni simili, entrambi iscritti oppure entrambi circoscritti a due distinte circonferenze, stanno tra loro come i rispettivi raggi.
{{clear}}
</div>

{{Approfondimento
|larghezza = 100%
|titolo = Dimostrazione del Teorema 10
|contenuto = Nel caso di due poligoni iscritti in due distinte circonferenze si veda la dimostrazione del Teorema 2.

Si considerino quindi solo i poligoni circoscritti, come in figura.

Ricordando che gli angoli di intersezione tra i raggi e le tangenti alla circonferenza (e quindi i lati del poligono) nel punto di tangenza sono retti<ref>Euclide, ''Elementi'', libro III, proposizione 16</ref>, segue <math>O \hat L A = O \hat B A = 90^\circ</math> e <math>O' \hat L' A' = O' \hat B' A' = 90^\circ</math>. Inoltre <math>OB = OL = R_1 </math> e <math>O'B' = O'L' = R_2</math>, ovvero <math>OBL</math> e <math>O'B'L'</math> sono isosceli, quindi <math>O \hat B L = O \hat L B</math> e <math>O' \hat B' L' = O' \hat L' B'</math>. Di conseguenza <math>A \hat B L = 90^\circ - O \hat B L = 90^\circ - O \hat L B = A \hat L B</math>, e analogamente <math>A' \hat B' L' = A' \hat L' B'</math>. Ma per l'ipotesi di similitudine tra i poligoni <math>L \hat A B = L' \hat A' B' </math>, quindi <math> A \hat B L = A' \hat B'  L' = A \hat L B = A' \hat L' B'</math> e <math>O \hat B L = O' \hat B' L' = O \hat L B = O' \hat L' B'</math>.

Sono quindi simili tra loro i triangoli <math>A B L</math> a <math>A' B' L'</math> e <math>O B L</math> a <math>O' B' L'</math>. In modo analogo si dimostra che sono simili i triangoli <math>C D B</math> a <math>C' D' B'</math> e <math>O B D</math> a <math>O' B' D'</math>.

Si ottiene quindi <math>\frac{AB}{BL} = \frac{A'B'}{B'L'} \Rightarrow \frac{AB}{A'B'} = \frac{BL}{B'L'}</math> e <math>\frac{BL}{R_1} = \frac{B' L'}{R_2} \Rightarrow \frac{BL}{B'L'} = \frac{R_1}{R_2}</math>, ovvero <math>\frac{AB}{A'B'} = \frac{R_1}{R_2}</math>; analogamente si ottiene <math>\frac{BC}{B'C'} = \frac{R_1}{R_2}</math>.

Ripetendo il procedimento per gli altri lati si ottiene <math>\frac{R_1}{R_2} = \frac{AB}{A'B'} = \frac{BC}{B'C'} = \frac{CD}{C'D'} = \frac{DE}{D'E'} = \ldots</math>. Ma dato che i perimetri dei due poligoni sono <math>P_1 = AB + BC + CD + DE + \ldots</math> e <math>P_2 = A'B' + B'C' + C'D' + D'E' + \ldots</math>, allora necessariamente risulta <math>\frac{P_1}{P_2} = \frac{R_1}{R_2} </math>.}}
Si può ora ridimostrare il teorema di unicità del pi greco, ovvero che, dati due cerchi qualsiasi di raggi <math>R_1</math> e <math>R_2</math> e circonferenze <math>C_1</math> e <math>C_2</math>, risulti in ogni caso <math>\frac{C_1}{R_1}=\frac{C_2}{R_2}</math>.

Si ricordi la definizione di lunghezza della circonferenza <math>C</math> basata sull'assioma di Dedekind e si indichino con le lettere <math>P</math> e <math>p</math> rispettivamente i perimetri dei poligoni circoscritti e iscritti nelle due circonferenze date. Supponiamo che sia <math>\frac{C_1}{C_2} \ne \frac{R_1}{R_2}</math>. Allora risulterà <math>\frac{C_1}{L} = \frac{R_1}{R_2}</math> dove <math>L < C_2 </math> oppure <math>L > C_2 </math>.

Si consideri il caso <math>L < C_2 </math>. Per l'assioma di Dedekind allora si può trovare un poligono iscritto nella circonferenza <math>C_2</math> tale che il suo perimetro soddisfi la disuguaglianza <math>L < p_2 < C_2</math>; considerando poi il corrispondente poligono simile iscritto nella circonferenza <math>C_1</math>, per il Teorema 10 risulta <math>\frac{R_1}{R_2} = \frac{p_1}{p_2} = \frac{C_1}{L}</math>; ma <math> \frac{p_1}{p_2} < \frac{C_1}{p_2} </math>, quindi <math>\frac{C_1}{L} < \frac{C_1}{p_2}</math>, ovvero <math>p_2 < L</math>. Si ottiene così una contraddizione (<math>p_2</math> contemporaneamente maggiore e minore di <math>L</math>), quindi non può essere <math>L < C_2 </math> come supposto. Analogamente si dimostra che se <math>\frac{C_2}{S} = \frac{R_2}{R_1}</math>, allora non può essere <math>S<C_1</math>.

Si consideri allora il caso <math>L > C_2 </math>. Per l'assioma di Dedekind allora si può trovare un poligono circoscritto alla circonferenza <math>C_2</math> tale che il suo perimetro soddisfi la disuguaglianza <math>C_2 < P_2 < L</math>; considerando poi il corrispondente poligono simile circoscritto alla circonferenza <math>C_1</math>, per il Teorema 10 risulta <math>\frac{R_1}{R_2} = \frac{P_1}{P_2} = \frac{C_1}{L} </math>; ma <math>\frac{P_1}{P_2} > \frac{C_1}{P_2}</math>, quindi <math> \frac{C_1}{L} > \frac{C_1}{P_2}</math>, ovvero <math>P_2 > L</math>. Si ottiene così una contraddizione (<math>P_2</math> contemporaneamente maggiore e minore di <math>L</math>), quindi non può essere <math>L > C_2 </math> come supposto. Analogamente si dimostra che se <math>\frac{C_2}{S} = \frac{R_2}{R_1}</math>, allora non può essere <math>S>C_1</math>.

Quindi deve essere necessariamente <math>L=C_2</math> ovvero <math>\frac{C_1}{C_2} = \frac{R_1}{R_2} \Rightarrow \frac{C_1}{R_1} = \frac{C_2}{R_2}</math>. Essendo <math>C_1</math> e <math>C_2</math> due circonferenze generiche, risulta dimostrato che il rapporto tra circonferenza e raggio è uguale per tutti i cerchi, ovvero il pi greco è unico.

== Note ==
<references/>
==Bibliografia==
* Frajese A., Maccioni M. (a cura di), ''Euclide, Gli elementi'', Utet, Torino, prima edizione 1976, ristampa 1996
* Archimede.''Opere''. UTET, Torino, 1974. (solo traduzione italiana, senza il testo greco)
* David Hilbert, ''Grundlagen der Geometrie'', 7ª edizione, 1930 (testo in inglese [https://www.gutenberg.org/files/17384/17384-pdf.pdf])
:Edizioni italiane:
:* ''Fondamenti della geometria'', Feltrinelli, 1970
:* ''Fondamenti della geometria. Con i supplementi di Paul Bernays'', Franco Angeli, 2009
* Marvin Jay Greenberg, ''Euclidean and Non-Euclidean Geometries - Development and history'', third edition, W. H. Freeman and Company, 1993
*Pierre Eymard, Jean Pierre Lafon, ''The Number Pi'', AMS Bookstore, 2004

{{Portale|matematica}}

[[Categoria:Pi greco]]