1. 개요
部分積分 / integration by parts두 함수의 곱으로 정의된 함수를 적분하는 기법.
미분가능한 연속함수 [math(f(x))], [math(g(x))]에 대해서 다음과 같이 부정적분, 정적분할 수 있다. 이때 [math(f(x))], [math(g(x))]의 도함수도 각각 연속이어야 한다. 곱의 미분법에서 도출된 공식이다.
| [math(\displaystyle \begin{aligned} \int f(x)g'(x) \,{\rm d}x &= f(x)g(x) -\int f'(x)g(x) \,{\rm d}x \\ \int_a^b f(x)g'(x) \,{\rm d}x &= [ f(x)g(x) ]_a^b -\int_a^b f'(x)g(x) \,{\rm d}x \end{aligned} )] |
2. 유도
곱의 미분법에 따라 다음이 성립한다.| [math(\displaystyle \begin{aligned} \{ f(x)g(x) \}' = f'(x)g(x) +f(x)g'(x) \end{aligned} )] |
| [math(\displaystyle \begin{aligned} \int \{ f(x)g(x) \}' \,{\rm d}x &= \int f'(x)g(x) \,{\rm d}x +\int f(x)g'(x) \,{\rm d}x \\ \int_a^b \{ f(x)g(x) \}' \,{\rm d}x &= \int_a^b f'(x)g(x) \,{\rm d}x +\int_a^b f(x)g'(x) \,{\rm d}x \end{aligned} )] |
| [math(\displaystyle \begin{aligned} \int \{ f(x)g(x) \}' \,{\rm d}x &= f(x)g(x) \\ \int_a^b \{ f(x)g(x) \}' \,{\rm d}x &= [ f(x)g(x) ]_a^b \end{aligned} )] |
| [math(\displaystyle \begin{aligned} f(x)g(x) &= \int f'(x)g(x) \,{\rm d}x +\int f(x)g'(x) \,{\rm d}x \\ [ f(x)g(x) ]_a^b &= \int_a^b f'(x)g(x) \,{\rm d}x +\int_a^b f(x)g'(x) \,{\rm d}x \end{aligned} )] |
| [math(\displaystyle \begin{aligned} f(x)g(x) -\int f'(x)g(x) \,{\rm d}x &= \int f(x)g'(x) \,{\rm d}x \\ [ f(x)g(x) ]_a^b -\int_a^b f'(x)g(x) \,{\rm d}x &= \int_a^b f(x)g'(x) \,{\rm d}x \end{aligned} )] |
| [math(\displaystyle \begin{aligned} \int f(x)g'(x) \,{\rm d}x &= f(x)g(x) -\int f'(x)g(x) \,{\rm d}x \\ \int_a^b f(x)g'(x) \,{\rm d}x &= [ f(x)g(x) ]_a^b -\int_a^b f'(x)g(x) \,{\rm d}x \end{aligned} )] |
3. 우선 순위: LIATE 법칙
#!if (문단 == null) == (앵커 == null)
를#!if 문단 != null & 앵커 == null
의 [[부분적분/LIATE 법칙#s-|]]번 문단을#!if 문단 == null & 앵커 != null
의 [[부분적분/LIATE 법칙#|]][[부분적분/LIATE 법칙#|]] 부분을4. 도표적분법
부분적분을 빠르게 계산하는 방법이다.#!if (문단 == null) == (앵커 == null)
를#!if 문단 != null & 앵커 == null
의 [[세로셈법#s-|]]번 문단을#!if 문단 == null & 앵커 != null
의 [[세로셈법#도표적분법|도표적분법]][[세로셈법#|]] 부분을5. 스틸체스 적분 꼴
| [math(\displaystyle \begin{aligned} \int f(x)\,\mathrm{d}g(x) &= f(x)g(x) - \int g(x)\,\mathrm{d}f(x) \\ \int_{a}^{b} f(x)\, \mathrm{d} g(x) &= \biggl[ f(x)g(x)\biggr]_a^b-\int_{a}^{b} g(x) \, \mathrm{d} f(x) \end{aligned} )] |
미분계수가 함수인 꼴의 부분적분도 가능하다. 이 경우 미분을 하지 않는다는 차이점이 있다.[1]
위 식에서 [math(f(x) = u)], [math(g(x) = v)]를 이용해 간략하게 나타낼 수 있다. 주로 영미권 원서에서 이런 표기를 사용한다.
| [math(\displaystyle \begin{aligned} \int u\,\mathrm{d}v&=uv-\int v\,\mathrm{d}u \end{aligned} )] |
6. 예제
#!if (문단 == null) == (앵커 == null)
를#!if 문단 != null & 앵커 == null
의 [[부분적분/예제#s-|]]번 문단을#!if 문단 == null & 앵커 != null
의 [[부분적분/예제#|]][[부분적분/예제#|]] 부분을7. 고등학교
- 6차 교육과정: <수학Ⅱ>
- 7차 교육과정: <미분과 적분>
- 2007 개정 교육과정: <수학Ⅱ>
- 2009 개정 교육과정: <미적분Ⅱ>
- 2015 개정 교육과정: <미적분>
- 2022 개정 교육과정: <미적분Ⅱ>
8. 활용
다항함수의 정적분을 편리하게 계산하는 다음의 공식 역시 부분적분을 통하여 유도된다. 자세한 내용은 다항함수/공식/넓이 참고.| [math(\begin{aligned}\left|\int_{\alpha}^{\beta}a(x-\alpha)^m(x-\beta)^n\;{\rm d}x\right|&=\displaystyle\int_{\alpha}^{\beta}|a|(x-\alpha)^m(\beta-x)^n\;{\rm d}x\\&=\dfrac{|a|(m!n!)}{(m+n+1)!}(\beta-\alpha)^{m+n+1}\end{aligned})] |
9. 관련 문서
[1] 다만 미분계수 쪽의 함수가 미분가능하다면 미분한 상태로 적분식에 곱해주어 일반 적분으로 바꿀 수 있다.