Напомним, что дробно-рациональными называют функции вида f(x)=Pn(x)Qm(x), в общем случае являющиеся отношением двух многочленов Pn(x) и Qm(x).
Если m>n≥0, то рациональную дробь называют правильной, в противном случае — неправильной. Используя правило деления многочленов, неправильную рациональную дробь можно представить в виде суммы многочлена Pn−m степени n−m и некоторой правильной дроби, т.е. Pn(x)Qm(x)=Pn−m(x)+Pl(x)Qn(x), где степень l многочлена Pl(x) меньше степени n многочлена Qn(x).
Таким образом, неопределенный интеграл от рациональной функции можно представить суммой неопределенных интегралов от многочлена и от правильной рациональной дроби.
Среди правильных рациональных дробей выделяют четыре типа, которые относят к простейшим рациональным дробям:
где k>1 — целое и p2−4q<0, т.е. квадратные уравнения не имеют действительных корней.
Вычисление неопределенных интегралов от дробей первых двух типов не вызывает затруднений: ∫Ax−adx=A∫d(x−a)x−a=Aln|x−a|+C,∫A(x−a)kdx=A∫d(x−a)(x−a)k=A(x−a)−k+1−k+1+C==−A(k−1)(x−a)k−1+C.
Дробь третьего типа сначала преобразуем, выделив полный квадрат в знаменателе: Ax+Bx2+px+q=Ax+B(x+p/2)2+q−p2/4, так как p2−4q<0, то q−p2/4>0, которое обозначим как a2. Заменив также t=x+p/2,dt=dx, преобразуем знаменатель и запишем интеграл от дроби третьего типа в форме ∫Ax+Bx2+px+qdx=∫Ax+B(x+p/2)2+q−p2/4dx==∫A(t−p/2)+Bt2+a2dt=∫At+(B−Ap/2)t2+a2dt.
Последний интеграл, используя линейность неопределенного интеграла, представим в виде суммы двух и в первом из них введем t под знак дифференциала: ∫At+(B−Ap/2)t2+a2dt=A∫tdtt2+a2+(B−pA2)∫dtt2+a2==A2∫d(t2+a2)t2+a2+−2B−pA2∫dtt2+a2==A2ln|t2+a2|+2B−pA2aarctgta+C.
Возвращаясь к исходной переменной x, в итоге для дроби третьего типа получаем ∫Ax+Bx2+px+qdx=A2ln|x2+px+q|+2B−pA2aarctgx+p/2a+C, где a2=q−p2/4>0.
Вычисление интеграла 4 типа сложно, поэтому в этом курсе не рассматривается.
Метод интегрирования по частям | Интегрирование рациональных дробей |