反证,若E-BA不可逆,则存在X不为0,使(E-BA)X=0 (方和有非零解) -> X=BAX ,则(E-AB)AX=AX-ABAX=AX-AX＝0
也即(E-AB)Y=0有非零解(其中Y=AX),与题设矛盾,所以E-BA可逆,但这种证法不能求其逆的具体表示