Lý thuyết
Với mỗi ma trận vuông \( A \) cấp \( n \), tồn tại một số thực được gọi là định thức của ma trận \( A \), được ký hiệu là \( det(A) \) hay \( |A| \):
Cho \( A \) là ma trận vuông cấp 2, định thức (cấp 2) của \( A \) được xác định như sau:
Nhận xét: Định thức cấp 2 được tính bằng cách lấy đường chéo chính trừ đường chéo phụ. Định thức cấp 2 được dùng để xác định tích có hướng của hai vector, diện tích hình bình hành và diện tích tam giác trong hình học.
Cho \( A \) là ma trận vuông cấp 3, định thức (cấp 3) của \( A \) được xác định như sau:
Nhận xét: Công thức khai triển thường được nhớ theo quy tắc Sarrus như sau:
Hoặc có thể ghi nhớ bằng cách thêm 2 cột vào sau định thức như sau:
Nhận xét: Định thức cấp 3 được dùng để xác định tích hỗn tạp của ba vector, thể tích hình hộp (xiên) và thể tích khối tứ diện trong hình học.
Xét ma trận
Ta định nghĩa phần bù đại số của \( a_{ij} \), được ký hiệu là \( A_{ij} \) và được xác định bởi:
Trong đó, \( M_{ij} \) là ma trận được tạo thành từ ma trận \( A \) sau khi bỏ đi hàng \( i \) và cột \( j \).
Từ định nghĩa phần bù đại số, định thức của ma trận vuông \( A \) được xác định như sau:
Công thức trên được gọi là công thức khai triển định thức theo hàng thứ \( i \), hay:
Công thức trên được gọi là công thức khai triển định thức theo cột thứ \( j \).
Lưu ý: Cần chú ý đến đại lượng xác định dấu \( (-1)^{i+j} \) trong công thức phần bù đại số để tránh nhầm lẫn trong việc tính toán. Các công thức khai triển định thức theo hàng hoặc theo cột gọi chung là khai triển Laplace.
Các tính chất quan trọng:
1. Định thức không thay đổi qua phép chuyển vị, tức là: \( detA^T = detA \) (Trong đó \( A^T \): ma trận chuyển vị của ma trận \( A \))
Nhận xét: Từ tính chất này, một mệnh đề hay tính chất về định thức nếu đúng với hàng thì cũng đúng với cột và ngược lại.
2. Nếu ta đổi chỗ hai hàng (hoặc 2 cột bất kỳ) của định thức thì định thức đổi dấu.
3. Nếu tất cả các phần tử của một hàng (hoặc một cột) của định thức được nhân với \( \lambda \) thì định thức mới bằng định thức ban đầu nhân với \( \lambda \)
Nhận xét: Từ tính chất này ta có nếu \( A \) là ma trận vuông cấp \( n \) thì \( det(\lambda A) = \lambda^n detA \)
4. Cho \( A \) là ma trận vuông cấp \( n \). Giả sử hàng thứ \( i \) của ma trận \( A \) có thể biểu diễn dưới dạng: \( a_{ij} = a'_{ij} + a''_{ij} \) với \( j = \overline{1,n} \). Khi đó ta có:
Trong đó các dòng còn lại của 3 định thức ở 2 vế là hoàn toàn như nhau và chính là các hàng còn lại của ma trận \( A \). Ta cũng có kết quả tương tự đối với cột.
Nhận xét: Các tính chất 2, 3, 4 chính là tính đa tuyến tính thay phiên của định thức. Từ các tính chất trên, dễ dàng suy ra các tính chất sau của định thức:
5. Định thức sẽ bằng 0 nếu:
- Có hai hàng (hai cột) bằng nhau hoặc tỉ lệ với nhau.
- Có một hàng (một cột) là tổ hợp tuyến tính của các hàng (cột khác).
6. Định thức sẽ không thay đổi nếu:
- Nhân một hàng (một cột) với một số bất kỳ rồi cộng vào hàng khác (cột khác).
- Cộng vào một hàng (một cột) một tổ hợp tuyến tính của các hàng (cột khác)
Nhận xét: Ta sử dụng các phép biến đổi sơ cấp để tạo ra nhiều số 0 nhất có thể trong 1 hàng hay 1 cột để khi khai triển định thức theo hàng hoặc cột đó sẽ được rút gọn một cách tối ưu.
7. Nếu \( A \) là ma trận tam giác trên, (hoặc tam giác dưới) thì \( detA \) bằng tích của tất cả các phần tử trên đường chéo chính.
8. (Định lý nhân định thức). Giả sử \( A = (a_{ij})_n \) và \( B = (b_{ij})_n \) là hai ma trận vuông cùng cấp \( n \), khi đó ta có:
Bài tập
Bài 1. Tính các định thức sau:
Bài 2. Tính các định thức sau theo tham số:
Bài 3. Giải các phương trình sau:
Bạn đã hoàn thành các bài tập? Tải lời giải về để đối chiếu nhé!
Lời giải tham khảo