엄밀한 수학(1): 구간 별로 정의된 함수의 미분 가능성
게시글 주소: https://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이 너무 재미없어요
-
몇년 전부터 부모님 사이 급격하게 안 좋아지는 거 보면서 비혼 다짐했었는데...
-
스카에서 국어 실모 풀고 있는데 웬 갑자기 옆에 있던 모르는 예쁜 여자가 몸을 들이...
-
기사님께 2천원어치 뒤로 가달라고 했는데 나보고 막 욕하시면서 경찰 부르기 전에...
-
D-33 오공완 11
서바 96점.. 기쁘당..물론 넘겨짚은 거 있음..ㅎ 근데 생명은 분명 어제 백호모...
-
당연히 이대에 합격 가능한 모든 요소를 충족하게됨
-
유명한문제인데 못찾겠음.. 저기서 전체에 균일한 자기장 걸려있고 기계가 F로...
-
평상시 수논갤하면서 정보얻는데, 문제 유출 정황이 너무 적나라해서 수논갤에서 다른...
-
25 불리 예고 6
평가원의 이름으로 껍질만 남은 물스퍼거들을 처단하노라
-
다들 선택과목 적고가요 147
전 화미쌍사에요
-
2등급 이상 기준으로 공통 몇 분 컷해야 ㄱㅊ나요? 고2인데 엔제풀기 너무 지루할...
-
개추
-
n+1 년간 모솔이 된답니다 ㅎㅎ 넝담넝담 조크 조크 ^^
-
바보 4
나는 바보야
-
현재 이전글 내용+문제 유출에 관하여 언론 컨택중이며 이전글에 썼다싶이 저도...
-
딱 시험장 들어가는 순간부터 망해? +1하면 그만이야~ 이 생각하면 멘탈잡기좋은듯
-
미미미누 션티편 보다가 션티가 저거 봤다길래 찾아봤는데 어떻게 1컷이 29점이지 ㅋㅋ
-
시험 결과!! 2
국어 - 망망망… 공부를 덜한게 맞긴하지만 내가 한 노력보다 너무너무 안나온거...
-
할 거 없으신 분만
-
도서정가제
-
오늘 아침에 쓴 글인데 좋아요 갯수가 ..
-
슬프다ㅠㅠ
-
오개념 논란이라는게 어떻게 생기는거임요 교과서에 개념 다 적혀있는거 아니에요??
-
연대가고싶다 3
고대가고싶다 서강대가고싶다 성대가고싶다 냥대가고싶다 연고서성냥
-
수능이 다가오면 5
사람들이 이상해지는군요 네..
-
영원히 박제. 솔직히 K리그 입덕하다 탈덕하는 팬들이 생기는 원인 중 30프로는 니들 지분이잖아
-
그냥 하고 있다가 갑자기 군대도 가야하는데, 공부도 해야하고, 성적은 안 오르고,...
-
[칼럼] 수능 직전 당당해지고 싶다면 - 멘탈 강화 48
지금 그럴 때 아닙니다. 어깨 펴세요. 1. 모순 제가 만약 여러분에게 이런 말을...
-
메뉴로 실모 나오는건가
-
고2입니다 영어 9모 3나왔어요 성적을 좀 올리고 싶은데 어떤 문제집이 좋을까요?...
-
11월 14일 전에 보는 마지막 시험...이번에야말로 증명하고야 말겠습니다
-
기만의도x)고민 8
기만의도는 정말 없습니다 여자친구가 수능이 한달 남았는데 데이트를 하자고 해서...
-
공스타 스샷이라 화질좀 구림
-
반골기질 힙스터라 이감 상상 한수 바탕은 주변에서 넘 많이 보여서,,, 뭔가 풀기...
-
어려운 것이에요
-
수학1 자작문제 1
1번은 새로 만든 문제입니다. 2025학년도 9월 모의평가처럼 미적분에서 등비급수...
-
문학이 헷갈렸음 딱 이거다!! 하는 느낌이 첫트에 안 들었고 검토하면서 답에 확신이...
-
ㄹㅇ?
-
졸업전에 꼭 결혼해서 책임감있는 가장이 되는게 목표임
-
한강 노벨상 수상으로 입결 ㅈㄴ 높아질까봐 이미지 실추시켜서 밸런스 조정하려는 큰그림임 대연대 ㄷㄷ
-
엔티켓 1
지금 4규랑 이해원풀고잇는데 그거다 풀고 문해전 풀고 드릴로 넘어가도 될까요...
-
이감 사이트 들어가고 안나오는데
-
사문 실모, 적중예감 어렵다는분들 표점 맛있게 먹을게요 냠 16
겸손하자 하나 틀리면 끝이다 후아;;;;
-
이거 두개 풀고 기분 좋아 죽을뻔했는데 쉬4는 아니져........? 수2도...
-
내일이 신나는 일요일이라서 감사합니다. 맛있는 만두를 먹게해주셔서 감사합니다....
-
6-1은 원의 방정식 6-2는 한쪽은 원의 일부 다른쪽은 직선 맞나요?
-
일단 수학 3등급대 정도 분들 수1을 경시하시는 분들이 많던데 제 개인적인...
-
와 글씨 0
예쁘게 썼었네 ㄷㄷ.. 완전작아
-
다른건 다 1뜨는 확통인데 지금 시점에서 뭘 하면 3등급 갈 수 있을까요?? 현재 낮4나와요
슈크란