Сборник задач по математике с решениями для поступающих в вузы

Приведя подобные члены, получим

2 lg (1 ? x) = ?2,

откуда x = 0,9 — единственный корень данного уравнения.

На этом примере мы видим, что правильное использование условия позволяет быстрее достичь цели, чем в случае чисто формальных преобразований.

Однако достаточно ли обоснованным было приведенное выше решение? Чтобы убедиться в этом, решите самостоятельно такое уравнение

lg (1 + x) + 3 lg (1 ? x) = lg (1 ? x?) + 2.

Оно отличается от предыдущего лишь знаком последнего члена. Поэтому, повторив все приведенные только что рассуждения, получим

2 lg (1 ? x)= 2,

откуда x = ?9. Подставив это значение x в исходное уравнение, убеждаемся в том, что нами найден посторонний корень. Произошло это потому, что уравнения

lg (1 + x) + 3 lg (1 ? x) = lg (1 + x) + lg (1 ? x) + 2

и

2 lg (1 ? x) = 2

неравносильны. Равносильность нарушилась в результате уничтожения в правой и левой частях уравнения члена lg (1 + x), который существенно ограничивал область определения уравнения. Таким образом, проверка здесь является необходимой частью решения.

Разобранный пример нередко предлагают решать так. Найдем область определения уравнения:

Теперь будем применять к уравнению те преобразования, которые не могут привести к потере корней:

lg (1 + x) + lg (1 ? x)? = lg (1 ? x?) + lg 100,

lg [(1 + x)(1 ? x)?] = lg 100(1 ? x?),

(1 + x)(1 ? x)? = 100(1 ? x?).

Решая последнее уравнение, найдем х₁ = 1, х₂ = ?1, х₃ = ?9, х₄ = 11. Так как все четыре числа не попали в интервал ?1 < x < 1, то исходное уравнение не имеет корней.

Для данного уравнения такой метод решения оказывается верным, так как позволяет отбросить все найденные значения x. Однако основан он на ошибочном убеждении, что в процессе преобразований могут быть приобретены лишь те посторонние корни, которые не попадают в область определения исходного уравнения.

Приведем два примера.

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

arcsin x = ^?/₃ + arcsin ^x/₂.

Его область определения — отрезок ?1 ? x ? 1. Возьмем синусы от правой и левой частей уравнения, в результате чего получим следствие

sin (arcsin x) = sin (^?/₃ + arcsin ^x/₂), т. е.

Решая последнее уравнение, получим х₁ = ?1, х₂ = 1. Оба значения x принадлежат области определения исходного уравнения, однако х₂ = ?1 — посторонний корень, в чем легко убедиться проверкой.

Решим теперь в области действительных чисел уравнение

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

В последнее уравнение входит выражение  являющееся левой частью данного уравнения. Заменяем его правой частью этого уравнения. Получим

Возведя в куб, получим

(x + 1)(3x + 1)(x ? 1) = ?(x + 1)?,

откуда x₁ = ?1, x₂ = 0.

Проверка убеждает нас в том, что корень x₂ = 0 является посторонним. Он появился в результате замены левой части данного уравнения на не равную ей тождественно правую часть.

Приведенные примеры свидетельствуют о том, что нахождение области определения уравнения (или, как иногда говорят, области допустимых значений — ОДЗ) не гарантирует нас от появления посторонних корней, т. е. не избавляет от необходимости делать проверку полученных в результате решения корней.

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

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

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

Посмотрим на примере, как исследуется равносильность двух уравнений. Имеет место следующая теорема.

Теорема 1. Если в уравнении произвести уничтожение двух подобным членов, то получится следствие данного уравнения.

Другими словами, если уравнение

f(x) + ?(x) ? ? (x) = 0        (4)

заменить уравнением

f(x) = 0,          (5)

то потери корней не произойдет, а приобретение корней может произойти.

Сначала докажем, что не произойдет потери корней, т. е. что любой корень x = с уравнения (4) является корнем уравнения (5). Если x = с — корень уравнения (4), то

f(с) + ?(c) ? ? (c) = 0          (4?)

— истинное числовое равенство, где f(с) и ? (с) — числа. Оно не нарушится в результате прибавления и последующего вычитания числа ?(c).

Таким образом,

f(с) = 0           (5?)

— истинное числовое равенство, т. е. x = с является также и корнем уравнения (5).

Остается убедиться в том, что уравнение (5) может иметь корни, посторонние для уравнения (4).