如果一个正方形的面积是三分之二,它的对角线长是多少?