如何显示两个符号矩阵之间的相等性？

Question

我需要使用符号元素来证明该公式：(A*B)^-1 = B^-1 * A^-1 我不知道是什么问题，但 matlab 没有显示这两个矩阵是相等的。 这是我的代码：

syms a b c d
A = [a b ; c d];
B = [c a ; b d];
F = simplify(inv(A*B));
G = simplify(inv(B) * inv(A));
isequal(F,G)

正如我上面所说的，结果是 0。有人可以帮我吗？