MathDB
A^2002=B^2003=I and AB=BA implies A+B+I invertible

Source: VJIMC 2003 2.1

July 13, 2021
matrixlinear algebra

Problem Statement

Two real square matrices AA and BB satisfy the conditions A2002=B2003=IA^{2002}=B^{2003}=I and AB=BAAB=BA. Prove that A+B+IA+B+I is invertible. (The symbol II denotes the identity matrix.)