Download L'Hopital's Rule Proof using Cauchy's Mean Value Theorem and more Study notes Calculus in PDF only on Docsity! Here is a proof of (part of) L’Hôpital’s Rule. It is stated for the case where x approaches a from above for two reasons: (1) proving it with a weaker hypothesis makes a stronger theorem (and the other cases — x approaching a from below or from both sides — are easy to get from this case, anyway), and (2) it allows us to avoid some of the absolute value bars in the definition of limit: instead of |x− a| < δ, we have 0 < x − a < δ. We begin with a stronger version of the Mean Value Theorem than is proved in the main section of Stewart. He does state this stronger version in Appendix F, and the proof is sketched. (Moreover, what is given here isn’t much longer.) Cauchy’s (Extended) Mean Value Theorem: Suppose f and g are functions continuous on a closed interval [a, b] and differentiable on (a, b). Then there is a value c in (a, b) for which f ′(c)(g(b)− g(a)) = g′(c)(f(b)− f(a)) . Proof: Define the function h on [a, b] by h(x) = f(x)(g(b)− g(a))− g(x)(f(b)− f(a)) . Then h is continuous on [a, b] and differentiable on (a, b), and h(a) = f(a)g(b)−g(a)f(b) = h(b), so by Rolle’s Theorem, there is a c in (a, b) for which h′(c) = 0. Since h′(x) = f ′(x)(g(b)− g(a))− g′(x)(f(b)− f(a)), the result follows. // L’Hôpital’s Rule: Suppose either lim x→a+ f(x) = 0 = lim x→a+ g(x) (1) or lim x→a+ g(x) =∞ . (2) Then lim x→a+ f(x) g(x) = lim x→a+ f ′(x) g′(x) . Proof: The proof in the case of hypotheses (1) appears in Appendix F of Stewart’s text, so it won’t be repeated here; so we assume hypothesis (2). Write L for limx→a+(f ′(x)/g′(x)), and let ε > 0 be given. Pick δ1 > 0 so that 0 < x− a < δ1 implies, first, that g(x) > 0 (which is possible, since g(x)→∞) and, second, that ∣∣∣∣f ′(x)g′(x) − L ∣∣∣∣ < ε2 . Then for a < x < x1 < a+ δ1, by Cauchy’s Mean Value Theorem there is a value c in (x, x1) for which f(x)− f(x1) g(x)− g(x1) = f ′(c) g′(c) , and hence ∣∣∣∣f(x)− f(x1)g(x)− g(x1) − L ∣∣∣∣ < ε2 (and that is the last use we make of c, f ′ and g′). Rewriting the last inequality as two inequalities, we get L− ε 2 < f(x)− f(x1) g(x)− g(x1) < L+ ε 2 , and multiplying through by (g(x)− g(x1))/g(x) = 1− (g(x1)/g(x)) and adding f(x1)/g(x) throughout gives( L− ε 2 )( 1− g(x1) g(x) ) + f(x1) g(x) < f(x) g(x) < ( L+ ε 2 )( 1− g(x1) g(x) ) + f(x1) g(x) . 1