다음은 모든 자연수 n에 대하여 부등식
21+41+61+⋯+2n1<2n
이 성립함을 수학적 귀납법으로 증명한 것이다.
<증명>
ⅰ) n=1일 때
(좌변)=(가)<2=(우변)이므로 성립한다.
ⅱ) n=k일 때 부등식이 성립한다고 가정하면
21+41+61+⋯+2k1<2k
n=k+1일 때 성립함을 보이자.
21+41+⋯+2k+21−(나)
<2k+2k+21−(나)
=2k+222k2+k+1−22(k+1)
이 때,
(22k2+k+1)2−{22(k+1)}2(다)0이므로
21+41+61+⋯+2k+21<2k+1
그러므로 n=k+1일 때도 부등식은 성립한다.
따라서 주어진 부등식은 모든 자연수 n에 대하여 성립한다.
위의 증명에서 (가), (나), (다)에 알맞은 것은? [4점]