∫ Найти интеграл от y = f(x) = log(cos(x)) dx (логарифм от (косинус от (х))) - с подробным решением онлайн [Есть ответ!]

Интеграл log(cos(x)) (dx)

Преподаватель очень удивится увидев твоё верное решение 😼

d

↑ Введите нижнюю границу интеграла и верхнюю границу интеграла b, подинтегральную функцию f(x) - смотрите пример

Кусочно-заданная:

{ кусочно-заданную функцию ввести здесь.

    Решение

    Вы ввели [src]
      1               
      /               
     |                
     |  log(cos(x)) dx
     |                
    /                 
    0                 
    $$\int\limits_{0}^{1} \log{\left(\cos{\left(x \right)} \right)}\, dx$$
    Подробное решение
    1. Используем интегрирование по частям:

      пусть и пусть dx.

      Затем dx.

      Чтобы найти :

      1. Интеграл от константы есть эта константа, умноженная на переменную интегрирования:

      Теперь решаем под-интеграл.

    2. Интеграл от произведения функции на константу есть эта константа на интеграл от данной функции:

      1. Не могу найти шаги в поиске этот интеграла.

        Но интеграл

      Таким образом, результат будет:

    3. Теперь упростить:

    4. Добавляем постоянную интегрирования:


    Ответ:

    Ответ [src]
      1                    1               
      /                    /               
     |                    |                
     |  log(cos(x)) dx =  |  log(cos(x)) dx
     |                    |                
    /                    /                 
    0                    0                 
    $$-{{2\,i\,\arctan \left({{\sin 2}\over{\cos 2+1}}\right)+\log \left( 2\,\cos 2+2\right)-i\,{\it li}_{2}(-e^{2\,i})-i}\over{2}}+\log \cos 1+{{i\,\pi^2}\over{24}}$$
    Численный ответ [src]
    -0.187538169020838
    Ответ (Неопределённый) [src]
                                              /           
      /                                      |            
     |                                       | x*sin(x)   
     | log(cos(x)) dx = C + x*log(cos(x)) +  | -------- dx
     |                                       |  cos(x)    
    /                                        |            
                                            /             
    $$x\,\log \cos x-{{x\,\log \left(\sin ^2\left(2\,x\right)+\cos ^2 \left(2\,x\right)+2\,\cos \left(2\,x\right)+1\right)+2\,i\,x\, {\rm atan2}\left(\sin \left(2\,x\right) , \cos \left(2\,x\right)+1 \right)-i\,{\it li}_{2}(-e^{2\,i\,x})-i\,x^2}\over{2}}$$