치환적분은 합성함수의 미분법을 역으로 사용한 것이다.
g ( t ) {\displaystyle g(t)} 가 구간 [ a , b ] {\displaystyle [a,b]} 에서 정의된 연속미분가능한 함수이고 f ( x ) {\displaystyle f(x)} 가 g ( t ) {\displaystyle g(t)} 의 이미지를 포함하는 구간에서 정의된 적분가능한 함수이면
가 성립한다.
![{\displaystyle [a,b]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
