一、先設直線L1、L2的方程分別為百：

L1=k1X+b1，L2=K2X+b2（k1，k2分別是直線L1、L2的斜率）

傾斜角分別為α ,θ（α ＞θ）。

在直角座標系中，若兩條直線互相垂直，且k1，k2不等於0，則K1K2=-1

證明： 在直角座標系中，若兩條直線互相垂直，則α =θ+90°，

所以tanα =tan（θ+90°）

=﹙tan90°+tanθ)/﹙1﹣tan90°·tanθ)

=﹙1+tanθ/tan90°)/﹙1/tan90°﹣tanθ)

=﹙1+0)/﹙0﹣tanθ)

=﹣1/tanθ

因為 k1=tanα，k2=tanθ

所以K1K2=tanαtanθ=-1

直線由無數度個點構成。直線是面的組成成分，並繼而組成體。沒有端點，向兩端無限延長，長度無法度量。直線是軸對稱圖形。

它有無數條對稱軸，其中一條是它本身，還有所有與它垂直的直線（有無數條）對稱軸。在平面上過不重合的兩點有且只有一條直線，即不重合兩點確定一條直線。在球面上，過兩點可以做無數條類似直線。