边长是6根号2的正方形对角线长为