用向量法证明正方形对角线互相垂直