Ah, I'll do it; the proof is kind of cool, and might help people understand limits better, etc..
(Note, the proof was mostly done from scratch, so there may be errors):
The Mean Value Theorem:
If a function w is continuous, real valued, and differentiable on the real interval [a,b], there exists a
c in [a,b] such that
w'(c) = [w(b)-w(a)] / [b-a]. Essentially the derivative at some point along the curve is equal to the slope of the secant line from a to b (this is a bit intuitive).
Apply the mean value theorem to
r(x) = f(x)[g(b)-g(a)] - g(a)[f(b)-f(a)]
You will find that
f'(c) / g'(c) = [f(b)-f(a)] / [g(b)-g(a)]
Now imagine f(a) and g(a) --> 0.
f'(c) / g'(c) = f(b)/g(b) . Now since c is in [a,b], if we let b-->a, then c must also approach a.
So, f'(b)/g'(b) = f(b)/g(b) so long as f(b) , g(b) --> 0 as b --> a.
This is also why L'Hopital's rule works if the numerator and denominator both approach something infinite (e.g. numerator could --> infinity, denominator could approach --> -infinity):
Assume w(b) / m(b) = infinite value / infinite value as b-->a
[1/w(b)] / [1/m(b)] = 0/0 as b--> a = d/db [ 1/w(b) ] / d/db[1/m(b) ]
Using the chain rule,
m(b)/w(b) = [-w'(b)/w(b)
2] / [-(m'(b)/m(b)
2]
= w'(b)*m(b)
2 / [w(b)
2*m'(b)]
or,
w(b)/m(b) = w'(b)/m'(b) as b--> a.
That was fun
. I was a bit scared for a minute because it didn't look like the infinite case would work out at first.