par Anonyme » 30 Avr 2005, 16:18
> En fait (excusez-moi !)c'est bien :
> 1/(1+kcos(x)). C'est vrai que c'est assez repugnant a calculer mais en
> fait c'est la primitive de: (cos a)/(1+(sina)*(cosx)) que je cherche
( a
> est une constante). Quelqu'un a une idee pour trouver cette primitive
?
Tu veux donc calculer les primitives de x --> 1/(1+k*cos(x)) avec k
réel,
|k| inférieur ou égal à un.
On va d'abord traiter les cas dégénérés, qui sont plus faciles : k=-1, 0
ou 1.
k=0 : c'est idiot : les primitives sont de la forme F(x)=x-x0.
Ensuite je suppose que tu connais un peu de trigo (propriétés de la
fonction
tangente, fonctions trigo réciproques et leurs dérivées), ainsi que le
calcul
d'intégrales par changement de variables. Tout ça, c'est du programme de
maths sup ou de DEUG Mias (ou équivalents).
k=1 : en étant un peu malin on voit que 1+cos(x)=2*cos^2(x/2) (pour
|x|<pi).
L'intégrale de 0 à x de 1/(1+cos(x)) dx est aussi celle de
1/2*(1+tan^2(x/2)).
Le changement de variable t=tan(x/2) donne finalement la solution :
F(x)=tan(x/2)+cte
k=-1 : un calcul du même genre (mais dans un autre intervalle !) donne
F(x)=tan(x/2-pi/2)+cte
Remarque : ceci n'est défini que sur certains intervalles. Des
primitives sur
d'autres intervalles existent et doivent se déduire de celles-ci.
Maintenant, le cas plus délicat : |k|<1. Maple dit des choses bien
compliquées,
mais en fait c'est faisable. Tu cherches l'intégrale de dx/(1+k*cos(x))
sur [0,X].
Tu poses le changement de variable classique mais brutal t=tan(x/2),
pour x<X,
X dans [0,pi[.
dx=d(2*arctan(t))=2dt/(1+t^2),
cos(x)=2cos^2(x/2)-1=2/(1+tan^2(x/2))-1=(1-t^2)/(1+t^2),
donc dx/(1+k*cos(x)) est remplacé par
2*dt/((1+k)+(1-k)t^2) (je te laisse vérifier),
tandis que la borne supérieure d'intégration devient tan(X/2).
On pose un deuxième changement de variable, heureusement affine,
s=racine((1-k)/(1+k))*t :
L'intégrale à calculer devient 2/racine(1-k^2) fois l'intégrale, pour s
entre 0 et
racine((1-k)/(1+k))tan(X/2) de ds/(1+s^2) : on reconnaît comme
intégrande
la dérivée de la fonction arctangente : finalement :
F(x)=2/rac(1-k^2)*arctan(rac((1-k)/(1+k))*tan(x/2)) + cte.
C'est tout...
Enfin, presque : tu peux voir que la fonction ci-dessus est définie pour
x dans
]-pi,pi[, mais prolongeable en +/-pi ; puis, en calculant des primitives
dans
d'autres intervalles, tu dois pouvoir faire des recollements. En fait,
l'intégrale de
0 à x de dx/(1+k*cos(x)) est définie pour tout x de R, et est même une
fonction
C^infini ! Je te laisse le soin de regarder les recollements
possibles... Je me
demande aussi s'il n'y a pas moyen de l'exprimer d'une façon plus
sympathique
en passant par les complexes... (et peut-être aussi un calcul via
l'analyse
complexe, mais là c'est plutôt licence-maîtrise).
Enfin, avec k=sin(a), il y a des simplifications immédiates...
--
Jérémie Rocher
enlever "_nospamplease" pour me répondre