LINUX.ORG.RU
ФорумTalks

Mathematica и интегралы


0

0

http://integrals.wolfram.com интегрирует Sin[x] / (1 + Cos[x]) в -2 Log[Cos[x/2]], что при дифференцировании дает Sin[x/2] / Cos[x/2].

Решая вручную, вышло - log(cosx + 1), с чем согласилась Maxima.

У кого есть Mathematica, кто может проверить, действительно ли она так ошибается?

★★★★

Наклепали же этих 'математик'... И цены у всех запредельные... Гребут бабло, не стесняясь.

xTERM ★★
()

вообще-то cos x + 1 = 2 ( cos x/2 )^2 =), и это не совсем интеграл, а скорее,
первообразная - следовательно, с точностью до константы ( ~ log 2 )
матчасть в прямом смысле))

grimp3ur
()

sin( x) / (1 + cos( x) ) = tan( x / 2) =>  интеграл:   -2 * ln | cos( x / 2) |

-ln( cos( x) + 1) = -ln( ( cos( x / 2) ^ 2) - ( sin( x / 2) ^ 2) + ( sin( x / 2) ^ 2) + ( cos( x / 2) ^ 2) ) = -2 * ln | 2 * cos( x / 2)|

Решение вручную и какой-то махимы неверно. 


anonymous
()
Ответ на: комментарий от anonymous

> Решение вручную и какой-то махимы неверно.

Продифферинцируй, анонимус.

\int sinx / (1 + cosx) dx = - \int dcosx / (1 + cosx) = -ln(cosx + 1) + C

(-ln(cosx +1))' = - 1/(cosx + 1) * -sinx = sinx/(cosx + 1)

stassats ★★★★
() автор топика
Ответ на: комментарий от anonymous

> -2 * ln | 2 * cos( x / 2)|

= -2 ln(cos(x/2)) + ln2, то есть -2 ln(cos(x/2)) + C, что и было написано выше. Т. о. оба решения верны, хотя мне второе больше нравится.

stassats ★★★★
() автор топика
Ответ на: комментарий от anonymous

-2 * ln | 2 * cos( x / 2)| = -2 ln | cos x/2 | - 2 ln 2 =)
так что все в порядке, Рамануджан))

grimp3ur
()

In[8]:=
Integrate[Sin[x]/(1+Cos[x]),x]

Out[8]=
-2 Log[Cos[x/2]]

In[9]:=
D[%8,x]

Out[9]=
Tan[x/2]

In[10]:=
FullSimplify[Sin[x]/(1+Cos[x])-%9]

Out[10]=
0

все правильно <_<

Adjkru ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.