Уважаю Ваши труды, Головоломыч. Но... первая часть с D готова загнать в депрессию кого угодно.
Домножаем на (x^2+1). Так можно, т. к. x^2+1 стоит в знаменателе и не равно нулю:
y''(x^2+1) + y'*2x = 2x^3+2x.
Слева от знака равенства - производная от y' * (x^2+1), поэтому
( y'*(x^2+1) )' = 2x^3+2x.
Интегрируем разок:
y'*(x^2+1) = 1/2*x^4 + x^2 + С.
Отсюда y' = (1/2*x^4 + x^2 + С) /(x^2+1). (***)
В числителе (1/2*x^4 + 1/2*x^2) + (1/2*x^2 + 1/2) - 1/2 + С, поэтому, сокращая на знаменатель, легко интегрируем:
y = int( x^2/2 + 1/2 + (C-1/2)/(1+x^2) ) = x^3/6 + x/2 + (C-1/2)*arctg x + C1.
Н. у.:
y(0) = -1 = C1.
y'(0) = 4 = (см. *** выше, даже дифференцировать не надо) = С.
Отсюда ч. р. будет таким:
y = x^3/6 + x/2 + 7/2*arctg x - 1.
Вольфрамыч дает точно такой же ответ:
