[[분류:해석학(수학)]] [include(틀:해석학·미적분학)] [목차] == 개요 == ||두 [[함수]] [math(f\left(x\right))]와 [math(g\left(x\right))] 모두 ---- 1. [math(c)]를 포함하는 열린 [[구간]] [math(I)]에서 [[연속함수|연속]]이고 미분가능하며[* 단, 한 점 [math(c)]에서만 미분가능하지 않거나 불연속이어도 상관없다.] 1. [math(\displaystyle \lim_{x \to c} f\left(x\right) = \lim_{x \to c} g\left(x\right) = 0 \ \ {\sf or } \ \pm\infty)]이고 1. [math(\displaystyle \lim_{x \to c} \frac{f'\left(x\right)}{g'\left(x\right)})]가 존재하며 1. [math(c)]를 제외한 열린구간 [math(I)]의 모든 점 [math(x)]에서 [math(g'\left(x\right) \ne 0)]이면[* [math(g'\left(x\right) = 0)]인 경우, [[로랑 급수]]를 이용해야 한다.] ---- [math(\displaystyle \lim_{x \to c} \frac{f\left(x\right)}{g\left(x\right)} = \lim_{x \to c} \frac{f'\left(x\right)}{g'\left(x\right)})]이다. || 영어: L'Hôpital's rule[* L'Hôpital 대신 L'Hospital이라고 쓰기도 한다. 로피탈 본인도 생전에 자기 이름을 '''l'Hospital'''로 적었다. 그 뒤 18세기에 [[프랑스어]] 철자법이 개정되면서 한 단어 안에서 모음과 자음 사이의 s가 묵음이 된 경우 그 s를 없애고 바로 앞 모음 글자에 circonflexe(ˆ)를 추가하게 되었고, 이에 따라 l'Hospital은 l'Hôpital이 되었다. 이러한 이유로 영어권에서는 현대 프랑스어 철자법에 따른 L'Hôpital과 로피탈 본인이 생전에 사용했던 철자 L'Hospital이 혼용되고 있다. 첨언하면, 성씨에 있는 Hôpital은 프랑스어로 [[병원]]이라는 뜻이며, 영어의 hospital과 [[동원어|같은 뿌리를 갖는다.]]] 프랑스어: La règle de l'Hôpital / Théorème de l'Hôpital 간단히 말하면 (몇 가지 조건을 만족시키는)[* 미분가능+[[부정형]]] 분수꼴의 [[극한]]값은 그 분자와 분모를 각각 [[미분]]한 경우에도 같다는 정리이다. == 내막 == 사실 스위스의 유명한 수학자 가문인 [[베르누이 가문]][* 수학과 과학 분야에서 [[베르누이]]란 이름이 많이 나오는데 동일 인물인 경우도 있으나 대개 성만 같고 다른 사람이다. [[유체역학]] 쪽의 [[다니엘 베르누이]]도 이 가문. 당시에 [[라이프니츠]]를 도와 미적분학의 기초를 만들었다.]의 [[요한 베르누이]]가 발견한 것인데, 이를 프랑스의 수학자 기욤 드 로피탈(Guillaume de l'Hôpital)이 자신의 책에 내놓아서 다른 사람의 이름이 붙어 버린 것이다. 때문에 이 정리의 이름을 베르누이에게 돌려줘야 한다는 의견도 많다.[* 그러나 위의 다니엘 베르누이가 만든 [[베르누이 정리]]라는 별개의 정리가 있어서 혼동할 수 있다는 반론도 있다.] 이렇게 된 이유에는 로피탈이 요한 베르누이의 '''얼치기 제자'''로 친분이 있는 상태에서 아래와 같은 계약을 했기 때문. 비슷한 사례로는 삼차방정식의 근의 공식이 있다. [[방정식]] 문서 참조. > 친애하는 요한에게 - > > > 우리는 서로에게 필요한 존재인 것 같소. > 나는 당신의 지적인 재능이 필요하고 당신은 나의 재정적 도움이 필요하지요, 그래서 이렇게 제안하오. > 나는 올해 연금으로 300리브르를 지급하고, 당신이 내게 보낸 여러 잡지의 대가로 200리브르를 더 내겠소. 나는 당신의 모든 시간을 나에게 바치기를 바라는 것은 아니고, 어떤 의문이나 문제가 생길 때마다 약간의 시간만을 내주기를 원하는 것이오, > '''나는 당신이 새롭게 발견한 사실들에 대하여는 다른 사람에게 알리지 말고 나에게만 알려주기를 바라겠소.''' 특히 당신이 나에게 보낸 내용의 복사본을 다른 사람에게는 보내지 말 것을 요구하오. 나는 그것들이 세상에 알려지는 것을 원치 않소. 이후 로피탈이 죽을 때까지 요한은 자신의 발견을 자신의 발견이라고 부를 수 없는 처지. 로피탈은 아주 자랑스럽게 책을 냈고, 이 정리로 명성을 얻었다. 책에 '그들의 발견을 자유롭게 사용하였으므로 무엇이든지 자신의 소유라고 주장하는 것은 다시 돌려줄 것이다'라는 포기선언이 있었지만... 실제로 요한은 로피탈이 책에 쓴 대로 자기가 이 정리를 발견했다고 날뛰며 로피탈을 남의 재능으로 돈벌이나 하는 놈이라며 신나게 씹었다. 요한은 이 일이 사무쳤는지 약 50년 후에 자신의 연구를 모아서 본인의 이름으로 책을 냈다. == 써도 되는 경우 == 고등학교 교육과정에는 등재되어 있지 않으나 이 공식은 대학생도 아닌 고등학생에게까지 아주 유명하다. [[학교대사전]]에는 대부분의 고교 수학을 분쇄할 수 있는 [[궁극기|궁극병기]]로 소개되어 있다. 고등학교 참고서 중에서는 [[홍성대]]가 최초로 [[수학의 정석]] 시리즈에서 '교육과정 밖이지만 쓰면 유용한 도구'로 이 정리를 소개했고 최근에는 많은 참고서 내에서도 교과 내용 외라는 조건을 달아줘서 나오는 편. 심지어 개념중심 강의가 아닌 [[EBS]] [[수능특강]]에서조차 몇몇 선생님들이 '이거 알면 좋아요'라며 따로 적어 줄 정도.[* 여담으로 EBS 강의는 교과서나 연계교재에 나오지 않는 교과외를 거의 다루지 않는 편이다. 그러나 강사가 직접 교재를 집필하는 수능개념의 경우에는 교과외를 넣는 강사들이 종종 있다.] 어떤 수학식을 발견하여 이를 배워야 하는 학생들에게 욕을 먹는 [[카를 프리드리히 가우스|가우스]]나 [[아이작 뉴턴|뉴턴]], [[고트프리트 폰 라이프니츠|라이프니츠]](각각 가우스 기호와 미분) 등의 수학자들과는 달리, 로피탈은 이 정리 하나로 학생들에게 존경받고 있다. 그런데 그 학생들이 대학생이 되어 로피탈의 정리의 증명을 배우게 되면 로피탈을 욕하게 된다는 것이 아이러니하다. 난이도가 낮은 객관식이나 단답형 주관식을 풀 때 매우 강력한 도구이다. 로피탈의 정리를 썼을 때 더 쉽게 구할 수 있겠다 싶으면 바로 위아래 미분 때려 버리자. 한 번 때렸는데 안 나오면 두 번, 세 번 때리자. 계속 때리면 결국 답이 나온다. 초월함수의 경우 식이 복잡해지므로 집중해서 때리자. 사실 로피탈의 정리의 파괴력은 미적분보다는 수학Ⅱ(공통 미적분) 과정에서 빛을 발하는데, 수학Ⅱ에서는 로피탈의 정리 사용을 막을 방해물이 없으므로 로피탈의 정리를 마음놓고 사용할 수 있다. 수학Ⅱ에서는 다항함수의 미적분만 다루므로 자칫 로피탈의 정리를 썼다가 식이 어지럽게 꼬이는 문제는 나오지 않기 때문이다. 그리고 차수가 자연수인 경우의 미분법뿐만 아니라, 유리함수, 무리함수, 그리고 '''합성함수의 미분법'''도 알아 두는 것이 좋다. 단순 계산 문제는 그냥 풀 수 있고, 좀 더 난이도가 있는 문제도 훨씬 수월하게 풀 수 있는 경우가 많기 때문이다. [[미분과 적분(7차)|미분과 적분]]이 더럽게 많이 나오는 [[편입]] 수학에서도 [[필수요소]]. 수능 때와 달리 아무 생각도 하지 않고 로피탈의 정리를 쓰면 된다. 게다가 이쪽은 로피탈의 정리를 정식으로 배우므로 마음대로 사용해도 문제 없다. 많은 수험생이 애용하고 있으며 대다수 수학교사들이 수업 중 적어도 한 번씩은 언급함에도 불구하고 로피탈의 정리는 교과과정에 속해 있지 않다. 왜냐하면 고등학교 수학 교과과정으로는 로피탈의 정리를 증명할 수 없기 때문이다.[* 수학의 정석 미적분 II 실력편에서 증명을 간단하게 서술한 것이 있다. 방법은 롤의 정리를 이용해서 [[코시의 평균값 정리]]를 증명하고, 다시 그 평균값 정리를 이용해 로피탈의 정리를 증명하는 식으로 되어 있다.] 또한 상술한 대로 고교 미적분 내용의 대부분을 간단하게 풀어버리는 만능카드인 만큼 이걸 정식 교육에 넣게 되면 고등학교 과정까지 교육의 목적 중 하나인 ''''문제 해결을 위한 사고력을 기른다''''를 해칠 수 있기 때문이기도 하다. 내신의 객관식이나 단답형 주관식이라면 간단히 풀 수 있겠으나, 서술형 문제를 로피탈로 풀어 버리면 그 부분은 채점하지 않는다, 또한 '''[[전국연합학력평가]]나 [[대학수학능력시험]]에서는 로피탈을 쓰면 오히려 풀이가 꼬여버리는 문제를 도배해 놨기 때문에 사실상 못 쓴다.''' [[교육청]]이나 [[평가원]]도 사람이다. 수험생들이 뭔 짓거리 하고 다니는지 다 꿰고 있다. 특히 2022학년도 9월 모의평가 22번 문제를 보면, [[https://www.youtube.com/watch?v=KraEX20Jp5c|이걸]] [[https://www.youtube.com/watch?v=c1NO2l7LNcw|로피탈로]] 덤볐다가는 당연히 시험을 망칠 수밖에 없다. 미국에서는 학교에서 로피탈의 정리를 가르쳐주는 데다가 시험에서 쓰면 유용하다고 배우기까지 한다. 일단 대부분의 미적분 교과서에 짤막하게나마 나오는 내용이기도 하고 실제 AP과정에서 가르쳐 주기까지 하며 출제범위에 들어가 있다. 이는 Calculus AB/BC 모두에 해당된다. === 예시 === || [[파일:2021수능나형17번.png|width=365]] || || '''2021학년도 수능 나형 17번''' || 고교 교육과정에서 로피탈의 정리를 다루지 않으므로 본래 출제 의도는 다음과 같다. 우선, 첫째 식에서 [math(x\to 0)]이면 분모 [math(x)]는 [math(0)]으로 수렴하는데, 첫째 식 전체의 수렴값이 존재하므로 분자 역시 [math(0)]으로 수렴한다. 또한, [math(f(x))]와 [math(g(x))]는 [[다항함수]]이므로 실수 전체의 집합에서 연속이고, 따라서 극한값과 함숫값이 일치한다. {{{#!wiki style="text-align: center" [math(\begin{aligned}\displaystyle\lim_{x\to 0}\{f(x)+g(x)\}&=0\\f(0)+g(0)&=0\end{aligned})]}}} 그러므로 첫째 식을 다음과 같이 고쳐 쓸 수 있다. {{{#!wiki style="text-align: center" [math(\begin{aligned}\displaystyle\lim_{x\to 0}\dfrac{f(x)+g(x)}x&=\lim_{x\to 0}\dfrac{f(x)+g(x)-\{f(0)+g(0)\}}{x-0}\\&=f'(0)+g'(0)\\&=3\end{aligned})]}}}{{{#!folding [ 주의 ] ---- || [math(\begin{aligned}\displaystyle\lim_{x\to 0}\dfrac{f(x)+g(x)}x&=\lim_{x\to 0}\dfrac{f(x)+g(x)-\{f(0)+g(0)\}}{x-0}\\&=\lim_{x\to 0}\dfrac{f(x)-f(0)}{x-0}+\lim_{x\to 0}\dfrac{g(x)-g(0)}{x-0}\\&=f'(0)+g'(0)\\&=3\end{aligned})] || 분명히 위 식은 옳지만, 다음을 명심해야 한다. {{{#!wiki style="text-align: center" [math(\begin{aligned}\displaystyle\lim_{x\to 0}\dfrac{f(x)}{x}&\neq f'(0)\\\lim_{x\to 0}\dfrac{g(x)}{x}&\neq g'(0)\end{aligned})]}}} 이는 [math(a+b=1+2)]라고 해서 [math(a=1,\;b=2)]라는 법은 없는 것과 마찬가지이다. 위 두 식이 모두 등식이 되려면 [math(f(0)=g(0)=0)]이어야 하는데, [math(f(0)+g(0)=0)]이라고 하여 [math(f(0)=g(0)=0)]이라는 법은 없다. 꼭 이게 아니더라도, [math(h'(0)=f'(0)g(0)+f(0)g'(0))]인 이상 [math(f(0)=g(0)=0)]이라면 [math(f'(0))]과 [math(g'(0))]의 값을 구할 필요도 없이 [math(h'(0)=0)]이 되어 버리는데 보기에 [math(0)]은 없을뿐더러 상식적으로 이렇게 시시한 문제를 낼 리가 없다. ---- }}} 둘째 식 역시 [math(x\to 0)]이면 분모 [math(x)]는 [math(0)]으로 수렴하므로 분자 역시 [math(0)]으로 수렴하며, 극한값과 함숫값이 일치한다. {{{#!wiki style="text-align: center" [math(\begin{aligned}\displaystyle\lim_{x\to 0}\{f(x)+3\}&=f(0)+3=0\\\therefore f(0)=-3,\;g(0)&=3\;(\because f(0)+g(0)=0)\end{aligned})]}}} 그러므로 둘째 식을 다음과 같이 고쳐 쓸 수 있다. {{{#!wiki style="text-align: center" [math(\begin{aligned}\displaystyle\lim_{x\to 0}\dfrac{f(x)+3}{xg(x)}&=\displaystyle\lim_{x\to 0}\dfrac{f(x)-f(0)}{x-0}\cdot\dfrac1{g(x)}\\&=\dfrac{f'(0)}3\\&=2\\\therefore f'(0)&=6\\\therefore g'(0)&=-3\;(\because f'(0)+g'(0)=3)\end{aligned})] [math(\begin{aligned}\therefore h'(0)&=f'\!(0)g(0)+f(0)g'\!(0)\\&=6\cdot 3+(-3)\cdot(-3)\\&=27\end{aligned})]}}} 로피탈의 정리를 사용하면 풀이가 한결 간단해진다. 우선, 앞서 밝혔듯이 첫째 식과 둘째의 식의 분모가 [math(0)]으로 수렴하므로 분자 역시 [math(0)]으로 수렴하며, 극한값과 함숫값이 일치한다. {{{#!wiki style="text-align: center" [math(\begin{aligned}\displaystyle\lim_{x\to 0}\{f(x)+g(x)\}=0\quad&\rightarrow\quad f(0)+g(0)=0\\\displaystyle\lim_{x\to 0}\{f(x)+3\}=0\quad&\rightarrow\quad f(0)=-3\\&\rightarrow\quad g(0)=3\end{aligned})]}}} 첫째 식과 둘째 식 모두 분모와 분자가 [math(0)]으로 수렴하므로 로피탈의 정리를 사용할 수 있다. {{{#!wiki style="text-align: center" [math(\begin{aligned}\displaystyle\lim_{x\to 0}\dfrac{f(x)+g(x)}x&=\displaystyle\lim_{x\to 0}\dfrac{f'(x)+g'(x)}1\\&=f'(0)+g'(0)\\&=3\\\displaystyle\lim_{x\to 0}\dfrac{f(x)+3}{xg(x)}&=\displaystyle\lim_{x\to 0}\dfrac{f'(x)}{g(x)+xg'(x)}\\&=\dfrac{f'(0)}{g(0)}=\dfrac{f'(0)}3\\&=2\end{aligned}\\\therefore f'(0)=6,\;g'(0)=-3)]}}} {{{#!wiki style="text-align: center" [math(\begin{aligned}\therefore h'(0)&=f'\!(0)g(0)+f(0)g'\!(0)\\&=6\cdot 3+(-3)\cdot(-3)\\&=27\end{aligned})]}}} == 쓰면 안 되는 경우 == 그러나 서술형 시험이나 [[자연계 논술]]에서 풀이과정을 적을 때 로피탈의 정리를 쓰면 그 부분은 틀린 것으로 처리한다.[* 대표적으로 대학입시가 [[본고사]]인 일본을 들 수 있다.][* 다만 [[내신]]의 경우 교사 재량에 따라 봐주는 경우도 있다. 이유는 상술했듯이 이론적으로는 고등학교 교육과정 내에서 유도가 가능하기 때문. 물론 고등학교 수준에서 가능한 증명과정을 설명할 경우, 별도로 쓰지 말라고 언급한 경우가 아니라면 넘어간다. 문제집에서도 종종 소개되므로 이 경우는 오답처리할 명분이 없다.] 이는 당연한 것이, 공식적으로 고등학교 과정에 없기 때문에 논술에서 이런 것을 기술이랍시고 사용했다간 '''존재하지도 않는 개념을 임의로 정리랍시고 제시하는 것'''과 다르지 않은 짓이다.[* 비슷한 예시로 [[페르마의 마지막 정리]]를 [[귀류법]]에 사용하는 것 등이 있다.] 학교에서 교사들이 알려주게 되더라도 이러한 사항을 말해주는 것이 보통이다. 특히 논술을 노리고 있다면 로피탈의 정리를 쓰지 않고 문제를 해결하려는 연습이 많이 필요하다. 도저히 로피탈의 정리를 안 쓰고는 풀 수 없다면, 실제 증명까지 해야한다. 논술에서는 학생이 스스로 증명하는 경우에 한하여, 로피탈의 정리 사용을 가지고 감점하지는 않는다.[* 물론 원칙적으로 그렇다는 것일 뿐, 실제로 시간이 빡빡한 시험 도중에 고작 계산과정 한 스텝 진행하기 편하자고 저 긴 증명과정을 외워가서 쓰는 것은 현실성이 없다.][* 다만 지문에 로피탈이 등장하는 경우 당연히 사용할 수 있다. 수학 논술에서 지문은 수험생이 올바른 방향으로 풀이하도록 도와주는 역할이기 때문이다.] 풀이과정을 증명할 필요가 없는 객관식 문제에서도 기계적으로 문제를 풀면 큰일나는 경우가 있다. 평가원에선 로피탈의 정리를 통해 문제를 푸는 것은 수능 시험이 본래 의도하는 바인 수험자의 수학적 이해능력, 사고력과 응용력의 측정이 아닌 그냥 단순한 계산뻘짓이 된단 걸 알고 있기 때문이다. 그래서 미적분 문제에서는 오히려 '''로피탈을 쓰면 꼬이는''' 문제가 많다. 공통적으로 일반 다항함수가 아닌 지수함수나 삼각함수, 로그함수들 중 둘 이상이 뒤섞인 문제들인데 이런 걸 정직하게 위아래 미분하고 앉아있으면 특성상 시간이 무지 많이 걸리게 되며 계산 실수가 나와서 틀리게 되는 경우가 많다. 이 중에서도 특히 삼각함수 부분에서는 로피탈을 썼다가 피보는 상황이 꽤 많이 나온다. 삼각함수나 자연로그 같은 경우는 선형근사를 이용하여 푸는 게 훨씬 빠르다. 복잡한 함수의 몫의 미분법은 로그미분법을 사용하는 것이 더 쉬운 경우도 있다. 아래의 문항은 2010학년도 대학수학능력시험 6월 모의평가 수리 가형 미적분 27번이다. [[파일:=_utf-8_B_QkNwYThWRS53NDgwLnBuZw==_=.jpg]] [math(\displaystyle \begin{aligned} &\lim_{x\to0}\frac{e^{1-\sin x}-e^{1-\tan x}}{\tan x-\sin x} \\ &\xlongequal{\textsf{l'H\^opital}} \lim_{x\to0}\frac{e\left(e^{\tan x}-e^{\sin x}\cos^{3}x\right)\sec^{3}x}{\sec^{2}x-\cos x} \\ & \xlongequal{\textsf{l'H\^opital}} \lim_{x\to0}\frac{e^{-\sin x-\tan x+1}\cos^{2}x\left(e^{\tan x}-e^{\sin x}\sec^{6}x+e^{\tan x}\tan x\sec x+2e^{\sin x}\tan x\sec^{4}x\right)}{2\tan x\sec^{2}x+\sin x} \end{aligned} )] 미분했을 때 나오는 식. 정답은 [[http://www.wolframalpha.com/input/?i=%3Dlim%28x-%3E0%29%28%28%28e%5E%281-sinx%29%29-%28e%5E%281-tanx%29%29%29%2F%28tanx-sinx%29%29|여기]]로.[*보충설명1 사실 평균값 정리를 쓰면 바로 [math(e^{1-x})]에서 [math(x=0)]일 때 기울기에 [math(-1)]을 곱한 것임을 알 수 있다. 그래서 답은 4번 e이다.][*보충설명2 또는 분모가 [math((1-\sin x)-(1-\tan x))]임을 파악했다면 [math(y=e^x + C)](C는 어떤 상수)의 [math(x=1)]에서의 기울기가 답임을 알 수도 있다. 처음에 알아채기는 쉽지 않지만 이 편이 분모의 부호를 고려할 필요가 없어 훨씬 깔끔하다.][*보충설명3 사실 이 녀석은 로피탈 정리를 3번 사용해야 정상적인 답이 나온다. 그 후, [math(x)]를 [math(0)]으로 보내버리면 분모는 [math(3)], 분자는 [math(3e)]로 가므로 답은 [math(e)]이다. 다만 분모분자의 삼계도함수는 다음과 같다. [[http://www.wolframalpha.com/input/?i=%28exp%281-sinx%29-exp%281-tanx%29%29%27%27%27|분자식의 삼계도함수]] [[http://www.wolframalpha.com/input/?i=%28tanx-sinx%29%27%27%27|분모식의 삼계도함수]]] 위와 같은 문제는 주어진 식을 평균변화율의 극한식이 나오도록 변형해서 푸는 문제가 많은데, 이 방법이 충분히 익숙해졌다면 실제로 이 방법으로 푸는 게 로피탈의 정리를 사용해서 푸는 것보다 더 편리한 것을 느낄 수 있다. 사실 이 문제는 평균변화율을 사용하면 15초도 되지 않고 간단하게 답이 4번임을 알 수 있다. 이 문제를 로피탈의 정리를 사용하겠다는 생각을 하면 안 된다. 초월함수의 경우는 [[테일러 급수]]를 사용하는 편이 훨씬 쉽다. 또다른 예시로는 [math(p)]를 상수라 하고 [math(n)]을 변수로 놓을 때 [math(\frac{p^{2}}{4n\tan\left(\pi/n\right)})]와 [math(\frac{p^{2}\pi}{\left(2n\tan\left(\pi/n\right)\right)^{2}})]의 극한값을 구하는 상황이 있다.[*정답과해설 첫 번째 문제 [math(\displaystyle \lim_{n\rightarrow \infty}\frac{p^{2}}{4n\tan\left ( \frac{\pi}{n} \right )})]을 구해 보면 일단 상수를 밖으로 내보내면 [math(\displaystyle \frac{p^{2}}{4}\lim_{n\rightarrow \infty}\frac{1}{n\tan\left (\frac{\pi}{n} \right )})]가 된다. 이제 [math(\displaystyle \frac{\pi}{n}=t)]로 치환하면 [math(\displaystyle nt=\pi)]가 된다.그리고 [math(\displaystyle n\rightarrow \infty,t\rightarrow 0)]이므로,[math(\displaystyle \frac{p^{2}}{4}\lim_{t\rightarrow 0}\frac{1}{\frac{\pi}{t}\tan\left ( t \right )})]이렇게 된다. 역시 이제 극한식에서 분모와 분자에 각각 [math(t)]를 곱해주면 [math(\displaystyle \frac{p^{2}}{4}\lim_{t\rightarrow 0}\frac{t}{\pi\tan\left ( t \right )})]가 된다. 상수 [math(\displaystyle \pi)]를 즉시 극한식 밖으로 빼내주자. 그러면 [math(\displaystyle \frac{p^{2}}{4\pi}\lim_{t\rightarrow0}\frac{t}{\tan\left ( t \right )})]가 된다.이제 이 시점에서 로피탈의 정리를 적용하면 [math(\displaystyle \frac{p^{2}}{4\pi}\lim_{t\rightarrow 0}\frac{1}{\left ( \sec t \right )^2})]이게 된다. 각각 대입하면 [math(\displaystyle \frac{1}{1})]이므로 답은 [math(\displaystyle \frac{p^{2}}{4\pi})]이다.] 로피탈로 풀 수 있긴 하지만 시간이 많이 낭비됨을 알 수 있다. 정답은 둘 다 [math(\displaystyle \frac{p^2}{4\pi})]. 급수전개하거나 삼각함수의 극한을 이용해서 바로 풀 수 있는 문제다. n을 1/n으로 바꾸고 1/n이 0으로 접근하게 하면 삼각함수의 극한의 정의를 이용해서 풀 수 있기 때문. 다른 풀이: f(x)= 1-x 로 놓고 미분계수의 정의를 이용해도 풀린다. [[파일:로피탈1.png]] 또 다른 예로 로피탈의 정리를 적용했더니 분자 분모가 서로 바뀌어서 나오는 경우도 있다. 여기에 로피탈의 정리 적용하면 원래대로 돌아온다. 즉 로피탈의 정리를 적용할 때마다 분자와 분모 식이 서로 뒤바뀌면서 순환한다. 그런데 이 경우는 진동, 1로 수렴, -1로 수렴 중 하나라는 것을 알 수 있어서 로피탈의 정리를 쓴 것이 유용하다고 생각할 수도 있다. 사실 사인함수를 루트 안에 집어넣고 리미트도 안으로 들어오고 난 뒤에는 로피탈의 정리를 쓰면 풀린다. [[파일:로피탈2.png]] 겉보기엔 [math(\displaystyle {\infty\over \infty})] 이라 로피탈의 정리를 적용해도 될 것 같지만 실제로 적용하면 1이 아닌 발산으로 나온다. 이처럼 미분을 했을 때 극한값이 존재하거나 무한대로 발산하는 경우가 아니라면 로피탈의 정리를 적용할 수 없다. == 증명 == === 고등학교 수준에서의 증명(x→a일 때 0 / 0꼴인 경우) === 고등학교 수준([[엡실론-델타 논법]]을 배우지 않은 경우)에도 0/0꼴 부정형은 증명이 가능하다. [math(\displaystyle \lim_{x \to \alpha }\frac{f(x)}{g(x)})] 이 식의 극한을 구하려 한다. 전제 조건에서 [math(f(\alpha)=0)], [math(g(\alpha)=0)]이라고 정했으므로 이 식을 다음과 같이 변형 가능하다.[* 다만 이는 f,g가 [math(\alpha)]에서 연속일 때만 쓸 수 있다.] [math(\displaystyle \lim_{x \to \alpha }\frac{f(x)-f(α)}{g(x)-g(α)})] x는 α에 근접할 뿐, α가 아니기 때문에 분자와 분모를 x-α로 나눌 수 있다. [math(\displaystyle \lim_{x \to \alpha }\frac{\frac{f(x)-f(α)}{x-\alpha }}{\frac{g(x)-g(α)}{x-\alpha }})] [math(g'(α) \neq 0)]인 경우, 극한의 기본 정리에 따라 α로의 극한을 분자와 분모에 각각 분배할 수 있다. [math(\displaystyle \frac{\lim_{x \to \alpha }{}{\frac{f(x)-f(α)}{x-\alpha }}}{{\lim_{x \to \alpha }\frac{g(x)-g(α)}{x-\alpha }}})] 미분의 정의에 의해 분모와 분자는 각각 원함수의 도함수와 같다. 그러므로 위 식은 [math(\displaystyle \frac{f'(α)}{g'(α)})] 와 같다고 볼 수 있고, 처음에 g'(α)는 0이 되지 않는다고 정했으므로 이것은 [math(\displaystyle \lim_{x \to \alpha }\frac{f'(x)}{g'(x)})] 이렇게 결론을 도출할 수 있다. 이 경우에 속하는 유형의 경우, 논술에서 이 정도 증명만 써도 감점은 안 당한다. [math(g'(α) = 0)]인 경우, [math(\displaystyle \lim_{x \to \alpha }\frac{f'(x)}{g'(x)})]가 존재한다면 평균값 정리를 통해 다시 (원래 구하고자 하는) 극한으로 구성할 수 있다. === x→a-일 때 0 / 0꼴인 경우[* [math(x\rightarrow a^{+})]일 때는 거의 같은 방법으로 증명가능하고, [math(x\rightarrow a)]일 때는 두 증명을 합치면 된다.] === [math(\displaystyle \lim_{x\to a-}f\left(x\right)=\lim_{x\to a-}g\left(x\right)=0)]이고, 함수 [math(f, g)]는 적당한 열린 구간 [math(\left(a-d, a\right))]에서 미분가능하며(d>0), 임의의 [math(x\in \left(a-d, a\right))]에 대하여 [math(g'\left(x\right)\neq 0)]라고 하자. 또한 [math(\displaystyle \lim_{x\to a-}\frac{f'\left(x\right)}{g'\left(x\right)}=L)]이 성립한다고 하자. 함수 [math(f^*, g^*)]를 구간 [math(\left(a-d, a\right))]에서는 각각 함숫값이 [math(f, g)]와 같고, 점 [math(a)]에서는 함숫값이 0이 되도록 정의한다. 그리고 [math(x)]가 구간 [math(\left(a-d, a\right))]의 원소라 할 때, 다음과 같은 t의 함수를 정의한다. [math(F\left(t\right)=f\left(x\right)g^*\left(t\right)-g\left(x\right)f^*\left(t\right))] 그러면 [math(F\left(t\right))]는 닫힌 구간 [math(\left[x, a\right])]에서 연속이고, 열린 구간 [math(\left(x, a\right))]에서 미분가능하며, [math(F\left(x\right)=F\left(a\right)=0)]이다. 따라서 롤의 정리에 의하여 [math(F'\left(c\right)=0)]인 [math(c\in \left(x, a\right))]가 존재한다. 즉, [math(f\left(x\right)g'\left(c\right)-g\left(x\right)f'\left(c\right)=0)]이 성립한다.([[코시의 평균값 정리]]) 가정에 의하여 [math(g\left(x\right)\neq 0, g'\left(c\right)\neq 0)]이므로 다음이 성립함을 알 수 있다. [math(\displaystyle \frac{f\left(x\right)}{g\left(x\right)}=\frac{f'\left(c\right)}{g'\left(c\right)})] 한편, [math(\displaystyle \lim_{x\to a-}\frac{f'\left(x\right)}{g'\left(x\right)}=L)]이므로 임의의 양수 [math(\varepsilon)]에 대하여 양수 [math(\delta\left(\varepsilon\right))]이 존재하여 [math(a-\delta\left(\varepsilon\right)0), 임의의 [math(x\in \left(b, \infty\right))]에 대하여 [math(g'\left(x\right)\neq 0)]라고 하자. 또한 [math(\displaystyle \lim_{x\to \infty}\frac{f'\left(x\right)}{g'\left(x\right)}=L)]이 성립한다고 하자. 함수 [math(F, G)]를 임의의 [math(\displaystyle x\in \left(0, \frac{1}{b}\right))]에 대하여 다음과 같이 정의한다. [math(\displaystyle F\left(x\right)=f\left(\frac{1}{x}\right) , G\left(x\right)=g\left(\frac{1}{x}\right))] 그러면 [math(\displaystyle \lim_{x\to 0+}F\left(x\right)=\lim_{x\to 0+}G\left(x\right)=0)]이고, 함수 [math(F, G)]는 열린 구간 [math(\displaystyle \left(0, \frac{1}{b}\right))]에서 미분 가능하며, 임의의 [math(\displaystyle x\in \left(0, \frac{1}{b}\right))]에 대하여 [math(G'\left(x\right)\neq 0)]이다. 또한 [math(\displaystyle \lim_{x\to 0+}\frac{F'\left(x\right)}{G'\left(x\right)}=L)]이 성립한다. 따라서 위에서 증명한 사실에 의해 다음이 성립한다. [math(\displaystyle \lim_{x\to 0+}\frac{F\left(x\right)}{G\left(x\right)}=L)] 따라서 [math(\displaystyle \lim_{x\to \infty}\frac{f\left(x\right)}{g\left(x\right)}=L)]이다. === x→a^^-^^일 때 (분모)→∞ 꼴인 경우 === [math(\displaystyle\lim_{x\to a-}g\left(x\right)=\infty)]이고, 함수 [math(f, g)]는 적당한 열린 구간 [math(\left(a-d, a\right))]에서 미분 가능하며(d>0), 임의의 [math(x\in \left(a-d, a\right))]에 대하여 [math(g'\left(x\right)\neq 0)]라고 하자. 또한 [math(\displaystyle \lim_{x\to a-}\frac{f'\left(x\right)}{g'\left(x\right)}=L)]이 성립한다고 하자. 열린 구간 [math(\left(a-d, a\right))]에서 [math(y0)]). 그러면 다음이 성립한다. [math(\displaystyle \left|\frac{f\left(x\right)}{g\left(x\right)}-L\right|<\varepsilon_1+\frac{M}{\left|g\left(x\right)\right|})] [math(\displaystyle R=\frac{M}{\varepsilon-\varepsilon_1})]이라 놓자. 그러면 [math(\displaystyle \lim_{x\to a-}g\left(x\right)=\infty)]이므로 [math(a-\delta_RR)]이 성립하는 양수 [math(\delta_R)]이 존재한다. 그러므로 [math(a-\delta_R