怎样求正方形的对角线长度