Sunday, 11 September 2011

Determinants III: more on factorization

1) Transpose of a matrix/determinants from $M_{ij}$ to $M_{ji}$ is defined by:

$(A^T)_{i,j}=(A)_{j,i}$

The element in the i row j column is moved to j row i column.

For simplicity, you can imagine that the determinant is flipped along the principal diagonal line (which is the top-left to bottom-right one).

Example:
$\left( \begin{array}{ccc}1&2&3\\4&5&6\\7&8&9\end{array} \right)^T=\left( \begin{array}{ccc}1&4&7\\2&5&8\\3&6&9\end{array} \right)$
Even if it isn't square matrix it still works:
$\left( \begin{array}{ccc}1&2&3\\4&5&6\end{array} \right)^T=\left( \begin{array}{cc}1&4\\2&5\\3&6\end{array} \right)$
In HKDSE, transpose is almost useless so I won't discuss its main properties, except one:
$\det(A^T)=\det(A)$
It may help when we can't solve a determinants, flipping it gives more clues. Take the HW as example:
Example: Factorize $\left| \begin{array}{ccc}1&1&1\\a&b&c\\a^3&b^3&c^3\end{array} \right|$, hence evaluate $X=\left| \begin{array}{ccc}1&2&8\\1&-3&-27\\1&4&64\end{array} \right|$.
Now notice that when $(a,b,c)=(2,-3,4)$, the original one is the transpose of X.
Therefore,
$\det(X)=\det\left| \begin{array}{ccc}1&1&1\\2&-3&4\\2^3&(-3)^3&4^3\end{array} \right|^T=(2-(-3))(-3-4)(4-2)(2-3+4)$
(the factorization has been demonstrated before) which gives the answer -210.

Note that transpose has given the symmetricities between rows and columns.

Uniqueness of degree in determinants

Sometimes the factorization does not give a unique degree in the polynomial expression which may cause difficulties in factorization.
Recall that determinants is the sum of product of elements from distinct rows and columns. Therefore it each row or column has unique degree, the factorization result has a unique degree.
For example,
$\left| \begin{array}{ccc}1&a&b\\a&1&b\\a&b&1\end{array} \right|$
In such case you can treat 1 as a variable in order to equate the degree. The determinant becomes:
$\left| \begin{array}{ccc}c&a&b\\a&c&b\\a&b&c\end{array} \right|$
Note that this determinant is NOT cyclic because each row are not in cyclic relationship.
Cyclic group of (a,b,c): (a,b,c) -> (b,c,a) -> (c,a,b) -> (a,b,c)
Cyclic group of (b,a,c): (b,a,c) -> (a,c,b) -> (c,b,a) -> (b,a,c)
They are two different group, and in this example, (c,a,b) can't reach (a,c,b) by cyclic relationship.
However we see that (a,b) is symmetrical because
$\left| \begin{array}{ccc}c&a&b\\a&c&b\\a&b&c\end{array} \right|=\left| \begin{array}{ccc}b&a&c\\b&c&a\\c&b&a\end{array} \right|=\left| \begin{array}{ccc}c&b&a\\b&c&a\\b&a&c\end{array} \right|$
Therefore if $f(a,c)$ is a factor of the det., $f(b,c)$ is also a factor of the det.
Notice that when $a=c$, $R_1=R_2$, $\Delta=0$ (the value of determinant = 0), so (c-a) is a factor of $\Delta$. As we have proven, (c-b) is also a factor of $\Delta$.
Though it's not cyclic, each row still contain a,b,c, which tell us (a+b+c) is a factor of it (this is an usual and important practice in factorizing determinants).
Equating degree, $\deg\Delta = 3, \deg((c-a)(c-b)(a+b+c))=3$, so we have factorized out all factor of $\Delta$, we now assume $\Delta=k(c-a)(c-b)(a+b+c)$, where k is a constant. By equating the coefficient, we get k = 1, and putting c = 1, we have $\Delta=(1-a)(1-b)(a+b+1)$

Case for x=y=z

When two equal variables "kill" the determinant, we say (a-b) is a factor. How to determine the factor when the condition "x=y=z" kill the determinant?

If x=y=z is the condition to make determinant zero, then $(x^2+y^2+z^2-xy-yz-zx)$ might be a  factor of the determinant.

That's because $x^2+y^2+z^2-xy-yz-zx=\frac{1}{2}[(x-y)^2+(y-z)^2+(z-x)^2]\geq 0$ by AM-GM. Be warned that the reverse is not necessarily true though.

Example:
Factorize $\Delta_1=\left| \begin{array}{ccc}x&y&z\\z&x&y\\y&z&x\end{array} \right|$, hence show that $\Delta_2=\left| \begin{array}{ccc}1&1&1\\z&x&y\\y&z&x\end{array} \right|=x^2+y^2+z^2-xy-yz-zx$
Step 0: Notice that the determinant is cyclic.
Step 1: Notice that the determinant vanishes when x=y=z, so $x^2+y^2+z^2-xy-yz-zx$ is a factor of the determinant.
Step 2: Equating degree, the degree of determinant is 3 while the current factor is 2, that remains one more factor with degree 1, then that must be (x+y+z).
Step 3: Equating coefficient, $\Delta_1=(x+y+z)(x^2+y^2+z^2-xy-yz-zx)$
Step 4: The second part of the question:
$\Delta_1=\left| \begin{array}{ccc}x+y+z&x+y+z&x+y+z\\z&x&y\\y&z&x\end{array} \right|=(x+y+z)\left| \begin{array}{ccc}1&1&1\\z&x&y\\y&z&x\end{array} \right|$
Therefore $\Delta_2=x^2+y^2+z^2-xy-yz-zx$.

For ugly result which can't be factorized

In this case we can't do much other than directly expansion.
Example: express $\Delta_3=\left| \begin{array}{ccc}1+x&1&1\\1&1+y&1\\1&1&1+z\end{array} \right|$ in polynomial.
Notice that
1) This is symmetrical (as we have proven)
2) Each term of the polynomal does not contain a term with a square or a cube of a certain variable like $ab^2$.
Then we can conclude that $\Delta_3=k_0+k_1\sigma_1+k_2\sigma_2+k_3\sigma_3$, where $\sigma_i$ are elemental functions for 3 variables.
By equating the coefficient, we have $\Delta_3=\sigma_2+\sigma_3=xy+yz+zx+xyz$.

Example: express $\left| \begin{array}{ccc}1&a&-b\\-a&1&c\\b&-c&1\end{array} \right|$ in polynomial.
Notice that: $\left| \begin{array}{ccc}1&a&-b\\-a&1&c\\b&-c&1\end{array} \right|^T=\left| \begin{array}{ccc}1&-a&b\\a&1&-c\\-b&c&1\end{array} \right|$, therefore the sign of variable does not change the value of determinant. Since the degree is under 3, we deduce that $\Delta_4=k_1+k_2(a^2+b^2+c^2)$ where $k_i$ are constants. By equating the coefficient, we have $\Delta_4=1+a^2+b^2+c^2$.

Exercise:
1)Show that for distinct a,b,c, $\left| \begin{array}{ccc}a&b&c\\a^2&b^2&c^2\\a^3-1&b^3-1&c^3-1\end{array} \right|=0$, then abc=1.
2)Factorize $\left| \begin{array}{ccc}1&1&1\\a^2-bc&b^2-ca&c^2-ab\\a^4&b^4&c^4\end{array} \right|$ given that the product is four linear and one quadratic factors. [Sheffield past paper]
3)Factorize $\left| \begin{array}{ccc}1&1&1\\bc(c-b)&ca(a-c)&ab(b-a)\\b^2c&c^2a&a^2b\end{array} \right|$.
4)Show that (a,c) is symmetrical for $\left| \begin{array}{ccc}1&a&b\\c&1&a\\b&c&1\end{array} \right|$, hence express it in polynomial.
5)Show that $\left| \begin{array}{ccc}1&a&b\\a&1&c\\b&c&1\end{array} \right|$ is symmetrical, hence express it in polynomial.
6)Why $(a^2+b^2+c^2-ab-bc-ca)$ is not a factor of $\Delta_3$?

Extra question:
For a square matrix $M_{nn}$ where $a_{ii}=1+k_i$ and $k_i$ are non-zero constants. The rest of the entries are 1. Show by induction, or otherwise, $\det(M_n)=\sigma_{n-1}+\sigma_n=\prod k_i(1+\frac{1}{k_1}+\frac{1}{k_2}+...+\frac{1}{k_n})$.  (AL level; 6~7M)

No comments:

Post a Comment