Proof of L'Hospitals Rule No matter where I would look it would seem that L'Hospital's Rule has a strange proof-given that they teach it in high school, it seems troublesome that I can't find a solid proof at that level of knowledge. Does anyone have a proof that is fairly basic? Or does proving it simply require higher math? 
 A: One can prove it using linear approximation:
Recall the definition of the derivative, $f'(x)$:
$$
  f'(x) = \lim_{h\rightarrow 0} \frac{f(x+h)-f(x)}{h}
$$
which we can write as
$$
    f'(x) = \frac{f(x+h)-f(x)}{h} + \eta(h)
$$
where $\eta(h)$ is a function such that $\lim_{h\rightarrow 0} \eta(h)=0$ (and is continuous).
Then in the above displayed equation multiply through by $h$, which gives (after rearrangment and switching $\eta(h)$ with $-\eta(h)$)
$$
f(x+h) = f(x) +f'(x)h+h\cdot \eta(h).
$$
Now use L'Hopitals rule for the limit of $f(x)/g(x)$ when $x$ goes to $x_0$, so we have 
$f(x_0)=g(x_0)=0$. Then by using linear approximation as above in both numerator and denominator (and writing the $\eta$-function for $g$ as $\epsilon$), we get
$$
\frac{f(x_0+h)}{g(x_0+h)}=\frac{f'(x_0)h + h\cdot \eta(h)}{g'(x_0)h+h\cdot \epsilon(h)}
$$
and now, in both numerator and denominator, there is a common factor $h$ we can cancel. Taking the limit as $h \rightarrow 0$ now gives the result. 

This proof is an upgraded version of Bernoulli's original one. See https://mathoverflow.net/a/51691
A: Most proofs of L'Hôpital's rule requires Cauchy's mean value theorem. If the reader is familiar with that theorem and its applications, then the proof of L'Hôpital's rule is not that hard. If the use of Cauchy's theorem is the strangeness you feel, then there may not be a way around it. The following line of thought might make you feel better about accepting it, though.
Many of the "well-known" facts used in applications of differential calculus need a use of the mean-value theorem for a rigorous proof. For example,


*

*If $f: (a,b) \rightarrow \mathbb{R}$ is differentiable and $f'(x) = 0$ for all $x \in (a,b)$, then $f$ is constant

*If the derivative of a function $f$ is everywhere strictly positive, then $f$ is a strictly increasing function. 

*The derivative of a differentiable function vanishes at maxima and minima.
These facts are easier than L'Hôpital's rule, and they require the ordinary mean value theorem. So it is not a stretch to accept that L'Hôpital's rule, which is a more sophisticated theorem, require a more sophisticated mean value theorem: Cauchy's mean value theorem.
A: A related question is how would you discover L'Hopital's rule.  Assuming that $f(x) = g(x) = 0$, one might notice that 
\begin{align}
\frac{f(x + h)}{g(x+h)} &= \frac{\frac{f(x+h) - f(x)}{h}}{\frac{g(x+h)-g(x)}{h}} \\
&\approx \frac{f'(x)}{g'(x)}
\end{align}
which suggests L'Hopital's rule.  This could be turned into a rigorous proof, but we'd need to make some unnecessarily restrictive assumptions. 
Here is a version of L'Hopital's rule with a simple proof:
Assume $f$ and $g$ are differentiable at $x$ and $g'(x) \neq 0$, and that $f(x) = g(x) = 0$.  Then 
\begin{equation}
\lim_{h \to 0} \frac{f(x+h)}{g(x+h)} = \frac{f'(x)}{g'(x)}.
\end{equation}
Proving a less restrictive version of L'Hopital's rule requires a less obvious argument.
A: Typically when they teach L'Hopital's Rule in school they just teach it algorithmically, that is just how to apply it, without the proof. This is very similar to the way calculus in general is taught in most schools, i.e., just as a bunch of techniques, no proofs or justifications. A proper proof of L'Hopital's Theorem is not terribly difficult but it certainly requires a careful development of the basic language of calculus, namely the formal concept of limits and their basic theory. 
A baby version of the rule can be stated and proved for power series. This can be taken as motivation for the general rule. 
