矩形的对角线有什么性质