0/0 꼴 극한의 해석 (ft. 로피탈의 정리 증명)
게시글 주소: https://orbi.kr/00062600708
제목이 0/0은 '영 분의 영'이 아니라 '무한소 분의 무한소' 꼴이라고 읽는 것이 더 적절하다고 알고 있습니다. 무한대와 비슷한 느낌의 단어로 받아들이시면 좋겠습니다. 그럼 시작하겠습니다!
이거 극한 어떻게 구할까요?
지금은 (분모)->0 이니 함수의 극한의 성질에 따라 lim를 분배할 수 없습니다.
대표적인 방법은 인수분해나 유리화 등을 통해 lim를 분배해줄 수 있는 상황을 만드는 것일테죠!
이럼 우리가 극한을 처리할 수 있겠습니다.
자 이제 일반적인 상황을 떠올려봅시다.
이러한 상황에서 아래 조건이 충족된다 합시다.
1. 함수 f(x), g(x)는 x=a에서 미분가능
2. f(a)=g(a)=0
3. g'(a)가 0이 아님
그럼 우리는 분모 분자에 각각 f(a), g(a)를 빼주고
분모 분자를 x-a로 나눠주고
이제 lim를 분배함으로써
주어진 극한이 아래가 됨을 알 수 있습니다.
즉, 앞으로 아래의 세 가지 조건을 만족할 때 우리는 주어진 극한을 분모 분자 각각 미분하고 독립변수 (x) 가 가까이 가는 값 (a)을 대입해주면 되겠습니다.
1. 함수 f(x), g(x)는 x=a에서 미분가능
2. f(a)=g(a)=0
3. g'(a)가 0이 아님
이제 로피탈의 정리도 공부해봅시다. 결론부터 말하면 이러합니다.
방금 학습한 식과 굉장히 비슷합니다. 하지만 분모 분자에 위치한 함수의 도함수가 x=a에서 연속이 아니라면 위의 식과 같은 값을 지닌다고 말할 수 없을 수 있습니다. 로피탈의 정리는 아래 조건을 만족하는 상황에서 적용 가능합니다.
1. 함수 f(x), g(x)는 x=a를 포함하는 열린 구간에서 미분가능
2. x->a일 때 f(x)->L 이고 g(x)->L (L 자리에는 숫자 0이나 양의 무한대, 음의 무한대가 들어갈 수 있음)
3. x=a를 포함하는 어떤 열린 구간의 x=a를 제외한 나머지 구간에서 g'(x)가 0이 아님
4. x->a 일 때 f'(x)/g'(x)가 수렴
증명은 아래 글을 참고하시면 좋겠습니다.
[칼럼] 로피탈은 교육과정 외가 아니다
증명 잘 보고 오셨나요?
로피탈의 정리를 적용할 수 있는 조건을 정리해보면 다음과 같습니다.
1. 함수 f(x), g(x)는 x=a를 포함하는 열린 구간에서 미분가능
2. x->a일 때 f(x)->L & g(x)->L (L 자리에는 숫자 0 or 양의 무한대, 음의 무한대가 들어갈 수 있음)
3. x=a를 포함하는 어떤 열린 구간의 x=a를 제외한 나머지 구간에서 g'(x)가 0이 아님
4. f'(x)/g'(x)->k as x->a (단, k는 상수)
처음 극한을 두 가지 방법을 사용해 처리해봅시다.
먼저 조건을 확인한 후 미분계수의 정의를 활용하면
이렇게 될 것입니다.
마찬가지로 조건을 확인한 후 로피탈의 정리를 적용하면
이렇게 될 것입니다.
우리 앞으로 다항함수(수학2)든 초월함수(미적분)든 0/0꼴 극한은 위 두 가지 방법 중 하나로 처리할 생각도 해봅시다!
p.s. 처음에 함수의 극한 맥락에서 나오는 0/0 읽을 때 '영 분의 영' 말고 '무한소 분의 무한소'로 읽자고 했습니다. 이유는 그야...
있어보이니까
.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
선좋아요 후감상!
앗 참고로 저는 '응꼴'로 읽습니다ㅋㅋㅋ
ㅋㅋㅋㅋㅋㅠㅠ 저는 그럼 '%꼴'로 읽을래요
![](https://s3.orbi.kr/data/emoticons/2020_foolsday/oribi/006.gif)
응꼴잘읽었습니다!
ㅠㅠ 감사합니다
![](https://s3.orbi.kr/data/emoticons/orcon/014.png)
결론부 마음에 듭니다 ♡무한소 분의 무한소 꼴.
역시 간지의 학문 수학..
한성은 선생님 어록... 결국 모든 것은 '잘난 체하기 위해 배운다'
항상 잘 읽고 있습니다 감사해요!
감사합니다, 학습에 적절히 활용하셨으면 좋겠습니다!
한성은 현장 수강생이면 개추ㅋㅋ
막줄독해 성공
ㅋㅋㅋㅋㅋ 굿