(ㄴ) 두 수열 {an},{bn}이 수렴하고, n→∞liman=α,n→∞limbn=β (α,β는 실수)일 때, 수열 {cn}이 모든 자연수 n에 대하여 an≤cn≤bn이고 α=β이면 n→∞limcn=α이다.
(ㄷ) (수학적 귀납법) 자연수 n에 대한 명제 p(n)이 모든 자연수에 대하여 성립함을 증명하려면 다음 두가지를 증명하면 된다.
①n=1일 때, 명제 p(n)이 성립한다.
②n=k일 때 명제 p(n)이 성립한다고 가정하면, n=k+1일 때도 명제 p(n)이 성립한다.
논제 1. (20점) 제시문 (ㄱ)에서 정의된 수열 {sn}은 모든 자연수 n에 대하여 다음 부등식을 만족함을 수학적 귀납법을 이용하여 논술하시오.
2n+1−2≤sn≤2n
논제 2. (20점) 제시문 (ㄱ)에서 정의된 수열 {pn}이 수렴하도록 하는 모든 r의 범위에 대하여 논술하시오.
해설강의 준비중
가톨릭대 2016학년도 수시 자연계열 2번 · mathesis.kr/archive/catholic/2016su/jayeon_2
+2점
먼저sn≤2n ①이 성립함을 보이자.1) n=1일 때,(좌변)=s1=1,(우변)=21=2.따라서 n=1일 때, ①이 성립한다.
+8점
2) n=k(k≥2)일 때, ①이 성립한다고 가정하면Caution.수학적 귀납법에서는 귀납 단계에 필요한 초기 경우를 모두 확인해야 한다: 대학 예시답안은 n=1일 때만 확인한 뒤 귀납 단계에서 k≥2라고 썼다. 이 범위로는 n=1에서 n=2로 넘어가는 단계가 포함되지 않으므로 모든 자연수에 대한 증명이 완성되지 않는다. 이 문제의 귀납 단계 계산은 k=1에서도 성립하므로 k≥1로 고치면 된다. k≥2를 유지하려면 n=2일 때도 별도로 확인해야 한다. 그러나 원칙에 따라 원문 표기를 그대로 실었다.sk≤2k(i).(i)의 각 변에 k+11을 더해주면,sk+1≤2k+k+11이 때k+1−k=k+1+k1≥2k+11⇒2k+k+11≤2k+1이므로,sk+1≤2k+k+11≤2k+1.따라서 n=k+1일 때도 ①이 성립한다.1), 2)가 성립하므로 모든 자연수 n에 대하여 ①이 성립한다.
+2점
다음으로2n+1−2≤sn ②이 성립함을 보이자.3) n=1일 때,(좌변)=22−2≈0.828,(우변)=s1=1.따라서 n=1일 때, ②이 성립한다.
+8점
4) n=k(k≥2)일 때, ②이 성립한다고 가정하면Caution.수학적 귀납법에서는 귀납 단계에 필요한 초기 경우를 모두 확인해야 한다: 대학 예시답안은 n=1일 때만 확인한 뒤 귀납 단계에서 k≥2라고 썼다. 이 범위로는 n=1에서 n=2로 넘어가는 단계가 포함되지 않으므로 모든 자연수에 대한 증명이 완성되지 않는다. 이 문제의 귀납 단계 계산은 k=1에서도 성립하므로 k≥1로 고치면 된다. k≥2를 유지하려면 n=2일 때도 별도로 확인해야 한다. 그러나 원칙에 따라 원문 표기를 그대로 실었다.2k+1−2≤sk(ii).(ii)의 각 변에 k+11을 더해주면,2k+1+k+11−2≤sk+1이 때k+2−k+1=k+2+k+11≤2k+11⇒2k+2≤2k+1+k+11이므로,sk+1≥2k+1+k+11−2≥2k+2−2.따라서 n=k+1일 때도 ②이 성립한다.3), 4)가 성립하므로 모든 자연수 n에 대하여 ②이 성립한다.모든 자연수 n에 대하여 ①, ②가 성립하므로, 모든 자연수 n에 대하여 논제 1의 부등식이 성립한다.
논제 1에 의해서 모든 실수 r에 대하여nr2n+1−2=2n1/2−r(1+n1−n1)≤nrsn≤nr2n=2n1/2−r이다. n→∞limn1=0이고, n→∞limn1=0이므로,
+6점
제시문 (ㄴ)에 의하여 r=21이면 n→∞limnrsn=2,
+6점
r>21이면 n→∞limnrsn=0,
+6점
r<21이면 n→∞limnrsn=∞이다.
+2점
따라서 r≥21이면, 수열 {pn}은 수렴한다.
주의사항
논제 1에서 2), 4)의 부등식에 대한 설명이 없으면 0점.
“1), 2)가 성립하므로 모든 자연수 n에 대하여 ①이 성립한다.”
“3), 4)가 성립하므로 모든 자연수 n에 대하여 ②이 성립한다.”
“모든 자연수 n에 대하여 ①, ②가 성립하므로, 모든 자연수 n에 대하여 논제 1의 부등식이 성립한다.”의 내용이 없으면 1개당 1점씩 감점.