다음은 자연수 m,n에 대하여 m2+n2이 4의 배수이면 m,n은 모두 짝수임을 증명한 것이다.
m,n 중 적어도 하나가 홀수라고 가정하면
i) m=2a,n=2b−1 (a,b는 자연수)일 때, m2+n2을 4로 나누었을 때의 나머지는 (가)이다.
ii) m=2a−1,n=2b (a,b는 자연수)일 때, m2+n2을 4로 나누었을 때의 나머지는 (나)이다.
iii) m=2a−1,n=2b−1 (a,b는 자연수)일 때, m2+n2을 4로 나누었을 때의 나머지는 (다)이다.
i), ii), iii)에 의하여 m2+n2은 4의 배수가 아니다.
이것은 m2+n2이 4의 배수라는 조건에 모순이다.
따라서, 자연수 m,n에 대하여 m2+n2이 4의 배수이면 m,n은 모두 짝수이다.
위의 <증명>에서 (가), (나), (다)에 알맞은 것은? [3점]