Bon, je mets sur quoi j'étais parti (en remontant de la conclusion). Mais je crains de m'être égaré en cours de route

.
On veut que :
2I = [0 ; π /2]∫ln[sin(2x)/2]dx
Or sin(2x)=2cos(x)*sin(x) d’où :
2I=[0 ; π /2]∫ln[cos(x)*sin(x)]dx
Avec les propriétés de l’intégrale (linéarité) de du logarithme (transformation du ‘x’ en ‘+’) :
2I =[0 ; π /2]∫ln[sin(x)]dx +[0 ; π /2]∫ln[cos(x)] dx = K + L
Or d’après 3), K=L, d’où 2I=2K <=>I=K<=>I-K=0
Vérifions si I-K est nulle :
I-K= [0 ;1]∫ln(x)/(1+x^2) dx – [0 ; π /2]∫ln[sin(x)]dx
On pose x=sin(t) dans la première intégrale :
dx = -cos(t)dt
0=>0 ; 1=> π /2
D’où :
I-K= [0 ; π /2]∫[-ln(sin(t))/(1+sin(t)^2) ]* cos(t)dt – [0 ; π /2]∫ln[sin(x)]dx
On peut tout regrouper sous la même intégrale, les bornes étant identiques (là je suis pas sûr que je puisse à cause du changement de variable…) :
I-K=[0 ; π /2]∫{[- ln(sin(x))/(1+sin(x)^2) ]* cos(x)-ln[sin(x)]}dx
Soit cos(x)/(1+sin(x)^2)= A
I-K =-[0 ; π /2]∫ {ln(sin(x))*A+ln[sin(x)]}dx= -[0 ; π /2]∫ {ln(sin(x)^A) +ln[sin(x)]}dx
I-K= -[0 ; π /2]∫ {ln(sin(x)^(A-1))}dx
... et là je suis perdu

.
Je vais me regarder ça un peu plus tard, je me suis peut-être trompé (sans doute d'ailleurs

).
Ou alors c'était pas par là qu'il fallait aller...