Proof of LHospitals Rule

Theorem: Suppose , exist and for all in an interval .

Proof: We may assume that the function at ). Also Define

, else , then

(since the limit is not affected by the value of at some by Rolles Theorem. , and . such that , hence . , , , or and . (can you see why?) . is continuous on and

exists on By Rolles Theorem there exist Since , it follows that

The theorem can be adapted for It does not apply e.g. if

Proof of LHospitals Rule Peter Jipsen math.chapman.edu