By Proposition 10.1.7, since g′(x0)=0, we can find a δ>0 such that for all x∈X and ∣x−x0∣≤δ, we have ∣g(x)−g(x0)−g′(x0)(x−x0)∣≤2∣g′(x0)∣∣x−x0∣ Using triangle inequality and g(x0)=0, we further get 2∣g′(x0)∣∣x−x0∣≤∣g(x)∣ Thus if x∈(X∩(x0−δ,x0+δ))−{x0}, we shall have ∣g(x)∣>0, or g(x)=0. In this case we can safely use Proposition 9.3.14 to have x→x0;x∈(X∩(x0−δ,x0+δ))−{x0}limg(x)f(x)=x→x0;x∈(X∩(x0−δ,x0+δ))−{x0}limg(x)−g(x0)f(x)−f(x0)=limx→x0;x∈(X∩(x0−δ,x0+δ))−{x0}x−x0g(x)−g(x0)limx→x0;x∈(X∩(x0−δ,x0+δ))−{x0}x−x0f(x)−f(x0)=g′(x0)(f′(x0)
Exercise 10.5.2
In the first example, we have g(x)=1+x↛0 if x→0. In the second example, notice that to use the L’Hôpital’s rule, we need first the limit x→a;x∈(a,b]limg′(x)f′(x) exist, then we can safely use the rule, but in this example, the limit x→0+;x∈(0,∞)limx′(x2sin(x−4))′ doesn’t exist, due to the calculations in the textbook. So it’s not safe to use the L’Hôpital’s rule.