Zπ

2
Calcul de ln(sin(t)) dt
0

1) Existence de l’intégrale.
i πi
La fonction f : t 7→ ln(sin(t)) est continue sur 0, .
  2
1
Ensuite, ln(sin(t)) ∼ ln(t) = o √ d’après un théorème de croissances comparées. Par suite, f est intégrable sur un
t→0 t→0 t
voisinage de 0 à droite.
i πi Z π2
Finalement, f est intégrable sur 0, et on peut poser I = ln(sin(t)) dt.
2 0

2) Calcul de l’intégrale.
Z0 Z π2
π  π 
1er calcul. On pose u = − t. On obtient I = ln sin − u (−du) = ln(cos(u)) du.
2 π
2
2 0
Z π2
On pose alors J = ln(cos(t)) dt. Le calcul précédent montre l’existence de J et l’égalité I = J. On a alors :
0

Z π2 Z π2 Z π2 Z π2  
sin(2t)
2I = I + J = ln(sin(t)) dt + ln(cos(t)) dt = ln(sin(t) cos(t)) dt = ln dt
0 0 0 0 2
Z π2 Zπ
π ln(2) π ln(2) du
=− + ln(sin(2t)) dt = − + ln(sin(u)) (en posant u = 2t)
2 0 2 0 2
Z π2 Zπ
π ln(2) 1
=− + ln(sin(u)) du + ln(sin(u)) du
2 2 0 π
2
Z
π ln(2) I 1 ln
=− + + (sin(π − v)) (−dv) (en posant v = π − u
2 2 2 π2
π ln(2) II π ln(2)
=− + =− +I
2 22 2
π ln(2)
et donc I = − . On a montré que
2
Z π2
π ln(2)
ln(sin(t)) dt = − .
0 2

2ème calcul.
n−1   
πX kπ
• Montrons que I = lim ln sin .
n→+∞ n 2n
k=1
kπ π
Soit n > 2. Pour k ∈ J0, nK, posons xk = . On a donc 0 = x0 < x1 < . . . < xn = et pour tout k ∈ J0, n − 1K,
2n 2
π i πi
xk+1 − xk = . La fonction t 7→ ln(sin(t)) est croissante sur 0, . Donc, pour tout k ∈ J1, n − 1K,
2n 2
Z xk+1   
π kπ
ln(sin(t)) dt > (xk+1 − xk ) ln (sin (xk )) = ln sin .
xk 2n 2n
Z π2 n−1
π X
  
kπ
En additionnant membre à membre ces inégalités, on obtient ln(sin(t)) dt > ln sin puis
π 2n 2n
n k=1
n−1    Z π Z 2n
π
π X kπ 2
ln sin 6 ln(sin(t)) dt − ln(sin(t)) dt (∗).
2n 2n 0 0
k=1

De même, pour tout k ∈ J1, n − 1K,

Z xk   
π kπ
ln(sin(t)) dt 6 (xk − xk−1 ) ln (sin (xk )) = ln sin .
xk−1 2n 2n

http ://www.maths-france.fr 1 © Jean-Louis Rouget, 2022. Tous droits réservés.

 n−1 Z π2 − 2n
π
π X
  
kπ
En additionnant membre à membre ces inégalités, on obtient ln(sin(t)) dt 6 ln sin puis
0 2n 2n
k=1
n−1    Z π Z π2
π X kπ 2
ln sin > ln(sin(t)) dt − ln(sin(t)) dt (∗∗).
2n 2n 0 π π
2 − 2n
k=1
Z π2 Z 2n
π Z π2
Puisque ln(sin(t)) dt est une intégrale convergente, lim ln(sin(t)) dt = 0 et lim ln(sin(t)) dt = 0. Les
n→+∞ 0 n→+∞ π π
0
! 2 − 2n
n−1   
π X kπ
inégalités (∗) et (∗∗) et le théorème des gendarmes montrent que la suite ln sin converge et que
2n 2n
k=1 n>2
n−1
X    Z π
π kπ 2
lim ln sin = ln(sin(t)) dt.
n→+∞ 2n 2n 0
k=1

n−1 n−1
π X Y
    
kπ π kπ
• Soit n > 2. ln sin = ln (Pn ) où Pn = sin . Calculons Pn . Tout d’abord,
2n 2n 2n 2n
k=1 k=1

2n−1
Y   n−1
Y   2n−1
Y   n−1
Y  
kπ kπ π kπ (2n − k ′ )π
sin = sin × sin × sin = Pn × sin
2n 2n 2 2n 2n
k=1 k=1 k=n+1 k ′ =1
n−1
Y   n−1
Y  
kπ kπ 2
= Pn × sin π − = Pn × sin = Pn .
2n 2n
k=1 k=1

Donc,

2n−1 ikπ ikπ 2n−1

2
Y e 2n − e− 2n 1 Y
− ikπ
 ikπ

Pn = = −e 2n 1 − e n
2i (2i)2n−1
k=1 k=1

(−1) 2n−1  iπ
1+2+...+(2n−1) 2n−1
Y  ikπ
 (−1)2n−1 e− iπ(2n)(2n−1)
2×(2n)
2n−1
Y  ikπ

− 2n
= e 1−e n = 1 − e n
(2i)2n−1 (2i)2n−1
k=1 k=1
2n−1 2n−1 2n−1
Y  2n−1
Y 
(−1) (−i) ikπ
 1 ikπ

= 1−e n = 1−e n .
(2i)2n−1 22n−1
k=1 k=1

2n−1
Y   2n−1
Y  
2ikπ 2ikπ
Ensuite, X2n − 1 = X−e 2n = (X − 1) X−e 2n puis
k=0 k=1
2n−1
Y  2ikπ
 X2n − 1
X−e 2n = = 1 + X + X2 + . . . + X2n−1 ,
X−1
k=1

et donc
2n−1
Y  
2ikπ
1−e 2n . . + 1} = 2n.
= |1 + .{z
k=1 2n
 
2 2n n kπ π kπ
On en déduit que Pn = . Enfin,
= pour tout k ∈ J1, n − 1K, 0 < 6 puis sin > 0. On en déduit
22n−1 22n−2√ 2n 2 2n
p
2 =
n
que Pn > 0 et donc que Pn = Pn .
2n−1
n−1
Y   √
kπ n
∀n > 2, sin = n−1 .
2n 2
k=1
 √ 
π π n (n − 1)π ln(2) π ln(n) π ln(2)
Mais alors, ln (Pn ) = ln =− + = − + o(1). On retrouve donc
2n 2n 2n−1 2n 4n n→+∞ 2
Z π2
π ln(2)
ln(sin(t)) dt = − .
0 2

http ://www.maths-france.fr 2 © Jean-Louis Rouget, 2022. Tous droits réservés.