La pregunta es evaluar$$\int_0^{\pi /2} \frac{ \log (1+\cos a \cos x)}{\cos x} dx$ $
Traté de usar la regla de Leibnitz
$$F'(a)=\int_0^{\pi /2} \frac{ -\sin a}{(1+\cos a \cos x)}dx$$ Now I used the substitution $ \ tan (x / 2) = t$ to get $$-2 \sin a \int_0^1 \frac{ dt}{1+t^2 +\cos a (1-t^2)} $ $ que se puede reescribir como
$$-2\frac{\sin a} {1- \cos a}\int_0^{1} \frac{ dt}{t^2 +\frac{1+ \cos a}{1-\cos a}} $$ which evaluates to $ - a $. No estoy seguro de en qué me equivoqué. ¿Alguna idea?