Wikibooks

Elementi di Euclide/Libro I-Assiomi: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Fracqua (discussione | contributi)
446 modifiche
Fracqua (discussione | contributi)
446 modifiche
Riga 222:
 
 
Questo assioma (in effetti l'assioma 8 di Tartaglia) è esattamentesostanzialmente inversoidentico al precedente e può essere descritto in modo analogo:
 
* il segmento ''a'' è esattamente la metà (deve essere diviso in due) rispetto al segmento ''c'';
Riga 229:
 
Procediamo con la solita traduzione in LIC:
* ''a = ½c'';
* ''b = ½c'';
* ''(a = ½c) ∧ (b = ½c)→ (a = b)''.
 
Line 236 ⟶ 234:
 
 
Come il Postulato 5 bis, anche gli Assiomi 3bis, 3ter, 3quater e 3penta sono stati trascurati dalla versione di riferimento per gli Elementi. Non sono proposizioni veramente innovative bensì casi particolari degli assiomi 2 e 3 i quali, cheviceversa, sono invece proposizioni insostituibili e convincenti.
 
Quelli sì che sono dei veri Assiomi!
Estratto da "https://it.wikibooks.org/wiki/Elementi_di_Euclide/Libro_I-Assiomi"