已知正方形的对角线是742.5,求正方形的边长是多少