Can you summarize the following document?
        
  在笛卡兒座標系中,兩條被如下等式所表示的直線formula_1和formula_2  那麼垂直的情況有兩種:  如果兩條直線的表示式為:  那麼只有一種情況:兩條直線在這個平面相互垂直當且僅當formula_12  假如用formula_13和formula_14來表示兩條直線的方向向量,那麼上面垂直的充分必要條件就是兩個方向向量正交的充分必要條件。這說明了垂直實際上是正交關係(在二維和三維空間)的一個特例。

  三維空間中不僅有直線與直線的垂直,也有直線與平面、平面與平面的垂直。

  用尺規作一條過點P與直線AB相互垂直的直線,過程如下(見圖二):  為證明直線PQ與直線AB垂直,使用三角形SSS全等定理證明三角形QPA'和QPB'全等以求得三角形OPA'和OPB'也全等。然後使用三角形SAS全等定理證明角POA和POB相等。
垂直是一個幾何術語。在平面幾何中,如果一條直線與另一條直線相交,且它們構成的任意相鄰兩個角相等,那麼這兩條直線相互垂直。術語“垂直”(符號:⊥)衍生一個形容詞(垂直)或者名詞(垂線)。因此,根據圖一,直線AB通過B點與直線CD相互垂直。像圖一這樣,如果一條直線與另一條直線垂直,那麼它們構成的兩個角稱為直角,或者90°角。