正方形的对角线有什么性质