Условие неотрицательности подкоренного выражения можно опустить, так как из первого уравнения системы видно, что оно равно квадрату, и, следовательно, неотрицательно. Условие неотрицательности правой части, обеспечивающее совпадение знаков частей уравнения (или, что то же самое, обеспечивающее область значений корня) напротив нельзя опустить, т. к. оно не следует из первого уравнения системы