Elementi di Euclide/Libro I-Teoremi 17-24: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Teorema 21: devo finire ed eventualmente correggere |
|||
Riga 138:
|titolo= Mentre leggi questo teorema prova a disegnare quello che succede. Solo dopo, per verificare il tuo lavoro, clicca qui a destra ed
|testo=
[[Image: Euclid027r_c.png |thumb|450px|left|
Facciamo
Per dimostrare che quello che dico è vero, prolungherò il lato BD fino a fargli intersecare il lato AC nel punto E. Il [[Elementi_di_Euclide/Libro_I-Teoremi_17-24#Teorema_20| Teorema 20]] mi permette di affermare che la somma dei due lati AB ed AE del triangolo ABE è maggiore del lato BE. ▼
▲Per dimostrare che quello che dico è vero prolungherò il lato BD fino a fargli intersecare il lato AC nel punto E. Il [[Elementi_di_Euclide/Libro_I-Teoremi_17-24#Teorema_20| Teorema 20]] mi permette di affermare che la somma dei due lati AB ed AE del triangolo ABE è maggiore del lato BE.
In simboli: AB + AE > BE
Ora, per l'[[Elementi_di_Euclide/Libro_I-Assiomi#Assioma_5| Assioma 5]],
AB + AE + EC > BE + EC▼
Cioè: AB + AE + EC > BE + EC che poi significa: AB + AC > BE + EC
In simboli: DE + EC > DC (per il [[Elementi_di_Euclide/Libro_I-Teoremi_17-24#Teorema_20| Teorema 20]])
equivale a: DE + EC + BD > DC + BD (in virtù dell'[[Elementi_di_Euclide/Libro_I-Assiomi#Assioma_5| Assioma 5]])
▲Ma poiché, sempre per il [[Elementi_di_Euclide/Libro_I-Teoremi_17-24#Teorema_20| Teorema 20]], la somma dei due lati DE ed EC del triangolo CDE è maggiore del lato DC, in virtù dell'[[Elementi_di_Euclide/Libro_I-Assiomi#Assioma_5| Assioma 5]] sarà anche vero che tale disuguaglianza verrà mantenuta anche se ad entrambe le lunghezze aggiungiamo il
Ma se, come ho dimostrato all'inizio, la somma dei due lati AB ed AC è maggiore di quella dei segmenti BE ed EC, e se, come ho appena dimostrato, la somma di BE ed EC è maggiore di quella dei segmenti BD e CD, sarà ancor più vero che la somma di AB ed AC è maggiore della somma di BE ed EC.
Ecco dunque dimostrato il primo proposito.
Inoltre, poiché l'angolo BDC è maggiore dell'angolo DEC e l'angolo DEC è maggiore dell'angolo EAB (in entrambi i casi per il [[Elementi_di_Euclide/Libro_I-Teoremi_9-16#Teorema_16| Teorema 16]]) tanto più dovrà essere vero che l'angolo BDC è maggiore dell'angolo BAC, dato che esso è congruente a EAB.
Ecco perciò dimostrato anche il secondo proposito.
[[#top|Torna in cima]]
|