thì hệ (*) có nghiệm duy nhất. Có thể tính nghiệm theo công thức Cramer
1. Phương pháp loại biến Gauss giải hệ phương trình đại số tuyến tính:
Thí dụ cho hệ
(1)
Giả sử phần tử chính
. Chia phương trình thứ nhất cho
, ta có
, (2)
với
.
Dùng phương trình (2) để loại ẩn
khỏi các phương trình số 2, 3, 4 của hệ (1): Muốn vậy, nhân phương trình (2) tuần tự với
và tuần tự lấy các phương trình số 2, 3, 4 trừ đi các tích tương ứng vừa nhận được, ta có ba phương trình:
(3)
trong đó
(4)
Bây giờ chia phương trình thứ nhất của hệ (3) cho phần tử chính
ta có:
, (5)
trong đó
.
Bằng cách tương tự như khi loại
, bây giờ ta loại
khỏi các phương trình thứ ba và thứ tư, ta có:
. (6)
trong đó
. (7)
Chia phương trình thứ nhất của hệ (6) cho phần tử chính
, ta có:
, (8)
trong đó
.
Sau đó nhờ (8) ta loại
khỏi phương trình thứ hai của hệ (6), nhận được:
trong đó
(9)
Như vậy ta đã đưa hệ (1) về hệ tương đương có ma trận các hệ số là ma trận tam giác
(10)
Từ (10) xác định các ẩn
(11)
Vậy thủ tục giải hệ phương trình đại số tuyến tính bậc nhất quy về hai quá trình:
a) Quá trình thuận: đưa hệ (1) về dạng tam giác (10);
b) Quá trình nghịch: tìm ẩn theo các công thức (11).
Nếu phần tử chính của hệ bằng không thì chỉ cần thay đổi chỗ của các phương trình trong hệ tương ứng để làm cho phần tử chính khác không.
Số phép tính số học
cần thực hiện trong phương pháp Gauss bằng
.
Vậy số phép tính số học xấp xỉ tỷ lệ với luỹ thừa bậc ba của số ẩn.
2. Phương pháp căn bậc giải hệ phương trình đại số tuyến tính trong trường hợp ma trận
là ma trận đối xứng
Phương pháp này thuận lợi trong trường hợp hệ phương trình
A x = b (12)
có ma trận
là ma trận đối xứng, điều thường gặp trong các bài toán kỹ thuật.
Theo phương pháp này ma trận
được biểu diễn thành tích của hai ma trận tam giác chuyển vị
(13)
trong đó
Nhân hai ma trận
và
và cho tích bằng ma trận
, ta suy ra cá công thức tính các phần tử
:
(14)
Như vậy ta đã thay hệ (12) bằng hai hệ tương đương
T' y = b, T x = y 15)
hay
(16)
(17)
Từ đó suy ra các công thức tính:
(18)
(19)
Vậy quá trình thuận gồm tính các phần tử của ma trận
theo các công thức (14). Quá trình nghịch là tính các ma trận cột
và
theo các công thức (18), (19).