1.6. Методы решения уравнений и неравенств
Определение 1.9. Объединением уравнений (неравенств, систем уравнений и неравенств) называется их совокупность, общим решением которой считается теоретико-множественное объединение общих решений входящих в нее уравнений (неравенств, систем уравнений и неравенств).
Основным методом решения уравнений (неравенств) БЛ является последовательное расчленение их правых и левых частей, базирующееся на определении операций БЛ и позволяющее заменять исходное уравнение (неравенство) эквивалентным объединением систем, состоящих из более простых уравнений и неравенств. Решение системы уравнений и неравенств получается как пересечение решений входящих в нее уравнений (неравенств) . Пусть, например, в системе из двух уравнений
(1.70)
первое имеет решение
(1.71)
а второе — решение
(1.72)
(здесь
где
означают конкретные области значений параметра а, в которых решение имеет свое определенное выражение). Тогда решение системы (1.70) можно записать в виде следующего правила пересечения решений
(1.73)
Решение объединения уравнений (неравенств, систем уравнений и неравенств) получается на основании определения 1.9. Пусть, например, в объединении двух уравнений
(1.74)
решение первого — (1.71), а второго — (1.72). Тогда решение системы (1.74) можно записать в виде следующего правила объединения решений.
(1.75)
Остановимся теперь подробнее на методе расчленения. Пусть имеющееся уравнение (1.62) представлено в каноническом виде (1.64). Тогда в его левой и в правой частях последними операциями могут быть лишь дизъюнкция или конъюнкция (мы не учитываем операций конъюнкции, формирующих коэффициенты а, с, d, e, считая эти коэффициенты неделимым целым; мы также не учитываем крайней ситуации, когда левая или правая часть имеет вид с = const или хі или
Пусть, например, в левой части последняя операция — дизъюнкция. Тогда уравнение можно записать в форме
(1.76)
Теперь, согласно определению дизъюнкции БЛ (1.76), можно заменить эквивалентным объединением двух систем уравнений и неравенств
(1.77)
Каждое уравнение или неравенство в (1.77) проще исходного уравнения (1.76), так как по крайней мере в одной части содержит меньше операций. Этот процесс упрощения может быть продолжен путем расчленения правой части (1.76). Пусть, например, правая часть (1.76) также имеет в качестве последней операции дизъюнкцию. Тогда (1.76) примет вид
(1.78)
Используя представление
можно каждое из двух уравненийв (1.77)
заменить эквивалентным объединением двух систем уравнений, подобно замене (1.76) на (1.77). В результате получим следующее объединение четырех систем уравнений и неравенств, эквивалентное уравнению (1.78)
(1.79)
В каждом уравнении или неравенстве в (1.79) и правая и левая части проще, чем соответствующая часть в исходном уравнении (1.78). Процесс последовательного упрощения исходного уравнения продолжается теперь путем расчленения правых и левых частей в уравнениях (неравенствах) (1.79) и т. д.
Если в исходном уравнении в какой-то части (например, левой) последним операция — конъюнкция, то его можно записать в форме
(1.80)

Уравнение (1.80) по определению конъюнкции БЛ можно заменить эквивалентным объединением двух систем из более простых уравнений и неравенств
(1.81)
Дальнейшее упрощение исходного уравнения следует намеченной выше схеме; расчленяется правая часть уравнения (1.80), что позволяет заменить (1.81) эквивалентным объединением четырех систем уравнений и неравенств. После этого левые и правые части полученных уравнений и неравенств сами подвергаются расчленению и т. д.
Процесс последовательного упрощения исходного уравнения (неравенств) может продолжаться либо до получения нерасчленяемых уравнений и неравенств (они имеют простейший вид
где
или
т. e. в совокупности уже составляют решение), либо до получения типовых уравнений и неравенств, решения которых заготовлены заранее. Второй путь связан с меньшим объемом вычислений и потому позволяет решать более сложные уравнения и неравенства.
1.7. Типовые обыкновенные уравнения и неравенства без отрицаний
Рассмотрим несколько типовых уравнений и неравенств с одним неизвестным, не содержащих операций отрицания. Простейшее из них
(1.82)
Уравнение (1.82) эквивалентно объединению систем
что позволяет сразу записать его решение
(1.83)
Как видно, решение уравнения (1.82) существует лишь при
Неравенство
(1.84)
эквивалентно объединению систем
и, следовательно, имеет решение
(1.85)
Симметричное с (1.84) неравенство
(1.86)
можно заменить объединением систем
![]()
что дает решение в виде
. При
при ![]()
Итак, решение неравенства (1.86)
(1.87)
Видно, что решение неравенстве (1.86) существует при любых а и b. Уравнение
(1.88)
эквивалентно объединению бистем (b=x>c)
(b=c≥x). Потому его
решение можно записать как
(1.89)
Неравенство
(1.90)
можно представить в виде объединения cистемой
(с ≤x< b)
(x < с < b).
Это немедленно дает решение
(1.91)
Рассмотрим неравенство
(1.92)
Для него эквивалентное объединение систем
![]()
Отсюда следует решение этого неравенства в виде
(1.93)
Неравенство
(1.94)
заменой у = ах сводится к предыдущему неравенству, что дает возможность найти значение ах. Определяя х с учетом (1.84) и (1.85), получим решение
(1.95)
Неравенство
(1.96)
той же заменой сводится к рассмотренному неравенству (1.90), что позволяет найти ах. После этого учет (1.86), (1.87) дает решение неравенства (1.96) в форме
(1.97)
Нестрогое неравенство
(1.98)
эквивалентно объединению уравнения (1.82) с неравенством (1.86). Поэтому объединение их решений (1.83) и (1.87) дает решение неравенства (1.98)
(1.99)
Уравнение
(1.100)
эквивалентно объединению систем
Отсюда следует решение этого уравнения
(1.101)
Рассмотрим одно типовое неравенство с двумя неизвестными, не содержащее операции отрицания
(1.102)
Расчленение левой части (1.102) дает систему неравенств
решение которой находим отдельно для двух случаев:
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 |


