합 규칙

미적분학에서 합 규칙(合規則, 틀:Llang)은 미분이 함수의 덧셈을 보존한다는 법칙이다.

정의

두 함수 $f,g:I\to ℝ$가 $x_0\in I\subseteq ℝ$에서 미분 가능하다고 하자. 그렇다면, $f+g$ 역시 $x_0$에서 미분 가능하며, 그 미분은 다음과 같다.

$(f+g{)}^{\prime }(x_0)=f^{\prime }(x_0)+g^{\prime }(x_0)$

라이프니츠 표기법을 사용하면 다음과 같다.

$\frac{d}{dx}(f+g)(x_0)=\frac{df}{dx}(x_0)+\frac{dg}{dx}(x_0)$

보다 일반적으로, 유한 개의 함수 $f_1,f_2,\dots ,f_n:Iℝ$에 대한 합 규칙은 다음과 같다.

$(f_1+f_2+\cdots +f_n{)}^{\prime }(x_0)={f_1}^{\prime }(x_0)+{f_2}^{\prime }(x_0)+\cdots +{f_n}^{\prime }(x_0)$

라이프니츠 표기법을 사용하면 다음과 같다.

$\frac{d}{dx}(f_1+f_2+\cdots +f_n)(x_0)=\frac{d{f}_1}{dx}(x_0)+\frac{d{f}_2}{dx}(x_0)+\cdots +\frac{d{f}_n}{dx}(x_0)$

증명

틀:Math이고 틀:Mvar와 틀:Mvar가 각각 틀:Mvar에서 미분 가능하다고 하자. 미분의 정의와 극한의 성질을 이용하면 틀:Mvar가 틀:Mvar에서 미분 가능하고 틀:Math라는 것을 다음과 같이 증명할 수 있다.

$\begin{array}{cc}{h}^{\prime }(x)& =\underset{\mathrm{\Delta }x\to 0}{\lim }\frac{h(x+\mathrm{\Delta }x)-h(x)}{\mathrm{\Delta }x}\\ & =\underset{\mathrm{\Delta }x\to 0}{\lim }\frac{[f(x+\mathrm{\Delta }x)+g(x+\mathrm{\Delta }x)]-[f(x)+g(x)]}{\mathrm{\Delta }x}\\ & =\underset{\mathrm{\Delta }x\to 0}{\lim }\frac{f(x+\mathrm{\Delta }x)-f(x)+g(x+\mathrm{\Delta }x)-g(x)}{\mathrm{\Delta }x}\\ & =\underset{\mathrm{\Delta }x\to 0}{\lim }\frac{f(x+\mathrm{\Delta }x)-f(x)}{\mathrm{\Delta }x}+\underset{\mathrm{\Delta }x\to 0}{\lim }\frac{g(x+\mathrm{\Delta }x)-g(x)}{\mathrm{\Delta }x}\\ & =f^{\prime }(x)+g^{\prime }(x).\end{array}$