Within a problem with several steps, I am asked to show the following equality given that $\theta \in (0, \pi)$:
$$\pi\int _0^{\frac{\pi }{2}}\frac{1}{1+\cos \theta \cdot \cos x} \ \mathrm{d}x=\frac{\pi \theta}{\sin \theta}$$
I have no idea how to attack this. I don't see any clear trigonometric identity that I could apply. What would you suggest? Any hint/clue/help would be appreciated. Thanks.
You can check this post if you are interested in the rest of the problem.