미분의 심화개념 질문요

게시글 주소: https://old.orbi.kr/0003658770

$\lim_{x \rightarrow a+0} \frac{f(x)-f(a)}{x-a} = \lim_{x \rightarrow a+0} f' (x)$

이명제는 거짓입니다. 반례를 들어주세요

왼쪽함수를 우미분계수라고 하던데 미분계수라고하면 미분가능성이 정의된 상태에서 미분계수 라고 하는것 아닌가요?

팔로우 0

[ 국어 1등급을 정말 원한다면 ] 만년 3, 4등급이 2달만에 고정 1등급이 된 방법

[ 노크 ] 22개 대학합격인증자를 위한 안전하고 클린한 커뮤니티, 노크

[ P.I.R.A.M 수능 국어- 생각의 전개 2025 ]　결과로 증명한다. 올해도 피램!

0 XDK (+0)

유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.

고민이많은 [412096]

쪽지 보내기

최근 게시글 · 더보기
13/08/19 12:39 서울대 기공? 연세대 기공?
13/06/12 23:34 합성함수
13/06/12 23:28 도함수의 연속성
13/03/30 23:23 과탐 선택과목 질문이요
12/12/29 22:21 설수통은 이제 못가나요 ...... 어디가지요...아.....

알림
스크랩
신고

아기나라 · 16293 · 13/04/21 02:13 · MS 2003

아래 게시글에도 있었던 것 같은데,
f(x)=x^2sin(1/x) (x≠0), f(0)=0으로 정의된 함수는,
x=0에서의 미분계수 f'(0)은 0으로 존재하지만,
x=0 근방에서 진동하는 불연속함수기 때문에 극한값이 존재하지 않아요.
따라서 좌변인 우미분계수(=좌미분계수)는 미분계수의 정의에 의해 구해보면 0이지만,
우변인 도함수의 우극한값은 존재하지 않는답니다.

좋아요 0 답글 달기 신고
아기나라 · 16293 · 13/04/21 02:15 · MS 2003

질문에 답변드리자면,
미분가능이 전제된 상태에서 그 점에서의 미분값을 미분계수라고 합니다.
하지만, 도함수의 연속성과 미분가능성은 별개의 문제로,
좌미분계수(=도함수의 좌극한값)와 우미분계수(=도함수의 우극한값)가 일치하지 않더라도
미분계수(=도함수의 함수값,미분값)는 존재할 수 있습니다.

좋아요 0 답글 달기 신고
oiler124 · 409562 · 13/04/21 02:30 · MS 2012

아기나라님에게 태클을 걸자면, 미분계수와 도함수의 극한값은 다른 개념입니다. f(x+h)-f(x)/h 라는 식에서 h가 0+0 으로 가면 우미분계수이고 h가 0-0 으로 가면 좌미분계수입니다.

좋아요 0 답글 달기 신고
아기나라 · 16293 · 13/04/21 16:16 · MS 2003

제 글을 잘못 읽으신 것 같은데 저는 미분계수와 도함수의 극한값이 같은 개념이라고 한 적이 없습니다.

좋아요 0 답글 달기 신고
oiler124 · 409562 · 13/04/21 18:02 · MS 2012

2번째 댓글에서 좌미분계수(=도함수의 좌극한값)이라고 하신부분에서 = 의 표현때문에 제가 자의적으로 해석한것 같습니다. 하지만 = 자체를 쓸수 없는 개념들입니다.

좋아요 0 답글 달기 신고
oiler124 · 409562 · 13/04/21 02:33 · MS 2012

예를들어 f(x) = x (x <= 1), x+1 ( > 1 ) 이라고 정의하면 x=1에서 좌미분계수는 1이지만 우미분계수는 무한대입니다. 이때 좌미분계수와 우미분계수가 같지않아 미분 불가능한 케이스고요, 도함수의 좌극한값 우극한값은 둘다 1로 같죠.

좋아요 0 답글 달기 신고
아기나라 · 16293 · 13/04/21 16:18 · MS 2003

예를 들어준 함수 f(x)는 x=1에서 좌미분계수,우미분계수가 모두 1입니다.
미분하기 이전에 함수가 연속이지 않아 미분가능성을 논할 수 없는 케이스겠네요

좋아요 0 답글 달기 신고
oiler124 · 409562 · 13/04/21 18:03 · MS 2012

아기나라님께서 오개념을 가지고 계신데 우미분계수는 무한대입니다. 도함수의 우극한이 1입니다.

좋아요 0 답글 달기 신고
아기나라 · 16293 · 13/04/21 20:38 · MS 2003

쪽지 보냈습니다. 답장 부탁드립니다.

좋아요 0 답글 달기 신고
고민이많은 · 412096 · 13/04/22 01:41 · MS 2012

도함수의 극한값이 1이되는 것은 미분하면되는것이니 알겠습니다만 미분계수는 어떤식으로 구하는거죠? 평균변화율의 극한이 순간변화율이되서 미분계수이니 평균변화율의 극한값으로 계산하면 0/1 이 나와서 우미분계수가 무한대다 맞아요?
결국 중요한건 미분계수는 불연속이어도 정의가능하다? 인건가요

좋아요 0 답글 달기 신고
oiler124 · 409562 · 13/04/23 00:52 · MS 2012

미분계수는 lim x->a f(x)-f(a) / x - a 혹 lim h -> 0 f(a+h) - f(a) / h 의 극한값입니다.
이게 미분계수의 정의이고, 이 극한값이 존재하면 미분가능한겁니다.
불연속이면 저 미분계수는 존재하지 않아요. 정의를 못하는 거죠. 따라서 미분 불가능한겁니다.

좋아요 0 답글 달기 신고
고민이많은 · 412096 · 13/04/23 00:56 · MS 2012

그러면 예를 들어주신 우미분계수가 무한대고 좌미분계수는1이라는것은 무슨의미시죠?

좋아요 0 답글 달기 신고
oiler124 · 409562 · 13/04/23 01:04 · MS 2012

좌 미분계수는 lim h -> 0-0 f(a+h) - f(a) / h , 우 미분계수는 lim h -> 0+0 f(a+h) - f(a) / h
미분계수는 lim h -> 0 f(a+h) - f(a) / h (좌 미분계수와 우 미분계수가 존재하고 그 두 값이 같을 때)

이 3개의 차이를 잘 생각해보셔요.
그리고 제가 예로 든 함수에 적용해보시고 미분가능의 정의를 제가 위에서 언급한 사실에 따라 생각해보셔요.

좋아요 0 답글 달기 신고
oiler124 · 409562 · 13/04/21 02:37 · MS 2012

저 명제에 대한 반례를 제가 예로 든 함수로 들 수 있겟네요. 그리고 좌미분계수, 우미분계수는 교과과정에 나오지 않는 용어입니다.

좋아요 0 답글 달기 신고
고민이많은 · 412096 · 13/04/22 01:32 · MS 2012

그러면 미분계수 용어의 성립자체는 불연속이어도 상관이 없다는 뜻인가요? 단순히 미분가능성을 정의 할 때만 좌우의 미분계수가 같아야하는건가요?

좋아요 0 답글 달기 신고
oiler124 · 409562 · 13/04/23 00:54 · MS 2012

네 맞습니다. 좌우 미분계수가 같으면 미분계수가 존재하는 것이고 이게 미분 가능하단거죠. 좌우 미분계수가 다르거나 존재하지 않으면 미분 불가능한겁니다.

좋아요 0 답글 달기 신고
울산출신울의생 · 403786 · 13/04/21 11:06

반례 f(x)=lx-al 라고하면 안되나요? 알텍에서 도함수 만들때 그 함수가 x=a에서 미분가능해야지 뭘 만들던지 말던지 한다고 빡선생님께서 그러시던데

좋아요 0 답글 달기 신고
아기나라 · 16293 · 13/04/21 16:20 · MS 2003

f(x)=|x-a|라고 한다면, 글쓴이가 질문한 내용에서 좌변은 1, 우변도 1로 식이 성립하게 되어 반례가 되지 않습니다.

좋아요 0 답글 달기 신고
언어97 · 363354 · 13/04/21 22:39 · MS 2010

그니까 도함수가 불연속일수있으니까 거짓인거죠??

좋아요 0 답글 달기 신고