Question Number 134613 by Ñï= last updated on 05/Mar/21
$${Prove}::\int_{\mathrm{0}} ^{\pi/\mathrm{2}} {ln}\left({sin}\:{x}\right){ln}\left({cos}\:{x}\right){dx}=\frac{\pi}{\mathrm{2}}\left({ln}^{\mathrm{2}} \mathrm{2}−\frac{\pi^{\mathrm{2}} }{\mathrm{24}}\right) \\ $$