求导链式法则证明
链式法则
对 于 一 元 连 续 函 数 y = f ( u ) , 如 果 f ( u ) 在 u = g ( x ) 处 可 导 且 u 在 g ( x ) = x 0 处 可 导 , 那 么 复 合 函 数 ( f ∘ g ) ( x ) = f ( g ( x ) ) 在 x 0 处 可 导 , 且 ( f ∘ g ) ′ ( x ) = f ′ ( g ( x ) ) ⋅ g ′ ( x ) 即 Δ y Δ x = Δ y Δ u ⋅ Δ u Δ x \begin{aligned} &对于一元连续函数y=f(u),如果f(u)在u=g(x)处可导且u在g(x)=x_0处可导,\\ 那么&复合函数(f\circ{g})(x)=f(g(x))在x_0处可导,且(f\circ{g})'(x)=f'(g(x))\cdot{g'(x)} \\ 即& \frac{\Delta{y}}{\Delta{x}} = \frac{\Delta{y}}{\Delta{u}}\cdot \frac{\Delta{u}}{\Delta{x}} \end{aligned} 那么即对于一元连续函数y=f(u),如果f(u)在u=g(x)处可导且u在g(x)=x0处可导,复合函数(f∘g)(x)=f(g(x))在x0处可导,且(f∘g)′(x)=f′(g(x))⋅g′(x)ΔxΔy=ΔuΔy⋅ΔxΔu
依据
若 l i m Δ x → 0 f ( x ) = a , l i m Δ x → 0 g ( x ) = b , 则 l i m Δ x → 0 f ( x ) g ( x ) = l i m Δ x → 0 f ( x ) l i m Δ x → 0 g ( x ) = a b (1) \begin{aligned} &若\mathop{lim}\limits_{\Delta{x}\rightarrow{0}}f(x)=a,\mathop{lim}\limits_{\Delta{x}\rightarrow{0}}g(x)=b, \\ &则\mathop{lim}\limits_{\Delta{x}\rightarrow{0}}f(x)g(x)=\mathop{lim}\limits_{\Delta{x}\rightarrow{0}}f(x)\mathop{lim}\limits_{\Delta{x}\rightarrow{0}}g(x)=ab \tag{1} \end{aligned} 若Δx→0limf(x)=a,Δx→0limg(x)=b,则Δx→0limf(x)g(x)=Δx→0limf(x)Δx→0limg(x)=ab(1)
对 于 连 续 函 数 u ( x ) , Δ x → 0 时 , u ( x ) → 0 (2) \begin{aligned} 对于连续函数u(x),\Delta{x}\rightarrow{0}时,u(x)\rightarrow{0} \tag{2} \end{aligned} 对于连续函数u(x),Δx→0时,u(x)→0(2)
证明
当 x 变 化 Δ x 时 , 有 Δ u = g ( x + Δ x ) − g ( x ) , 那 么 Δ y = f ( x + Δ u ) − f ( x ) 。 利 用 分 式 Δ y Δ x = Δ y Δ u ⋅ Δ u Δ x 证 明 : \begin{aligned} &当x变化\Delta{x}时,有\Delta{u}=g(x+\Delta{x})-g(x),\\ 那么&\Delta{y}=f(x+\Delta{u})-f(x)。利用分式\frac{\Delta{y}}{\Delta{x}}=\frac{\Delta{y}}{\Delta{u}}\cdot \frac{\Delta{u}}{\Delta{x}} \\ 证明&: \\ \end{aligned} 那么证明当x变化Δx时,有Δu=g(x+Δx)−g(x),Δy=f(x+Δu)−f(x)。利用分式ΔxΔy=ΔuΔy⋅ΔxΔu:
d y d x = l i m Δ x → 0 Δ y Δ x = l i m Δ x → 0 Δ y Δ u ⋅ Δ u Δ x = l i m Δ x → 0 Δ y Δ u ⋅ l i m Δ x → 0 Δ u Δ x = l i m Δ u → 0 Δ y Δ u ⋅ l i m Δ x → 0 Δ u Δ x = d y d u ⋅ d u d x \begin{aligned} \frac{dy}{dx}&=\mathop{lim}\limits_{\Delta{x}\rightarrow{0}}\frac{\Delta{y}}{\Delta{x}} \\ &= \mathop{lim}\limits_{\Delta{x}\rightarrow{0}}\frac{\Delta{y}}{\Delta{u}}\cdot \frac{\Delta{u}}{\Delta{x}} \\ &= \mathop{lim}\limits_{\Delta{x}\rightarrow{0}}\frac{\Delta{y}}{\Delta{u}}\cdot \mathop{lim}\limits_{\Delta{x}\rightarrow{0}}\frac{\Delta{u}}{\Delta{x}} \\ &= \mathop{lim}\limits_{\Delta{u}\rightarrow{0}}\frac{\Delta{y}}{\Delta{u}}\cdot \mathop{lim}\limits_{\Delta{x}\rightarrow{0}}\frac{\Delta{u}}{\Delta{x}} \\ &= \frac{dy}{du}\cdot \frac{du}{dx} \end{aligned} dxdy=Δx→0limΔxΔy=Δx→0limΔuΔy⋅ΔxΔu=Δx→0limΔuΔy⋅Δx→0limΔxΔu=Δu→0limΔuΔy⋅Δx→0limΔxΔu=dudy⋅dxdu