다음은 가로, 세로 및 대각선의 길이가 모두 자연수인 직사각형의 넓이는 3의 배수임을 증명한 것이다.
<증명>
직사각형의 가로, 세로, 대각선의 길이를 각각 a, b, c라 하면 a2+b2=c2이고, 넓이는 ab이다.
자연수 a, b, c에 대하여 a2+b2=c2이면 ab는 3의 배수임을 증명하자.
자연수 n은
i) n=3k(k=1,2,3,…)일 때,
ii) n=3k+1(k=0,1,2,…)일 때,
n2=9k2+6k+1 iii) n=3k+2(k=0,1,2,…)일 때,
n2=9k2+12k+4 따라서 n2을 3으로 나누면 나머지는 (가)이다.
a, b가 모두 3의 배수가 아니라면 a2+b2을 3으로 나눈 나머지는 (나)이고, c2을 3으로 나눈 나머지는 (가)이므로 모순이다.
그러므로 (다) 3의 배수이다.
따라서 ab는 3의 배수이다.
위의 증명에서 (가), (나), (다)에 알맞은 것은? [4점]