M1:
15|-8|-3
9|-5|-2
-5|3|1
M2:
1|-1|1
1|0|3
2|-5|-3
Para comprobar que M2 es la inversa de M1 (o viceversa) empiezas a multiplicar para obtener la diagonal principal. Te saldrá (ya que M2 es realmente la inversa):
M1 * M2:
1 x x
x 1 x
x x 1
Para estar 100% seguro de que M2 es la inversa deberías comprobar que todas las 'x' son cero. Pero digamos que para ir más rápido sólo vas a comprobar una de esas 'x', es decir el 16% de los huecos. Si da la casualidad de que el hueco que has elegido (aleatoriamente) no es cero puedes decir YA y al 100% de seguridad que M2 no es la inversa. Pero si te sale cero, entonces sólo puedes decir que M2 es la inversa con una probabilidad de acierto del 16% (o una de fallo del 84%, que es lo mismo). Si lo modelas de tal forma que en cada iteración compruebes un hueco, en el peor de los casos necesitarías 6 iteraciones para dar una respuesta con una probabilidad del 100%
Salu2
PD: no tienes por qué empezar con la diagonal principal, pero es recomendable ya que como sólo son sólo 3 huecos, es más rápido descartar que M2 sea la inversa, ya que si te sale alguno distinto de 1, entonces automáticamente deduces que no lo es.