对角线为2的正方形的边长是多少?