已知正方形的对角线长为15,试求正方形的边长.