三垂线定理在立体几何垂直问题中的应用