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
Information om artikeln
Medverkande
Thomas Erlandsson
Källangivelse