서강대 2020학년도 모의 2차 자연계열 1번 · mathesis.kr/archive/sogang/2020mo_2/jayeon_1
문제
[가] 함수 에서 의 값이 에 한없이 가까워질 때, 의 값이 한없이 커지면 함수 는 양의 무한대로 발산한다고 하고, 기호로 또는 일 때, 와 같이 나타낸다. 또 함수 에서 의 값이 한없이 커질 때, 의 값이 일정한 값 에 한없이 가까워지면 는 에 수렴한다고 하고, 기호로 또는 일 때, 와 같이 나타낸다. 한편 함수 에서 일 때, 의 값이 양의 무한대로 발산하는 것을 기호로 와 같이 나타낸다.
[나] 최대·최소의 정리에 의하면 함수 가 닫힌 구간 에서 연속일 때, 는 그 구간에서 최댓값과 최솟값을 가진다. 이 성질로부터 다음과 같은 평균값 정리가 성립한다.“함수 가 닫힌 구간 에서 연속이고 열린 구간 에서 미분가능하면 인 가 와 사이에 적어도 하나 존재한다.”평균값 정리를 사용하면 함수 가 어떤 열린 구간에서 미분가능할 때, 그 구간의 모든 에 대하여 이면 는 그 구간에서 증가한다는 것을 보일 수 있다.
[다] 자연수 에 대한 명제 이 모든 자연수 에 대하여 성립함을 증명하려면 다음 두 가지를 보이면 된다.(i) 일 때 명제 이 성립한다.(ii) 일 때 명제 이 성립한다고 가정하면 일 때도 명제 이 성립한다.또한 자연수 에 대한 명제 이 (은 자연수)인 모든 자연수 에 대하여 성립함을 증명하려면 다음 두 가지를 보이면 된다.(i) 일 때 명제 이 성립한다.(ii) 일 때 명제 이 성립한다고 가정하면 일 때도 명제 이 성립한다.
[라] 자연수 에 대한 명제 이 모든 자연수 에 대하여 성립함을 위 제시문 [다]의 (i), (ii)와 같은 단계에 따라 증명하는 방법을 수학적 귀납법이라고 한다. 제시문 [다]의 논리와 마찬가지로 자연수 에 대한 명제 에 대해서 다음 두 가지를 보이면 명제 은 모든 자연수 에 대하여 성립한다.(i) 과 일 때 명제 이 성립한다.(ii) 와 일 때 명제 이 성립한다고 가정하면 일 때도 명제 이 성립한다.
[1] 제시문 [나]의 평균값 정리를 사용하여 일 때 부등식 이 성립함을 보이시오.
[2] 제시문 [가]와 [나]를 참조하여 미분가능 함수 가 모든 에 대하여 을 만족할 때 임을 보이시오.
[3] 유리수 전체의 집합을 라 하자. 에서 정의된 함수 가 모든 에 대하여 등식 를 만족할 때, 제시문 [다]와 [라]를 참조하여 이 임의로 주어진 양의 유리수일 때 모든 자연수 에 대하여 임을 보이시오.
[4] 문항 [3]의 결과를 이용하여 함수 는 모든 유리수 에 대하여 를 만족함을 보이시오.
서강대 2020학년도 모의 2차 자연계열 1번 · mathesis.kr/archive/sogang/2020mo_2/jayeon_1
※ 다음 풀이는 축약된 모범답안으로서 풀이과정에서 반드시 포함되어야 함.
[1]. 에 평균값 정리를 적용하면 적당한 가 존재하여 이다. 따라서 가 성립한다.
[2]. 임의의 에 대하여 함수 는 에서 미분가능 하므로 평균값정리에 의하여 를 만족하는 어떤 가 과 사이에 존재한다.모든 에 대하여 이므로 는 에서 증가함수이다.조건에 의해서 가 성립한다.그러므로따라서 임의의 에 대하여 가 성립한다.이므로 양변에 극한을 취하면를 얻는다.
[3]. 라 할 때 등식 에 을 대입하면 즉 을 얻는다. 양의 유리수 이 주어졌을 때 등식에 를 대입하면 을 얻는다. 이제 함수 가 주어진 자연수 에 대하여 그리고 을 만족한다고 가정하자. 이제 등식 에 과 를 대입하면, 가정으로부터 을 만족한다. 따라서 제시문 [라]에 의해서 함수 는 임의로 주어진 양의 유리수 과 모든 자연수 에 대하여 를 만족한다.
[4]. 먼저 문항 [3]에 의하여 임의로 주어진 양의 유리수 에 대하여 를 만족하고,을 만족하므로 이 성립한다.따라서 모든 양의 유리수 에 대하여 이 성립한다.이제 에 를 대입하면 모든 양의 유리수 에 대하여 를 얻는다. 따라서 음의 유리수에 대해서도 이 성립한다.
정확한 논리를 사용하여 결과를 도출해야 하고 계산 및 증명 과정이 잘 나타나 있어야 함.
풀이를 서술하는 과정에서 인과관계를 정확하게 표현할 수 있는 능력을 살피는 것도 중요하므로 정확한 수리적 문장을 사용하지 않으면 요소요소마다 감점 처리함.
첨삭 사례
아직 등록된 첨삭 사례가 없습니다.