Visualizza wikitesto di Geometria per scuola elementare/Costruzione di un triangolo equilatero

{{Capitolo 2|Libro=Geometria per scuola elementare|Prec=Linee|Corr=Costruzione di un triangolo equilatero|Succ=Copia di un segmento}}

== Introduzione ==
In questo capitolo scopriremo come disegnare un triangolo equilatero.
Ma cosa vuol dire "equilatero"? In parole più semplici, un triangolo che ha '''tutti''' i lati della stessa lunghezza.<br/>
Ogni triangolo i cui vertici sono i punti '''A''', '''B''' e '''C''' si indica in questa maniera: <math>\triangle ABC </math>.<br/> Se poi è equilatero, assomiglierà a quello che si vede in questa figura:<br/>
[[image:Geom_constr_eqtr00.png|566 px]]

== La costruzione ==
La costruzione (il metodo che usiamo per disegnarlo) si ispira a [http://aleph0.clarku.edu/~djoyce/java/elements/bookI/propI1.html Libro I, proposizione 1].


# Usando la riga, [[Geometria per scuola elementare/I nostri strumenti: Riga e compasso#Come si disegna una linea? | disegna una linea]] della lunghezza che più ti piace: sarà la lunghezza del lato del tuo triangolo.<br/>
Una delle estremità della linea la chiameremo '''A''' e l'altra '''B'''.<br/>
Ora avrai un segmento chiamato <math>\overline{AB}</math>.<br/>
Dovrebbe assomigliare al disegno che vedi qui sotto.<br/>
[[image:Geom_constr_eqtr01.png|566 px]]<br/><br/><br/>
# Usando il tuo compasso, [[Geometria per scuola elementare/I nostri strumenti: Riga e compasso#Come disegnare un cerchio?| disegna un cerchio]]  <math>\circ A,\overline{AB} </math>, centrato proprio su '''A''' e con raggio uguale al segmento <math>\overline{AB}</math>.<br/>
[[image:Geom constr eqtr02.png|566 px]]<br/><br/><br/>
# Usando ancora il compasso [[Geometria per scuola elementare/I nostri strumenti: Riga e compasso#Come disegnare un cerchio?| disegna il cerchio]] <math>\circ B,\overline{AB} </math>, centrato su '''B''' e di raggio <math>\overline{AB}</math>.<br/>
[[image:Geom constr eqtr03.png|566 px]]<br/><br/><br/>
# Vedi come i due cerchi si intersecano (si incrociano tra di loro) in due punti?<br/>
I punti sono mostrati in rosso nella seguente figura.<br/>
[[image:Geom constr eqtr04.png|566 px]]<br/><br/><br/>
# Scegline uno e chiamalo '''C'''.<br/>
Qui abbiamo scelto quello superiore, ma tu puoi scegliere quello in basso, se preferisci. Se scegli quello più in basso, il tuo triangolo sembrerà a testa in giù, ma sarà ancora un triangolo equilatero.<br/>
[[image:Geom constr eqtr05.png|566 px]]<br/><br/><br/>
# [[Geometria per scuola elementare/I nostri strumenti: Riga e compasso#Come si disegna una linea? | Disegna una linea]] tra '''A''' e '''C''' per ottenere il segmento <math>\overline{AC}</math>.<br/>
[[image:Geom constr eqtr06.png|566 px]]<br/><br/><br/>
# [[Geometria per scuola elementare/I nostri strumenti: Riga e compasso#Come si disegna una linea? | Disegna una linea]] tra  '''B''' e '''C''' per avere 
<math>\overline{BC}</math>.<br/>[[image:Geom constr eqtr07.png|566 px]]<br/>
# La costruzione è completa.

== Affermazione ==
Il triangolo <math>\triangle ABC </math> è un triangolo equilatero.

== Dimostrazione ==
# I punti '''B''' e '''C''' sono entrambi sulla circonferenza del cerchio <math>\circ A,\overline{AB} </math> e il punto '''A''' è sul centro.<br/>
[[image:Geom eqtriangle proof01.png|407 px]]<br/><br/><br/>
# In questo modo la linea <math>\overline{AB}</math> è della stessa lunghezza della linea<math>\overline{AC}</math>.<br/>
O, più semplicmente, <math>\overline{AB}=\overline{AC}</math>.<br/>
[[image:Geom eqtr proof05b.png|407 px]]<br/><br/><br/>
# Facciamo lo stesso per l'altro cerchio:<br/>
I punti '''A''' e '''C''' sono tutti e due sulla circonferenza del cerchio <math>\circ B,\overline{AB} </math> mentre il punto '''B''' è sul centro.<br/>
[[image:Geom eqtriangle proof06b.png|407 px]]<br/><br/><br/>
# Così possiamo dire che <math>\overline{AB}=\overline{BC}</math>.<br/>
[[image:Geom eqtr proof09b.png|407 px]]<br/><br/><br/>
# Abbiamo già mostrato che <math>\overline{AB}=\overline{AC}</math><br/>
[[image:Geom eqtr proof05b.png|271 px]]<br/><br/> 
e <math>\overline{AB}=\overline{BC}</math>.<br/>
[[image:Geom eqtr proof09b.png|271 px]]<br/><br/><br/>
Siccome <math>\overline{AC}</math> e <math>\overline{BC}</math> sono entrambi lunghi come   <math>\overline{AB}</math>, essi devono anche essere uguali in lunghezza tra di loro.<br/>
Così possiamo dire <math>\overline{AC}=\overline{BC}</math><br/>
#Perciò, le linee <math>\overline{AB}</math>, <math>\overline{AC}</math> e <math>\overline{BC}</math> sono tutte uguali.<br/><br/>
<math>\overline{AB}=\overline{AC}=\overline{BC}</math><br/>
[[image:Geom eqtr proof11.png|407 px]]<br/><br/><br/>
#In questo modo abbiamo dimostrato che tutti i lati di <math>\triangle ABC </math> sono uguali, cioè che il triangolo è equilatero.

== Qualche problema nella dimostrazione ==

La nostra costruzione è semplice ed elegante.
Ci si può anche immaginare che i bambini vi arrivino da soli, per caso, usando le loro gambe come se fossero un compasso.

Ciononostante, la dimostrazione data da Euclide è '''sbagliata'''.

Dal punto di vista della logica matematica, si parte sempre da un certo numero di postulati. 
Poi si procede passo passo fino a costruire una dimostrazione.
Una dimostrazione dovrebbe far uso solo dei postulati e rivendicare di poter essere dedotta dai postulati.
Alcune affermazioni utili ricevono un nome e sono chiamati teoremi per permettere di usarle in successive dimostrazioni.

Ma vi sono alcuni passi, nella sua dimostrazione, che non possono essere dedotti dai postulati.

Per esempio, sulla sola base dei postulati che egli usava, i cerchi <math>\circ A,\overline{AB} </math> e  <math>\circ B,\overline{AB} </math> non è detto che si intersechino.

Anche se la dimostrazione è sbagliata, non necessariamente deve esserlo anche la costruzione.
Si può rendere valida la costruzione, semplicemente aumentando l'insieme dei postulati di partenza.
Infatti, nel corso dei secoli, sono stati proposti differenti insiemi di postulati per rendere valida la dimostrazione.
Usando questi insiemi, la costruzione che funzione così bene con carta e matita, diventa valida anche da un punto di vista logico.

L'errore di Euclide, un matematico così dotato, dovrebbe servire come un esempio eccellente sulle difficoltà che si incontrano nelle dimostrazioni matematiche e della differenza che corre tra queste e la nostra intuizione.

[[Categoria:Geometria per scuola elementare|Triangolo equilatero]]

{{Avanzamento|100%|29 agosto 2008}}

[[en:Geometry for Elementary School/Constructing equilateral triangle]]