Soit l'unique réel positif tel que . On définit pour tout l'intégrale :
Pour , résoudre en posant .
Pour la limite, remarquer que sur .
Pour la récurrence, écrire ou intégrer par parties .
Pour l'équivalent, utiliser la relation et montrer que .
Intégration par parties pour les relations de récurrence (type Wallis).
Théorème de convergence dominée pour la limite.
Analyse de récurrence pour l'équivalent.
Résolution.
Calcul exact de cosh(alpha).
Technique de récurrence pour les intégrales de puissances de fonctions trigonométriques ou hyperboliques.