ОСНОВНЫЕ ПОНЯТИЯ И ОПРЕДЕЛЕНИЯ, СВЯЗАННЫЕ С СИСТЕМАМИ УРАВНЕНИЙ. ОСНОВНЫЕ СВОЙСТВА СИСТЕМ УРАВНЕНИЙ
(S)
Классификацию систем (их названия) проводят по числу и характеру уравнений, входящих в систему. Например:
Бывают системы логарифмические, тригонометрические и т. д.
Решением системы называют совокупность значений неизвестных системы, принадлежащих ее множеству допустимых значений и удовлетворяющих всем уравнениям системы одновременно.
Если, например, х = 3, у = - 1, z = 2 и х = -1, у = 2, z = 5 – два решения некоторой системы с тремя неизвестными, то их обозначают
Решить систему - это значит найти множество всех ее решений. Если система не имеет решений, то говорят, что она противоречивая, или несовместная.
Если все решения одной системы являются решениями другой системы, то вторую систему называют следствием первой системы.
Две системы называются равносильными (эквивалентными), если каждая из них является следствием другой.
Из этого определения следует, что равносильные системы имеют только одни и те же решения.
Очевидно, что две несовместные системы можно считать равносильными (они обе не имеют решений).
Важны также следующие понятия.
Система (S) равносильна совокупности двух систем (S') и (S"), если каждое решение системы (S) является в то же время решением либо системы (S'), либо системы (S") и обратно: все решения систем (S') и (S") являются в то же время решениями системы (S).
Уравнение А = В есть уравнение - следствие системы (S), если все решения этой системы являются в то же время решениями уравнения А = В.
Например, очевидно, что уравнения A1 + A2 + ,..+ An = В1 + В2 +...+ Bn и А1·А2·...·Аn = В1·В2·...·Вn являются уравнениями-следствиями системы
Имеют место следующие свойства систем.
- Любое уравнение системы можно заменить уравнением ему равносильным; при этом получится равносильная система.
Справедливость этого свойства вытекает из понятий равносильности уравнений и систем. - Если одно из уравнений системы (S) равносильно совокупности двух уравнений, то эта система равносильна совокупности двух систем (S') и (S"), в каждой из которых это уравнение заменено на одно из уравнений равносильной совокупности, а осталь ные оставлены без изменения.
Например, в системе
и
- Если к уравнениям системы (S) присоединить уравнение - следствие этой системы, то новая система будет равносильна системе (S). Справедливость этого свойства очевидна из понятий уравнения-следствия системы и равносильности систем.
- Система двух уравнений
равносильна системе
(S)
где m1 m2, n1, n2 - либо числа, либо некоторые математические выражения, имеющие смысл на множестве допустимых значений системы S и такие, что выражение Δ = m1·n2 - n1·m2 не обращается на нем в нуль.
(S1)
Действительно, умножая обе части первого уравнения системы S на m1, а второго на m2 и складывая, получим первое уравнение системы S1. Умножая эти уравнения на n1 и n2 и складывая, получим второе уравнение системы S1. Из этого следует, что система S1 является следствием системы S. Обратно, умножая первое уравнение системы S1 на n2, а второе на - m2 и складывая, получим уравнение Δ·А1 = Δ·В1. Умножая первое уравнение системы S1 на - n1 а второе на m1 и складывая, получим уравнение Δ·А2 = Δ·B2. Следовательно, система является следствием системы S1, но, очевидно, система S является в свою очередь, следствием системы S2 (если сократить обе части уравнений системы S2 на Δ ≠ 0).
(S2)
Таким образом, каждая из систем S и S1 является следствием другой, т. е. они равносильны.
Выражение Δ обычно записывают в виде и называют определителем, составленным из элементов m1, m2, n1, n2. Следовательно, по определению
Следствия.
.
- Система
равносильна системе
(S)
при условии
(S1)
(т. е. m и n не равны нулю
на множестве допустимых значений системы S).
В частности, она равносильна системе
(m = 1, n = - 1).
- Система
равносильна системе
при условии
В частности, она равносильна системам
.
и
(m = 1, n = 1)
(m = 1, n = - 1)
например, выражение А1 входит составной частью в выражение А2. Если в выражении А2 его составную часть А1 заменить через В1, то получим новое выражение А'2 и тем самым новую систему
которая отличается от системы S лишь левой частью второго уравнения.
(S1)
Например, если в системе во втором уравнении заменим х ² + у через 3, то получим систему
- Система
- Система
равносильна системе
(S)
где A'2 - новое выражение, получившееся из выражения А2 в результате замены в нем его составной части А1 через B1.
(S1)
Действительно, из справедливости равенства А1 = В1 системы S или системы S1 для какого-нибудь решения системы S или S1 следует справедливость равенства А2 = А′2, а значит и равносильность систем S и S1.
- Выражаем из какого-нибудь уравнения системы одно неизвестное через остальные (при этом надо следить, чтобы новое уравнение было равносильно исходному).
- Исключаем это неизвестное из остальных уравнений системы, подставив найденное выражение в прочие уравнения. В результате получим систему, в которой число уравнений и неизвестных на единицу меньше, чем в исходной системе.
- С этой системой поступаем аналогично и т. д. В конечном итоге мы придем к одному уравнению.
- Находим все решения последнего уравнения и подставляем их последовательно в уравнения, выражающие одно неизвестное через остальные. В итоге получим все решения первоначальной системы.
Таким образом, первоначальная система имеет единственное решение: х = 1, у = -1, z = 2.
Однако далеко не всегда можно решить систему методом подстановки (не всегда возможно из уравнения выразить одно неизвестное через остальные). Тогда применяют различные частные приемы, которые невозможно предусмотреть общей теорией. Но каким бы приемом система ни решалась, надо тщательно следить за равносильностью преобразований. Если не удалось избежать действий, которые могут привести к появлению посторонних решений системы, то все найденные решения надо подвергнуть проверке, подставляя их в первоначальную систему.
Как и при решении уравнений, надо помнить, что если все уравнения системы рациональны относительно неизвестных и нет специальной оговорки, то решения такой системы ищутся на множестве комплексных чисел. Во всех остальных случаях системы в элементарной математике рассматриваются на множестве действительных чисел.