求助:如何證明逆矩陣的逆矩陣是原矩陣的代數(shù)形式?

如標(biāo)題,本文章是學(xué)習(xí)線性代數(shù)中的遇到的困惑
在逆矩陣的定義那一塊,直接給出了AA*=A*A=E,該定義包含了倆個的等式,也就是該定義是一個推論下的定義:AA*=E時,A*A=E。更通俗點,就是默認(rèn)了逆矩陣的逆矩陣是原矩陣。
盡管其幾何意義是非常簡潔優(yōu)美的,可我們知道,就命題本身的計算邏輯上,矩陣乘法并沒有交換律,AA*=E時,A*A=E是應(yīng)該被給予證明的。
于是我在紙上寫了寫:(字丑警告)

過程也很簡單,就是設(shè)了矩陣,然后根據(jù)矩陣乘法的定義寫出對應(yīng)的代數(shù)方程組,然后找規(guī)律描述方程組。得到最后的倆個式子。
于是我們成功把”逆矩陣的逆矩陣是原矩陣“這個命題轉(zhuǎn)換為了代數(shù)命題。
然后。。就不會了。。。。
還請各位會的大佬解答!