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 b0b \ne 0, and c0c \ne 0 or b=c=0b = c = 0 then AA is similar to [10a/b1][abcd][10a/b1]=[0bcad/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 [1a/c01][abcd][1a/c01]=[0bad/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 ada \ne d, then AA is similar to [1101][a00d][1101]=[ada0d],\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 b0b \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 AA' is (n1)×(n1)(n-1) \times (n-1) matrix. Clearly we may assume that AλIA' \ne \lambda' I, so the induction provides a PP with, say, P1AP=[0α]P^{-1} A' P = \begin{bmatrix} 0 & * \\ * & \alpha \end{bmatrix}. But then the matrix B=[P1001][Aβ][P001]=[P1APβ]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 [0C]\begin{bmatrix} 0 & * \\ * & C \end{bmatrix}, where CC is an (n1)×(n1)(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 Q1CQ=DQ^{-1} C Q = D, with D=[0γ]D = \begin{bmatrix} 0 & * \\ * & \gamma \end{bmatrix} so that finally the matrix E=[100Q1]B[100Q]=[100Q1][0C][100Q]=[0D]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 n1=2n - 1 = 2 and the resulting matrix applying PP has the form P1AP=[0abcd0e0d]P^{-1} A P = \begin{bmatrix} 0 & a & b \\ c & d & 0 \\ e & 0 & d \end{bmatrix} where d0d \ne 0. The numbers aa, bb, cc, ee cannot be 0 at the same time. If, say, b0b \ne 0, AA is similar to [100010101][0abcd0e0d][100010101]=[babcd0ebdab+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,db,d+b)(0, d-b, d+b) (the trace is the same) and the induction step can be finished. The cases a0a \ne 0, c0c \ne 0 and e0e \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
IMC 2007 · Day 2 · P11very hardavg 0.9/10 · solved 8% · near-0 89% · disc 0.55
IMC 2004 · Day 2 · P10very hardavg 1.6/10 · solved 6% · near-0 75% · disc 0.52