\[\displaystyle R^-_n = \frac{2}{\pi} \int_{0}^{\pi/2}{{(\theta^2 + \ln^2(\cos \theta))}^{-{2}^{-n-1}} \sqrt{\frac{1}{2} + \frac{1}{2}\sqrt{\frac{1}{2} + \cdots + \frac{1}{2}\sqrt{\frac{\ln^2(\cos \theta)}{\theta^2 + \ln^2(\cos \theta)}}}} \ d\theta} = {(\ln 2)}^{-{2}^{-n}} \] \[ \displaystyle R^+_n = \frac{2}{\pi} \int_{0}^{\pi/2}{{(\theta^2 + \ln^2(\cos \theta))}^{{2}^{-n-1}} \sqrt{\frac{1}{2} + \frac{1}{2}\sqrt{\frac{1}{2} + \cdots + \frac{1}{2}\sqrt{\frac{\ln^2(\cos \theta)}{\theta^2 + \ln^2(\cos \theta)}}}} \ d\theta} = {(\ln 2)}^{{2}^{-n}}\]

Ramanujan Trigonometric Log Integrals ! (Ramanujan Again! I love him)

Prove the above 2 AMAZING integrals (I must add that adjective, pardon me!)

## Comments

Sort by:

TopNewestasd

Log in to reply

@Ishan Singh

Log in to reply

Can u post the solution?

Log in to reply

Hint: The infinite surds reminds you of what? \(\cos(x) = \sqrt{\frac{1}{2} + \frac{\cos(2x)}{2}}\)

Log in to reply

\[\displaystyle R^+_n = \frac{2}{\pi} \int_{0}^{\pi/2} {(\theta^2 + \ln^2(\cos \theta))}^{{2}^{-n-1}} \cdot \cos \left(\dfrac{1}{2^n} \cos^{-1} \left(\sqrt{ \frac{\ln^2(\cos \theta)}{\theta^2 + \ln^2(\cos \theta)} }\right) \right) \]

but what to do after that?

Log in to reply