치환적분은 합성함수의 미분법을 역으로 사용한 것이다.
g(t)가 구간 [a,b]에서 정의된 연속미분가능한 함수이고 f(x)가 g(t)의 이미지를 포함하는 구간에서 정의된 적분가능한 함수이면
가 성립한다.
틀:돌아가기