치환 적분: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Kondormari (토론 | 기여) 편집 요약 없음 |
→공식 : 부정적분 꼴: 증명 추가 |
||
5번째 줄:
== 공식 : 부정적분 꼴 ==
함수 <math>f:A\sub\mathbb{R}\to\mathbb{R}</math>와 <math>g:B\sub\mathbb{R}\to\mathbb{R}</math>가 <math>g\left( B\right)\sub A</math>이며 <math>f</math>가 <math>g\left( B\right)</math>에서 [[연속함수|연속]]일때
:<math>
\int f(g(t)) g'(t) \,dt = \int f(x)\,dx
</math>
이때 <math>x=g\left( t\right)</math>이다.
===증명===
함수 <math>f</math>의 [[부정적분|역도함수]]를 <math>F</math>라 하자. [[연쇄법칙]]에 의하여 <math>\frac{d}{dt}\left[ F\left( g\left( t\right)\right)\right] =F'\left( g\left( t\right)\right) g'\left( t\right)</math>이므로 <math>x=g\left( t\right)</math>로 치환을 한다면 <math>\int F'\left( g\left( t\right)\right) g'\left( t\right) dt=F\left( g\left( t\right)\right) +C=F\left( x\right) +C=\int F'\left( u\right) du</math>이다. <math>F'=f</math>이므로 <math>\int f(g(t)) g'(t) \,dt = \int f(x)\,dx</math>이다.
== 공식 : 정적분 꼴 ==
| |||