A是复矩阵,证明A乘以A的互轭矩阵的转置的行列式是非负实数