уравнений (1.35) является неопределенной, а значит - что особенно важно - имеет
и ненулевые решения.
Используя положения общей теории систем линейных уравнений, рассмот-
ренные в предыдущем разделе, выделяем два случая, в зависимости от определи-
теля системы .
D
1.
0.D ≠
Если определитель системы линейных однородных уравнений не равен ну-
лю, то, согласно теореме Крамера, система имеет единственное решение, которым,
очевидно, является нулевое решение.
2.
0.D =
Если определитель системы линейных однородных уравнений равен нулю,
то такая система, кроме нулевого решения, имеет еще бесконечное множество
других, ненулевых решений. В этом случае исходная система эквивалентна систе-
ме из меньшего числа ее уравнений, которая может быть выделена и решена с по-
мощью понятия о ранге матрицы.
Сформулируем основные положения процедуры нахождения ненулевых
решений системы линейных однородных уравнений с неизвестными.
n n
Теорема 1.1. (Необходимые и достаточные условия наличия ненулевых
решений однородной системы).
Для того чтобы система линейных однородных уравнений с неизвест-
n n
ными имела ненулевые решения, необходимо и достаточно, чтобы определитель
системы был равен нулю. При этом система эквивалентна системе из меньшего
числа ее уравнений и имеет бесконечное множество решений.
Определение. Рангом квадратной матрицы -го порядка называется
n
число такое, что среди миноров -го порядка данной матрицы имеется, по край-
r r
ней мере, один, отличный от нуля, а все миноры
(1r )
-го порядка равны нулю.
Из определения следует, что наивысший порядок отличных от нуля мино-
ров матрицы равен рангу этой матрицы.
Теорема 1.2. Система n линейных однородных уравнений с n неизвестны-
ми эквивалентна системе из ее уравнений, где - ранг матрицы системы.
r r
Исследование и решение системы трех линейных однородных
уравнений с тремя неизвестными
Используя указанные положения, проведем исследование и решение сис-
темы трех линейных однородных уравнений с тремя неизвестными:
11 1 12 2 13 3
21 1 22 2 23 3
31 1 32 2 33 3
0,
0,
0.
ax ax ax
ax ax ax
ax ax ax
+=
⎧
⎪
+=
⎨
⎪
+=
⎩
(1.36)
Определитель этой системы
39