三垂线定理的应用