Axiomgrupp III, kongruensaxiomen
Euklides har ett kongruensaxiom, Postulat IV. Hilbert har fem sådana axiom. Ett av dessa kongruensaxiom är väsentligen proposition I.4 i Elementa, vilket är det s.k. första kongruensfallet, dvs. den första av de tre kongruenssatser för trianglar som Euklides formulerar och bevisar (se bild 7). Euklides bevis för I.4 är
Medverkande
Thomas Erlandsson
Källangivelse
Vill du komma åt hela artikeln?
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.