展开 垂直定理的判定