Hmm, I'm not sure if that is sufficient, essentially you are calculating the determinants. Is there a way you can cite the general row adding proof? Or a version of that proof you can emulate?
I'm trying to answer the following:
Prove the following identity without evaluating the determinants:
a + b c+d e+f a c e b d f
p q r = p q r + p q r
u v w u v w u v w
It comes from the theorem that if A, B and C are n x n matrices who differ in only one row, the ith row, and assume the ith row of C can be obtained by adding corresponding entries in the ith rows of A and B then,
det (C) = det (A) + det (B)
I think I proved it by using co - factor expansion of the determinants on the right hand side of the identity above. I ended up with the following co-factor expansion:
a + b ( qw - rv ) + c + d ( ru - pw ) + e + f ( pv - qu )
And this equals the determinant on the left hand side with a + b being an entry and (qw- rv ) being a minor of that entry etc.
Thus the proof is complete. Or is it ? My query is this: have I just evaluated the determinants without actually proving anything ? My understanding is that the result I showed above will hold for any integer, and therefore the identity is proved for all integers.
Any help would be appreciated.
PS anyone know how I can properly represent determinants on a post ?!?!
Here's how you can write a determinant: use LaTeX. Use the Advanced button, and click the TeX button. Here's a determinant:
You can double-click this determinant to get the LaTeX code that generated it.
Are you trying to prove it for n by n matrices or just for the specific example? If you need to prove it for general n by n matrices, there is no way you can calculate the determinant, because you don't know the entries. However, you can expand it along row i. Then you can recognize that the obtained minor is the same for both matrices A and B and thus you can break up your determinant into two.
Suppose you have an n by n matrix M. Let M(i,j) denote the minor obtained by removing row i and column j. Suppose the matrices A and B differ only in the entries of a certain row i. Then you surely have that A(i,j) = B(i,j) = C(i,j) since we have removed all the entries that make the determinants different.
I'm afraid that this still counts as a calculation of sorts, but its not an EXPLICIT one as we are not calculating the whole determinant, just a small portion of it.
Here it is:
Consider two 2x2 matrices that differ only in a single row.
A = a11 a12
B= a11 a12
det (A) + det (B) = (a11a22 - a12a21) + (a11b22 - a12b21 )
= a11 ( a22 + b22 ) - a12 ( a21 + b21 )
= det a11 a12
Sorry about the crappy formatting of the determinants. I haven't got used to using Latext yet.