展开 有关垂直的定理