다음은 모든 자연수 n에 대하여 2n−1≤n!임을 이용하여
k=1∑n2⋅k!3k−1+1≤2n3n−1 …… (★)
이 성립함을 수학적 귀납법으로 증명한 것이다.
|
| <증명>
(ⅰ) n=1일 때,
(좌변)=□(가) 이고 (우변)=1이므로 (★)이 성립한다.
(ⅱ) n=m일 때, (★)이 성립한다고 가정하면
k=1∑m2⋅k!3k−1+1≤2m3m−1이다.
n=m+1일 때,
k=1∑m+12⋅k!3k−1+1=k=1∑m2⋅k!3k−1+1+□(나)≤2m3m−1+□(나)
한편, 모든 자연수 n에 대하여 2n−1≤n!이 성립하므로
k=1∑m+12⋅k!3k−1+1≤2m3m−1+□(나) ≤2m3m−1+□(다)3m+1=□(다)3m+1−1
이 성립한다.
따라서 n=m+1일 때도 (★)이 성립한다.
그러므로 모든 자연수 n에 대하여 (★)이 성립한다. | |
|
위의 증명에서 (가)에 알맞은 수를 p, (나), (다)에 알맞은 식을 각각 f(m),g(m)이라 할 때, f(p)×g(p)의 값은? [4점]
①2②4③8④16⑤32