Cho hình tứ diện ABCD. Từ hệ thức trên hãy suy ra định lí: “Nếu
Giải thích
Từ hệ thức trên ta suy ra định lí: “Nếu tứ diện ABCD có AB ⊥ CD, AC ⊥ DB, nghĩa là AB→.CD→ = 0 và AC→.DB→ = 0 thì AD→.BC→ = 0 và do đó AD ⊥ BC.”
Từ hệ thức trên ta suy ra định lí: “Nếu tứ diện ABCD có AB ⊥ CD, AC ⊥ DB, nghĩa là AB→.CD→ = 0 và AC→.DB→ = 0 thì AD→.BC→ = 0 và do đó AD ⊥ BC.”