엄밀한 수학(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를 선물하세요.
-
왜지??????
-
하필 천둥번개가 막...
-
필사의 각오 1
필사의 각오로 응꼬에 힘 빡 주고 1권씩만 ㅈㄴ 봐야겠다....제대로 터득한게...
-
6모는 만점 나오거나 1개 틀리는데 9모를 풀면 3등급 나와요… 2등급도 아니고...
-
저는 올해 고3입니다~ 재수를 결정하게 되었구요.. 한 마디로 허수입니다..ㅎㅎ;;...
-
고2인데 22년도 더프나 상상,이감 공짜로 받을 수 있으면 풀어보는 게 좋나요?
-
고향 온 거 같고 잘 풀려서 좋음.. 수학 점수가 평가원>교육청>실모 순인 거...
-
그쪽 대입시험을 치는거에요? 거긴 훨씬 쉽나요?
-
바로 저.. 그치만 수능 때 다 맞으면 되잖아요 맞죠 맞다고 해주세요
-
수증기량 편차라는게 구름 양 얘기하는거 아닌가요? (나) 에서 라니냐니까 (...
-
합류지점에서 깜빡이 안키고 들어온 새기 때메 앞에차가 급브레이크 ㅈ밟었는데 나도...
-
점수대가 88~96인데 이정도실력이 아닌것같아서요… 항상 시간은 모자라서 22번이나...
-
근데 덕코 어캐주는거임 ? 첫 정답자 천덕드림 난이도는 어렵지 않은 수준
-
자기가 생각하고있다고 부모님이 거기 가라고했다고 어떻게 생각하냐는데 뭐라 대답해야할까…
-
기상외성으로 관측한 적외선에너지…엘니뇨일때작음->구름의 높이 해수면에서 방출하는...
-
한능검 D-2 1
대학생 되니까 입시생처럼 하루종일 공부하고 이러는 게 쉽지가 않네... 나 작년에...
-
ㅈㅂ가능하다고해 국어1수학영어1~2 찍고나서반수 가능하다고해
-
천하제일논술대회아님?
-
대치동 이감 >국어< 현장모의고사 지금 들어갈 수 있는 학원 아직 있을까요…? ㅠ...
-
독서 머리 깨질 것 같대은데 시간 문제가 아니라 그냥 문제 자체가 어려운디 나만 이럼?
-
문단 맨 앞 한글자 띄어쓰기 해야하는데 이미 문단 맨앞 원고지칸이 [문제1-1]...
-
해본분만 ㄱㄱ 거의다 공부 잘하던데 생지인데 지구가 안정2 나온다는 보장이 없는것...
-
나 왤케 글 많이 싸질렀노 포기….
-
자습시간은 주게 해도 상관읎는데 인생 개막장테크 타든지 사고치면 니 책임이긴 함....
-
학평이랑 모평이 차이가 크긴하네요... 작년에도 10평 ㅈㄴ 잘보고 수능망했는데..
-
이감 인강에 있는 언매 추가 해설이랑 학습 큐앤에이 조교 답변까지 받았는데...
-
올해는 수강 불가인가요? 내년에만 가능?
-
시력 곱창났는데 5
원래도 안경 안쓰면 앞이 1미터 정도 밖으로는 안보였는데 수험생활하면서 가시거리가...
-
작수 25555 였는데... 올해는 어떨지 한번 예측해주세요!
-
아니 롤스원조가 불리한 여건으로 고통받는 사회로 국한되된다고 보나요?? 여건이...
-
작수 xx이면 어디 가나요? 이거는 최대 빵꾸난 고반 고세약 이런거 말해주면 어찌됨? 희롱인가
-
그냥 바로 축약 되는걸로 알고 있었는데 한수 10회에서 음끝 축약 구개음화 과정을...
-
목표는 기간: 10월 말 정도 범위: 21학년도 6월 평가원부터 25학년도 9월...
-
작품명: Slash Panzer 원본 좀 더 실력 키우고 현강 더 참여해서 내부...
-
수능 적백도 꿈은 아닐것이니라
-
고2가 지금 고3 9모 수학 96점이면 잘하는거에요? 5
고3 되면 재수생때문에 등급 떨어진다고 주변에서 막 그러던데 실제 올해 고3 9모...
-
강x 등급컷이랑 오답률은 어떻게 측정하는건가요?
-
벅벅 긁고 싶은디 피부 확 상하겠지 ㅠ
-
다윈 타히티 타히티가 글자가 더 동쪽으로감 보통 물어볼때 다윈 타히티 위치를 주긴...
-
이 씨빠새끼들
-
법대·의대 말고 공대 간 95년 수능 수석…지금은 '갓성 부사장' 5
의대 증원에 따른 의대 열풍 현상이 국가경쟁력 약화로 이어질 수 있다고 우려하는...
-
드릴이랑 4규 킬캠 시즌1,2 다 풀고 지금 설맞이 풀고 있는데 엔제 풀 때...
-
27일 남았는데 언매 개념이 흐릿흐릿한 상태고 운 좋으면 다 맞거나 보통 언매에서...
-
후 머리아프네 3
책피니깐 머리 아픔
-
언매 질문 0
고1인데 곧 시험인데 헷갈려서요ㅠ 날씨가 이렇게 가무니 농사는 다 지었다 이 문장의...
-
어그로 죄송한데요ㅠㅠㅠ(김종익 선생밈 사랑해요) 김종익t 작년 새 교재가 지금...
-
수면유도제 2
지금부터 수능 때까지만 먹어도 되나요?? 요새 너무 피곤한데 밤에 잠을 누운지...
-
혹시 시발점 확통 빠른답지 있으신분..? (덕코다드림) 3
댓글이나 쪽지로 주시면 덕코? 다 드릴게용!! 분리해놨다가 집에 놔두고와서..
-
ㅇㅇ....
-
표점(백분위) 언매 139(99) 확통 125(88) 영어 1 생윤 63(91)...
슈크란