PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Low Entry average rating: No information on entry rating
[parent] proof of chain rule (Proof)

Let's say that $g$ is differentiable in $x_0$ and $f$ is differentiable in $y_0 = g(x_0)$ We define: $$ \varphi(y) = \left \{ \begin{array}{ll} \frac{f(y) - f(y_0)}{y-y_0} & \textrm{if $y \neq y_0$} \\ f'(y_0) & \textrm{if $y = y_0$} \end{array} \right. $$

Since $f$ is differentiable in $y_0$ $\varphi$ is continuous. We observe that, for $x \neq x_0$ $$ \frac{f(g(x))-f(g(x_0))}{x-x_0} = \varphi(g(x)) \frac{g(x) - g(x_0)}{x-x_0}, $$ in fact, if $g(x) \neq g(x_0)$ it follows at once from the definition of $\varphi$ while if $g(x) = g(x_0)$ both members of the equation are 0.

Since $g$ is continuous in $x_0$ and $\varphi$ is continuous in $y_0$ $$ \lim_{x \to x_0} \varphi(g(x)) = \varphi(g(x_0)) = f'(g(x_0)), $$ hence \begin{eqnarray*} (f \circ g)'(x_0) &=& \lim_{x\to x_0} \frac{f(g(x))-f(g(x_0))}{x-x_0} \\ &=& \lim_{x\to x_0} \varphi(g(x)) \frac{g(x) - g(x_0)}{x-x_0} \\ &=& f'(g(x_0))g'(x_0). \end{eqnarray*}



"proof of chain rule" is owned by n3o.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: equation, continuous, differentiable

This is version 3 of proof of chain rule, born on 2002-05-31, modified 2003-06-20.
Object id is 2978, canonical name is ProofOfChainRule.
Accessed 9355 times total.

Classification:
AMS MSC26A06 (Real functions :: Functions of one variable :: One-variable calculus)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)