Chain Rule

일변수 실함수의 연쇄법칙을 증명해보자. 보통 고등학교 교과서, 혹은 기초미적분학 교재에는 다음과 같은 (가짜) 증명을 슬쩍 소개하고 있다. \( (f(g(x)))'=\lim_{\Delta x\to 0}\frac{f(g(x+\Delta x))-f(g(x))}{\Delta x} \)\( =\lim_{\Delta x\to 0}\frac{f(g(x+\Delta x))-f(g(x))}{g(x+\Delta x)-g(x)}\cdot\frac{g(x+\Delta x)-g(x)}{\Delta x} \)\( =\lim_{\Delta x\to 0}\frac{\Delta f}{\Delta g}\cdot\frac{\Delta g}{\Delta x} \lim_{\Delta x\to 0}\frac{\Delta f}{\Delta g}\cdot\lim_{\Delta x\to 0}\frac{\Delta g}{\Delta x} = f'(g(x))g'(x) \) 그러나 여기서 $\Delta x\to 0$일 때, $\Delta g$가 $0$일…