Et inutile, car une application judicieuse des règles de Bioche nous conduit bien plus vite à la solution.
Pour info : le changement de variable t=cos x n'est pas le bon. Car quand on applique les règles de Bioche à l'intégrale d'une fonction f, on ne doit pas vérifier l'invariance de f(x) mais bien celle de f(x)dx. Donc le changement x -> -x change le signe de dx. Donc ça ne marche pas ici.
On voit qu'en fait, le bon changement de variable est t=tan(x). Ce qui nous ramène à l'intégrale entre 0 et l'infini de 1/(2+t²), laquelle se calcule via le CDV u=t/sqrt(2) et s'intègre en Arctan, ce qui donne bien Pi/2sqrt(2) comme résultat.
(sqrt = squareroot = racine carrée)
