展开 对角线互相垂直的性质