三垂线定理应用