Студопедия
rus | ua | other

Home Random lecture






ПРАВИЛО КРАМЕРА


Date: 2015-10-07; view: 379.


Теорема (правило Крамера). Если определитель системы d ¹ 0, тогда система имеет единственное решение, получающееся по формулам:

x1 = d1 / d …xn = dn / d

<Идея доказательства заключается в том, чтобы переписать систему (1) в форме матричного уравнения. Положим

X = , B =

и рассмотрим уравнение AX = B (2) с неизвестной матрицей-столбцом X. Так как A, X, B — матрицы размеров n x n, n x 1, n x 1 соответственно, то произведение прямоугольных матриц АХ определено и имеет те же размеры, что и матрица В. Таким образом, уравнение (2) имеет смысл.

Связь между системой (1) и уравнением (2) заключается в том, что является решением данной системы тогда и только тогда, когда

столбец есть решение уравнения (2).

Действительно, это утверждение означает выполнение равенства

=

= .

Последнее равенство, как равенство матриц, равносильно системе равенств

которое означает, что — решение системы (1).

Итак, решение системы (1) сводится к решению матричного уравнения (2). Так как определитель d матрицы А отличен от нуля, она имеет обратную матрицу А-1. Тогда АХ = В Þ А(^-1)(АХ) = А(^-1)В Þ (А(^-1)А)Х = А(^-1)В Þ ЕХ = А(^-1)В Þ Х = А(^-1)В (3). Следовательно, если уравнение (2) имеет решение, то оно задается формулой (3). С другой стороны, А(А(^-1)В) = (А А(^-1))В = ЕВ = В.

Поэтому Х = А(^-1)В есть единственное решение уравнения (2).

 

Так как ,

 

где Аij — алгебраическое дополнение элемента aij в определителе d, то

 

= ,

 

 

откуда (4).

В равенстве (4) в скобках написано разложение по элементам j-го столбца определителя dj, который получается из определителя d после замены в нем

j-го столбца столбцом свободных членов. Поэтому, xj = dj/ d. >

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

 


<== previous lecture | next lecture ==>
СИСТЕМЫ ЛИНЕЙНЫХ УРАВНЕНИЙ. | МНОГОЧЛЕНЫ. СЛОЖЕНИЕ И УМНОЖЕНИЕ МНОГОЧЛЕНОВ.
lektsiopedia.org - 2013 год. | Page generation: 2.015 s.