L’Hopital’s rule is really how every student of calculus (and I believe Leibniz, though I cannot find a reference) wishes the quotient rule worked. Specifically, that
Of course, it can’t be that easy. We also need that f and g are differentiable in a neighborhood of a, that both function approach 0, or they both approach , or they both approach as x approaches this point a, and finally that the limit on the right hand side exists (though we all recall that if it does not work the first time, we may continue to apply L’Hopital until the limit does exist, which then justifies using L’Hopital in the first place).
I was thinking of this rule in relation to generating interesting examples of limits. In particular, if we are in a situation where L’Hopital’s applies, then we can apply the rule in two ways:
Proceeding informally (i.e., I’m not going to keep track of hypotheses), the right hand side of this evaluates to
This is all well and good- the right hand side looks appropriately ugly, but now the trick is picking f and g to get interesting limits. I have worked out two reasonable examples:
1. Choosing f(x) = sin(x), g(x) = x, we get
2. Choosing and , and applying (hopefully correctly!) a number of logarithm rules, we can get
What would be interesting is to find an example where it is difficult/impossible to evaluate without recognizing that it was created using this process. This second example might fit the “difficult” bill, as I would not want to take the derivative of the denominator directly, but factoring, you might recognize it as , and then be able to reverse engineer this process, somehow.
As usual, just a thought I’ve been playing with.