Intégrale assez dure

(Cliquez-ici pour accéder à la version originale de cette discussion avec couleurs et images)







Posted by: Khue

Bonjour,
Je voudrais discuster combien de solution y-a-t-il à ce problème:
Calculer
\int\limits_{0}^{1} \arctan(\sqrt{1-x^2})dx
Merci.



Posted by: XENSECP

euh il suffit simplement de faire un changement de variable non ? et sans doute IPP par la suite ...



Posted by: abcd22

Bonjour,
La dérivée d'Arctan est simple, donc quand on se retrouve avec des Arctan à intégrer une technique classique est d'intégrer par parties en dérivant Arctan et en prenant une primitive de 1. Ici on tombe sur la dérivée d'une fonction connue si je n'ai pas fait d'erreur de calcul.



Posted by: abcd22

En fait non, j'avais fait une erreur de calcul... On doit être obligé de faire un changement de variable trigonométrique alors.



Posted by: JJa

En commencant par l'intégration par partie (déjà indiquée par abcd22), puis en intégrant la fonction algébrique obtenue, on trouve aisément:
(pi/2)*(racine carrée(2) - 1)











-