这个要严格证明吗?
AB=I.显然这就是定义的式子.|AB|=|A|*|B|=1不等于0
.说明两个都可逆.既然可逆.
那么AB=I,A=B^-1,B =A-1,
显然.AB=BA=I.不会有BA不等与I的.