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

IMC / 2015 / Problems / Day 1, P1

IMC 2015 · Day 1 · P1

easy

For any integer n≥2n \ge 2 and two n×nn \times n matrices with real entries AA, BB that satisfy the equation A−1+B−1=(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)(A−1+B−1)==AA−1+AB−1+BA−1+BB−1=I+AB−1+BA−1+IAB−1+BA−1+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=AB−1X = A B^{-1}; then A=XBA = X B and BA−1=X−1B A^{-1} = X^{-1}, so we have X+X−1+I=0X + X^{-1} + I = 0; multiplying by (X−I)X(X - I) X, 0=(X−I)X⋅(X+X−1+I)=(X−I)⋅(X2+X+I)=X3−I.0 = (X - I) X \cdot (X + X^{-1} + I) = (X - I) \cdot (X^2 + X + I) = X^3 - I. Hence, X3=I(det⁡X)3=det⁡(X3)=det⁡I=1det⁡X=1det⁡A=det⁡(XB)=det⁡X⋅det⁡B=det⁡B.\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 A−1=IA^{-1} = I, B−1=BˉB^{-1} = \bar{B}. Obviously I+B+Bˉ=0I + B + \bar{B} = 0 and (A+B)−1=(−Bˉ)−1=−B=I+Bˉ=A−1+B−1.(A + B)^{-1} = (-\bar{B})^{-1} = -B = I + \bar{B} = A^{-1} + B^{-1}. By the choice of AA and BB, det⁡A=1≠det⁡B\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
linear algebra
IMC 2009 · Day 1 · P2easyavg 6.4/10 · solved 61% · near-0 29% · disc 0.45
linear algebra
IMC 2017 · Day 1 · P1easyavg 6.9/10 · solved 59% · near-0 10% · disc 0.35
linear algebra
IMC 2021 · Day 1 · P1easyavg 7.4/10 · solved 69% · near-0 11% · disc 0.39
linear algebra