已知正方形的边长为a,则正方形的对角线为?