Корень из любого числа неотрицателен (может быть равен нулю), это просто свойство операции извлечения квадратного (или любого другого, чья область определения ограничена нулем) корня. Если задача ограничена множеством действительных чисел, то и подкоренное выражение будет неотрицательным. И даже если подкоренное выражение окажется отрицательным, знак корня сработает подобно модулю, и получится "положительное" комплексное число.
