다음은 자연수 m,n에 대하여 m4+4n이 소수이고 m=1 또는 n=1이면, m은 홀수이고 n은 짝수임을 증명한 것이다.
〈증명〉
m이 짝수이거나 n이 홀수라 가정하자.
(i) m이 짝수이면 m=2j꼴의 정수이고, m4+4n=4⋅(4j4+4n−1)이므로 m4+4n은 (가). 이것은 가정에 모순이므로 m은 홀수이다.
(ii) n이 홀수이면 n=2k−1꼴의 정수이다. m4+4n=m4+42k−1은 다음과 같이 인수분해 된다.
m4+42k−1=((나))(m2+m2k+2⋅4k−1) 이 수는 소수이므로 (나)=1 또는 m2+m2k+2⋅4k−1=1이다.
그런데, m2+m2k+2⋅4k−1>1이므로 (나)=1이다.
(나)=((다))2+4k−1=1 로부터 k=1, m=1이다. 따라서 m=1, n=1이다. 이것은 가정에 모순이므로 n은 짝수이다.
위의 증명에서 (가), (나), (다)에 알맞은 것은? [3점]