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 « \(\perp\) » 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 \(\perp\) comme symbole de la perpendicularité dans son livre « Cursus Mathematicus » en 1634.