다음은 a0=2π,a1=1, an+2=n+2n+1an(n=0,1,2,⋯) 으로 정의된 수열 {an}에 대하여
a2n+1≤nI≤a2n−2(n=1,2,3,⋯)
가 성립할 때,I 의 값을 구하는 과정이다.
Ⅰ) 자연수 n에 대하여 nanan−1=2π임을 수학적귀납법으로 증명하면
ⅰ) n=1일 때, a1⋅a0=1×2π=2π이므로 성립한다.
ⅱ) n=k일 때 성립한다고 가정하면 n=k+1일 때,
(k+1)ak+1ak=(k+1) (가)
ak=2π
이므로 성립한다.
Ⅱ) 수열 {an}이 감소하는 수열임을 수학적귀납법으로 증명하면
⋯ 중략 ⋯
따라서 an≥an+1(n=0,1,2,3,⋯)이다.
조건에서 a2n+1≤nI≤a2n−2이고 수열{an}이 감소하는 수열이므로
na2n+2a2n+1≤(나)
≤na2n−2a2n−3
임을 유추할 수 있다.
그러므로 Ⅰ)에 의해서 2이상의 모든 자연수 n에 대하여
2(2n+2)nπ≤(나)
≤2(2n−2)nπ
따라서 I=(다)
이다.
Ⅰ) 자연수 n에 대하여 nanan−1=2π임을 수학적귀납법으로 증명하면
ⅰ)n=1일 때,a1⋅a0=1×2π=2π이므로 성립한다.
ⅱ) n=k일 때, 성립한다고 가정하면
kakak−1=2π⋯⋯⋯①이 성립한다.
n=k+1일 때,
an+2=n+2n+1an에서 ak+1=k+1kak−1이므로
(k+1)ak+1ak=(k+1)×[k+1kak−1]×ak=kakak−1=2π∴(k+1)ak+1ak=2π
그러므로 n=k+1일 때도 성립하므로 자연수 n에 대하여 nanan−1=2π이 성립한다.
Ⅱ) 수열{an}이 감소하는 수열임을 수학적 귀납법으로 증명하면
⋯중략⋯
따라서, an≥an+1(n=0,1,2,3,⋯)이다.
조건에서 a2n+1≤nI≤a2n−2이고 수열{an}이 감소하는 수열이므로
na2n+2a2n+1≤[I2]≤na2n−2a2n−3
임을 유추할 수 있다.
그러므로 Ⅰ)에 의해서 2이상의 모든 자연수n에 대하여
2(2n+2)nπ≤[I2]≤2(2n−2)nπ
따라서, n→∞lim2(2n+2)nπ=n→∞lim2(2n−2)nπ=4π이므로
n→∞limI2=4π∴I=[2π]이다.