Quy Tắc Cramer – Wikipedia Tiếng Việt

Trong đại số tuyến tính, quy tắc Cramer là một công thức tường minh cho nghiệm của một hệ phương trình tuyến tính với số ẩn bằng số phương trình, chỉ áp dụng khi hệ có nghiệm duy nhất. Nó biểu diễn nghiệm của hệ theo các định thức của ma trận hệ số (vuông) và của các ma trận được tạo ra từ nó bằng cách thay một cột của ma trận hệ số bởi vectơ cột gồm các giá trị ở vế trái của các phương trình. Nó được đặt tên theo Gabriel Cramer (1704–1752), người đã xuất bản quy tắc cho số ẩn bất kỳ năm 1750,[1][2] mặc dù Colin Maclaurin cũng đã xuất bản một vài trường hợp đặc biệt của quy tắc vào năm 1748[3] (và có thể đã biết về nó sớm nhất năm 1729).[4][5][6] Quy tắc Cramer thường được sử dụng trong các bài toán biện luận nghiệm của hệ phương trình nhưng ít khi được sử dụng trong tính toán bằng số.

Trường hợp tổng quát

[sửa | sửa mã nguồn]

Xét hệ n phương trình tuyến tính với n ẩn,

a 11 x 1 + a 12 x 2 + ⋯ + a 1 n x n = b 1 a 21 x 1 + a 22 x 2 + ⋯ + a 2 n x n = b 2 ⋮ a n 1 x 1 + a n 2 x 2 + ⋯ + a n n x n = b n . {\displaystyle {\begin{matrix}a_{11}x_{1}+a_{12}x_{2}+\cdots +a_{1n}x_{n}&=&b_{1}\\a_{21}x_{1}+a_{22}x_{2}+\cdots +a_{2n}x_{n}&=&b_{2}\\&\vdots &\\a_{n1}x_{1}+a_{n2}x_{2}+\cdots +a_{nn}x_{n}&=&b_{n}.\end{matrix}}}

còn có thể được biểu diễn dưới dạng phép nhân ma trận như sau:

A x = b {\displaystyle A\mathbf {x} =\mathbf {b} }

trong đó ma trận A cỡ n × n là ma trận hệ số, và vectơ x = ( x 1 , … , x n ) T {\displaystyle \mathbf {x} =(x_{1},\ldots ,x_{n})^{\mathsf {T}}} là vectơ cột gồm các biến (ẩn số), vectơ cột b = ( b 1 , … , b n ) T {\displaystyle \mathbf {b} =(b_{1},\ldots ,b_{n})^{\mathsf {T}}} gồm các giá trị ở vế trái.

Giả thiết rằng ma trận A có định thức khác 0.

Định lý khẳng định rằng trong trường hợp này hệ có nghiệm x {\displaystyle \mathbf {x} } duy nhất, các giá trị của từng biến một của nghiệm được cho bởi:

x i = det ( A i ) det ( A ) i = 1 , … , n {\displaystyle x_{i}={\frac {\det(A_{i})}{\det(A)}}\qquad i=1,\ldots ,n}

trong đó A i {\displaystyle A_{i}} là ma trận được tạo ra bằng thay cách thay cột thứ i của ma trận A bởi vectơ cột b.

Chứng minh

[sửa | sửa mã nguồn]

Một chứng minh ngắn

[sửa | sửa mã nguồn]

Một chứng minh ngắn gọn cho quy tắc Cramer[7] có thể được đưa ra như sau: chú ý rằng x 1 {\displaystyle x_{1}} chính là định thức của ma trận sau

X 1 = [ x 1 0 0 ⋯ 0 x 2 1 0 ⋯ 0 x 3 0 1 ⋯ 0 ⋮ ⋮ ⋮ ⋱ ⋮ x n 0 0 ⋯ 1 ] {\displaystyle X_{1}={\begin{bmatrix}x_{1}&0&0&\cdots &0\\x_{2}&1&0&\cdots &0\\x_{3}&0&1&\cdots &0\\\vdots &\vdots &\vdots &\ddots &\vdots \\x_{n}&0&0&\cdots &1\end{bmatrix}}}

Mặt khác, giả thiết rằng ma trận ban đầu A là khả nghịch, ma trận X 1 {\displaystyle X_{1}} này có các cột A − 1 b , A − 1 v 2 , … , A − 1 v n {\displaystyle A^{-1}\mathbf {b} ,A^{-1}\mathbf {v} _{2},\ldots ,A^{-1}\mathbf {v} _{n}} , trong đó v n {\displaystyle \mathbf {v} _{n}} là cột thứ n của ma trận A. Nhớ lại rằng ma trận A 1 {\displaystyle A_{1}} có các cột là b , v 2 , … , v n {\displaystyle \mathbf {b} ,\mathbf {v} _{2},\ldots ,\mathbf {v} _{n}} , suy ra X 1 = A − 1 A 1 {\displaystyle X_{1}=A^{-1}A_{1}} . Vì thế, sử dụng kết quả rằng định thức của tích hai ma trận bằng tích các định thức, ta có

x 1 = det ( X 1 ) = det ( A − 1 ) det ( A 1 ) = det ( A 1 ) det ( A ) . {\displaystyle x_{1}=\det(X_{1})=\det(A^{-1})\det(A_{1})={\frac {\det(A_{1})}{\det(A)}}.}

Chứng minh tương tự đối với các ẩn x j {\displaystyle x_{j}} khác.

Diễn giải hình học

[sửa | sửa mã nguồn]

Quy tắc Cramer có một cách diễn giải hình học mà có thể được xem là một chứng minh trực quan hay đơn giản chỉ là đưa ra một cái nhìn sâu sắc về bản chất hình học của nó. Những lập luận hình học được đưa ra dưới đây là có hiệu lực trong tổng quát và không chỉ đúng trong trường hợp hệ hai phương trình hai ẩn được trình bày dưới đây.

Cho hệ phương trình tuyến tính

a 11 x 1 + a 12 x 2 = b 1 a 21 x 1 + a 22 x 2 = b 2 {\displaystyle {\begin{matrix}a_{11}x_{1}+a_{12}x_{2}&=b_{1}\\a_{21}x_{1}+a_{22}x_{2}&=b_{2}\end{matrix}}}

Có thể coi nó là một phương trình giữa các vectơ

x 1 ( a 11 a 21 ) + x 2 ( a 12 a 22 ) = ( b 1 b 2 ) . {\displaystyle x_{1}{\binom {a_{11}}{a_{21}}}+x_{2}{\binom {a_{12}}{a_{22}}}={\binom {b_{1}}{b_{2}}}.}

Diện tích hình bình hành tô đậm thứ nhất trong hình, xác định bởi hai vectơ ( a 11 a 21 ) {\displaystyle {\binom {a_{11}}{a_{21}}}} và ( a 12 a 22 ) {\displaystyle {\binom {a_{12}}{a_{22}}}} được cho bởi định thức của hệ phương trình:

| a 11 a 12 a 21 a 22 | . {\displaystyle {\begin{vmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{vmatrix}}.}

Nói chung, khi có nhiều hơn số biến và số phương trình, định thức của hệ n vectơ với n thành phần sẽ cho thể tích của hình hộp lục diện xác định bởi n vectơ đó trong không gian Euclid n chiều.

Vì thế, diện tích của hình bình hành thứ hai, xác định bởi hai vectơ x 1 ( a 11 a 21 ) {\displaystyle x_{1}{\binom {a_{11}}{a_{21}}}} và ( a 12 a 22 ) {\displaystyle {\binom {a_{12}}{a_{22}}}} , phải bằng x 1 {\displaystyle x_{1}} lần với diện tích của hình bình hành thứ nhất, vì một cạnh của nó đã được nhân lên với hệ số này. Cuối cùng, diện tích hình bình hành này, bởi nguyên lý Cavalieri, nó phải có diện tích bằng diện tích hình bình hành thứ ba được xác định bởi các vectơ

( b 1 b 2 ) = x 1 ( a 11 a 21 ) + x 2 ( a 12 a 22 ) {\displaystyle {\binom {b_{1}}{b_{2}}}=x_{1}{\binom {a_{11}}{a_{21}}}+x_{2}{\binom {a_{12}}{a_{22}}}} và ( a 12 a 22 ) . {\displaystyle {\binom {a_{12}}{a_{22}}}.}

Diện tích của các hình bình hành thứ hai và thứ ba là bằng nhau, lập phương trình và thay vào các định thức tương ứng với các diện tích, ta có phương trình sau

| b 1 a 12 b 2 a 22 | = | a 11 x 1 a 12 a 21 x 1 a 22 | = x 1 | a 11 a 12 a 21 a 22 | {\displaystyle {\begin{vmatrix}b_{1}&a_{12}\\b_{2}&a_{22}\end{vmatrix}}={\begin{vmatrix}a_{11}x_{1}&a_{12}\\a_{21}x_{1}&a_{22}\end{vmatrix}}=x_{1}{\begin{vmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{vmatrix}}}

từ đây quy tắc Cramer với x 1 {\displaystyle x_{1}} được suy ra, làm tương tự với x 2 {\displaystyle x_{2}} , ta có điều phải chứng minh.

Ứng dụng

[sửa | sửa mã nguồn]

Biện luận tường minh hệ phương trình cỡ nhỏ

[sửa | sửa mã nguồn]

Xét hệ phương trình tuyến tính

{ a 1 x + b 1 y = c 1 a 2 x + b 2 y = c 2 {\displaystyle \left\{{\begin{matrix}a_{1}x+b_{1}y&={\color {red}c_{1}}\\a_{2}x+b_{2}y&={\color {red}c_{2}}\end{matrix}}\right.}

dưới dạng ma trận nó là

[ a 1 b 1 a 2 b 2 ] [ x y ] = [ c 1 c 2 ] . {\displaystyle {\begin{bmatrix}a_{1}&b_{1}\\a_{2}&b_{2}\end{bmatrix}}{\begin{bmatrix}x\\y\end{bmatrix}}={\begin{bmatrix}{\color {red}c_{1}}\\{\color {red}c_{2}}\end{bmatrix}}.}

Giả sử a1b2 − b1a2 khác 0. Khi đó, nhờ các định thức, các ẩn x và y có thể tìm được tường minh bằng quy tắc Cramer như sau:

x = | c 1 b 1 c 2 b 2 | | a 1 b 1 a 2 b 2 | = c 1 b 2 − b 1 c 2 a 1 b 2 − b 1 a 2 , y = | a 1 c 1 a 2 c 2 | | a 1 b 1 a 2 b 2 | = a 1 c 2 − c 1 a 2 a 1 b 2 − b 1 a 2 . {\displaystyle {\begin{aligned}x&={\frac {\begin{vmatrix}{\color {red}{c_{1}}}&b_{1}\\{\color {red}{c_{2}}}&b_{2}\end{vmatrix}}{\begin{vmatrix}a_{1}&b_{1}\\a_{2}&b_{2}\end{vmatrix}}}={{\color {red}c_{1}}b_{2}-b_{1}{\color {red}c_{2}} \over a_{1}b_{2}-b_{1}a_{2}},\quad y={\frac {\begin{vmatrix}a_{1}&{\color {red}{c_{1}}}\\a_{2}&{\color {red}{c_{2}}}\end{vmatrix}}{\begin{vmatrix}a_{1}&b_{1}\\a_{2}&b_{2}\end{vmatrix}}}={a_{1}{\color {red}c_{2}}-{\color {red}c_{1}}a_{2} \over a_{1}b_{2}-b_{1}a_{2}}\end{aligned}}.}

Quy tắc đối với ma trận 3 × 3 cũng tương tự. Cho hệ

{ a 1 x + b 1 y + c 1 z = d 1 a 2 x + b 2 y + c 2 z = d 2 a 3 x + b 3 y + c 3 z = d 3 {\displaystyle \left\{{\begin{matrix}a_{1}x+b_{1}y+c_{1}z&={\color {red}d_{1}}\\a_{2}x+b_{2}y+c_{2}z&={\color {red}d_{2}}\\a_{3}x+b_{3}y+c_{3}z&={\color {red}d_{3}}\end{matrix}}\right.}

có biểu diễn dưới dạng ma trận

[ a 1 b 1 c 1 a 2 b 2 c 2 a 3 b 3 c 3 ] [ x y z ] = [ d 1 d 2 d 3 ] . {\displaystyle {\begin{bmatrix}a_{1}&b_{1}&c_{1}\\a_{2}&b_{2}&c_{2}\\a_{3}&b_{3}&c_{3}\end{bmatrix}}{\begin{bmatrix}x\\y\\z\end{bmatrix}}={\begin{bmatrix}{\color {red}d_{1}}\\{\color {red}d_{2}}\\{\color {red}d_{3}}\end{bmatrix}}.}

Khi đó biểu thức các giá trị x, y và z có thể tìm được như sau:

x = | d 1 b 1 c 1 d 2 b 2 c 2 d 3 b 3 c 3 | | a 1 b 1 c 1 a 2 b 2 c 2 a 3 b 3 c 3 | , y = | a 1 d 1 c 1 a 2 d 2 c 2 a 3 d 3 c 3 | | a 1 b 1 c 1 a 2 b 2 c 2 a 3 b 3 c 3 | , z = | a 1 b 1 d 1 a 2 b 2 d 2 a 3 b 3 d 3 | | a 1 b 1 c 1 a 2 b 2 c 2 a 3 b 3 c 3 | . {\displaystyle x={\frac {\begin{vmatrix}{\color {red}d_{1}}&b_{1}&c_{1}\\{\color {red}d_{2}}&b_{2}&c_{2}\\{\color {red}d_{3}}&b_{3}&c_{3}\end{vmatrix}}{\begin{vmatrix}a_{1}&b_{1}&c_{1}\\a_{2}&b_{2}&c_{2}\\a_{3}&b_{3}&c_{3}\end{vmatrix}}},\quad y={\frac {\begin{vmatrix}a_{1}&{\color {red}d_{1}}&c_{1}\\a_{2}&{\color {red}d_{2}}&c_{2}\\a_{3}&{\color {red}d_{3}}&c_{3}\end{vmatrix}}{\begin{vmatrix}a_{1}&b_{1}&c_{1}\\a_{2}&b_{2}&c_{2}\\a_{3}&b_{3}&c_{3}\end{vmatrix}}},\quad z={\frac {\begin{vmatrix}a_{1}&b_{1}&{\color {red}d_{1}}\\a_{2}&b_{2}&{\color {red}d_{2}}\\a_{3}&b_{3}&{\color {red}d_{3}}\end{vmatrix}}{\begin{vmatrix}a_{1}&b_{1}&c_{1}\\a_{2}&b_{2}&c_{2}\\a_{3}&b_{3}&c_{3}\end{vmatrix}}}.}

Tìm ma trận nghịch đảo

[sửa | sửa mã nguồn] Bài chi tiết: Ma trận khả nghịch

Cho A là một ma trận vuông n × n với các phần tử thuộc một trường F. Khi đó:

A adj ⁡ ( A ) = adj ⁡ ( A ) A = det ( A ) I {\displaystyle A\,\operatorname {adj} (A)=\operatorname {adj} (A)\,A=\det(A)I}

trong đó adj(A) ký hiệu cho ma trận phụ hợp, det(A) là định thức, và I là ma trận đơn vị. Nếu det(A) khác 0 (khả nghịch) thì ma trận nghịch đảo của A là

A − 1 = 1 det ( A ) adj ⁡ ( A ) . {\displaystyle A^{-1}={\frac {1}{\det(A)}}\operatorname {adj} (A).}

Điều này cho ta một công thức để tính nghịch đảo của A, nếu det(A) ≠ 0. Thật vậy, công thức này đúng khi F là một vành giao hoán, giả thiết det(A) là một đơn vị. Nếu det(A) không là đơn vị thì A không khả nghịch trên vành đó (nó có thể khả nghịch trên một vành lớn hơn trong đó một số phần tử khác đơn vị của F có thể khả nghịch).

Tham khảo

[sửa | sửa mã nguồn]

1. ^ Cramer, Gabriel (1750). “Introduction à l'Analyse des lignes Courbes algébriques” (bằng tiếng Pháp). Geneva: Europeana. tr. 656–659. Truy cập ngày 18 tháng 5 năm 2012.
2. ^ Kosinski, A. A. (2001). “Cramer's Rule is due to Cramer”. Mathematics Magazine. 74: 310–312. doi:10.2307/2691101.
3. ^ MacLaurin, Colin (1748). A Treatise of Algebra, in Three Parts.
4. ^ Boyer, Carl B. (1968). A History of Mathematics (ấn bản thứ 2). Wiley. tr. 431.
5. ^ Katz, Victor (2004). A History of Mathematics . Pearson Education. tr. 378–379.
6. ^ Hedman, Bruce A. (1999). “An Earlier Date for "Cramer's Rule"” (PDF). Historia Mathematica. 26 (4): 365–368. doi:10.1006/hmat.1999.2247.
7. ^ Robinson, Stephen M. (1970). “A Short Proof of Cramer's Rule”. Mathematics Magazine. 43: 94–95.

Liên kết ngoài

[sửa | sửa mã nguồn] Wikibooks có một quyển sách tựa đề Linear Algebra/Cramer's Rule

• Proof of Cramer's Rule Lưu trữ 2015-09-22 tại Wayback Machine
• WebApp descriptively solving systems of linear equations with Cramer's Rule Lưu trữ 2011-04-25 tại Archive.today
• Online Calculator of System of linear equations
• Wolfram MathWorld explanation on this subject

x t s Các chủ đề trong Đại số tuyến tính
Khái niệm cơ bản	Vô hướng Vectơ Không gian vectơ Phép nhân vô hướng Chiếu vectơ Hệ sinh Ánh xạ tuyến tính Phép chiếu tuyến tính Độc lập tuyến tính Tổ hợp tuyến tính Cơ sở Chuyển cơ sở Vectơ hàng và cột Không gian hàng và cột Hạt nhân Giá trị riêng và vectơ riêng Ma trận chuyển vị Hệ phương trình tuyến tính
Ma trận	Khối Phân rã Nghịch đảo Định thức con Tích Hạng Biến đổi Quy tắc Cramer Phép khử Gauss
Song tuyến tính	Trực giao Tích vô hướng Không gian tích trong Tích ngoài Quá trình Gram–Schmidt
Đại số đa tuyến tính	Định thức Tích vectơ Tích ba Tích vectơ 7 chiều Đại số hình học Đại số ngoài Song vectơ Đa vectơ Tenxơ Cấu xạ ngoài
Xây dựng không gian vectơ	Không gian đối ngẫu Tổng trực tiếp Không gian hàm Thương Không gian con Tích tenxơ
Đại số tuyến tính số	Floating-point Bình phương tối thiểu tuyến tính Ổn định số Basic Linear Algebra Subprograms Ma trận thưa Comparison of linear algebra libraries
Thể loại Mục lục Chủ đề Toán học Wikibook Wikiversity