展开 垂直定理是什么时候学的