Проверка корней в иррациональных уравнениях

Иррациональное уравнение - это уравнение, где переменная стоит под знаком корня. Чтобы избавиться от радикала, обе части возводят в степень, но именно этот шаг и порождает главную ловушку: возведение в квадрат не равносильно исходному уравнению, поэтому среди найденных значений могут оказаться посторонние корни. Они формально удовлетворяют уже преобразованному уравнению, но не исходному. Поэтому проверка корней в иррациональных уравнениях - не формальность, а обязательный завершающий этап. Чтобы быстро проверить любой кандидат на корень - подставить его в уравнение и узнать, настоящий он или посторонний, - воспользуйтесь формой ниже.

Почему появляются посторонние корни

Корень $n$-й степени с чётным $n$ (а на практике чаще всего речь о квадратном корне) определён только для неотрицательного подкоренного выражения и сам принимает только неотрицательные значения. Когда мы пишем $\sqrt{f(x)} = g(x)$ и возводим обе части в квадрат, мы получаем $f(x) = g(x)^2$. Это новое уравнение «забывает» два ограничения исходного: что $f(x) \geq 0$ и что $g(x) \geq 0$.

Возведение в квадрат - операция не взаимно однозначная: числа $a$ и $-a$ дают один и тот же квадрат $a^2$. Поэтому уравнение $g(x)^2 = f(x)$ описывает сразу два случая - $\sqrt{f(x)} = g(x)$ и $\sqrt{f(x)} = -g(x)$. Решения второго случая и есть источник посторонних корней: алгебра их не различает, а исходное равенство требует именно $g(x) \geq 0$.

$\sqrt{f(x)} = g(x) \quad \Rightarrow \quad f(x) = g(x)^2 \quad (\text{но не наоборот}).$

Стрелка идёт только в одну сторону: каждый корень исходного уравнения удовлетворяет квадрированному, но не каждый корень квадрированного годится в исходное. Именно поэтому финальная проверка обязательна - без неё ответ почти наверняка будет содержать лишнее значение.

Рассчитать для своей задачи

Подстановка в исходное уравнение - универсальный способ

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

Пример. Решим $\sqrt{x + 3} = x - 3$.

Возведём в квадрат: $x + 3 = (x - 3)^2 = x^2 - 6x + 9$, то есть $x^2 - 7x + 6 = 0$. Корни: $x_1 = 1$ и $x_2 = 6$.

Проверяем. При $x = 1$: слева $\sqrt{1 + 3} = 2$, справа $1 - 3 = -2$. Равенство $2 = -2$ ложно - значит, $x = 1$ посторонний. При $x = 6$: слева $\sqrt{6 + 3} = 3$, справа $6 - 3 = 3$. Равенство верно - $x = 6$ настоящий.

Ответ: $x = 6$.

Преимущество подстановки в том, что она ничего не требует помнить: достаточно аккуратно посчитать обе части. Это особенно ценно на экзамене, где легко запутаться в равносильных переходах. Похожим образом устроена и проверка в иррациональных неравенствах, только там сравнивают знаки, а не точные значения; разбор есть в статье про метод решения иррациональных неравенств.

Проверка через ОДЗ и знак правой части

Второй способ - отсеять кандидаты по двум условиям, не подставляя их в само уравнение. Для $\sqrt{f(x)} = g(x)$ это:

$$\begin{cases} f(x) \geq 0 & (\text{ОДЗ: подкоренное неотрицательно}), \\ g(x) \geq 0 & (\text{правая часть неотрицательна}). \end{cases}$$

ОДЗ отсекает значения, при которых корень вообще не существует. Условие $g(x) \geq 0$ отсекает «зеркальные» корни, пришедшие из ветки $\sqrt{f(x)} = -g(x)$. Любой кандидат, нарушающий хотя бы одно условие, - посторонний.

В разобранном выше примере правая часть $g(x) = x - 3$. При $x = 1$ имеем $g(1) = -2 < 0$ - условие нарушено, корень посторонний, и это видно без подстановки. При $x = 6$: $g(6) = 3 \geq 0$ и подкоренное $6 + 3 = 9 \geq 0$ - оба условия выполнены, корень годится.

Этот способ удобен, когда подстановка громоздка (большие числа, дробные значения). Но он требует аккуратности: нужно проверять оба условия, а не только ОДЗ. Самая частая ошибка - проверить лишь неотрицательность подкоренного, забыв про знак правой части.

Равносильный переход вместо проверки

Третий путь - сразу заменить уравнение равносильной системой, которая по построению не порождает посторонних корней. Тогда отдельная проверка не нужна: все решения системы автоматически являются решениями исходного уравнения.

$$\sqrt{f(x)} = g(x) \iff \begin{cases} g(x) \geq 0, \\ f(x) = g(x)^2. \end{cases}$$

Условие $f(x) \geq 0$ здесь не выписывают отдельно: оно следует из $f(x) = g(x)^2 \geq 0$ автоматически. Достаточно потребовать неотрицательность правой части и равенство квадратов. Решив систему, мы сразу получаем чистый ответ.

Рассчитать для своей задачи

Для уравнения с корнем по обе стороны, $\sqrt{f(x)} = \sqrt{h(x)}$, равносильная система ещё проще: обе части неотрицательны по определению, поэтому достаточно $f(x) = h(x)$ при условии $f(x) \geq 0$ (тогда и $h(x) \geq 0$ выполнится автоматически). Посторонние корни тут возникают только из-за расширения ОДЗ при квадрировании, поэтому проверка ОДЗ обязательна и здесь.

Корни нечётной степени - когда проверка не нужна

Принципиально иная ситуация - корень нечётной степени, например кубический $\sqrt[3]{f(x)} = g(x)$. Кубический корень определён для любого вещественного числа и сохраняет знак подкоренного выражения, а возведение в куб - взаимно однозначная операция. Поэтому переход $\sqrt[3]{f(x)} = g(x) \iff f(x) = g(x)^3$ равносилен, и посторонние корни не появляются.

Это значит, что для уравнений только с нечётными корнями проверка формально не обязательна - но её всё равно полезно делать как страховку от арифметических ошибок при возведении в степень. А вот как только в уравнении есть хотя бы один корень чётной степени, риск посторонних корней возвращается, и проверка снова становится критичной.

Где теряются настоящие корни

Обратная по смыслу опасность - не приобрести лишний корень, а потерять настоящий. Это случается, когда обе части делят на выражение, содержащее переменную, или когда необдуманно сужают ОДЗ. Например, при возведении в квадрат уравнения с несколькими радикалами часть преобразований может незаметно отбросить ветку решения.

Поэтому правильная стратегия двусторонняя: после возведения в степень проверяем кандидаты на посторонность, но при этом следим, чтобы по дороге не «схлопнуть» допустимые значения. Деление обеих частей на множитель с переменной заменяют разложением на множители и приравниванием каждого к нулю - так ни один корень не теряется.

Частые ошибки

• Пропуск проверки целиком. После возведения в квадрат записывают оба корня в ответ, не подставив их. Почти гарантированно один из них посторонний.
• Проверка только ОДЗ. Кандидат лежит в области определения, но правая часть в нём отрицательна - такой корень всё равно посторонний. Нужно проверять и знак правой части.
• Подстановка в преобразованное, а не исходное уравнение. Если подставлять в уже квадрированное уравнение, посторонний корень «пройдёт» проверку - надо подставлять в исходное, до возведения в степень.
• Лишняя проверка для нечётных корней с потерей корней. Для кубического корня посторонних не бывает, но если при этом делили на множитель с переменной - можно потерять настоящий корень.
• Округление при проверке. Подставляя иррациональное значение, считают приближённо и получают «почти равенство», ошибочно принимая корень. Проверять нужно точно, символьно.

FAQ

Можно ли вообще не делать проверку, если решать через равносильную систему? Да. Равносильный переход $\sqrt{f(x)} = g(x) \iff \{g(x) \geq 0,\ f(x) = g(x)^2\}$ по построению не даёт посторонних корней, поэтому отдельная подстановка не требуется. Но на практике многие решают «в лоб» возведением в квадрат - и тогда проверка строго обязательна. Выбор метода за вами: либо аккуратная система без проверки, либо быстрое квадрирование с финальной проверкой подстановкой.

Чем отличается посторонний корень от потери корня? Посторонний корень - это лишнее значение, которое появилось после возведения в степень и не удовлетворяет исходному уравнению; его отсеивают проверкой. Потеря корня - наоборот, исчезновение настоящего решения из-за неравносильного преобразования (чаще всего деления на выражение с переменной). Первое лечится проверкой, второе - отказом от деления в пользу разложения на множители.

Как проверять корень, если он иррациональное число? Подставляйте символьно, не переводя в десятичную дробь. Например, для $x = 2 + \sqrt{3}$ подкоренное выражение и правую часть упрощают по правилам действий с радикалами и сравнивают точно. Приближённое вычисление допустимо лишь для предварительной прикидки знака, но не как окончательное доказательство.

Коротко

Проверка корней в иррациональных уравнениях нужна потому, что возведение чётной степени неравносильно: оно теряет условия $f(x) \geq 0$ и $g(x) \geq 0$ и потому может добавить посторонние корни. Отсеять их можно тремя способами: подстановкой кандидата в исходное уравнение (универсально и без теории), проверкой пары условий ОДЗ и знака правой части, либо изначальным переходом к равносильной системе, которая вовсе не порождает лишних корней. Для нечётных корней посторонних значений не возникает, но проверка полезна от арифметических ошибок. Форма выше собирает уравнение и кандидат на корень и открывает в чате пошаговую проверку с обоснованием, настоящий это корень или посторонний.