Et tous les angles droits sont égaux entre eux.
Ce quatrième postulat est évident d'après la définition même de l'angle droit, telle qu'Euclide l'écrit dans la dixième définition :
« Lorsqu'une droite tombant sur une droite forme deux angles adjacents égaux entre eux, chacun des angles égaux est droit, et la droite placée au-dessus est dite perpendiculaire à celle sur laquelle elle est placée. »
Les deux angles adjacents formés à l'intersection des deux droites (D) et (D') sont égaux. Leur mesure est 90°.
L'extension du postulat par rapport à la définition est à comprendre dans le sens que l'angle ainsi formé est le même que l'angle que forme une autre perpendiculaire tombant sur la droite (D). C'est en quelque sorte la notion de classe d'angles qui est avancée.
↑ Retour au haut de cette page