곱/몫/합성함수 미분법 증명 by 미분계수의 정의
해봅시다.
우선 이건 도함수의 정의입니다. 미분계수의 정의를 일반화하는 식으로 우리가 공부했었죠!
<곱의 미분법>
미분가능한 함수 f(x), g(x)에 대해 f(x)g(x)의 도함수를 구해봅시다.
우리는 함수 f(x), g(x)가 미분가능함을 알고 있기 때문에 아래의 두 극한이 수렴함을 알고 있습니다.
그럼 이를 활용해서 lim를 분배해볼 생각을 할 수 있으니 극한식의 분자를 다음과 같이 조작해봅시다.
그럼 이렇게 식을 정리해볼 수 있겠고
이제 각각이 수렴하니 lim를 분배해주면
다음과 같이 수렴할 것입니다.
곱의 미분법 증명 끝!
<몫의 미분법>
미분가능한 함수 f(x), g(x)에 대해 f(x)/g(x)의 도함수를 구해봅시다. 참고로 이는 수학2에서는 나오지 않고 미적분에 나옵니다.
뭐 일단 아까와 마찬가지로 f'(x), g'(x)가 존재함을 아니 이를 활용하기 위해 식 조작 해봅시다. 분모 분자에 g(x)g(x+h)를 곱해주면
이렇게 됩니다. 이제 극한식 써먹기 위해 또 분자에 식 조작을 해주면
여기서 이렇게 묶어줄 수 있겠죠
그럼 이제 각각이 수렴하니 lim를 분배해주면
다음처럼 수렴함을 알 수 있습니다.
몫의 미분법 증명 끝!
<합성함수 미분법>
실수 전체의 집합에서 미분가능한 함수 f(x), g(x)에 대해 f(g(x))의 도함수를 구해봅시다.
마찬가지로 f'(x), g'(x)가 존재함을 아니 활용하기 위해 식 조작을 해봅시다. g(x+h)-g(x)를 나누고 곱해주면
말이 헷갈리니 잠시 x=a에서의 미분계수로 바라보면
함수 f(x)와 g(x)의 정의역 내의 임의의 실수 a에 대해 함수 f(x)는 x=g(a)에서 미분가능하고 g(x)는 x=a에서 미분가능하니 우리가
이렇게 lim를 분배할 수 있음을 알 수 있죠. 다시 말해
로 lim를 분배할 수 있을 것입니다. 그럼 왼쪽의 식은 점 (g(x), f(g(x))와 점 (g(x+h), f(g(x+h)) 사이의 평균변화율의 극한이니 x(독립변수)=g(x)(상수값)에서의 f(x)의 미분계수를 의미하고 오른쪽의 식은 점 (x, g(x))와 점 (x+h, g(x+h)) 사이의 평균변화율의 극한이니 x(독립변수)=x(상수값)에서의 g(x)의 미분계수를 의미하겠죠! 즉, 정리하면
가 될 것입니다. 합성함수 미분법도 증명 끝!
자 이렇게 고등학교 교육과정에서 마주하는 미분계수의 정의를 통해 증명 가능한 세 가지 미분법에 대해 알아봤습니다. 특히 확률과 통계 선택자 분들 중에 증명 과정 없이 결과만 외우며 학습하시는 분들이 많다 느껴서 이 글 확인하시고 적어도 곱의 미분법에 대해서는 증명 과정을 익혀두시면 좋겠습니다. 몇 번 따라해보시고 반복 학습을 통해 스스로 유도해보면 어렵지 않게 기억하실 수 있을 거예요!
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
합격하고 신나서 “입학예정” ㅇㅈㄹ 해놓고 오르비 과외시장에 프로필 업로드하고...
-
왜 미리 말 안하냐는 점장은멀까
-
오 캬 퍄 0
조강현
-
한국가야하네 5
아쉽다..
-
생2끼려하는데 컨텐츠나 강사 ㄱㅊ? 국수영 라인업도 추천 좀
-
인설의가 마렵다 1
수능 전엔 학교 옮기면 그만이고 한약수 절하고 간다는 마인드였는데 막상 지방한...
-
기차지나간당 10
부지런행
-
잘자요 14
다들잘자요
-
기차지나간당 0
부지런행
-
집에 냉동닭다리살 사놨어야돼 이럴때 만들어먹게..
-
-
티나게 보정하는 사람들은 왜 그런거지 인플루언서 아니면 팔로워들 다 지인이라 자기의...
-
피카츄 라이츄 0
고츄 ㅎㅎ
-
올해 1 1 나왔는데 뭐.. 불안하다는 이유로 바꾸는건 ㅂㅅ인듯 내년엔 국어 올인 해본당..
-
입학한 곳에서 전적대 자퇴한 거 확인하게 학적부 갖고오라고 함?
-
풀커리 열심히 따라가면 목표하는 대학을 가겠지..?
-
냥평 ㅋㅋ 8
냥!! 학교에서 무료로 준 후드집업 흐흐
-
히히 숏충이부활
-
658.22 자전 가능할까요.. 발뻗잠은 안되나여 ㅜㅜ
-
그래서 요즘 플러팅하는중
-
지금 추세로 중상윅 ㅜㄴ도 사탐런을 하니 난 원과목런을 하면 되잖아 어ㅏㄴ전...
-
-
아무도 안 쓰네
-
시팔
-
경희대 체대 ㄱㄴ? 25
진학사 5칸 추/불 텔그 48퍼뜹니다 추합으로 가능할까요 ㅜ 경희대 너무 간절합니다...
-
고해성사) 4
난 못생긴 사람이 ㅇㅈ 올릴때 일부러 ㄱㅁ 달아줬음 그래야 잘생긴 줄 알고 또...
-
고2긴한데... 국어 고3때 막 3까지 떨어질수도있음?ㅠㅠ
-
-
올해는 22번 63이라 실수하고 틀렸지만
-
ㅠㅠ
-
새벽에 배고픈데 7
라면 끓여먹을까
-
오늘 하루 조짐 0
근데 저 잠 많아서 밤 새는건 절대 안되고 많아야 5시간 잘듯
-
발톱 조각 사이로 피어오르는 그 구수하고 향긋한 냄새가 은근 중독됨 ㅋㅋㅋ 발가락...
-
3개 있었는데 누구냐 아
-
-
무서운 사실 2
본인 군대 가려면 딱 2주 남음 콱) 헐 소름돋아
-
그래서 작년에 오르비북스라고 되어있는 친구 책보고 커뮤에 고능아이신 분이 만드신 책인 줄 알았음
-
ㅜㅜ..
-
오르비에사
-
계절학기는 1
온라인이 개꿀이지
-
오르비 vs 0
내리비
-
아니 오르비북스에서 책사면 오르비 렙 높아져요??? 6
왜 활동도 얼마 안했는데 20렙이지
-
노래추천!!!! 1
호호
-
바이바이 3
잘게요 롤하고
-
ㅇㅇ
-
잡시다 0
정신건강과 수면은 비례함뇨
-
이게머고..
-
머리는 오르비야 어캄뇨..
-
캬캬캬캬캬캬캬캬캬컄
-
자라. 1
캬캬.
합성함수 미분법 증명 틀렸어요..
1. f(g(x+h))를 f(g(x+h)로 표기했던 것 수정했습니다
2. 미분가능한 함수 f(x), g(x)라 할 때 일반적으로 정의역을 실수 전체의 집합으로 잡는데 '실수 전체의 집합에서'라는 워딩을 추가함으로써, 함수 f(g(x))의 g(x)=g(a)에서의 미분가능성을 조사할 때 'f(g(x))를 정의한다'는 표현을 명시하지 않은 부분이 문제 될 수 있음을 고려해 g(a)가 f(x)의 정의역에 포함되지 않을 수 있는 경우를 배제했습니다.
감사합니다!
아뇨 근본적으로 틀렸습니다.. 많이들 하는 실수긴 해요 이거
g(x)가 x=a를 포함한 어떤 열린 구간에서 상수함수일 때 g(x+h)-g(x)=0이기에 본문의 과정처럼 식을 조작할 수 없음을 말씀해주신 건가요?
이외의 증명 과정 자체에는 문제가 없습니다. 고등학교 미적분에서 합성함수 미분법은 저렇게 g(x+h)-g(x)를 나눠주고 곱해준 후 각각의 평균변화율이 수렴함에 따라 lim를 분배하는 방식으로 증명합니다. Essential Calculus Early Transcendentals: Metric Version 2nd edition International Edition by James Stewart 에도 y=f(g(x))를 y=f(u), u=g(x)로 바라본 후 lim를 분배하는 방식으로 설명하고 있습니다.
고등학교 미적분에서 주로 다루는 대부분의 미분가능한 함수의 경우 특정 구간에서 상수함수일 때가 없기 때문에 위와 같이 증명을 보였는데, 말씀하신 것처럼 엄밀하게 합성함수 미분법 다시 말해 연쇄 법칙 (chain rule)을 증명하려면 아주 작은 오차 입실론_1, 입실론_2를 잡아 설명해야하긴 할 것입니다.
스튜어트 칼큘러스도 체인룰 챕터 보시면 그 챕터 끝에 제대로 된 증명을 따로 소개 하긴 합니다.. 물론 전 스튜어트가 좋은 책은 아니라고 생각하지만 어쨋든 고등학교 교과서나 정석같은곳에 있는 증명은 틀린것이 맞습니다.
오 그렇군요... 감사합니다 하나 배웠습니다! 스튜어트 미적분학 연쇄법칙 뒤에 나오는 제대로 된 증명은 저도 처음 봤을 때 신기해서 익혀둔 상태였습니다. 위 답글의 마지막 부분에서 언급한 아주 작은 오차 입실론들을 이용한 증명이 이를 언급한 것이었어요, 다만 함수의 극한을 직관적으로만 정의하는 고등학교 과정에서 '오차'라는 개념을 갖고 오는 게 어려울 것 같다는 점과 위의 곱미분과 몫미분에서 미분계수의 정의에서의 식 조작을 통해 공식을 증명한 방법과 같은 방법으로 진행하고 싶던 점에서 본문과 같이 증명을 남겼었는데 잘못되었을 경우에 대해서는 생각하지 못했었네요 ㅋㅋㅋㅋ 감사합니다
증명이라는 것이 엄밀해야하는데 g(x+h)-g(x)=0를 고려하지 않았다는 점에서 증명 과정에 오류가 있다고 말하는 것이 적절하겠네요. 교과서와 한완수에서도 본문과 같은 방식으로 극한을 증명해둔 것을 확인했기 때문에 '고등학교 미적분 수준에서는' 크게 문제가 없다고 봐도 괜찮을 것 같습니다.
증명 대충 스케치 해봤어요
오 저렇게도 증명할 수 있군요!! 감사합니다 신기하네요 아래 말씀해주신 책도 지금 공부하고 있는 책 마친 후에 찾아볼게요
g가 분모에 가면서 오류가 발생하는 거긴 한데.. 제대로 증명하려면 극한에 대한 이해가 필요해요
Stephen Kenton The College Mathematics Journal Vol. 30, No. 3 (May, 1999), pp. 216 읽어보시면 재밌을 거예요.