Étape 1
Nous établirons une relation de récurrence entre In+2 et In . Ceci s’obtient grâce à une intégration par parties.
I
n
+
2
=
∫
0
1
x
n
+
2
1
−
x
2
=
∫
0
1
x
n
+
1
x
1
−
x
2
=
[
x
n
+
1
−
1
3
(
1
−
x
2
)
3
2
]
0
1
+
n
+
1
3
∫
0
1
x
n
(
1
−
x
2
)
1
−
x
2
d
x
=
n
+
1
3
(
∫
0
1
x
n
1
−
x
2
−
∫
0
1
x
n
+
2
1
−
x
2
)
d
x
=
n
+
1
3
(
I
n
−
I
n
+
2
)
d
x
.
{\displaystyle {\begin{aligned}I_{n+2}&=\int _{0}^{1}x^{n+2}{\sqrt {1-x^{2}}}\\&=\int _{0}^{1}x^{n+1}x{\sqrt {1-x^{2}}}\\&=\left[x^{n+1}{\frac {-1}{3}}(1-x^{2})^{\frac {3}{2}}\right]_{0}^{1}+{\frac {n+1}{3}}\int _{0}^{1}x^{n}(1-x^{2}){\sqrt {1-x^{2}}}\,\mathrm {d} x\\&={\frac {n+1}{3}}\left(\int _{0}^{1}x^{n}{\sqrt {1-x^{2}}}-\int _{0}^{1}x^{n+2}{\sqrt {1-x^{2}}}\right)\,\mathrm {d} x\\&={\frac {n+1}{3}}(I_{n}-I_{n+2})\,\mathrm {d} x.\end{aligned}}}
Nous avons donc :
∀
n
I
n
+
2
=
n
+
1
n
+
4
I
n
{\displaystyle \forall n\qquad I_{n+2}={\frac {n+1}{n+4}}I_{n}}
.
Étape 2
Il nous faut trouver une suite constante Wn s’exprimant en fonction de In , de In+1 et de n.
Cette suite est :
W
n
=
(
n
+
1
)
(
n
+
2
)
(
n
+
3
)
I
n
I
n
+
1
{\displaystyle W_{n}=(n+1)(n+2)(n+3)I_{n}I_{n+1}}
.
En effet :
W
n
+
1
=
(
n
+
2
)
(
n
+
3
)
(
n
+
4
)
I
n
+
1
I
n
+
2
=
(
n
+
2
)
(
n
+
3
)
(
n
+
4
)
I
n
+
1
n
+
1
n
+
4
I
n
=
W
n
{\displaystyle W_{n+1}=(n+2)(n+3)(n+4)I_{n+1}I_{n+2}=(n+2)(n+3)(n+4)I_{n+1}{\frac {n+1}{n+4}}I_{n}=W_{n}}
.
La valeur de la constante est bien sûr alors donnée par :
W
0
=
(
0
+
1
)
(
0
+
2
)
(
0
+
3
)
I
0
I
0
+
1
=
6
I
0
I
1
{\displaystyle W_{0}=(0+1)(0+2)(0+3)I_{0}I_{0+1}=6I_{0}I_{1}}
.
Un calcul élémentaire donne alors :
I
0
=
∫
0
1
1
−
x
2
d
x
=
π
4
{\displaystyle I_{0}=\int _{0}^{1}{\sqrt {1-x^{2}}}\,\mathrm {d} x={\frac {\pi }{4}}}
I
1
=
∫
0
1
x
1
−
x
2
d
x
=
1
3
{\displaystyle I_{1}=\int _{0}^{1}x{\sqrt {1-x^{2}}}\,\mathrm {d} x={\frac {1}{3}}}
.
On obtient donc :
W
0
=
6
I
0
.
I
1
=
π
2
{\displaystyle W_{0}=6I_{0}.I_{1}={\frac {\pi }{2}}}
.
On en déduit alors la relation :
∀
n
(
n
+
1
)
(
n
+
2
)
(
n
+
3
)
I
n
I
n
+
1
=
π
2
{\displaystyle \forall n\qquad (n+1)(n+2)(n+3)I_{n}I_{n+1}={\frac {\pi }{2}}}
.
Étape 3
Il nous faut encadrer le rapport :
I
n
+
1
I
n
{\displaystyle {\frac {I_{n+1}}{I_{n}}}}
par deux expressions en n tendant vers 1 en +∞.
On peut déjà remarquer que la suite
(
I
n
)
{\displaystyle (I_{n})}
est positive et décroissante.
On a donc :
0
<
I
n
+
2
<
I
n
+
1
<
I
n
{\displaystyle 0<I_{n+2}<I_{n+1}<I_{n}}
,
d'où
n
+
1
n
+
4
=
I
n
+
2
I
n
<
I
n
+
1
I
n
<
1
{\displaystyle {\frac {n+1}{n+4}}={\frac {I_{n+2}}{I_{n}}}<{\frac {I_{n+1}}{I_{n}}}<1}
.
Nous pouvons donc conclure :
I
n
+
1
∼
I
n
{\displaystyle I_{n+1}\sim I_{n}}
.
Étape 4
Compte tenu de l’étape 2, on en déduit :
I
n
2
∼
π
2
n
3
{\displaystyle I_{n}^{2}\sim {\frac {\pi }{2n^{3}}}}
.
On peut extraire la racine des deux membres. On peut donc conclure :
∫
0
1
x
n
1
−
x
2
d
x
∼
π
2
n
3
{\displaystyle \int _{0}^{1}x^{n}{\sqrt {1-x^{2}}}\,\mathrm {d} x\sim {\sqrt {\frac {\pi }{2n^{3}}}}}
.