垂径定理及其推论可简化为· ·