∵AA*=A*A=|A|E,而A*=A′,
∴AA′=|A|E,
设:A=(aij),AA′=(cij),
则:cii=(ai1,ai2,…,ain)
ai1
ai2
…
ain=ai12+ai22+…+ain2,
而A为n阶非零方阵,因而至少存在一个aij≠0,
则:cii>0,
根据AA′=|A|E,知AA′的第i行第i列元素等于|A|,
∴|A|=cii>0,
故:|A|≠0,证毕.
∵AA*=A*A=|A|E,而A*=A′,
∴AA′=|A|E,
设:A=(aij),AA′=(cij),
则:cii=(ai1,ai2,…,ain)
ai1
ai2
…
ain=ai12+ai22+…+ain2,
而A为n阶非零方阵,因而至少存在一个aij≠0,
则:cii>0,
根据AA′=|A|E,知AA′的第i行第i列元素等于|A|,
∴|A|=cii>0,
故:|A|≠0,证毕.