用伴随矩阵求逆矩阵公式推导溯源