旋转90度后对应线段互相垂直在证明时能直接用吗?