모든 성분이 실수인 이차정사각행렬을 원소로 갖는 두 집합 S, T가
S={A∣A2=O}, T={A∣어떤 자연수 n에 대하여 An=O} 일 때, 다음은 S=T임을 증명한 것이다. (단, O는 영행렬이다.)
<증명>
A=(acbd)를 T의 원소라 하면 어떤 자연수 n에 대하여
An=O ⋯ (∗)
이다.
(i) n≤2일 때, A∈S이다.
(ii) n≥3일 때, A가 역행렬을 갖는다고 하자.
(∗)의 양변에 (A−1)n−1을 곱하면 A=O
이것은 모순이므로 (가)이다.
이때, A2=(acbd)(acbd)
=(a2+bcac+cdab+bdbc+d2)
=(a+d)(acbd)
=(a+d)A
그러므로 An=(나)A이고 An=O에서 a+d=0이다.
따라서 A2=O이므로 A∈S이다.
∴T⊂S
한편, S의 원소는 모두 T의 원소이므로 S⊂T이다.
∴S=T
위의 증명에서 (가), (나)에 알맞은 것을 차례로 나열한 것은? [3점]