三垂线定理和它的逆定理