이과 수학덕후들만 보세요. [합성함수의 미분법]의 증명에 대한 보충설명
게시글 주소: https://orbi.kr/0002972671

0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
고경 예비 좀 봐주실 분 0 0
고대 경영 예비 6x 예상했는데 생각보다 잘 나왔네요 예비번호가 46이면 방 잡으러 가도 될까요?
-
하 암흑표본 앞에 세명이네 0 0
2주를 또 어떻게 기다려요
-
서강대 조발 예비 1배수까지 0 0
예비 1배수까지 조발일에 문자 오는 건가요?
-
바이스벌사 개 높네 1 0
진짜 예술을 하는 느낌이다
-
교우 언어학과 718.03 1 0
도움 받고 갑니다
-
새롭게 바뀌는 수능 통합사회 솔직히 뭘 공부해야 할 지 모르겠고 감도 안 오죠?...
-
칭찬해줭 4 0
나 면접 잘 봤어 붙으면 10년 후 35살 때까지 모은 전재산 전액 사회에 기부할고얌
-
근데 솔직히 고대는 안부러움 0 2
내 실력으론 전과목 고점터져도 안되서 부럽지도 않음 엉엉슨
-
삼반수 할지말지 조언좀요 5 0
순서대로 25수능 26수능입니다 국어도 많이 오르고 있다 생각했는데 결국 수능에선...
-
조발좀 해라 1 1
2/2에 하면 내꺼 잡대라서 묻힌다고..
-
4월 들어가기 전쯤엔 다 끝내나용 그리고 그 아후 인강민철을 시작해도될까요...?...
-
서강대조발가능성0%임? 2 0
흐으으음
-
추합까진 또 언제 기다리나 0 0
붙을 확률이 훨높은데도 불안하네
-
고대 예비1번인데 되냐? 2 0
일반전형이고 20명 넘게 모집인데 한 명은 빠지겠지?
-
한양대가 5시에 조발할수도 있는거지 그치
-
고대 질받 8 1
고대 24학번이고 나름 고대 여러곳에 깊이 관여해봤는데 암거나 질문받습니다! 합격 추카추카해용
-
윤혜정 개념의 나비효과 정도만 듣고 마닳으로 기출분석 그리고 사설 n제들로 양치기
-
왜 순진하게 폭을예상하셧나부다. 하고 썻지
-
고려대학교 서울캠 합격하신 여러분 모두 축하드립니나 2 1
저는 27학번 후배로 들어갈게요 내년에 안암에서 뵙겠슴다
-
지금 작수 집모로 쳐봤을때 공통에서 15,21,22틀이고 미적분은 개념 학교에서...
-
내 과가 핵빵꾸난게 마음아프긴 하지만 최초합이니 한잔해
-
멕시카나는 머시켜야함 2 0
머시키는게맛나?
-
고뱃 집합. 9 8
학우 여러분 환영합니다
-
하
-
고뱃 도착 0 0
헤헤
-
어디갔는지 안보이는데.. 학생증까지 있어야 뱃지주나
-
어쨌든 고대 붙으니 좋다 2 2
그런데 과연 내일 운전면허 기능은 붙을 수 있을까 필기도 3번째에 붙었는데
-
고뱃들 부럽네요 0 1
고딩때 3년을 놀지말고 공부 좀 했아야 했는데 후회되네
-
이제 더 볼 필요없는 교양 강의록들 지우려다가 고민중이에요!!!
-
[국어 칼럼] 수능 기출 정답을 외워버렸다면 해야할 일 1 1
2027학년도 수능이 어느덧 300일 앞으로 다가왔습니다. 예비 수험생 여러분,...
-
고대 vs 성대 어디감 13 2
고려 보정관 성균 공학계열 목표는 없고 취업 잘 해서 연봉 잘 받고 싶다는 가정하에...
-
생윤 김종익 풀커리 타려고 하고있고 현재 잘생긴 개념완성 1회독한 상태인데 원래...
-
연대 담주 월화까지 안나오면 0 0
조기발표없다구 생각해야지..
-
재수생 고대합 1 2
ㅎㅎ
-
고뱃 떴냐? 5 0
-
축하드립니다. 1 1
-
고경 일반 20번대 초반 1 0
발뻗잠 가능한가요?
-
뱃지개빨리오네 2 0
땀땀;;
-
뱃지 떴냐?? 3 0
떴으니까 올리지 ㅋㅋ
-
캬 고뱃 간지 ㅆㅃ 2 0
나도 이제 "고뱃 오우너"
-
고대 예비2번 7 1
합격완료 캬캬캬
-
수특 표지 보고 다시 옴 1 0
근데 표지 왜 저럼... 27수능 국어 만표 160 떴냐?
-
혹시 대입정시에서 문제가 생길까요....? 흔히들 말하는 학폭때문은 아니고.......
-
합격확보용으로 파이널콜때 8칸인 과 쓰랫는데
-
난 2월 중말에나 나올텐데 2 0
부럽군 최초합들
-
아 ㅅㅂ 고대 행정쓸걸 하 2 1
교우 문과식 703.x 이었는데 썻으면 전추로라도 붙었으려나
-
지금 국내에서 생산중단된 약 11 1
이게 생산중단되다니 별 ㅋㅋㅋㅋㅋㅋㅋㅋ
-
아 떴으니깐 올리지! 이 기세로 관악까지 가보자
-
팔로잉 적게 할 걸...
합성함수의 미분법이 고교과정에선 완전하게 증명이 안 됐나요?
질문에 답해드리자면 Partialy Yes, Partialy No. 입니다. 수능에선 별 상관없는 미묘한 문제가 하나 걸려있는데요. 이번 글에서 바로 그 부분을 설명하고 있습니다. ^^
이번 글에선 더 이상 자세히 쓰진 않겠습니다.
이 부분이 궁금했는뎅 ㅠㅠ
고등학교 과정에서 다루는 함수들만 생각해보면, 고등학교 교과서에서 소개하는 수준의 증명으로도 충분하다는 것이 이번 글의 주제입니다. 그 근거들을 정확히 이해할 수 있다면 수리가형을 풀이하는데 필요한 실력을 쌓는데 도움이 많이 되거든요. ㅎ
제가 이 글에서 미분계수의 또 다른 정의와 이것을 이용한 연쇄법칙의 증명을 다루지 않은 이유는 (마치 극한의 입실론-델타 논법처럼) 수능이란 시험에선 별 도움이 안 되기 때문입니다. 이 부분은 학문적 즐거움을 위한 요소이지 수능을 위한 요소는 아니란 거죠.ㅎㅎ 정말 수학을 좋아하고 직업으로 수학자가 되고 싶어하는 일부 학생들을 위해서 입구가 여기에 있다는 정도만 언급한 것이라 이해해주세요.
정말 너무 궁금해서 견딜 수 없는 학생이 있다면 저에게 쪽지 주세요. 그럼 어떤 책의 어느 부분을 봐야 하는지 안내해드리겠습니다.
y=f(u), u=g(x) 가 미분가능하면,
u=g(x)가 미분 가능하므로
lim(Δx->0) Δu/Δx = g'(x) 이다. 따라서 e1= Δu/Δx - g'(x) 라 하면
Δu = (g'(x)+e1)Δx 이고 lim(Δx->0) e1 = 0 이다.
또 Δx->0 이면 Δu->0 임을 알 수 있다.
같은 방법으로 y= f(u) 가 미분 가능하므로
Δy = (f'(g(a)) +e2)Δu 이고 lim(Δu->0) e2 =0 이다.
그런데 Δy= (f'(g(x)) +e2)(g'(x)+ e1)Δx 이므로
dy/dx = lim(Δx->0) Δx/Δy = lim(Δx->0)(f'(g(x)) +e2)(g'(x)+e1)
= lim(Δx->0)(f'(g(x)) +e2) lim(Δx->0) (g'(x) +e1) 이다.
Δx->0 일 때 Δu ->0 이므로
dy/dx = f'(g(x))g'(x) 이다
알기 쉬운 해석학(장건수 외5인) 에 나와있는 증명입니다
옙. 이런 방식으로 증명해요. 감사합니다. 제 수고를 덜어주셔서. ^^
사실 제가 생각하는 가장 깔끔하면서도 일반적인 증명법은, 미분계수를 정의하는 성질인 'best linear approximation property' (라고 거창하게 부르기도 뭣하지만 어쨋든 그런 성질)을 이용하는 증명입니다.
이게 중요한 이유는
(1) 미분계수의 기하학적인 의미를 아주 명확하게 보여주며
(2) 이 성질이 사실상 미분가능성과 동치이고
(3) 이 성질은 더 넓은 범위로도 확장하여 사용 가능하기 때문입니다. 예를 들면 선형사상이나 functional같은 함수들도 미분 가능하지요.
오!! sos440님이 코멘트 해주시다니 영광입니다.^^
(블로그 재미있게 보고 있어요. 제 실력이 부족해서 이해 못하는 부분이 많지만요. ㅠㅠ)
한가지 간단한 질문이 있는데요. best linear approximation이란 게 정확히 무엇을 가리키는지요?
제가 알고 있는 범위에서는
주어진 함수를 local하게 일차식으로 근사시키고, 여기에 little o로 표현되는 error term 하나 붙이는 방식을 가리키는 것이라 생각되는데요.
"best"라는 말이 붙어서 혹시 다른 게 아닌가 싶어서 질문 드립니다.
제가 생각하고 있는 그 성질이 아니라면 간단하게 좌표 찍어주시면 대단히 감사하겠습니다. ^^
허허, 영광이라뇨...;; 뭐 사실 그 말이 그 말이라 딱히 다른 개념은 아닌데요, 그냥
[성질] 임의의 ε > 0 에 대하여, 어떤 δ > 0 이 존재하여, |Δx| < δ 이면 항상 | f(x+Δx) - (f(x) + f'(x)Δx) | ≤ ε|Δx| 이다.
를 만족하면 함수 f 가 x에서 미분 가능하고 미분계수가 f'(x) 라는 식으로 조금만 말을 바꾼 것이죠.
깔끔하네요. 감사합니다! :)
블로그 주소도 써주세요...
sodong212.blog.me 입니다. :)