Olympiad Maths Prep

Track / Stage 7 / 116 of 300 #1516 of 2000

Problem 1516

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.3 Prove it

Given A, non-inverted matrices of order n with real elements, n2n\ge 2 and given A{{A}^{*}}adjoin matrix A. Prove that tr(A)1tr({{A}^{*}})\ne -1 if and only if the matrix In+A{{I}_{n}}+{{A}^{*}} is invertible.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

To prove that tr(A)1 \text{tr}(A^*) \ne -1 if and only if the matrix In+A I_n + A^* is invertible, we will consider different cases based on the rank of matrix A A .

1. **Case 1: n=2 n = 2 **

Let A=[abcd] A = \begin{bmatrix} a & b \\ c & d \end{bmatrix} . The adjugate matrix A A^* is given by:
A=[dbca] A^* = \begin{bmatrix} d & -b \\ -c & a \end{bmatrix}
The determinant of I+A I + A^* is:
det(I+A)=det[1+dbc1+a] \det(I + A^*) = \det \begin{bmatrix} 1 + d & -b \\ -c & 1 + a \end{bmatrix}
By direct computation, we have:
det(I+A)=(1+d)(1+a)(b)(c)=1+a+d+adbc \det(I + A^*) = (1 + d)(1 + a) - (-b)(-c) = 1 + a + d + ad - bc
Since A A is not invertible, det(A)=adbc=0 \det(A) = ad - bc = 0 . Therefore:
det(I+A)=1+a+d \det(I + A^*) = 1 + a + d
This determinant is nonzero if and only if a+d1 a + d \ne -1 . Since tr(A)=a+d \text{tr}(A^*) = a + d , we conclude that tr(A)1 \text{tr}(A^*) \ne -1 if and only if I+A I + A^* is invertible.

2. **Case 2: n3 n \ge 3 and rank(A)n2 \text{rank}(A) \le n-2 **

If rank(A)n2 \text{rank}(A) \le n-2 , then any n1 n-1 rows of A A are linearly dependent. This implies that any (n1)×(n1) (n-1) \times (n-1) submatrix of A A has dependent rows, and hence A=0 A^* = 0 . In this case:
tr(A)=01 \text{tr}(A^*) = 0 \ne -1
and:
I+A=I I + A^* = I
which is clearly invertible. Thus, tr(A)1 \text{tr}(A^*) \ne -1 if and only if I+A I + A^* is invertible.

3. **Case 3: n3 n \ge 3 and rank(A)=n1 \text{rank}(A) = n-1 **

Since rank(A)=n1 \text{rank}(A) = n-1 , the null space of A A is one-dimensional. Every column of A A^* lies within the null space of A A , implying rank(A)=1 \text{rank}(A^*) = 1 . Let B=A B = A^* . For rank 1 matrices, we have:
B2=(tr(B))B B^2 = (\text{tr}(B))B
This means the algebra generated by B B consists of span{I,B} \text{span}\{I, B\} . If I+B I + B is invertible, it must lie within this algebra. Suppose the inverse of I+B I + B is of the form I+αB I + \alpha B . Then:
(I+B)(I+αB)=I+(1+α)B+α(tr(B))B=I+(1+α+αtr(B))B (I + B)(I + \alpha B) = I + (1 + \alpha)B + \alpha (\text{tr}(B))B = I + (1 + \alpha + \alpha \text{tr}(B))B
For this to equal I I , we must have:
1+α+αtr(B)=0    α(1+tr(B))=1 1 + \alpha + \alpha \text{tr}(B) = 0 \implies \alpha (1 + \text{tr}(B)) = -1
If tr(B)=1 \text{tr}(B) = -1 , there is no solution for α \alpha , and I+B I + B is not invertible. If tr(B)1 \text{tr}(B) \ne -1 , we can solve for:
α=11+tr(B) \alpha = \frac{-1}{1 + \text{tr}(B)}
and verify that I+αB I + \alpha B is indeed the inverse of I+B I + B . Thus, tr(A)1 \text{tr}(A^*) \ne -1 if and only if I+A I + A^* is invertible.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.