证明对角线互相垂直的矩形是正方形