пользователей: 30398
предметов: 12406
вопросов: 234839
Конспект-online
РЕГИСТРАЦИЯ ЭКСКУРСИЯ

7) Правило Крамера и матричный метод решения СЛАУ. Системы линейных алгебраических уравнений. Не нулевые решения.

                Правило Крамера.

Система из n уравнений с n неизвестными

clip_image002(3).jpg

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

clip_image004(4).gif

где через clip_image006(4).gif обозначен детерминант матрицы системы, а через — детерминант матрицы, получаемой из матрицы системы заменой i-го столбца столбцом, свободных членов, т. г.

clip_image010(3).gif

Д ля доказательства возьмем расширенную матрицу системы A* и припишем к ней сверху произвольную ее строку. Пусть номер этой строки i. В результате получается квадратная матрица clip_image012.gif  порядка n+1 * В этой матрице две одинаковые строки, и потому

clip_image014.gif

C другой стороны, мы можем вычислить det clip_image015.gif по определению. Итак,

clip_image017.gif

Здесь через* М | обозначен детерминант'' матрицы, 'получаемой' ‘ из расширенной матрицы А* вычеркиванием 
i-го столбца. Следовательно учитывая,  что clip_image019.gif, мы можем написатьclip_image021.gif

Если-, внести множитель под знак суммы, это равенство примет вид

clip_image023.gif

Так определенный набор чисел х1, . . . , х п  как мы видим, удовлетворяет j-му уравнению системы. Существенно, что числа х1, . . . , х п не зависят от j и потому удовлетворяют всем уравнениям системы, т. е. являются ее решением. Существование решения доказано.

Преобразуем xi путём перестановки в clip_image024.gif последний столбец b на i-тое место. Перестановок будет n-I поэтому

clip_image026.gif

 

 

 

Единственность решения

Докажем от противного пусть нашлось два решения системы clip_image028.gif. Можем записать систему в виде

clip_image030.gif

Или короче

clip_image032.gif

Подставим полученные решения в систему тогда

clip_image034.gif

Вычитая почленно второе равенство из. первого, мы получаем

clip_image036.gif

Если решения не совпадают, то хоть одна из разностей clip_image038.gif отлична от нуля. Это означает, что столбцы a1. . . an линейно зависимы. Это противоречит тому что clip_image040.gif. Теорема доказана.


16.01.2015; 19:46
хиты: 139
рейтинг:0
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2024. All Rights Reserved. помощь