다음은 행렬 X=(xzyw)와 역행렬을 갖지 않는 이차정사각행렬 A에 대하여 Xn=A를 만족시키는 자연수 n이 존재하면 등식 X2=(x+w)X가 성립함을 증명한 것이다.
<증명>
행렬 X가 역행렬을 갖는다고 가정하자.
등식 Xn=A의 양변에 (가)
을 곱하면
E=(가)
A
가 되어 A는 역행렬을 갖게 되므로 가정에 모순이다.
∴ xw−yz=(나)
따라서
X2−(x+w)X=X{X−(x+w)E}
=(xzyw)□(다)
=(0000)
이므로 X2=(x+w)X가 성립한다.
위의 증명에서 (가), (나), (다)에 알맞은 것은? (단, E는 단위행렬이다.) [3점]
| (가) | (나) | (다) |
| ① | (X−1)n | 0 | (−wzy−x) |
| ② | (X−1)n | 1 | (−xzy−w) |
| ③ | (X−1)n | 0 | (−xzy−w) |
| ④ | (A−1)n | 1 | (−wzy−x) |
| ⑤ | (A−1)n | 0 | (−xzy−w) |