垂径定理的推论