엄밀한 수학(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를 선물하세요.
-
129일차
-
연논 분량 미달 2
설마 채점 대상 제외임..? 인문..
-
연논후기 4
그냥 제대로 푼게없음 시설 겁나좋음 자판기가 서강대보다 쌈 캠퍼스 개넓음 고사장까지...
-
흠냐뇨이..
-
안녕하세요, 연고대 3회합격자 연상논술입니다. (연경영, 연심리, 고경제) 아래는...
-
1학기 중간기말 전부 전과목 1~3/330등으로 1.0 받았는데 2학기 중간...
-
❗️어이, 김옯붕❗️ 11
「저녁은 먹었지❓️ 그럼 나랑 디저트 먹으러 가자! 오늘은 케이크가 먹고싶은걸.」
-
한 꼬맹이가 라면 엄청 맛있게 먹고 있길래 라면 이름 용기내서 뭐냐고 물어보고 바로 삼
-
복수 정답인 것 같아서 다음주에 바로 이의 신청하려고 합니다. 풀이를 최대한...
-
여러분들도 공부하다가 틈틈히 허리스트레칭하세요
-
물리논술 가져와!! 16점 만점에 7점 받은 사람이 할 소리는 아니지만..
-
6평 이대봉전세트하고 어떤게 더 어려웠음??
-
태어나서 푼거중에 제일어려운듯.. 어떻게 이딴점수가 나오지..
-
유리함수 로피탈 9
괄호안에 있는거를 통분하지 않고, 유리함수를 각각 미분해서 풀수는 없을까요?...
-
맛있겟죠?
-
수2가 약해서 한완기 빨리 풀어보려는데 파트원만 끝내도 ㄱㅊ을려나요
-
욕해라!
-
ㅆㅂ 3-2 2009로썼네 ㅅㅂㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 5-2 답은 틀렸는데 부분점수...
-
QWER 음중 1위 14
지상파에서 연예인들이 밀리노 ㄷㄷ
-
1. 10 2. 10 3-1. 7 3-2. 8 4-1. 5 4-2. 10 5-1....
-
송도 유배 가고싶은 밤이로구나
-
2점짜리 답 2번인데 2번이라고 생각했는데 3번에 체크한거 빼고 계산하면 94 언매...
-
휫자휫자 7
휫자한판만 먹어야지
-
항상 1위던데아무도 하는 걸 못봄
-
연대 인물 논술 6
2-2 비율 계산 백분율로 55,44로 써서 망했네. 아무리 계산해도 계산이 안...
-
저는 대충 파악 -> 선지 보고 모르는거 있음 -> 다시 읽어봄 독해 추론 시작...
-
지구 n제 2
폴라리스 vol 1 2 각각 전단원 다 들어있는건가요?? 솔텍도 파트1 n제 파트2...
-
잘 보셨나요 ㅠ
-
날 욕해라! 6
고소안할테니
-
후기좀요..ㅠㅠ
-
큰일났다 씨발
-
뭐가 더 좋을 까요 지금 뉴런 하는 중입니다 내신용이고 뉴런이랑 병행하기에 더...
-
수학 1일1실모 0
지금부터 하는거 좋을까요??? 킬캠 풀면 거의 70점대 나오고 간혹 딱 80나오는데…
-
적중예감 시즌1 다풀고 사만다 풀어볼까 하는데 어떤 시즌이 괜찮나요? 시즌3인가...
-
경영 논술치고 경영학과로 확 바뀜 괜히 옛날부터 연상고법 하는게 아니구나 싶은 위엄이
-
라틴어 동사 "amare(사랑하다)"에서 온 말. Borrowed from...
-
실감나는구만
-
초반에는 정병글 조지게 올려서 유명세를 탐 그래도 말투 자체는 안날카로워서 사람들이...
-
내가나를낳았어.
-
난 내길을 간다
-
등급컷 구할 수 있는 실모가 있을까요?? 맨날 학교 쌤한테 받은 ebs꺼 푸니깐 등급을 모르겠어서요
-
6모땐 하나 찍맞해서 1이었는데 수능때 3뜰까봐 너무 불안해요
-
차상위 전형 약대 정시 2명정도 뽑을시 평백 어느정도인가요? 0
차상위 전형 약대 정시 2명정도 뽑을시 평백 어느정도인가요? 목포대나 순천대는 국어...
-
나도,,,,, 연대 비교내신 적용자,,,,ㅠㅠ
-
다시 풀어보니 확실히 3번은 틀린듯.. ㅠㅠ
-
새로운 길이면-> 오답가능성 있음 오답가능성 없음-> 새로운 길이 아님 오답을...
-
9평 이후에 나온 만ㅎ이 어렵지 않은 난이도 ㄱㅊ은 실모 부탁드려여 수학
-
그놈의 생윤 씨발.. 그냥 배신감이 듬 현돌 실개완 보면서 공부했는데 방금...
슈크란