## L’Hopital’s Theorem## IntroductionDifferential calculus can be of help when evaluating limits of the form \( \frac{0}{0} \), \( \frac{\infty}{\infty} \), \( 0\cdot \infty \), \( \infty^0 \), and \( 0^0 \). L’Hopital’s theorem is a result that simplifies calculation of limits of fractions \( \lim_{x\to a}\frac{f(x)}{g(x)} \) where \( f \) and \( g \) are functions such that \( \lim_{x\to a}f(x)=\lim_{x\to a}g(x)=0 \). The limits of the form \( \lim_{x\to a}f(x) g(x) \) where one of \( f \) and \( g \) converges to \( 0 \) and the other to \( \infty \) can be re-written in the form \( \lim_{x\to a}\frac{f(x)}{\frac1{g(x)}} \) or \( \lim_{x\to a}\frac{g(x)}{\frac1{f(x)}} \), so the main task is to develop a method to tackle the problems of evaluating limits of fractions. The limits of the form \( \lim f(x)^{g(x)} \) can be treated using \( f(x)^{g(x)}=e^{\ln \left(f(x)^{g(x)}\right)}=e^{g(x)\ln f(x)} \). Thus, evalution of limits of that type also reduces to evaluation of \( g(x)\ln f(x)=\frac{\ln f(x)}{\frac1{g(x)}} \). This presentation of L’Hopital’s theorem starts with precise statement of the theorem followed by examples on how to use it and how not to use it. In the end we present the proof that relies on a discrete version of L’Hopital’s theorem known as Cesaro-Stolz lemma. ## Statement of the theorem and applicationsThe preceding two examples are the simplest applications of L’Hopital’s theorem. In the development of the fundamentals of mathematical analysis it is not correct to use l’Hopital’s theorem to establish the previous two limits. Using L’Hopital’s theorem to prove that \( \sin x/x\to 1 \) would create a logical error called However, if we know that \( (\sin x)^{\prime}=\cos x \), then Example 1 is a correct application of L’Hopital’s theorem to prove that \( \displaystyle \lim_{x\to 0}\frac{\sin x}x=1 \). The trouble is that all those who know that \( (\sin x)^{\prime}=\cos x \) probably already know that \( \frac{\sin x}x\to 1 \) as \( x\to 0 \). ## Cases when L’Hopital’s theorem cannot be appliedIt is important to verify all the conditions of the L’Hopital’s theorem. The following example shows that it is possible that \( \displaystyle \lim \frac{f^{\prime}(x)}{g^{\prime}(x)} \) does not exist, while \( \displaystyle \lim\frac{f(x)}{g(x)} \) does. Consider \( f(x)=x+\cos x \) and \( g(x)=x \). Since \( \cos x\in [-1,1] \), we have that \( \displaystyle \frac{f(x)}{g(x)}\in \left[ 1-\frac1x, 1+\frac1x\right] \) for \( x> 0 \), and by squeeze theorem the limit of the fraction \( \frac{f(x)}{g(x)} \) is equal to \( 1 \). However, \( f^{\prime}(x)=-\sin x \) and \( g^{\prime}(x)=1 \), hence \( \displaystyle \lim_{x\to 0}\frac{f^{\prime}(x)}{g^{\prime}(x)} \) does not exist. ## Proof of L’Hopital’s theoremWe will first prove a discrete version of the L’Hopital’s theorem: the case when instead of functions we are dealing with sequences. We may see a sequence \( (a_n)_{n=1}^{\infty} \) as a special case of a function. The finite difference \( \frac{a_{n+1}-a_n}{(n+1)-n} \) plays a role that derivative plays when studying functions. |

2005-2014 IMOmath.com | imomath"at"gmail.com | Math rendered by MathJax Home | Olympiads | Book | Training | IMO Results | Forum | Links | About | Contact us |