Бесполезная первообразная

Форум пользователей пакета Maple

Модератор: Admin

Markiyan Hirnyk
Сообщения: 1347
Зарегистрирован: Вс дек 04, 2011 11:07 pm

Бесполезная первообразная

Сообщение Markiyan Hirnyk » Пн апр 15, 2019 9:04 am

Разработчики одной из предыдущих версий Мэйпла кичились следующим результатом

Код: Выделить всё

int(cos(x)^n, x) assuming n::posint;
(Sum((Product(1+1/(n-2*j), j = 1 .. i))*cos(x)^(n-2*i-1), i = 0 .. ceil((1/2)*n)-1))*sin(x)/n+(Product(1-1/(n-2*j), j = 0 .. ceil((1/2)*n)-1))*x

В действительности он не работает и поэтому бесполезен

Код: Выделить всё

int(cos(x)^n, x = 0 .. (1/2)*Pi);
(limit((Product((-n+2*j+1)/(-n+2*j), j = 0 .. ceil((1/2)*n)-1))*x*n+(Sum((Product((-n+2*j-1)/(-n+2*j), j = 1 .. i))*cos(x)^(n-2*i-1), i = 0 .. ceil((1/2)*n)-1))*sin(x), x = (1/2)*Pi, left))/n

Для сравнения замечу, что Мма 11.3 находит и первообразную и этот оределенный интеграл, применяя ее.