Solve this following

Question:

Prove that

$\int_{0}^{\pi} \log (1+\cos x) d x=-\pi(\log 2)$

Solution:

Leave a comment