负根号2的平方等于几