On peut écrire que :
K=∫0∞x21−cosxdx=∫0πx21−cosxdx+∫π∞x21−cosxdxOr l'intégrale
∫0πx21−cosxdx converge puisque
x⟶0+limx21−cosx=21 et que, sur l'intervalle
]0;π], la fonction
x⟼x21−cosx est continue donc intégrable.
En conséquence, l'intégrale
∫0πx21−cosxdx est de nature convergente.
Puis, on sait que
∀x∈R,1−cosx⩽2. Donc :
∀x∈[π;+∞[,x21−cosx⩽x22⟹∫π∞x21−cosxdx⩽∫π∞x22dxSoit :
∫π∞x21−cosxdx⩽2∫π∞x21dxOr l'intégrale majorante
∫π∞x21dx converge (car c'est une intégrale de
Riemann de puissance
2). Donc en en déduit que l'intégrale
∫π∞x21−cosxdx converge également.
De ce fait, l'intégrale
K converge.