结构推理 设，且，则当时，初等矩阵 非奇异，且逆矩阵可表示为，其中。