치환적분은 합성함수의 미분법을 역으로 사용한 것이다.

공식 : 부정적분 꼴

+/-
 

공식 : 정적분 꼴

+/-

 가 구간  에서 정의된 연속미분가능한 함수이고   의 이미지를 포함하는 구간에서 정의된 적분가능한 함수이면

 

가 성립한다.