Нужно ли всегда определять ОДЗ при решении уравнений и неравенств?

Итак, пусть требуется решить иррациональное уравнение
√(х^2 -4) = √(3х). Здесь х^2 — это х в квадрате.
ПОДХОД ПЕРВЫЙ («классический»).
Прежде всего определим ОДЗ для этого уравнения. Для этого надо решить систему двух неравенств: (х^2 -4)>=0 и 3х>=0. Первое неравенство имеет решением совокупность (объединение) двух интервалов: x>=2 или x=<-2. Вместе с условием x>=0 получаем ОДЗ в виде неравенства x>=2.
Теперь переходим непосредственно к решению уравнения. Возводим обе части в квадрат и освобождаемся от радикалов, получая следствие исходного уравнения: (х^2 -4) = 3х
Оно имеет два корня х=4 и х=-1. Теперь проверяем, принадлежат ли они ОДЗ: первый принадлежит области х>=2, а второй нет. Поэтому решением исходного уравнения будет только один корень x=4.
Заметим, что при этом подходе мы пользовались теоремой о том, при возведении обеих неотрицательных частей уравнения в квадрат и освобождении от радикалов мы не можем потерять корни. Формально нужно еще сделать проверку, что х=4 удовлетворяет исходному уравнению, так как переход с освобождением от радикалов был не равносильным. И только после этого можно писать ответ: х=4.

Как видим, в первом способе половина решения состоит в поиске ОДЗ, искать которую по формулировке задачи вовсе не требовалось.

Теперь рассмотрим ВТОРОЙ ПОДХОД.
Мы будем пользоваться теоремой о том, что уравнение (√f)=(√g) равносильно системе уравнения f=g и неравенства g>=0.
Тогда исходное наше уравнение √(х^2 -4) = √(3х) равносильно системе уравнения (х^2 -4) = 3х и неравенства 3х>=0. Эта система имеет единственное решение х=4, которое и будет решением исходного уравнения.

Как видите, второй подход вдвое короче и проще первого. Никакого ОДЗ нам вычислять не нужно. И никаких проверок делать тоже не нужно, так как все переходы были равносильными.

Надеюсь, преимущества нового подхода очевидны.