엄밀한 수학(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를 선물하세요.
-
물화생 다 지랄나서
-
Yonsei 랑 Sirib 너무 비교돼요.
-
파이널 들어서 좀 쉬워진 것 같은데 보통 80중반 나오다가 6-3,4,5 세 개 다...
-
정상모 구원특강만 듣고싶습니다 쪽지로 가격제시부탁드려요
-
수학 쉬운 실모 2
나름 쉬웠던 실모들 추천좀여 1컷 88이상인 그렇게 어렵진 않은 실모 원해여
-
폭식.. 0
ㅅㅂ
-
근데 이래놓고 9평 3등급 받긴함 수능때는 3등급 탈출 해야되는데
-
맞팔9 15
민초 먹으라고 강요 안합니다 하지만 민초는 마시써요
-
앞쪽 개념문제에 선지 한두개씩 제가 애매하게 아는거 or 잘 모르고 넘어갈 법한거...
-
모평/수능 기출중에 가능한데 100%는 아니지만 가능한 경우를 100%로 단정해서...
-
양파링 한봉지 다먹음 12시에
-
강x 0
강x 가장 쉬운 시즌 추천 부탁드립니다
-
백종원의 빽보... 13
아잇 이게 뭐에유 너무 짜유
-
연논 재시험 2
봐도 어차피 떨이겠지만 이슈가 2개나 뻥뻥~~터져서 연대측에서 가만히 있지는 않을듯...
-
사문 질문 9
공식조직을 전제로 하는 자발적 결사체<<< 여기에 사내 노동조합도 들어갈 수 있나요...
-
선택과목은 미적분이고 점수는 81점이 나왔습니다. (4점 4, 3점 1 틀림)...
-
수능 수학 100으로 쟁취하자
-
이감 6-1 3
85 후... 논리는 어렵다
-
이거 왜 빠른거임ㅋㅋㅋㅋ
-
1컷이 미적 85네
-
이상하네 8
이시간만되면 잠이 안온다
-
오실모 4일차 2
파노라마 물2 1회 -41점 파노라마 물2 2회 -50점 생1 파이널 브릿지 전국...
-
고1 수학 과외 0
제가 다니는 수학학원이 정규수업이 끝나면 내려가서 자습실에서 2시간가량공부하고...
-
시험 중간에 오류난거 알려주는게 ㅈ반고 내신 시험 같노 ㅋㅋㅋ
-
99.9%는 배신하지 않는다
-
푸신 분 있나여.. 매주 선택과제로 주는 마피클래식은 시간 재고 풀었을 때 계속...
-
임시휴릅 11
성적 인증글 하나 빼고 싹 밀기 성공! 10덮 후에 잠시 올지 수능 후에 올지 아님...
-
꿈과 희망이 넘치는 키보토스엔 수능따윈 없겠지
-
이부키 ㄱㅇㅇ 12
으흐흐
-
수학 4일에 한시간씩 했더니 오늘 개념 다 끝냈다.. 이번 9모 2등급 정돈데...
-
여자친구 100일 선물 10
고등학생인데 여자친구한테 괜찮은 선물 있을까요? 편하게 추천해주세요
-
그냥 클라이버 기초대사량 이거 들으면 되는거 맞죠? (수열킬러 실전개념)
-
하......
-
악 6
-
https://www.fmkorea.com/7568491556 공론화를 해야지...
-
ㅇㅈ 9
프본이라네요~
-
6만 원으로 논술 시험 두 번 연습시켜버리게 하는 전략
-
하루만에 4천개나 쌓여있네
-
응 아저씨는 연대 인문논술만 4번 썼어요... 진짜 애증의 연대 ㅜ 부디 수험생...
-
휴 ㅇㅈ끝 6
얼마 못 봤다
-
형님 댓글없이는 하루도 살 수 없는 몸으로 만들어놓고 어디가신겁니까!!
-
지금까지 킬랭캠프, 이해원, 이로운, 빡모 풀었어요 난이도 상관없이 다양하게...
-
한 2~3년 전만 해도 진짜 현우진을 신으로 추앙하는 수준이었는데 요즘엔 입맛...
-
도움될까요? 그렇다고 1도 안풀겠다는건 아니고...... 독해 속도 올리고싶네요
-
강엑스처럼 막 어렵지 않은 거로
-
흠
슈크란