엄밀한 수학(1): 구간 별로 정의된 함수의 미분 가능성
게시글 주소: https://i.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를 선물하세요.
-
매너리즘인가 0
아니면 걍 지친건가
-
재수생들에게 17
재수생 여러분들 자신감을 가지시길 바랄게요 본인이 순수하게 공부를 안 하거나,...
-
그나마 정신적으로는 조금이나마 나아졌는데(공부유기) 0
걍 상황이 너무 개 좆같음
-
기하 노베 2
내년 수능볼건데 지금 수1 2 노베이고 수 상 하 중학도형까지 거의 완벽하게...
-
안락사존나마렵네 0
아
-
공부 잘한건가?
-
바로 비킬러 독해임 특히 생1이 두번째 과목인경우 이번 9모 컷보니까 비킬러로...
-
이감 상상 바탕 한수 중 그나마 깔끔하고 쉬운 실모 있을까요? 위 4개를 제외한...
-
요즘 드는 생각 9
다포기하고싶음
-
영어 만년 4등급 13
9모 67인가 그 언저리.. 대의파악에서 하나 틀리고 듣기 무슨 겁나 큰 라디오...
-
시작하기에 앞서 논술은 수능이 망했을경우를 대비할수있는 귀중한 카드입니다 보통...
-
즐거운거도없고
-
보통 요즘 힘든편임?
-
전부 인서울에 시간텀은 1-2시간씩인지라 이동은 문제없긴 한데…. 혹시 해보신 분 계실까요
-
그냥 애새끼수준 0
내 의지력은 딱 초딩 수준인거 같다 사회에서 성실성은 가장 기본값아닌가 여기서...
-
에휴좆같은인생뒤져야지
-
수능까지 1일차 2
10시에 일어나서 밥먹고 버스타고 스카가느라 1시 좀 넘어서 공부시작해서 기분이 좀...
-
소원이없겠다 망할놈의영어
-
작년에도 9잘수망이었어서 9평을 잘 봐도 너무 불안함.. 0
작년 9평 22252 작수 34233
-
백날표본가지고이겨야한다이지랄해도 운빨로 딸깍한애한테 지네 기도열심히한다는소리임ㅇㅇ
-
의도치않은 1일 2실모.. 문제 해석하는데에도 머리가 잘 안 돌아가는게 느껴지는.....
-
?? 7
??
-
내가 못가는 학교들이긴한데 그냥 보고만 있어도 병신같고 좆같네
-
의료계 '증원 백지화' 강경하지만…"역풍 맞을라" 우려도 1
'여야의정 협의체' 제안에 전공의 등 "공수표", "요식행위" 일축 증원 백지화...
-
고경 설곽 숭 세 가천 건대 이렇게 쓸라그랬는데 하나빼고 외대 어캐생각하심 기확...
-
깐머인생 종료.
-
내일 점심 추천좀ㅇㅇ
-
자꾸 이런 글 올려서 죄송합니다ㅠㅠ 마지막입니다... 9
고민을 거듭한 끝에 6학종 쓰고 최대한 정시 매진해보려 하는데 현실적으로 얼마나...
-
현역 땐 늦어도 18분 컷이었는데... 오랜만에 보니까 28분 ㅇㅈㄹ이거든요 어떻게...
-
성적이 올라도 대학을 못옮기는사람도 있음 시발
-
현역 건동홍 8
재수 성균관대 삼수 ?
-
전과목 : 2.46 국영수사과 : 2.34 국영수사 : 2.51 국영수과 :...
-
원서 접수 완. 0
-
한 지문 중반쯤 읽었는데 머리에 아예 남는 것도 없고 그럴 때 ㅇㅇ 갠적으로 리트...
-
누가 안하겠어
-
잘자라 7
-
걍 독해력 문해력 이해력 집중력 하나도 빠짐없이 다 창난듯
-
희박함?
-
내 수2 실력 30퍼정도는 창무가 만든거같기도하고
-
시간 부족해서 다 못볼거 같은데..
-
고2이고 수능가면 떨어질수 있는걸 알지만 이정도 성적 나오신분들 어디쯤 가셨는지 궁금히ㅐ요
-
[쉬어가기] 주요대학들의 착각 -출처 수만휘 서울대- 서울대빼고는 대학도 아니라고...
-
강해져야 하는데 0
세상에서 살아남으려면 근데 넘 약한자극에도 힘들다
-
자기가수능을얼마나말아쳐먹을지모르면 아무리 수능이 망해도 이학교는걍가지...
-
보통 열등감이 많을수록 자꾸 급을 나누려고 한다던데 적당한? 열등감이 향상심으로...
-
너무힘들다 1
ㅎㅎㅎㅎ 버티자!!!ㅎㅎ ㅠㅠㅠ
-
흑흑
-
신촌 맛집 7
신촌엔 맛집이 없어요~ 딱 하나 고르자면 부탄츄
슈크란