當兩條直線相交所成的四個角中，有一個角是直角時，即兩條直線互相垂直，其中一條直線叫做另一直線的垂線，交點叫垂足。

　　垂線段是一個圖形，點到直線的距離是一個數量。

　　垂直公理

　　在同一平面內，過一點（直線上或直線外）有且只有一條直線與已知直線垂直。

　　垂直

　　過直線AB上一點C作CP⊥AB，且CP是唯一的；同理，過直線AB外一點P作PC⊥AB，且PC是唯一的。

　　垂線段公理

　　直線外一點與直線上各點連接的所有線段中，垂線段最短（簡稱“垂線段最短”）。

　　垂線段

　　已知PC⊥AB于點C，則PC﹤PA∧PB∧PD∧PE∧。

　　垂徑定理

　　垂徑定理是數學平面幾何（圓）中的一個定理，它的通俗的表達是：垂直于弦的直徑平分弦且平分這條弦所對的兩條弧。數學表達為：直徑DC垂直于弦AB，則AE=EB，弧AD等于弧BD（包括優弧與劣弧），半圓CAD=半圓CBD。