Cho tứ diện OABC có OA, OB, OC đôi một vuông góc. Vẽ đường thẳng qua O và vuông góc với (ABC) tại H
Giải thích

Ta có: OA⊥OBOA⊥OC
⇒OA⊥OBC⇒OA⊥BC (1)
Mà OH⊥ABC⇒OH⊥BC (2)
Từ (1) và (2) ⇒BC⊥OAH⇒BC⊥AH (AH ⊂OAH.

Ta có: OA⊥OBOA⊥OC
⇒OA⊥OBC⇒OA⊥BC (1)
Mà OH⊥ABC⇒OH⊥BC (2)
Từ (1) và (2) ⇒BC⊥OAH⇒BC⊥AH (AH ⊂OAH.