Лемма 1. Пусть (1)
- неоднородная система линейных уравнений над полем P, (2)
- однородная система линейных уравнений, ассоциированная с (1). Тогда выполняются следующие условия:
1) Если
и
- решения системы (1), то
- решение системы (2).
2) Если
- решение системы (1) и
- решение (2), то
- решение системы (1).
Доказательство. 1) Так как
- решение (1), то
. Так как
- решение (1), то
. Тогда
,
=>
- решение системы (2).
2) Так как
– решение системы (1), то
. Так как
– решение системы (2), то
. Тогда
,
и
- решение системы (1). Лемма доказана.
Теорема 1. Пусть (1) - неоднородная система линейных уравнений над полем P, (2) - однородная система линейных уравнений, ассоциированная с (1), Н – множество всех решений системы (1), U - множество всех решений системы (2),
- некоторое решение системы (1). Тогда Н =
+ U, где
+ U =
.
Из теоремы 1 следует, что для того, чтобы найти множество всех решений системы (1), достаточно найти множество всех решений системы (2) и хотя бы одно решение системы (1).