이과 수학덕후들만 보세요. [합성함수의 미분법]의 증명에 대한 보충설명
게시글 주소: https://orbi.kr/0002972671
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
얼버기 4
-
금살껄 1
라고할때살껄
-
가보자가보자
-
학원가는중 1
-
현역인데 미적 쎈 3회독 이틀 전에 끝내고 지금 수분감 하고 있어요 이정도면 많이 한건가요?
-
어디까지라고봄? 집은 경상도 어딘가.. 그냥건동홍가서새벽에서울가는데욕심인가싶어서써봄..
-
밤새고 어제 9시에 자서 6시에 일어남 1시간만 더 잘ㄲ
-
어느 학과가 대기업 취업에 더 유리할까요? 그리고 인하대 반시공 계약학과인가요?
-
작곡하고싶다 1
컴맹/자본/손가락병신이슈
-
기차지나간당 6
부지런행
-
핫도그하나 닭곰탕 한그릇 과자 한봉 비엔나 세개 메추리알 다섯개
-
작년 수능에서는 화작 0틀 백분위 91인데 6,9모에서는 하나씩 틀렸었습니다. 제가...
-
주식 들어가면 0
아오 내가 들어가면 쳐 내리네 ㅋㅋㅋㅋ
-
-
눈온당 0
-
출석부! 출석부 출석부! 지하철! 지하철 지하철! 공산당! 공산당 공산당! 진짜...
-
스타킹 1
찢기
-
이시간에
-
불면증.. 4
원하는 기상시간보다 45분이나 일찍일어나버렸다
-
잘까 4
흠
-
안자면 큰일날듯 1
옯붕이들 ㅂㅂ
-
2차 얼버잠 2
이젠 진짜 ㅃㅃ
-
동서연고. 1
무요.. 왜요.. 혼잣말이에요..
-
다시 했을 때 메디컬 가능성 얼마나 보시나요?
-
잘때가된건가 5
슬슬
-
발 300 11
손도 많이 큼
-
꾸준히 햇으면 꽤나 올렷을거 같은데 오랜만에 하려니 계속 같은 곳에서...
-
ㅅ..ㅂ 요즘에도 한달에 한번은 뛰다가 무조건 삐는 것 같다
-
키작은 사람이 6
큰 사람보단 끌림
-
마스터 등반 시작
-
재밋는건같이해요
-
귀가 ㅇㅈ 2
사실 아까 퇴근하면서 찍었어요
-
키작으면 좋은점 4
애들이 귀엽다고함 헤헤
-
ㅋㅋ 난 작년에 2
공부하는거에도 기출이 잇엇음.한국 기출만 봤을 때2008년도부터 2023년도 기출된...
-
새르비 화력 테스트 18
유동인구 10명 넘을까?
-
팩트는 0
마이 베스또 프렌드들은 몇시간째 디코를 하며 롤을 하고 잇다는거임.지금도 디코에...
-
굿모닝 1
ㄱㅁㄴ
-
-
-
오르비 굿밤 2
전 자러감
-
서버 어머같네요 0
ㅎㅎ
-
-
맞팔 구합니다 3
현역학생입니다 물리러에요
-
ㅇㅂㄱ 1
수업가야겠군
-
연구원인데 떼잉,,삼각함수랑 수열을 훨 잘함 지로함에 비하면
-
ㅇㅈ 13
새벽이니까 다행일듯 내 손임 펑~~
-
학벌딸 치고 싶어서 인거 같음 그냥 병신 한남 자존감 밑바닥 루저새끼라 뭐라도 하나...
-
안 맞게 공부를 하고 잇음 ㅋㅋ,,내 공부 이론대로 하는 공부가 좀 상당히 피곤함....
-
내 차단리스트 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 입니다. :)