엄밀한 수학(1): 구간 별로 정의된 함수의 미분 가능성
얼마나 오래 갈 지는 모르겠지만, 고등 수학에서 빈번하게 다뤄지는 몇 가지 주제에 대하여 조금 엄밀하게 다뤄보는 글을 쓰려고 합니다. (주제 추천 받아요.)
엄밀한 수학이지만, 수학을 전공하지 않은 고등학생 정도의 수학 지식을 갖고 있는 분들도 최대한 이해할 수 있도록 써 보려고 합니다.
첫 번째 주제는 [구간 별로 정의된 함수의 미분 가능성] 입니다.
[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를 선물하세요.
-
실모하고 오답하면 피곤할거 같아서 고민임..
-
외않풂
-
알바 해서 모을 수 있나.. 아 공부해야하는데 병원마다 다르다곤 하는데
-
어떻게 이런 지문 10개를 70분만에 풀라는 거지? 브레턴우즈, 에이어, 오버슈팅,...
-
일단 1점 중반대 내신을 메디컬 간다고 버린거부터가 말이 안됐다 제발 다시 돌아가서...
-
어느정도 나올까요? 서울대 재학중이고 작수는 언미영생지 96 98 2 99 90 이었습니다
-
나이는 20대중반이고 고졸인데 꿈이 생겨서 수능공부를 하려했는데 집안이 어려워서...
-
기코같은 유형문제집 vs 회차별 문제집(빨더텅) 머가 나을까오 미적 선택 수학 4등급임…
-
기출에서 롤스가 1. ‘절대빈곤 해결을 위한 원조는 보편적 의무로 간주해야한다’...
-
화작 기준
-
공군질문 5
공군가려면 운전면허 1종 한능검 토플 봉사시간 이거말고 더 해야 되는 것들 뭐가...
-
코리안 ㅅㅅ머신 4
외국인타자 goat 테임즈가 인정한 모델급 외모의 ㅅㅅ머신 황재균 선수
-
세지 0
거의 노베인데 2,3 목표면 뭘 해야 효율적일까요 지금 이알기 하고 있는데 이후에...
-
마지막 엔제 0
이해원ㄷ빅포텐 1등급 턱걸이 성적 어떤 시즌이 좋은지도 알려주시면 감사하겠습니다!
-
제2외국어 공부하시나요? 한다면 주에 얼마나 하시나요? 자꾸 우선순위에 밀려서...
-
군가산점 관련 0
어... 다들 살짝 오해하는게 있는것같은데 10살때 사고로 손목을 잃은 정강용씨가...
-
241122 < 국어적 능력 뛰어나고 추론 잘하는, 법조인 가면 성공할 거 같은...
-
오늘 국어모의고사 잘 보게해주셔서 감사합니다. 맛있는 양식 먹게 해주셔서...
-
국어 노베인데 1등급이 목표입니다.조언 부탁드립니다 1
노베인데 1등급이 목표입니다 최소 2등급이 목푠데 시작은 나비효과로 끊고 인강을...
-
너무비싸 진짜너무비싸
-
사람임?
-
아수라 총정리과제랑 수특 2일치 정도 밀렸는데 하루에 +@해서 밀린것들 하면 될까요?
-
원래 불안하면 8
심장뛰고 떨리고 속안좋고 그러나요 얼마전부터 계속 그러는데 불안한 건지 무서운 건진 잘 모르겠지만뇨
-
왜그런진 모르겠는데 수1은 개념하고나서 뉴분감 하면 그래도 풀리긴 했거든요 근데...
-
열심히 공부하고 2
토요일에 kfc 먹고싶다 아니다 내일 감동할만큼 공부하면 ㄹㅇkfc각이다 진짜
-
윤성훈 적중예감 파이널 모의고사 해설지 있는 분?? 0
6회차 15번 문제 해설 좀 볼 수 있을까요.. 문제 오류인 것 같아서요..
-
얼굴은 당연히 존잘인거 논외로 하고 20후반, 30대 누님들은 포마드나 슬릭백...
-
오늘 벽느낌 12
현장에서 서바푸는데 옆자리 여자애가 내 1.3~1.5배속도로 딱딱 쳐내더니 100점...
-
천만덕 가쥬아
-
실수가 학습이 안됨 실수로 틀린거 틀렸다고 존나세게 그으면 정신에 충격와서 다음에...
-
확실히 미적을 1틀정도로 실력 올리니까 점수가 안정적임 5
미적열심히한보람이있다이말이야~~~~
-
패딩 뭐사징 9
7년째 입어서 바꿔야되는데
-
슬슬 하루 하루 지나갈때마다 수능에서 포텐터질거다 잘볼거다 하면된다 라는 마인드와...
-
성캐언변말안된다 0
저도저렇게말잘하는사람이고싶어요
-
아수라 드랍합니다 11
아수라의 강의 구성은 일단 첫 2강은 9평 분석 강의고, 나머지는 6평 분석 and...
-
유대종갤러리였나 와서 치킨뿌림
-
대신 정신적 충격으로 인한 탈모와 노화를 획득함 어라? 손해만 봤네?
-
걍 일안하네 ㅋㅋㅋㅋㅋ
-
이거 틀린거 맞나요? 그리고 삶의주체아닌 생명체와 비교하면 우월한거 맞나요?
-
오르비언들 건강을 위해서라도 무슨글 올라올지 궁금해서 잠을 잘수가 없어!
-
현내신 4.83 이번 중간도 ㅈ박은거같은데 다음기말부터 살리면 가망있나요 모고성적은...
-
잊고 있었다 2
10월이 공부에 집중하기 어렵다는 것을…. 작년 생각나네 올해는 이라믄 안되는데
-
1화 보는중인데 김하온이랑 쿤디판다 진짜 개맛잇게 잘하네 ㅋㅋㅋ
-
실모 풀면서 얻을 게 행동 강령이랑 실전 감각인데 이건 평가원스럽지 않고~ 실전에선...
-
231122 241128 은 1트에 못풀고 241122는 1트에 푼 능지임 윗줄...
-
언매확통사탐 어느정도 나와야하나요? 국어 35 수학 25 영어 15 탐구 25면...
-
6모62 3 9모85 3 2,3,4,6회 틀린번호...
-
1회는 제외하고 그나마 가까운건 G2였는데
슈크란