Определители. Решение систем линейных уравнений

КОСТРОМСКОЙ ФИЛИАЛ ВОЕННОГО УНИВЕРСИТЕТА РХБ ЗАЩИТЫ

Кафедра «Автоматизации управления войсками»

Только для преподавателей

"Утверждаю"

Начальник кафедры № 9

полковник ЯКОВЛЕВ А.Б.

«____»______________ 2004 г.

доцент А.И.СМИРНОВА

"ОПРЕДЕЛИТЕЛИ.

РЕШЕНИЕ СИСТЕМ ЛИНЕЙНЫХ УРАВНЕНИЙ"

ЛЕКЦИЯ № 2 / 1

Обсуждено на заседании кафедры № 9

«____»___________ 2004г.

Протокол № ___________

Кострома, 2004.

Содержание

Введение

Определители второго и третьего порядка.

Свойства определителей. Теорема разложения.

Теорема Крамера.

Заключение

Литература

В.Е. Шнейдер и др., Краткий курс высшей математики, том I, гл. 2, п.1.

1. В.С. Щипачев, Высшая математика, гл.10, п.2.

ВВЕДЕНИЕ

На лекции рассматриваются определители второго и третьего порядков, их свойства. А также теорема Крамера, позволяющая решать системы линейных уравнений с помощью определителей. Определители используются также в дальнейшем в теме "Векторная алгебра" при вычислении векторного произведения векторов.

1-ый учебный вопрос ОПРЕДЕЛИТЕЛИ ВТОРОГО И ТРЕТЬЕГО

ПОРЯДКА

Рассмотрим таблицу из четырех чисел вида

Числа в таблице обозначены буквой с двумя индексами. Первый индекс указывает номер строки, второй – номер столбца.

ОПРЕДЕЛЕНИЕ 1. Определителем второго порядка называют выражение вида:

(1)

Числа а_{>11, …,} >а_>22> называют э л е м е т а м и определителя.

Диагональ, образованная элементами а_>11>; а_>22> называется г л а в н ой, а диагональ, образованная элементами а_>12>; а_>21 >-_> >п о б о ч н ой.

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

Заметим, что в ответе получается число.

ПРИМЕРЫ. Вычислить:

Рассмотрим теперь таблицу из девяти чисел, записанных в три строки и три столбца:

ОПРЕДЕЛЕНИЕ 2. Определителем третьего порядка называется выражение вида:

Элементы а_>11;> а_>22>; а_>33> – образуют главную диагональ.

Числа а_>13; >а_>22>; а_>31> – образуют побочную диагональ.

Изобразим, схематически, как образуются слагаемые с плюсом и с минусом:

" + " " – "

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

Слагаемые с минусом образуются по той же схеме относительно побочной диагонали.

Это правило вычисления определителя третьего порядка называют

п р а в и л о м т р е у г о л ь н и к о в.

ПРИМЕРЫ. Вычислить по правилу треугольников:

ЗАМЕЧАНИЕ. Определители называют также д е т е р м и н а н т а м и.

2-ой учебный вопрос СВОЙСТВА ОПРЕДЕЛИТЕЛЕЙ.

ТЕОРЕМА РАЗЛОЖЕНИЯ

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

Свойство 1. Величина определителя не изменится, если его строки поменять местами с соответствующими столбцами.

.

Раскрывая оба определителя, убеждаемся в справедливости равенства.

Свойство 1 устанавливает равноправность строк и столбцов определителя. Поэтому все дальнейшие свойства определителя будем формулировать и для строк и для столбцов.

Свойство 2. При перестановке двух строк (или столбцов) определитель изменяет знак на противоположный, сохраняя абсолютную величину.

.

Свойство 3. Общий множитель элементов строки (или столбца) можно выносить за знак определителя.

.

Свойство 4. Если определитель имеет две одинаковые строки (или столбца), то он равен нулю.

Это свойство можно доказать непосредственной проверкой, а можно использовать свойство 2.

Обозначим определитель за . При перестановке двух одинаковых первой и второй строк он не изменится, а по второму свойству он должен поменять знак, т.е.

 = -   2  = 0   = 0.

Свойство 5. Если все элементы какой–то строки (или столбца) равны нулю, то определитель равен нулю.

Это свойство можно рассматривать как частный случай свойства 3 при

k = 0

Свойство 6. Если элементы двух строк (или столбцов) определителя пропорциональны, то определитель равен нулю.

.

Можно доказать непосредственной проверкой или с использованием свойств 3 и 4.

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

.

Доказывается непосредственной проверкой.

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

Для дальнейшего нам понадобится понятия минора и алгебраического дополнения. Рассмотрим эти понятия для определения третьего порядка.

ОПРЕДЕЛЕНИЕ 3. Минором данного элемента определителя третьего порядка называется определитель второго порядка, полученный из данного вычеркиванием строки и столбца, на пересечении которых стоит данный элемент.

Минор элемента а_>i>_> >_>j> обозначается М_>i>_> >_>j> . Так для элемента а_>11> минор

Он получается, если в определителе третьего порядка вычеркнуть первую строку и первый столбец.

ОПРЕДЕЛЕНИЕ 4. Алгебраическим дополнением элемента определителя называют его минор, умноженный на (-1)^k , где k - сумма номеров строки и столбца, на пересечении которых стоит данный элемент.

Алгебраическое дополнение элемента а_>i>_> >_>j> обозначается А_>i>_> >_>j>.

Таким образом, А_>i>_> >_>j> = .

Выпишем алгебраические дополнения для элементов а_>11> и а_>12.>

.

.

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

ПРИМЕР. Найти миноры и алгебраические дополнения для элементов первой строки определителя:

Миноры:

Алгебраические дополнения:

Ясно, что миноры и алгебраические дополнения могут отличаться только знаком.

Рассмотрим без доказательства важную теорему – теорему разложения определителя.

ТЕОРЕМА РАЗЛОЖЕНИЯ

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

Используя эту теорему, запишем разложение определителя третьего порядка по первой строке.

.

В развернутом виде:

.

Последнюю формулу можно использовать как основную при вычислении определителя третьего порядка.

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

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

Теорема разложения дает второй способ вычисления определителей третьего порядка.

ПРИМЕРЫ. Вычислить определитель, используя теорему разложения.

использовали разложения по второй строке.

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

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

3-ий учебный вопрос ТЕОРЕМА КРАМЕРА

Применим рассмотренную теорию определителей к решению систем линейных уравнений.

Система двух линейных уравнений с двумя неизвестными.

(3)

Здесь х_>1>_>, >х_>2> – неизвестные;

а_>11>, …, а_>22> – коэффициенты при неизвестных, занумерованные двумя индексами, где первый индекс означает номер уравнения, а второй индекс – номер неизвестного.

b_>1>, b_>2> – свободные члены.

Напомним, что под решением системы (3) понимается пара значений х_>1>_>, >х_>2>, которые при подстановке в оба уравнения обращают их в верные равенства.

В случае, когда система имеет единственное решение, это решение можно найти с помощью определителей второго порядка.

ОПРЕДЕЛЕНИЕ 5. Определитель, составленный из коэффициентов при неизвестных, называется определителем системы.

Обозначим определитель системы .

 = .

В столбцах определителя  стоят коэффициенты соответственно при х_>1> и при_>, >х_>2>.

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

_>1> = _>2> = .

Рассмотрим без доказательства следующую теорему:

ТЕОРЕМА КРАМЕРА (для случая n = 2)

Если определитель  системы (3) отличен от нуля (  0), то система имеет единственное решение, которое находится по формулам:

(4)

Формулы (4) называются формулами Крамера.

ПРИМЕР. Решить систему по правилу Крамера.

.

Ответ: х_>1> = 3; х_>2> = -1

2. Система трех линейных уравнений с тремя неизвестными:

(5)

В случае единственного решения систему (5) можно решить с помощью определителей третьего порядка.

Определитель системы  имеет вид:

Введем три дополнительных определителя:

.

Аналогично формулируется теорема.

ТЕОРЕМА КРАМЕРА (для случая n = 3)

Если определитель  системы (5) отличен от нуля, то система имеет единственное решение, которое находится по формулам:

(6)

Формулы ( 6 ) – это формулы Крамера.

ЗАМЕЧАНИЕ. Г. Крамер (1704 – 1752) – швейцарский математик.

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

Если определитель системы равен нулю, то в этом случае система может либо не иметь решений, либо иметь бесчисленное множество решений. Эти случаи исследуются особо, с ними можно подробно познакомиться в рекомендуемой литературе.

Отметим только один случай:

Если определитель системы равен нулю ( = 0), а хотя бы один из дополнительных определителей отличен от нуля, то система решений не имеет (т.е. является несовместной).

Теорему Крамера можно обобщать для системы n линейных уравнений с n неизвестными.

Если , то единственное решение системы находится по

формулам Крамера:

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

x_>i> заменить столбцом свободных членов.

Заметим, что определители , _>1>, … , _>n> имеют порядок n.

ЗАКЛЮЧЕНИЕ

На лекции рассмотрена новое понятие – определитель, подробно рассмотрены определители второго и третьего порядков, часто встречающиеся на практике. Для определителя третьего порядка приводятся два способа вычисления. Рассмотрена теорема Крамера, которая дает практический способ решения систем линейных уравнений, для случая, когда решение единственное. Более подробно с этой темой можно познакомиться в рекомендуемой литературе.