Bonjour Mr ATTIOUI !! Ma proposition :
Bezout ordinaire dans Z : il existe p,q dans Z t.q p.DétA + q.DétB=1
Puis , A et B étant inversibles alors A^(-1).DétA=Transposée(Comatrice(A)) idem pour B donc
Si on pose U=Transposée(Comatrice(A)) et V=Transposée(Comatrice(B)) alors
DétA.In=A.U et DétB.In=B.V et partant de cela :
p.A.U+q.B.V=In .
NB: De par leur procédé de fabrication ( utilisation uniquement de l’addition et la multiplication de Z ) les Comatrices restent dans Mn(Z)
LHASSANE