Да, это правильно.
Опечатку только надо исправить:
Возводим обе части в квадрат:
==========
Ведь область определения, полученная из неотрицательности радикандов, включает в себя ложный корень.
Да. Возведение в квадрат - не равносильное преобразование, а переход к следствию. После него всегда могут появляться "лишние корни", и в конце требуется проверка путём подставления в уравнение.
Если не хочется делать проверку, можно решать уравнение равносильными преобразованиями.
==========
Немного теории. Уравнение
равносильно системе
Заметьте: не
, а
. Это потому, что если мы захотим из
перейти обратно к исходному равенству, нам придётся извлекать корень из обеих частей и вместо
мы получим равенство
(корень из квадрата - это модуль!), и вот чтобы модуль раскрылся со знаком плюс, и нужно условие
.
А почему
из исходного равенства вытекает, тоже понятно: потому что в нём
равно квадратному корню из чего-то и поэтому неотрицательно.
Что касается требования
, то оно здесь излишне, так как автоматически вытекает из записанного вывода
: раз
равно квадрату чего-то, то оно точно неотрицательно.
==========
Здесь можно было бы взять либо
,
, либо
,
, как больше нравится. Посмотрите, какие условия на корень получатся. Вовсе не только неотрицательность подкоренных выражений.
Но гораздо лучше, конечно, сразу рассуждать как написали
Dmitriy40 и
nnosipov