🔑ИдеяДва уравнения могут быть не равносильны на всей числовой прямой — но стать равносильными, если смотреть только на определённый кусок оси, например множество $M$. Внутри $M$ у них одинаковые корни, а то, что происходит за пределами $M$, нас уже не интересует.
📐ОпределениеУравнения $f(x)=g(x)$ и $p(x)=\varphi(x)$ называют равносильными на множестве $M$, если любой корень первого, принадлежащий $M$, — корень второго, и наоборот. В частности, если ни одно из уравнений не имеет корней на $M$, они тоже считаются равносильными на $M$.
Если уравнения равносильны на множестве всех действительных чисел, слова "на множестве всех действительных чисел" обычно опускают — говорят просто "равносильны".
Пример из учебника
Уравнения $\sqrt{x}=1$ и $x^2=1$не равносильны на всей числовой прямой: у первого один корень $x=1$, у второго — два корня ($1$ и $-1$).
Но на множестве $M=[0;+\infty)$ они равносильны: там каждое из уравнений имеет только один корень — число $1$. Посторонний корень $-1$ просто не входит в $M$, поэтому не мешает равносильности.
Основные преобразования, дающие равносильность на множестве
1Возведение в чётную степень $2m$ — равносильно на $M$, где обе функции $f,g$ неотрицательны.
2Умножение (деление) на функцию $\varphi$ — равносильно на $M$, где $\varphi$ определена и $\varphi\ne0$.
3Потенцирование $\log_a f(x)=\log_a g(x)$ — равносильно на $M$, где обе $f,g$ положительны.
4Приведение подобных членов — равносильно на области существования сокращаемой функции.
5Применение формул — равносильно на $M$, где определены обе части формулы.
⚠️Частая ошибкаЗабывают указать множество $M$ и работают так, будто равносильность верна на всей прямой. В итоге либо теряют корни (если $M$ выбрано слишком узко), либо приобретают посторонние (если про $M$ вообще забыли). Всегда явно фиксируй: "на множестве $M=\dots$".
Запомни
🧠Равносильность на множестве
сравниваем корни не на всей прямой, а только внутри $M$;
если оба уравнения не имеют корней на $M$ — они равносильны на $M$ по определению;
каждое стандартное преобразование (степень, умножение, потенцирование…) равносильно на своём "естественном" множестве $M$.