Да, это правильно.
Опечатку только надо исправить:
Возводим обе части в квадрат:

==========
Ведь область определения, полученная из неотрицательности радикандов, включает в себя ложный корень.
Да. Возведение в квадрат - не равносильное преобразование, а переход к следствию. После него всегда могут появляться "лишние корни", и в конце требуется проверка путём подставления в уравнение.
Если не хочется делать проверку, можно решать уравнение равносильными преобразованиями.
==========
Немного теории. Уравнение

равносильно системе

Заметьте: не

, а

. Это потому, что если мы захотим из

перейти обратно к исходному равенству, нам придётся извлекать корень из обеих частей и вместо

мы получим равенство

(корень из квадрата - это модуль!), и вот чтобы модуль раскрылся со знаком плюс, и нужно условие

.
А почему

из исходного равенства вытекает, тоже понятно: потому что в нём

равно квадратному корню из чего-то и поэтому неотрицательно.
Что касается требования

, то оно здесь излишне, так как автоматически вытекает из записанного вывода

: раз

равно квадрату чего-то, то оно точно неотрицательно.
==========
Здесь можно было бы взять либо

,

, либо

,

, как больше нравится. Посмотрите, какие условия на корень получатся. Вовсе не только неотрицательность подкоренных выражений.
Но гораздо лучше, конечно, сразу рассуждать как написали
Dmitriy40 и
nnosipov