Pour simplifier, une intégrale impropre est l'intégrale sur ]a , b[ d'une fonction dont la primitive n'est pas définie en a ou en b
pour α {\displaystyle \alpha } >1 et β {\displaystyle \beta } quelconque, ou α {\displaystyle \alpha } =1 et β {\displaystyle \beta } >1
Or on a ∫ 0 + ∞ sin ( ( 2 k + 1 ) x ) x d x = ∫ 0 + ∞ sin x x d x = π 2 {\displaystyle \int \limits _{0}^{+\infty }{{\frac {\sin \left(\left(2k+1\right)x\right)}{x}}dx}=\int \limits _{0}^{+\infty }{{\frac {\sin x}{x}}dx}={\frac {\pi }{2}}} .
Donc on obtient ∫ 0 + ∞ sin 2 n + 1 x x d x = π 2 2 n + 1 ∑ k = 0 n ( − 1 ) k ( 2 n + 1 n − k ) {\displaystyle \int \limits _{0}^{+\infty }{{\frac {\sin ^{2n+1}x}{x}}dx}={\frac {\pi }{2^{2n+1}}}\sum \limits _{k=0}^{n}{\left(-1\right)^{k}\left({\begin{matrix}2n+1\\n-k\\\end{matrix}}\right)}} .
Comme ∑ k = 0 n ( − 1 ) k ( 2 n + 1 n − k ) = ( 2 n n ) {\displaystyle \sum \limits _{k=0}^{n}{\left(-1\right)^{k}\left({\begin{matrix}2n+1\\n-k\\\end{matrix}}\right)}=\left({\begin{matrix}2n\\n\\\end{matrix}}\right)} .
D'où ∫ 0 + ∞ sin 2 n + 1 x x d x = π 2 2 n + 1 ( 2 n n ) {\displaystyle \int \limits _{0}^{+\infty }{{\frac {\sin ^{2n+1}x}{x}}dx}={\frac {\pi }{2^{2n+1}}}\left({\begin{matrix}2n\\n\\\end{matrix}}\right)} .
Tout d’abord , on a 1 + 2 x + . . . + n x n − 1 = d d x ( ∑ k = 1 n x k ) = d d x ( 1 − x n + 1 1 − x ) = x n ( n x − n − 1 ) + 1 ( 1 − x ) 2 {\displaystyle 1+2x+...+nx^{n-1}={\frac {d}{dx}}\left(\sum \limits _{k=1}^{n}{x^{k}}\right)={\frac {d}{dx}}\left({\frac {1-x^{n+1}}{1-x}}\right)={\frac {x^{n}\left(nx-n-1\right)+1}{\left(1-x\right)^{2}}}} .
D’où on a I n = ∫ 1 + 2 n + ∞ ( x − 1 ) d x x ( n x − n − 1 ) x n ( n x − n − 1 ) + 1 {\displaystyle I_{n}=\int \limits _{1+{\frac {2}{n}}}^{+\infty }{\frac {\left(x-1\right)dx}{x\left(nx-n-1\right){\sqrt {x^{n}\left(nx-n-1\right)+1}}}}} .
Faisons un changement de variable , pour cela posons y = x n ( n x − n − 1 ) + 1 {\displaystyle y={\sqrt {x^{n}\left(nx-n-1\right)+1}}} .
D’où I n = 1 n ( n + 1 ) ∫ 1 + ( 1 + 2 n ) n + ∞ d y ( y − 1 ) y {\displaystyle I_{n}={\frac {1}{n\left(n+1\right)}}\int \limits _{1+\left(1+{\frac {2}{n}}\right)^{n}}^{+\infty }{\frac {dy}{\left(y-1\right){\sqrt {y}}}}} .
Et un petit changement de variable encore avec t = y {\displaystyle t={\sqrt {y}}} , ce qui donne : I n = 1 n ( n + 1 ) ∫ 1 + ( 1 + 2 n ) n + ∞ 2 t 2 − 1 d t {\displaystyle I_{n}={\frac {1}{n\left(n+1\right)}}\int \limits _{\sqrt {1+\left(1+{\frac {2}{n}}\right)^{n}}}^{+\infty }{{\frac {2}{t^{2}-1}}dt}} .
D’où I n = 1 n ( n + 1 ) ∫ 1 + ( 1 + 2 n ) n + ∞ ( 1 t − 1 − 1 t + 1 ) d t {\displaystyle I_{n}={\frac {1}{n\left(n+1\right)}}\int \limits _{\sqrt {1+\left(1+{\frac {2}{n}}\right)^{n}}}^{+\infty }{\left({\frac {1}{t-1}}-{\frac {1}{t+1}}\right)dt}} .
D’où I n = 1 n ( n + 1 ) [ ln ( t − 1 t + 1 ) ] 1 + ( 1 + 2 n ) n + ∞ {\displaystyle I_{n}={\frac {1}{n\left(n+1\right)}}\left[\ln \left({\frac {t-1}{t+1}}\right)\right]_{\sqrt {1+\left(1+{\frac {2}{n}}\right)^{n}}}^{+\infty }} .
Finalement on obtient :: ∫ 1 + 2 n + ∞ d x x ( n x − n − 1 ) 1 + 2 x + . . . + n x n − 1 = 1 n ( n + 1 ) ln ( 1 + ( 1 + 2 n ) n − 1 1 + ( 1 + 2 n ) n + 1 ) _ _ ¯ ¯ {\displaystyle {\overline {\overline {\underline {\underline {\int \limits _{1+{\frac {2}{n}}}^{+\infty }{\frac {dx}{x\left(nx-n-1\right){\sqrt {1+2x+...+nx^{n-1}}}}}={\frac {1}{n\left(n+1\right)}}\ln \left({\frac {{\sqrt {1+\left(1+{\frac {2}{n}}\right)^{n}}}-1}{{\sqrt {1+\left(1+{\frac {2}{n}}\right)^{n}}}+1}}\right)}}}}}} .