Раздел IV. Определённый интеграл — § 2. Вычисление определённых интегралов с помощью неопределённых

Демидович — задача 2257

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие, подробное решение и ответ.

Применяя подходящую замену переменной, найти следующие определённые интегралы:

Задача 2257

Доказать, что если f(x)f(x) непрерывна на [0,1][0,1], тоа) ∫0π/2f(sin⁡x) dx=∫0π/2f(cos⁡x) dx;\text{а) }\int_0^{\pi/2}f(\sin x)\,dx=\int_0^{\pi/2}f(\cos x)\,dx;б) ∫0πxf(sin⁡x) dx=π2∫0πf(sin⁡x) dx.\text{б) }\int_0^\pi xf(\sin x)\,dx=\frac\pi2\int_0^\pi f(\sin x)\,dx.
Доказано:а)∫0π2f(sin⁡x) dx=∫0π2f(cos⁡x) dxа)\quad\int_0^{\frac{\pi}{2}}f(\sin x)\,dx
=\int_0^{\frac{\pi}{2}}f(\cos x)\,dx
б)∫0πxf(sin⁡x) dx=π2∫0πf(sin⁡x) dxб)\quad\int_0^\pi x f(\sin x)\,dx
=\dfrac\pi2\int_0^\pi f(\sin x)\,dx
Оба равенства доказаны.

Доказательство

а) Используем замену, которая меняет синус на косинус:t=π2−x,x=π2−t,dx=−dt,sin⁡x=cos⁡tt=\dfrac\pi2-x,
\qquad x=\dfrac\pi2-t,
\qquad dx=-dt,
\qquad \sin x=\cos t
При x=0x=0 получаем t=π2t=\frac\pi2, а при x=π2x=\frac\pi2 получаем t=0t=0. Поэтому∫0π2f(sin⁡x) dx=−∫π20f(cos⁡t) dt==∫0π2f(cos⁡t) dt\begin{aligned}
\int_0^{\frac{\pi}{2}}f(\sin x)\,dx
&=-\int_{\frac{\pi}{2}}^0 f(\cos t)\,dt=\\
&=\int_0^{\frac{\pi}{2}}f(\cos t)\,dt
\end{aligned}
Переобозначая переменную интегрирования, получаем первое равенство.

б) Обозначим исходный интеграл через II и положимt=π−x,x=π−t,dx=−dtt=\pi-x,
\qquad x=\pi-t,
\qquad dx=-dt
Пределы меняются с 0,π0,\pi на π,0\pi,0, а синус сохраняется:sin⁡(π−t)=sin⁡t\sin(\pi-t)=\sin tПри подстановке сначала сохраняем полученные пределы π\pi и 00, а затем меняем их порядок:I=−∫π0(π−t)f(sin⁡t) dt==∫0π(π−t)f(sin⁡t) dt\begin{aligned}
I&=-\int_\pi^0(\pi-t)f(\sin t)\,dt=\\
&=\int_0^\pi(\pi-t)f(\sin t)\,dt
\end{aligned}
Имена переменных интегрирования несущественны. Переобозначим tt через xx и сложим полученную формулу с исходным выражением для II:2I=∫0π(x+π−x)f(sin⁡x) dx==π∫0πf(sin⁡x) dx\begin{aligned}
2I&=\int_0^\pi\bigl(x+\pi-x\bigr)f(\sin x)\,dx=\\
&=\pi\int_0^\pi f(\sin x)\,dx
\end{aligned}
Деление на 22 даёт второе равенство.

Непрерывность ff на [0,1][0,1] достаточна: значения синуса и косинуса, которые подставляются в ff, принадлежат этому отрезку.

Что и требовалось доказать

Демидович № 2257 — решение и ответ | Высшая математика — Профиматика