Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 2001 / Problems / Day 1, P5

IMC 2001 · Day 1 · P5

very hard

Let AA be an n×nn \times n complex matrix such that A≠λIA \ne \lambda I for all λ∈C\lambda \in \mathbb{C}. Prove that AA is similar to a matrix having at most one non-zero entry on the main diagonal.

Solution (official)

The statement will be proved by induction on nn. For n=1n = 1, there is nothing to do. In the case n=2n = 2, write A=[abcd]A = \begin{bmatrix} a & b \\ c & d \end{bmatrix}. If b≠0b \ne 0, and c≠0c \ne 0 or b=c=0b = c = 0 then AA is similar to [10a/b1][abcd][10−a/b1]=[0bc−ad/ba+d]\begin{bmatrix} 1 & 0 \\ a/b & 1 \end{bmatrix} \begin{bmatrix} a & b \\ c & d \end{bmatrix} \begin{bmatrix} 1 & 0 \\ -a/b & 1 \end{bmatrix} = \begin{bmatrix} 0 & b \\ c - ad/b & a + d \end{bmatrix} or [1−a/c01][abcd][1a/c01]=[0b−ad/cca+d],\begin{bmatrix} 1 & -a/c \\ 0 & 1 \end{bmatrix} \begin{bmatrix} a & b \\ c & d \end{bmatrix} \begin{bmatrix} 1 & a/c \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} 0 & b - ad/c \\ c & a + d \end{bmatrix}, respectively. If b=c=0b = c = 0 and a≠da \ne d, then AA is similar to [1101][a00d][1−101]=[ad−a0d],\begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix} \begin{bmatrix} a & 0 \\ 0 & d \end{bmatrix} \begin{bmatrix} 1 & -1 \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} a & d - a \\ 0 & d \end{bmatrix}, and we can perform the step seen in the case b≠0b \ne 0 again.

Assume now that n>3n > 3 and the problem has been solved for all n′<nn' < n. Let A=[A′∗∗β]A = \begin{bmatrix} A' & * \\ * & \beta \end{bmatrix}, where A′A' is (n−1)×(n−1)(n-1) \times (n-1) matrix. Clearly we may assume that A′≠λ′IA' \ne \lambda' I, so the induction provides a PP with, say, P−1A′P=[0∗∗α]P^{-1} A' P = \begin{bmatrix} 0 & * \\ * & \alpha \end{bmatrix}. But then the matrix B=[P−1001][A′∗∗β][P001]=[P−1A′P∗∗β]B = \begin{bmatrix} P^{-1} & 0 \\ 0 & 1 \end{bmatrix} \begin{bmatrix} A' & * \\ * & \beta \end{bmatrix} \begin{bmatrix} P & 0 \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} P^{-1} A' P & * \\ * & \beta \end{bmatrix} is similar to AA and its diagonal is (0,0,…,0,α,β)(0, 0, \dots, 0, \alpha, \beta). On the other hand, we may also view BB as [0∗∗C]\begin{bmatrix} 0 & * \\ * & C \end{bmatrix}, where CC is an (n−1)×(n−1)(n-1) \times (n-1) matrix with diagonal (0,…,0,α,β)(0, \dots, 0, \alpha, \beta). If the inductive hypothesis is applicable to CC, we would have Q−1CQ=DQ^{-1} C Q = D, with D=[0∗∗γ]D = \begin{bmatrix} 0 & * \\ * & \gamma \end{bmatrix} so that finally the matrix E=[100Q−1]⋅B⋅[100Q]=[100Q−1][0∗∗C][100Q]=[0∗∗D]E = \begin{bmatrix} 1 & 0 \\ 0 & Q^{-1} \end{bmatrix} \cdot B \cdot \begin{bmatrix} 1 & 0 \\ 0 & Q \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & Q^{-1} \end{bmatrix} \begin{bmatrix} 0 & * \\ * & C \end{bmatrix} \begin{bmatrix} 1 & 0 \\ 0 & Q \end{bmatrix} = \begin{bmatrix} 0 & * \\ * & D \end{bmatrix} is similar to AA and its diagonal is (0,0,…,0,γ)(0, 0, \dots, 0, \gamma), as required.

The inductive argument can fail only when n−1=2n - 1 = 2 and the resulting matrix applying PP has the form P−1AP=[0abcd0e0d]P^{-1} A P = \begin{bmatrix} 0 & a & b \\ c & d & 0 \\ e & 0 & d \end{bmatrix} where d≠0d \ne 0. The numbers aa, bb, cc, ee cannot be 0 at the same time. If, say, b≠0b \ne 0, AA is similar to [100010101][0abcd0e0d][100010−101]=[−babcd0e−b−dab+d].\begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 1 & 0 & 1 \end{bmatrix} \begin{bmatrix} 0 & a & b \\ c & d & 0 \\ e & 0 & d \end{bmatrix} \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ -1 & 0 & 1 \end{bmatrix} = \begin{bmatrix} -b & a & b \\ c & d & 0 \\ e - b - d & a & b + d \end{bmatrix}. Performing half of the induction step again, the diagonal of the resulting matrix will be (0,d−b,d+b)(0, d-b, d+b) (the trace is the same) and the induction step can be finished. The cases a≠0a \ne 0, c≠0c \ne 0 and e≠0e \ne 0 are similar.

How the field did

contestants scored
182
average (of 20)
2.91
solved (≥ 80%)
7.1%
near-0 (≤ 10%)
73.6%
discrimination
0.48

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 2008 · Day 2 · P11very hardavg 0.8/10 · solved 7% · near-0 90% · disc 0.43
IMC 2001 · Day 2 · P10very hardavg 1.2/10 · solved 7% · near-0 75% · disc 0.44
linear algebra
IMC 2007 · Day 2 · P11very hardavg 0.9/10 · solved 8% · near-0 89% · disc 0.55
linear algebra
IMC 2004 · Day 2 · P10very hardavg 1.6/10 · solved 6% · near-0 75% · disc 0.52
linear algebra