垂径定理的定义和推论