A: [ a b c d e f g h i ] \begin{bmatrix}
a & b & c\\
d & e & f\\
g & h & i
\end{bmatrix} ⎣ ⎡ a d g b e h c f i ⎦ ⎤
B: [ a b c d e f g + 2 a h + 2 b i + 2 c ] \begin{bmatrix}
a & b & c\\
d & e & f\\
g+2a & h+2b & i+2c
\end{bmatrix} ⎣ ⎡ a d g + 2 a b e h + 2 b c f i + 2 c ⎦ ⎤
d e t ( A ) = d e t ( B ) det(A)=det(B) d e t ( A ) = d e t ( B )
a ∗ d e t ( [ e f h i ] ) − b ∗ d e t ( [ d f g i ] ) + c ∗ d e t ( [ d e g h ] ) = a ∗ d e t ( [ e f h + 2 b i + 2 c ] ) − b ∗ d e t ( [ d f g + 2 a i + 2 c ] ) + c ∗ d e t ( [ d e g + 2 a h + 2 b ] ) a*det(\begin{bmatrix}
e & f \\
h & i
\end{bmatrix})-b*det(\begin{bmatrix}
d & f \\
g & i
\end{bmatrix})+c*det(\begin{bmatrix}
d & e \\
g & h
\end{bmatrix})=a*det(\begin{bmatrix}
e & f \\
h+2b & i+2c
\end{bmatrix})-b*det(\begin{bmatrix}
d & f \\
g+2a & i+2c
\end{bmatrix})+c*det(\begin{bmatrix}
d & e \\
g+2a & h+2b
\end{bmatrix}) a ∗ d e t ( [ e h f i ] ) − b ∗ d e t ( [ d g f i ] ) + c ∗ d e t ( [ d g e h ] ) = a ∗ d e t ( [ e h + 2 b f i + 2 c ] ) − b ∗ d e t ( [ d g + 2 a f i + 2 c ] ) + c ∗ d e t ( [ d g + 2 a e h + 2 b ] )
a ( e i − f h ) − b ( d i − f g ) + c ( d h − e g ) = a ( e ( i + 2 c ) − f ( h + 2 b ) ) − b ( d ( i + 2 c ) − f ( g + 2 a ) ) + c ( d ( h + 2 b ) − e ( g + 2 a ) ) a(ei-fh)-b(di-fg)+c(dh-eg)=a(e(i+2c)-f(h+2b))-b(d(i+2c)-f(g+2a))+c(d(h+2b)-e(g+2a)) a ( e i − f h ) − b ( d i − f g ) + c ( d h − e g ) = a ( e ( i + 2 c ) − f ( h + 2 b )) − b ( d ( i + 2 c ) − f ( g + 2 a )) + c ( d ( h + 2 b ) − e ( g + 2 a ))
a e i − a f h − b d i + b f g + c d h − e c g = b f g − a f h + e a i − b d i − e c g + c d h aei-afh-bdi+bfg+cdh-ecg=bfg-afh+eai-bdi-ecg+cdh a e i − a f h − b d i + b f g + c d h − ec g = b f g − a f h + e ai − b d i − ec g + c d h
0 = 0 0=0 0 = 0
Proved.
Comments