矩形的对角线相等的逆命题