엄밀한 수학(1): 구간 별로 정의된 함수의 미분 가능성
게시글 주소: https://w.orbi.kr/00068865526
얼마나 오래 갈 지는 모르겠지만, 고등 수학에서 빈번하게 다뤄지는 몇 가지 주제에 대하여 조금 엄밀하게 다뤄보는 글을 쓰려고 합니다. (주제 추천 받아요.)
엄밀한 수학이지만, 수학을 전공하지 않은 고등학생 정도의 수학 지식을 갖고 있는 분들도 최대한 이해할 수 있도록 써 보려고 합니다.
첫 번째 주제는 [구간 별로 정의된 함수의 미분 가능성] 입니다.
[2021학년도 9월 모의 평가 10(나)]
위 문제와 같이 구간 별로 정의된 함수의 미분 가능성을 묻는 경우, 미분 가능성의 정의보다는 대부분 다음 두 가지 식의 연립으로 해결합니다.
(i)은 [미분 가능하면 연속이다.]의 성질을 이용하여 각각의 식에 1을 대입하여 같다고 놓고 구합니다.
(ii)는 각각의 식을 미분하고 1을 대입하여 같다고 놓고 구합니다.
(i)은 자명합니다. 문제가 되는 부분은 (ii)의 논리입니다. (ii)는 "도함수는 x=1에서 극한값이 존재한다."는 것을 의미합니다. 이를 엄밀하게 규명하기 위해 몇 가지 명제를 떠올려봅시다.
명제1: "미분 가능하면 도함수가 연속이다."
수학을 조금 깊게 공부해 본 성실한 고등학생이라면 위 명제1이 거짓임을 알고 있을 것이고, 또 그 중 대다수는 그의 반례도 알고 계시리라 생각합니다. (단, 그 역은 성립하죠.)
그렇다면 결론부의 조건을 조금 더 약화시켜 생각해봅시다.
명제2: "미분 가능하면 도함수의 극한값이 존재한다."
명제2 역시도 명제1의 반례로 어렵지 않게 거짓임을 보일 수 있습니다.
그럼, (ii)의 등호가 성립함을 보장해주는 근거가 되는 명제는 무엇일까요? 우리는 미분 가능한 함수에 대하여 그의 도함수의 극한값이 존재한다는 것은 알 수 없지만, 최소한 문제 조건으로부터 도함수의 좌극한과 우극한이 각각 존재한다는 것을 알 수 있습니다. 즉, 다음 명제를 생각해볼 수 있겠습니다.
명제3: "미분 가능하고 도함수의 좌극한과 우극한이 각각 존재하면 도함수의 극한값은 존재한다."
위 명제3이 참이라면, 우리의 최종 목적인 (ii)의 논리적 근거를 마련할 수 있습니다. 위 명제3의 참을 설명해주는 것이 바로 다르부 정리(Darboux's Theorem)입니다.
고등학생이 이해할 수 있는 언어를 기반으로 다르부 정리의 내용을 살펴봅시다. (증명은 "Introduction to Real Analysis by Robert G. Bartle"을 참고했습니다.)
다르부 정리 (Darboux's Theorem)
: 함수 f가 닫힌 구간 [a, b]에서 미분 가능하고 k가 f'(a)와 f'(b) 사이에 있을 때,
f'(c)=k를 만족시키는 c가 열린 구간 (a, b)에 존재한다.
즉, 미분 가능한 함수의 도함수는 사잇값 정리의 결론을 만족시킵니다.
[증명]
미분 가능한 함수 g를 다음과 같이 정의합시다.
g가 연속이므로 최대-최소 정리에 의해 닫힌 구간 [a, b]에서 최댓값을 가집니다.
이므로
g는 x=a에서 최댓값을 갖지 못합니다. 이와 비슷하게, x=b에서도 최댓값을 갖지 못합니다.
즉, 닫힌 구간 [a, b]의 경계에서는 최댓값을 갖지 못하므로 최대가 되는 지점을 x=c라 할 때, c는 열린 구간 (a, b)에 존재합니다. 따라서 다음이 성립합니다.
Q.E.D
다시 우리의 원래 목적으로 돌아가서, 위 다르부 정리에 의해 미분 가능한 함수의 도함수가 좌극한과 우극한이 각각 존재한다면 반드시 그 두 값이 같아야 합니다. 그리고 더 나아가 그 지점에서 도함수는 반드시 연속이어야 합니다. 이 명제3을 다르부 정리에 의해 더 강한 조건으로 바꿔 다음 명제4가 참임을 알 수 있습니다.
명제4: "미분 가능하고 도함수의 좌극한과 우극한이 각각 존재하면 도함수는 그 지점에서 연속이다."
처음의 문제에서 f'(x)의 x=1에서 좌극한과 우극한이 각각 존재하므로 위 명제4에 의해서 f'(x) x=1에서 연속입니다. 따라서 (ii)의 등호가 성립합니다!
제 글이 그닥 많은 사람들이 읽지는 않지만 ㅎㅎ;; 개인적으로 정리해보고 싶었던 주제였습니다. 조금이나마 도움이 되셨으면 좋겠습니다. 감사합니다:)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
생각보다 저 n수 열등감 개심한듯 현역, 재수로 대학 간 사람들은 정상인이고 나는...
-
내용이 무슨 갈라파고스 섬 어쩌구 나오면서 자기는 그런 탐험과 경험을 할 수 없어서...
-
장수하면 좋은점 10
연계 대충해도 이번 9모 현대 소설 옛날에 모의고사에서 읽었던 경험으로 개빨리읽음...
-
실모 시즌 2
실모 보통 몇개정도 풀고 수능보셧나요..? N제나 다른거 할게너무 많아서...
-
수능수학 만점은 제토 의대반수는 제토 서울대반수는 제토 의치한약수서울대 합격도 제토...
-
의대 적정라인 4
이번 수능이 작수랑 난이도 비슷할거라고 보고 수학 1틀 화 생 각각 1틀 영어 1...
-
프리미어리그에서 뛰는 k리거겠지
-
전 그 릿밋핏 기출중 하나엿을건데 플라톤 철학 원문 번역 그대로 지문으로 나온거...
-
난 N제를 판다 현재 미적분 문해전2 고민끝에 수2 샤인미 하는중 그리고 대망의...
-
겨우 2년전...
-
매번 백분위 97~98받고 99~100은 진짜 벽느끼는데 난이도부터 더 빡센...
-
칭기즈 칸 명언 1
가장 좋은 삶이란 너의 적들을 쳐부수고 그들이 네 발 앞에 쓰러지는 걸 보며 그들의...
-
고2 국어 공부 1
문학 점수가 잘 안나와서 그런데 기출 돌리면서 선지분석 연습하는게 나을까요 아니면...
-
9모 보고 재수를 느끼고 먼저 준비하고있는 현역입니다 현재 사탐도 공대를 뚫는다해서...
-
어디가 더 높은가요? 둘중에 하나 쓰려고 하는데.. 환경생태공은 학업우수...
-
❤️
-
논술 상담한 선생이랑 대화한 내용: 너가 열심히 써도 너가 글쓰는 방향이 틀릴 수...
-
가끔 막히는거 잇네... 퀄은 진짜 조은듯
-
맞팔구함! 4
팔로워 업데이트좀 해보자
-
1. 3합4 (탐구 2과목 평균, 소수점 버림) 2. 3합 5 (탐구1과목만)...
-
다들 자니? 15
다는구나..
-
외모든 성적이든 ㅍㅌㅊ는 된다에서 그게 몇등급 정도라보심 100명중 1등~4등...
-
현역5 재수3(82) 6모3(84) 9모4(68) 9모 2등급 목표였는데.. 4가...
-
꼬기꼬기꼬기 1
츄름츄름츄름
-
국어 공부법 0
기출을 분석하라. 너무 진부한말이라 기출분석의 중요성이 오히려 떨어지는 현실 그저...
-
저도 지금 시청 하겠습니다 히히
-
지금 단톡방에서 술취한 친구가 30분째 썰푸는 중 ㅋㅋㅋ
-
자발적 결사체랑 비공식조직? 문제에서 회사 내의 축구 모임은 자발적 결사체 라는데...
-
미적 8문제중에 6개까지는 맞출수있는 실력인거임???
-
6논 0
6논 쓰는데 수시가 의미 있나요... 원서 상담할 것도 없던데..
-
주간지 실모 1
아이가 모의 고정 4등급입니다 그 동안 모의고사반 학원만 다녔는데 공부양이 많이...
-
책을 이쁘게 내줌.. 나같이 책빻으면공부모태병 걸린사람들에게 안성맞춤
-
일반고 4점대 수시재수로 우주상향지원할려고 하는데 국숭세단 광명상가 라인으로 지균...
-
고통의 시간 1
두달하고 조금만 더 참자.
-
자기전 질문 받기 18
네
-
이거 교환 가능한가요?어디서 해야하는지도 알려주시면 감사하겠습니다
-
학종 1명 뽑는데 이거 된 사람은 목숨 걸고 탈북한 보람이 있을듯
-
궁금!!
-
내일 최종 점검만 하고 바로 지원할 예정
-
새벽질받 11
잠깐만 하다 잘게요 잠이 안 오네요ㅠ
-
지방일반고에서 지역인재로 가는게 진짜 맞음. 학구열 높지 않은 동네에 사는데 진짜...
-
이건 최적t q&a답변 이건 윤성훈t 이 답변은 예시인 손님에 대한 판단여부도 다름...
-
제발논술장안가게해주세요
-
문득 든 생각인데 당시 입결표를 참고해서 나형 1등급 대학을 지금 통합수능...
-
지금 시점에서 드릴 같은거 들어가기보다는 실모가 맞겠죠?? 0
근데 풀자습은 10 중순부터 할거같아서 차라리 브릿지나 서킷같은걸 풀까요? n제 대신에
-
지구 2등급 0
반수하면서 사문하다가 최저때문에 9월에 급하게 지구과학으로 바꾸고 9모 36점...
-
최근 들어 느끼는 건 현역정시는 진짜 사람이 할 게 아니다!! 수시입양기원 1일차
-
가능하시면..
-
https://orbi.kr/00069125954/%EC%98%A4%EB%8A%98%...
-
옯서운 사실 4
2015학년도 수능 배치표상 한양대 미래자동차 공학부의 예상점수는 표준점수...
슈크란