ㅇㅂㄱㅇ [297947] · MS 2009 · 쪽지

2011-10-19 15:13:55
조회수 564

수리고수님들 미분문제 하나 풀어주세요

게시글 주소: https://orbi.kr/0001895987

미분가능한 함수f(x)에 대하여

g(x)= (x=0이아닐때) f(x)/x and (x=0일때) f'(0) 라고 g(x)를 정의할때

'g(x)는 미분가능하다' 의 증명 부탁드립니다.

0 XDK (+0)

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

  • 안소희내꺼 · 271678 · 11/10/19 19:45 · MS 2008

    x=0일때 g(x)에 미분은 상수의 미분이니까 0일테고

    x=0이 아닐때 g(x)를 미분해보면 1 ~~~f `(x)/x - f(x)/x^2 가 되잖아영

    여기서 보면 g(x)가 정의될때 f(x)/x가 정의되어 있다는 것은 x가 0으로 갈때 f(x)도 0으로

    간다는 것입니다. 즉 x가 0으로 갈때 f(x)/x는 f `(x)가 되는거에여

    이 식을 1~~~에 대입하면 서로 지워져서 0나옵니다

    g `(x)의 값이 x=0에서 양옆으루 0으로 같으니까 미분가능한거겠졍

  • ㅇㅂㄱㅇ · 297947 · 11/10/19 20:22 · MS 2009

    저기 첫줄 발상에서 틀리셨음;;

    구간이아닌 x=a일때 값이 상수라고 그때 미분값이 0이라고 가정한다면
    그럼 f(x)=x 인 함수에서 x=3때 f(x)=3이니 f'(3)=0이라고 할수없듯이
    저 함수 g(x)의 x=0에서의 값이 상수라고해서 미분값이 0이라고 하면 틀립니다.

  • ㅇㅂㄱㅇ · 297947 · 11/10/19 20:24 · MS 2009

    2번째줄부터의 내용도 틀리셨는데

    밑에서2번째줄 1~~~의 식에
    f'(x)=f(x)/x을 대입할수있다고 치더라도 0분의 0꼴이 나오므로 이걸 0이라고 확정지을수도 없구요...

  • 안소희내꺼 · 271678 · 11/10/19 20:34 · MS 2008

    이 문제에 g(x)가 미분 가능하다는 조건은 없나영?

  • ㅇㅂㄱㅇ · 297947 · 11/10/19 20:37 · MS 2009

    g(x)의 미분가능을 물어보고있네요.

    밑에 질문을 잘못적음; 근데 님이 설명하신거보면
    g(x)의 미분가능을 묻는걸로 맞게 이해하고 푼거같은데..ㅋ

  • 나카렌 · 278738 · 11/10/19 20:27 · MS 2018

    f(x) = x|x| 라고 둔다면, f(x)는 x=0에서 미분가능하지만, g(x)는 x=0에서 미분가능하지 않네요.

  • ㅇㅂㄱㅇ · 297947 · 11/10/19 20:33 · MS 2009

    잘못얘기했네요 g(x)가 미분가능이요

    저 유형이ㄱ,ㄴ,ㄷ 형식으로 출제됬던 문제를 흔히 볼수있었을텐데
    왜 저것의 반례를 f(x)= x|x|로 들수있는지에 대한 설명이 없어서요.

  • 나카렌 · 278738 · 11/10/19 20:37 · MS 2018

    f(x)가 x=0에서 미분가능한 것으로는 g(x)가 x=0에서 연속인 것밖에 보일 수 없습니다.

    f(x) = x|x|는 x=0에서 미분가능하지만 g(x)는 x=0에서 연속이면서, 미분불가능이죠.

    f(x)가 x=0에서 n+1번 미분가능하면, g(x)는 x=0에서 n번 미분가능할 겁니다.

  • ㅇㅂㄱㅇ · 297947 · 11/10/19 20:39 · MS 2009

    음...따로 이래서 반례를 이걸로 든다 라고 유도할방법은없나보네요....
    아 밑에 글 질문적었는데 질문 또 받아주세요ㅎㅎ

  • 나카렌 · 278738 · 11/10/19 20:41 · MS 2018
    회원에 의해 삭제된 댓글입니다.
  • 나카렌 · 278738 · 11/10/19 20:45 · MS 2018

    혹시 착각하신 것은 아닌지 해서 한번 더 말하자면, ㅇㅂㄱㅇ님이 쓰신 ".... g(x)는 미분가능하다"는 거짓명제이므로 증명이 불가능합니다.

  • 나카렌 · 278738 · 11/10/19 21:01 · MS 2018

    "따로 이래서 반례를 이걸로 든다" 라고 유도해 드릴까요?

    x가 0이 아닐 때는 몫의 미분법에 의해 g(x)가 미분가능합니다.

    이제 x가 0일 때 미분가능한지 살펴보겠습니다. 미분계수의 정의에 의해,

    g'(0)이 존재한다면 lim_(x->0) ( f(x)/x - f'(0) )/x = lim_(x->0) { f(x) - f'(0) x }/ ( x^2 ) 입니다.

    x=0에서 f(x)가 미분가능하다는 것은, 일차함수 L(x)에 대하여 [ x가 0에 가까울수록 f(x) - L(x)가 x에 비해 아주 아주 작다]는 것과 동치이며, 이 때 L(x) = f(0) + f'(0) x 입니다. 이를 직관적으로 이야기하면 [ x가 아주 작을 때는 x가 작은 정도보다 f(x) - L(x)가 작은 정도가 더 크다]라고 할 수 있습니다.

    한편 바로 위의 극한값이 존재한다는 것은, [x가 아주 작을 때는 f(x) - L(x)가 x^2와 크기 비교가 가능하거나, 아니면 x^2보다 아주 아주 작다]는 뜻입니다. 이는, [ x가 아주 작을 때는 x^2가 작은 정도와 f(x) - L(x)가 작은 정도는 비슷하다]는 뜻입니다.

    그런데, x보다 작은 정도가 크다고 해서, x^2와 작은 정도가 비슷한 것은 아닙니다. 만약 f(x) - L(x)가 x^1.5와 작은 정도가 비슷하다면, f(x) - L(x)는 x보다 작은 정도가 크고, x^2보다 작은 정도가 작습니다. 그리고 이 때는 lim_(x->0) { f(x) - f'(0) x }/ ( x^2 )가 무한대가 됩니다. 따라서, g(x)는 x=0에서 미분가능하지 않습니다.



    "작은 정도"는 "차수"와 비슷하지만, 작은 정도는 소수가 될 수 있으나 차수는 소수가 될 수 없다는 게 다른 점입니다. 다항함수에만 한해서 "작은 정도"를 직접적으로 출제한 기출 문제가 아마 2009학년도 수능 수리 가형에 있을 겁니다.

  • 나카렌 · 278738 · 11/10/19 21:28 · MS 2018

    반례는 하늘에서 그냥 떨어지는 것이 아니라, 문제를 잘 살펴본 뒤 생각해 내는 것입니다. 문제를 살펴보고, 이런저런 조작해 보면서 감을 잡은 다음, 그 느낌을 토대로 만들어 내는 거죠. 다르게 말하면, 주어진 보기를 잘 이해할수록, 반례를 생각해내기 쉬워진다는 겁니다.