Областью определения этого уравнения является вся числовая ось. Возведем данное уравнение в куб:
В последнее уравнение входит выражение
Возведя в куб, получим
(
откуда
Проверка убеждает нас в том, что корень
Приведенные примеры свидетельствуют о том, что нахождение области определения уравнения (или, как иногда говорят, области допустимых значений — ОДЗ) не гарантирует нас от появления посторонних корней, т. е. не избавляет от необходимости делать проверку полученных в результате решения корней.
Это не означает, что находить область определения всегда бессмысленно. Можно привести много примеров, когда знание области определения существенно упрощает решение.
Что же касается проверки, то она оказывается излишней только в тех случаях, когда исследована эквивалентность применявшихся в процессе решения преобразований.
Для этого необходимо выяснить, при каких преобразованиях мы получаем следствие данного уравнения, а в каких случаях нам грозит потеря корней.
Посмотрим на примере, как исследуется равносильность двух уравнений. Имеет место следующая теорема.
Другими словами, если уравнение
заменить уравнением
то потери корней не произойдет, а приобретение корней может произойти.
Сначала докажем, что не произойдет потери корней, т. е. что любой корень
— истинное числовое равенство, где
Таким образом,
— истинное числовое равенство, т. е.
Остается убедиться в том, что уравнение (5) может иметь корни, посторонние для уравнения (4). Чтобы доказать это, достаточно привести пример. Уравнение
cos
после уничтожения подобных членов принимает вид
cos
Корнями уравнения (5'') будут числа
Итак, теорема доказана.
Несколько уравнений могут образовать систему или совокупность.
Говорят о
Если же нужно найти все такие решения, которые удовлетворяют
Систему уравнений обычно записывают в столбик и ставят сбоку фигурную скобку — знак системы; совокупность уравнений, как правило, записывается в строку. Если же совокупность уравнений удобнее записать в столбик, то слева ставят квадратную скобку — знак совокупности.
Если мы рассмотрим совокупность двух уравнений:
то корни первого:
Если же мы рассмотрим систему
то из корней первого уравнения нужно выбрать те, которые удовлетворяют и второму уравнению системы. Получим только одно решение системы:
Уравнение
называется
(7)
Доказательство.
ЕслиПусть теперь
Докажите следующие теоремы о равносильности уравнений.
17.
Если к обеим частям уравненияприбавить выражение (
18.
Уравненияи
в случае, когда (
19.
Если в уравнении(8)
отбросить знаменатель, то получится уравнение
являющееся следствием данного уравнения.
19а.
Уравнение (8) равносильно системе(8а)
20.
Если обе части уравнения