Elementi di Euclide/Libro I-Teoremi 17-24: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Fracqua (discussione | contributi)
→‎Teorema 21: devo finire ed eventualmente correggere
Fracqua (discussione | contributi)
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|IlPresi maggioredue deglitriangoli angolicon dila unstessa triangolobase, la somma degli altri due lati è oppostominore in quello interno, mentre l'angolo al maggiorevertice deiè treminore latiin quello esterno.]]}}
 
Facciamo come in questo triangolo ABC e cioè facciamo che dalle due estremità del lato BC di un triangolo ABC escano le due semirette BD e CD. Io sostengo che, se il cuiloro punto di intersezione D siaè interno al triangolo ABC., Io sostengo cheallora la somma di talidei segmenti, BD e CD, sia minore della somma dei due segnmentisegmenti BA e CA (ovvero degli altri due lati del triangolo ABC). Sostengo inoltre che l'angolo BDC, formato dalle due semirette sia maggiore dell'angolo BAC individuato dai predetti due lati.
 
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]], aggiungendoposso adanche entrambi le lunghezzedire che, stiamose confrontandoaggiungo il segmento EC otteniamo:ad entrambi termini del confronto, ottengo una disuguaglianza ancora valida nello stesso verso.
 
AB + AE + EC > BE + EC
Cioè: AB + AE + EC > BE + EC che poi significa: AB + AC > BE + EC
ovvero che
 
AB + AC > BE + EC
MaAnalogamente poiché,posso sempreaffermare per il [[Elementi_di_Euclide/Libro_I-Teoremi_17-24#Teorema_20| Teorema 20]],che 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 veroe che tale disuguaglianza verrà mantenuta anche se ad entrambe le lunghezze aggiungiamoaggiungo il segmento BD
 
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]])
 
ABcioè +a: AEBE + EC > BEDC + ECBD
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.
- in simboli:
DE + ED > DC
aggiungendo ad
 
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.
giontogli communemente la linea .d.b. li duoi lati .b.e. & ,e.c. seranno anchora maggiori delli duoi lati .b.d. & .d.c. (per la quinta concettione) donde se li duoi lati .b.e. & .e.c. sono maggiori delle due linee protratte .b.d. & d.c. & che li duoi lati a.b. & a.c. sono maggiori delli ditti duoi lati .b.e. & .e.c, (come di sopra fu approuato, quando dissi, serba in mente) tanto maggiormente seranno maggiori delle dette due linee protratte .b.d. & .d.c. che è il proposito. Ma, perche l'angolo .b.d.c. e maggiore dell'angolo ,d.e.c. (per la sestadecima propositione) & l'angolo .d.e.c. per la medesima decimasesta propositione, è maggior dell'angolo .e.a.b. adonque molto maggior serà l'angolo .b.d.c. del ditto angolo .b.a.c. che è il secondo proposito.
 
Ecco perciò dimostrato anche il secondo proposito.
[[#top|Torna in cima]]