droites perpendiculaires

droites perpendiculaires

Droites qui se coupent en formant des angles droits.

La relation de perpendicularité entre des droites du plan géométrique est une relation antiréflexive, symétrique et non transitive.

Symbole

La relation de perpendicularité entre deux droites se note à l’aide du symbole « ⊥ » qui se lit « est perpendiculaire à ».

Exemple

Dans cette figure on a \(d_1⊥d_2\).

Sur la figure, la présence d’un angle droit est indiquée par un petit carré dans l’un des angles formés par les deux droites perpendiculaires.

Note historique

Le mathématicien français Pierre Herigone fut le premier à utiliser le symbole ⊥ comme symbole de la perpendicularité dans son livre « Cursus Mathematicus » en 1634.