Considerando ... duas funções tais que ... Supondo que ... seja outra função derivável tal que a imagem de ... esteja contida no domínio de f, então pela regra da cadeia temos que:
Isto significa que é uma primitiva de
Temos então que:
(1)
Fazendo ... e substituindo em (1), obtemos que:
Utilizando a integração por substituição, resolva as integrais que seguem:
a) sen(2x + 1) dx
b) (x + 5)³ dx
c) e^4x dx
ATIVIDADE RESOLVIDA 
