已知正方形边长,求正方形对角线的方法