Пусть функция ƒ(х) непрерывна на отрезке [a,b], а значит существует
F(b) – F(a), где F(x) первообразная для функции ƒ(х) и пусть х = φ(t), где t [α,β].
Теорема: Если:
1) φ(α) = а, φ(β) = b.
2) функции φ(t) и φ'(t) непрерывны на отрезке [α,β]
3) функция ƒ(φ(t)) непрерывна на отрезке [α,β],
то .
Доказательство.
В параграфе о замене переменной в неопределенном интеграле было доказано, что функция F(φ(t)) является первообразной для функции ƒ(φ(t))· φ'(t), поэтому
= F (φ(t)) = F(φ(β)) – F(φ(α)) = F(b) – F(a) = ,
что и требовалось доказать.
Пример: Вычислить интеграл:
= | x = sin(t), = cos(t), dx = cos(t)dt, при х=0, t=0; при х=1, t = π/2 | =