Раздел III. Неопределённый интеграл — § 6. Примеры на интегрирование функций
Демидович — задача 2137
Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие, подробное решение и ответ.
Найти интегралы:
Задача 2137
∫1−1−x21+1−x2dx.
Ответ:∫1−1−x21+1−x2dx=−x−2arcsinx−x2(1+1−x2)+C,x∈[−1,0)∪(0,1]На (−1,0) и (0,1) постоянные интегрирования могут быть различными; в концах −1 и 1 используем непрерывное продолжение.
Решение
Умножим числитель и знаменатель дроби на 1+1−x2. Этот множитель положителен, а в знаменателе получится разность квадратов:(1−1−x2)(1+1−x2)=1−(1−x2)=x2Следовательно,1−1−x21+1−x2=x2(1+1−x2)2==x22−x2+21−x2=x22−1+2x21−x2Для первого слагаемого используем формулу ∫xndx=n+1xn+1+C при n=−1. Здесь n=−2, поэтому∫x22dx=2∫x−2dx=2−1x−1+C=−x2+CПервообразная постоянной −1 равна −x. Для третьего слагаемого обозначимJ=∫x21−x2dxТогдаI=−x2−x+2JНайдём J по формуле интегрирования по частям∫udv=uv−∫vduВыбираем u так, чтобы производная корня содержала множитель x: он сократится с x в первообразной дроби x21. Поэтому берёмu=1−x2,dv=x2dxНаходим дифференциал du и первообразную v:du=21−x2−2xdx=−1−x2xdx,v=−x1При умножении v на du два минуса дают плюс, а множители x сокращаются. Однако перед всем интегралом ∫vdu в формуле по частям остаётся минус. ПоэтомуJ=−x1−x2−∫(−x1)(−1−x2x)dx==−x1−x2−∫1−x2dx==−x1−x2−arcsinx+CЗдесь использована формула (arcsinx)′=1−x21, справедливая при −1<x<1. Подставим найденное выражение для J в исходный интеграл и объединим дроби:I=−x2−x−x21−x2−2arcsinx+C==−x−2arcsinx−x2(1+1−x2)+CПостоянная 2C также произвольна, поэтому снова обозначаем её буквой C.
Проверим ответ. Обозначим r=1−x2; на открытых промежутках имеем r′=−rx. Дифференцируя полученную первообразную, находимF′(x)=−1−r2−2(xr′−x21+r)==−1−r2+r2+x22(1+r)==−1+x22(1+r)=x22−x2+2r=1−r1+rПоследняя дробь получена тем же преобразованием, что и в начале решения. Производная совпала с исходной функцией.
Формула имеет конечные значения при x=±1, поэтому первообразную можно непрерывно продолжить в эти концы. Через точку x=0 промежутки не объединяем: исходная функция в ней не определена.