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

IMC / 2015 / Problems / Day 1, P1

IMC 2015 · Day 1 · P1

easy

For any integer n2n \ge 2 and two n×nn \times n matrices with real entries AA, BB that satisfy the equation A1+B1=(A+B)1A^{-1} + B^{-1} = (A + B)^{-1} prove that det(A)=det(B)\det(A) = \det(B).

Does the same conclusion follow for matrices with complex entries?

(Proposed by Zbigniew Skoczylas, Wrocł aw University of Technology)

Solution (official)

Multiplying the equation by (A+B)(A + B) we get I=(A+B)(A+B)1=(A+B)(A1+B1)==AA1+AB1+BA1+BB1=I+AB1+BA1+IAB1+BA1+I=0.\begin{gather*} I = (A + B)(A + B)^{-1} = (A + B)(A^{-1} + B^{-1}) = \\ = A A^{-1} + A B^{-1} + B A^{-1} + B B^{-1} = I + A B^{-1} + B A^{-1} + I \\ A B^{-1} + B A^{-1} + I = 0. \end{gather*} Let X=AB1X = A B^{-1}; then A=XBA = X B and BA1=X1B A^{-1} = X^{-1}, so we have X+X1+I=0X + X^{-1} + I = 0; multiplying by (XI)X(X - I) X, 0=(XI)X(X+X1+I)=(XI)(X2+X+I)=X3I.0 = (X - I) X \cdot (X + X^{-1} + I) = (X - I) \cdot (X^2 + X + I) = X^3 - I. Hence, X3=I(detX)3=det(X3)=detI=1detX=1detA=det(XB)=detXdetB=detB.\begin{gather*} X^3 = I \\ (\det X)^3 = \det(X^3) = \det I = 1 \\ \det X = 1 \\ \det A = \det(XB) = \det X \cdot \det B = \det B. \end{gather*}

In case of complex matrices the statement is false. Let ω=12(1+i3)\omega = \frac{1}{2}(-1 + i\sqrt{3}). Obviously ωR\omega \notin \mathbb{R} and ω3=1\omega^3 = 1, so 0=1+ω+ω2=1+ω+ωˉ0 = 1 + \omega + \omega^2 = 1 + \omega + \bar{\omega}.

Let A=IA = I and let BB be a diagonal matrix with all entries along the diagonal equal to either ω\omega or ωˉ=ω2\bar{\omega} = \omega^2 such a way that det(B)1\det(B) \ne 1 (if nn is not divisible by 3 then one may set B=ωIB = \omega I). Then A1=IA^{-1} = I, B1=BˉB^{-1} = \bar{B}. Obviously I+B+Bˉ=0I + B + \bar{B} = 0 and (A+B)1=(Bˉ)1=B=I+Bˉ=A1+B1.(A + B)^{-1} = (-\bar{B})^{-1} = -B = I + \bar{B} = A^{-1} + B^{-1}. By the choice of AA and BB, detA=1detB\det A = 1 \ne \det B.

How the field did

contestants scored
318
average (of 10)
7.43
solved (≥ 80%)
63.8%
near-0 (≤ 10%)
7.9%
discrimination
0.43

Score distribution (field cohort)

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

Similar problems

IMC 2023 · Day 1 · P2easyavg 7.0/10 · solved 65% · near-0 23% · disc 0.27
IMC 2009 · Day 1 · P2easyavg 6.4/10 · solved 61% · near-0 29% · disc 0.45
IMC 2017 · Day 1 · P1easyavg 6.9/10 · solved 59% · near-0 10% · disc 0.35
IMC 2021 · Day 1 · P1easyavg 7.4/10 · solved 69% · near-0 11% · disc 0.39