L'Hospital rule: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
This rule tells us that if we have a quotient <math>f(x)/g(x)</math> and '''the limit results in an indeterminate form''' <math>0/0</math> or <math>\infty/\infty</math>, then we can safely assume that the limit of the quotient <math>f/g</math> is equal to the limit of <math>f'/g'</math>. That is, '''the limit of the quotient of the derivatives'''. All under the condition that the functions are differentiable. If the limit of <math>f'/g'</math> also results in an indeterminate form, we can apply l'Hospital again. | This rule tells us that if we have a quotient <math>f(x)/g(x)</math> and '''the limit results in an indeterminate form''' <math>0/0</math> or <math>\infty/\infty</math>, then we can safely assume that the limit of the quotient <math>f/g</math> is equal to the limit of <math>f'/g'</math>. That is, '''the limit of the quotient of the derivatives'''. All under the condition that the functions are differentiable. If the limit of <math>f'/g'</math> also results in an indeterminate form, we can apply l'Hospital again. <math>0/\infty</math> or vice-versa may show up but we cannot apply l'Hospital in this case! | ||
One would naturally think that this rule can be applied to any limit. No, it can't. Think about this: suppose that we have <math>\lim_{x \ \to \ a} f(x)/g(x) = n</math>, where <math>n \neq 0</math>. From this we can already conclude one thing | One would naturally think that this rule can be applied to any limit. No, it can't. Think about this: suppose that we have <math>\lim_{x \ \to \ a} f(x)/g(x) = n</math>, where <math>n \neq 0</math> and <math>n \neq 1</math>. From this we can already conclude one thing: the limits of both functions can't be equal to each other. Otherwise the limit would be <math>n/n = 1</math>. Now with derivatives we can find critical, maximum or minimum points of a function. Such points always coincide with <math>f'(x) = 0</math>. They can also coincide with <math>f(x) = 0</math>. | ||
In case both functions go to infinity, the natural question is: which one is faster or slower? This naturally suggests analysing their respective derivatives. That's the idea of this rule, to analyse how fast one function is going to the same point in comparison to the other. I hope this makes it clear why l'Hospital applies to a very specific case of limits. | |||
One may naturally think that we can extend the rule to multivariable functions. No, we can't. '''We don't have an equivalent to the l'Hospítal rule for two or more variables.''' The reason for this lies in the fact that multiple paths lead to different limits with two or more variables. For multivariable functions there doesn't exist the concept of a derivative that is detached from direction. Suppose that we have a quotient <math>f(x,y)/g(x,y)</math> and an indeterminate form with a limit. We cannot consider <math>f'(x,y)/g'(x,y)</math> because while it may happen that the same path leads both functions to an indeterminate form, we don't have a tool to treat all paths at the same time. | One may naturally think that we can extend the rule to multivariable functions. No, we can't. '''We don't have an equivalent to the l'Hospítal rule for two or more variables.''' The reason for this lies in the fact that multiple paths lead to different limits with two or more variables. For multivariable functions there doesn't exist the concept of a derivative that is detached from direction. Suppose that we have a quotient <math>f(x,y)/g(x,y)</math> and an indeterminate form with a limit. We cannot consider <math>f'(x,y)/g'(x,y)</math> because while it may happen that the same path leads both functions to an indeterminate form, we don't have a tool to treat all paths at the same time. | ||
==Proof of l'Hospital== | ==Proof of l'Hospital== |
Revision as of 23:09, 8 April 2022
This rule tells us that if we have a quotient [math]\displaystyle{ f(x)/g(x) }[/math] and the limit results in an indeterminate form [math]\displaystyle{ 0/0 }[/math] or [math]\displaystyle{ \infty/\infty }[/math], then we can safely assume that the limit of the quotient [math]\displaystyle{ f/g }[/math] is equal to the limit of [math]\displaystyle{ f'/g' }[/math]. That is, the limit of the quotient of the derivatives. All under the condition that the functions are differentiable. If the limit of [math]\displaystyle{ f'/g' }[/math] also results in an indeterminate form, we can apply l'Hospital again. [math]\displaystyle{ 0/\infty }[/math] or vice-versa may show up but we cannot apply l'Hospital in this case!
One would naturally think that this rule can be applied to any limit. No, it can't. Think about this: suppose that we have [math]\displaystyle{ \lim_{x \ \to \ a} f(x)/g(x) = n }[/math], where [math]\displaystyle{ n \neq 0 }[/math] and [math]\displaystyle{ n \neq 1 }[/math]. From this we can already conclude one thing: the limits of both functions can't be equal to each other. Otherwise the limit would be [math]\displaystyle{ n/n = 1 }[/math]. Now with derivatives we can find critical, maximum or minimum points of a function. Such points always coincide with [math]\displaystyle{ f'(x) = 0 }[/math]. They can also coincide with [math]\displaystyle{ f(x) = 0 }[/math].
In case both functions go to infinity, the natural question is: which one is faster or slower? This naturally suggests analysing their respective derivatives. That's the idea of this rule, to analyse how fast one function is going to the same point in comparison to the other. I hope this makes it clear why l'Hospital applies to a very specific case of limits.
One may naturally think that we can extend the rule to multivariable functions. No, we can't. We don't have an equivalent to the l'Hospítal rule for two or more variables. The reason for this lies in the fact that multiple paths lead to different limits with two or more variables. For multivariable functions there doesn't exist the concept of a derivative that is detached from direction. Suppose that we have a quotient [math]\displaystyle{ f(x,y)/g(x,y) }[/math] and an indeterminate form with a limit. We cannot consider [math]\displaystyle{ f'(x,y)/g'(x,y) }[/math] because while it may happen that the same path leads both functions to an indeterminate form, we don't have a tool to treat all paths at the same time.
Proof of l'Hospital
Links for the proofs:
- https://brilliant.org/wiki/lhopitals-rule/
- https://en.wikipedia.org/wiki/L'H%C3%B4pital's_rule
- https://www.khanacademy.org/math/ap-calculus-ab/ab-diff-contextual-applications-new/ab-4-7/a/proof-of-special-case-of-lhpitals-rule
- https://proofwiki.org/wiki/L%27H%C3%B4pital%27s_Rule
- https://artofproblemsolving.com/wiki/index.php/L%27H%C3%B4pital%27s_Rule