Me contacter

Calcul intégral 201-NYB • Série longue de 20 exercices • Montréal

Intégration des fonctions trigonométriques : 20 exercices corrigés (201-NYB)

Voici une série longue de 20 exercices corrigés consacrée à un seul sujet : l'intégration des fonctions trigonométriques et de leurs réciproques. C'est le chapitre du calcul intégral où les étudiants perdent le plus de points, non parce que les calculs seraient difficiles, mais parce qu'une dizaine de familles s'y ressemblent et qu'aucun énoncé ne dit à laquelle il appartient. La série les traite TOUTES, y compris celles que les manuels expédient en une ligne : la cosécante, la cotangente, l'arc cotangente et l'arc sécante avec sa valeur absolue.

Elle se travaille en quatre séances d'environ 75 minutes, une par partie, et non d'un seul trait. Partie A, les puissances et produits : les trois cas de sinus et cosinus, la primitive de la sécante et celle de la cosécante, la famille tangente-sécante avec sa formule de réduction, son miroir cotangente-cosécante, et les identités qui remplacent une technique entière. Partie B, les trois substitutions trigonométriques, avec la complétion du carré et, surtout, les cas où la substitution trigonométrique est une mauvaise idée. Partie C, les six fonctions inverses : les trois formes de base à reconnaître, l'intégration par parties avec le facteur 1 invisible, les produits avec x, l'arc sécante et sa valeur absolue, puis les composées et les identités. Partie D, les intégrales définies et impropres, les primitives d'apparence différente, les applications géométriques et un arbre de décision final.

Chaque exercice se termine par une question de méthode plutôt que de calcul, parce que c'est là que se joue la note. Le fil conducteur de toute la série tient en une phrase : avant de choisir une technique, regardez le NUMÉRATEUR, puis la parité des exposants, puis le signe sous la racine. La substitution trigonométrique est le dernier recours du chapitre, jamais le premier réflexe.

Rappel de cours

  • Puissances de sinus et cosinus : si un exposant est IMPAIR, détachez-lui un facteur et substituez l'autre fonction; si les deux sont PAIRS, linéarisez avec sin2x=1cos2x2\sin^{2}x=\frac{1-\cos 2x}{2} et cos2x=1+cos2x2\cos^{2}x=\frac{1+\cos 2x}{2}. Raccourci : sinxcosx=sin2x2\sin x\cos x=\frac{\sin 2x}{2}.
  • Famille tangente-sécante : si la puissance de sec\sec est PAIRE, détachez sec2x\sec^{2}x et posez u=tanxu=\tan x; si la puissance de tan\tan est IMPAIRE, détachez secxtanx\sec x\tan x et posez u=secxu=\sec x. Sinon, convertissez par tan2x=sec2x1\tan^{2}x=\sec^{2}x-1. La famille cotangente-cosécante est identique au signe près, tout nom commençant par co portant un signe moins.
  • Les quatre primitives à connaître par cœur : tanxdx=lncosx\int\tan x\,dx=-\ln\left|\cos x\right|, cotxdx=lnsinx\int\cot x\,dx=\ln\left|\sin x\right|, secxdx=lnsecx+tanx\int\sec x\,dx=\ln\left|\sec x+\tan x\right|, cscxdx=lncscx+cotx\int\csc x\,dx=-\ln\left|\csc x+\cot x\right|. Et le cas cyclique sec3xdx=12(secxtanx+lnsecx+tanx)\int\sec^{3}x\,dx=\frac{1}{2}\left(\sec x\tan x+\ln\left|\sec x+\tan x\right|\right).
  • Substitutions : a2x2\sqrt{a^{2}-x^{2}} appelle x=asinθx=a\sin\theta; a2+x2\sqrt{a^{2}+x^{2}} appelle x=atanθx=a\tan\theta; x2a2\sqrt{x^{2}-a^{2}} appelle x=asecθx=a\sec\theta, avec deux branches et x2a2=atanθ\sqrt{x^{2}-a^{2}}=a\left|\tan\theta\right|. Un trinôme se ramène toujours à l'une des trois par complétion du carré.
  • Les trois formes inverses : dua2u2=arcsinua\int\frac{du}{\sqrt{a^{2}-u^{2}}}=\arcsin\frac{u}{a}; dua2+u2=1aarctanua\int\frac{du}{a^{2}+u^{2}}=\frac{1}{a}\arctan\frac{u}{a}; duuu2a2=1aarcsecua\int\frac{du}{u\sqrt{u^{2}-a^{2}}}=\frac{1}{a}\mathrm{arcsec}\left|\frac{u}{a}\right|. La valeur absolue de la troisième n'est pas décorative : sans elle, la primitive est fausse sur la branche négative.
  • Intégrer une fonction inverse : parties avec dv=dxdv=dx, le facteur 1 invisible. arcsinxdx=xarcsinx+1x2\int\arcsin x\,dx=x\arcsin x+\sqrt{1-x^{2}}; arctanxdx=xarctanx12ln(1+x2)\int\arctan x\,dx=x\arctan x-\frac{1}{2}\ln\left(1+x^{2}\right); les versions en arccos et arccot changent de signe, et la somme des deux primitives d'un couple vaut toujours πx2\frac{\pi x}{2}.

Partie A : Puissances et produits trigonométriques (/50)

Exercice 1 : Les puissances de sinus et de cosinus : les trois cas

Tout produit sinmxcosnx\sin^{m}x\cos^{n}x se traite selon la PARITÉ des deux exposants, et il n'y a que trois situations. On détache un facteur de la puissance IMPAIRE, parce que c'est lui qui fournira le dudu; si les deux exposants sont pairs, aucun facteur ne peut être détaché et il faut linéariser.

  • a) Calculez sin5xcos2xdx\int\sin^{5}x\cos^{2}x\,dx en précisant quelle puissance vous attaquez et pourquoi.
  • b) Calculez cos5xdx\int\cos^{5}x\,dx.
  • c) Calculez sin4xdx\int\sin^{4}x\,dx par linéarisation. Combien de fois faut-il abaisser la puissance ?
  • d) Calculez sin2xcos2xdx\int\sin^{2}x\cos^{2}x\,dx de la façon la plus courte possible.
  • e) Calculez 0π/2sin6xdx\int_{0}^{\pi/2}\sin^{6}x\,dx et énoncez la règle de décision de tout l'exercice en deux phrases.
Voir la correction

a) Le sinus porte la puissance impaire : on lui détache un facteur. sin4xcos2xsinxdx=(1cos2x)2cos2xsinxdx\int\sin^{4}x\cos^{2}x\cdot\sin x\,dx=\int(1-\cos^{2}x)^{2}\cos^{2}x\sin x\,dx. Avec u=cosxu=\cos x et du=sinxdxdu=-\sin x\,dx : (1u2)2u2du=(u22u4+u6)du-\int(1-u^{2})^{2}u^{2}du=-\int(u^{2}-2u^{4}+u^{6})du, soit cos3x3+2cos5x5cos7x7+C-\frac{\cos^{3}x}{3}+\frac{2\cos^{5}x}{5}-\frac{\cos^{7}x}{7}+C. On attaque la puissance impaire parce qu'après lui avoir volé un facteur il en reste une puissance PAIRE, seule convertible par l'identité sin2=1cos2\sin^{2}=1-\cos^{2}.

b) cos4xcosxdx=(1sin2x)2cosxdx\int\cos^{4}x\cdot\cos x\,dx=\int(1-\sin^{2}x)^{2}\cos x\,dx. Avec u=sinxu=\sin x : (1u2)2du=u2u33+u55\int(1-u^{2})^{2}du=u-\frac{2u^{3}}{3}+\frac{u^{5}}{5}, soit sinx2sin3x3+sin5x5+C\sin x-\frac{2\sin^{3}x}{3}+\frac{\sin^{5}x}{5}+C. Le cosinus seul, à puissance impaire, se traite exactement comme le cas mixte : c'est le cas n=0n=0.

c) Aucune puissance impaire : il faut linéariser avec sin2x=1cos2x2\sin^{2}x=\frac{1-\cos 2x}{2}. sin4xdx=14(12cos2x+cos22x)dx\int\sin^{4}x\,dx=\frac{1}{4}\int(1-2\cos 2x+\cos^{2}2x)\,dx. Le terme cos22x\cos^{2}2x oblige à linéariser une SECONDE fois : cos22x=1+cos4x2\cos^{2}2x=\frac{1+\cos 4x}{2}. On obtient 14[xsin2x+x2+sin4x8]=3x8sin2x4+sin4x32+C\frac{1}{4}\left[x-\sin 2x+\frac{x}{2}+\frac{\sin 4x}{8}\right]=\frac{3x}{8}-\frac{\sin 2x}{4}+\frac{\sin 4x}{32}+C. Règle : une puissance 2k2k demande kk linéarisations successives, et le terme en xx qui en sort explique que l'intégrale d'une puissance paire ne soit jamais périodique.

d) Le chemin court passe par l'angle double AVANT de linéariser : sin2xcos2x=(sinxcosx)2=sin22x4=1cos4x8\sin^{2}x\cos^{2}x=\left(\sin x\cos x\right)^{2}=\frac{\sin^{2}2x}{4}=\frac{1-\cos 4x}{8}. D'où sin2xcos2xdx=x8sin4x32+C\int\sin^{2}x\cos^{2}x\,dx=\frac{x}{8}-\frac{\sin 4x}{32}+C, en une ligne au lieu de trois. Reconnaître sinxcosx=sin2x2\sin x\cos x=\frac{\sin 2x}{2} évite systématiquement une linéarisation.

e) Puissance paire sur un intervalle standard : la formule de Wallis donne 0π/2sinnxdx=n1nn3n212π2\int_{0}^{\pi/2}\sin^{n}x\,dx=\frac{n-1}{n}\cdot\frac{n-3}{n-2}\cdots\frac{1}{2}\cdot\frac{\pi}{2} pour nn pair, soit ici 563412π2=5π320,4909\frac{5}{6}\cdot\frac{3}{4}\cdot\frac{1}{2}\cdot\frac{\pi}{2}=\frac{5\pi}{32}\approx 0{,}4909. Règle de décision : si l'un des deux exposants est IMPAIR, détachez-lui un facteur et substituez l'autre fonction; si les DEUX sont pairs, linéarisez par les formules de l'angle double, autant de fois qu'il le faut.

Exercice 2 : Sécante et cosécante : les deux primitives qu'on ne devine pas

secxdx\int\sec x\,dx ne se déduit d'aucune formule du tableau : il faut une multiplication artificielle, découverte au XVIIe siècle pour les besoins de la cartographie de Mercator. La même astuce, transposée, donne la cosécante.

  • a) Démontrez que secxdx=lnsecx+tanx+C\int\sec x\,dx=\ln\left|\sec x+\tan x\right|+C en multipliant l'intégrande par secx+tanxsecx+tanx\dfrac{\sec x+\tan x}{\sec x+\tan x}. Quelle structure apparaît alors ?
  • b) Obtenez de la même façon cscxdx\int\csc x\,dx et écrivez le résultat sous deux formes équivalentes.
  • c) Montrez que lnsecx+tanx\ln\left|\sec x+\tan x\right| et lnsecxtanx-\ln\left|\sec x-\tan x\right| sont la même fonction, sans dériver.
  • d) Calculez 0π/4secxdx\int_{0}^{\pi/4}\sec x\,dx et donnez une valeur décimale.
  • e) Un étudiant écrit secxdx=sec2x2+C\int\sec x\,dx=\frac{\sec^{2}x}{2}+C par analogie avec xdx\int x\,dx. Réfutez, puis dites laquelle des quatre intégrales secx\sec x, sec2x\sec^{2}x, secxtanx\sec x\tan x, sec3x\sec^{3}x est immédiate et pourquoi.
Voir la correction

a) secxsecx+tanxsecx+tanxdx=sec2x+secxtanxsecx+tanxdx\int\sec x\cdot\frac{\sec x+\tan x}{\sec x+\tan x}dx=\int\frac{\sec^{2}x+\sec x\tan x}{\sec x+\tan x}dx. Or le numérateur est exactement la DÉRIVÉE du dénominateur, puisque (secx+tanx)=secxtanx+sec2x(\sec x+\tan x)'=\sec x\tan x+\sec^{2}x. On reconnaît la forme ff\int\frac{f'}{f}, d'où lnsecx+tanx+C\ln\left|\sec x+\tan x\right|+C. Toute l'astuce consiste à fabriquer artificiellement un dénominateur dont le numérateur soit la dérivée.

b) On multiplie par cscx+cotxcscx+cotx\frac{\csc x+\cot x}{\csc x+\cot x} : le numérateur devient csc2x+cscxcotx\csc^{2}x+\csc x\cot x, c'est-à-dire l'OPPOSÉ de la dérivée de cscx+cotx\csc x+\cot x, puisque (cscx+cotx)=cscxcotxcsc2x(\csc x+\cot x)'=-\csc x\cot x-\csc^{2}x. D'où cscxdx=lncscx+cotx+C\int\csc x\,dx=-\ln\left|\csc x+\cot x\right|+C, que l'on écrit aussi lncscxcotx+C\ln\left|\csc x-\cot x\right|+C, ou encore lntanx2+C\ln\left|\tan\frac{x}{2}\right|+C, cette dernière forme étant la plus commode pour les bornes.

c) Parce que (secx+tanx)(secxtanx)=sec2xtan2x=1(\sec x+\tan x)(\sec x-\tan x)=\sec^{2}x-\tan^{2}x=1 : les deux quantités sont INVERSES l'une de l'autre. Le logarithme d'un inverse étant l'opposé du logarithme, lnsecxtanx=lnsecx+tanx\ln\left|\sec x-\tan x\right|=-\ln\left|\sec x+\tan x\right|, ce qui donne l'égalité annoncée. Deux formules d'apparence différente dans deux manuels différents peuvent donc désigner rigoureusement la même primitive.

d) [lnsecx+tanx]0π/4=ln(2+1)ln(1+0)=ln(2+1)0,8814\left[\ln\left|\sec x+\tan x\right|\right]_{0}^{\pi/4}=\ln\left(\sqrt{2}+1\right)-\ln\left(1+0\right)=\ln\left(\sqrt{2}+1\right)\approx 0{,}8814.

e) La réfutation est immédiate par dérivation : (sec2x2)=secxsecxtanx=sec2xtanx\left(\frac{\sec^{2}x}{2}\right)'=\sec x\cdot\sec x\tan x=\sec^{2}x\tan x, qui n'est pas secx\sec x. L'analogie avec xdx\int x\,dx est fausse parce que secx\sec x n'est pas la variable d'intégration : la règle des puissances ne s'applique qu'à xx, jamais à une fonction. Parmi les quatre, DEUX sont immédiates et se lisent directement dans le tableau des dérivées à l'envers : sec2xdx=tanx+C\int\sec^{2}x\,dx=\tan x+C et secxtanxdx=secx+C\int\sec x\tan x\,dx=\sec x+C. Les deux autres ne le sont pas : secx\sec x exige l'astuce du a), et sec3x\sec^{3}x une intégration par parties cyclique.

Exercice 3 : Tangente et sécante : les deux cas et le cas rebelle

La famille tanmxsecnx\tan^{m}x\sec^{n}x obéit à deux règles, fondées sur les deux dérivées (tanx)=sec2x(\tan x)'=\sec^{2}x et (secx)=secxtanx(\sec x)'=\sec x\tan x, et sur l'identité sec2x=1+tan2x\sec^{2}x=1+\tan^{2}x. Un seul cas échappe aux deux règles.

  • a) Calculez sec4xdx\int\sec^{4}x\,dx. Quel facteur détachez-vous, et quelle substitution suit ?
  • b) Calculez tan3xsec3xdx\int\tan^{3}x\sec^{3}x\,dx. Quel facteur détachez-vous cette fois ?
  • c) Calculez tan4xdx\int\tan^{4}x\,dx. Pourquoi aucune des deux règles ne s'applique-t-elle directement, et quelle manœuvre les remplace ?
  • d) Calculez sec3xdx\int\sec^{3}x\,dx par parties, en posant u=secxu=\sec x et dv=sec2xdxdv=\sec^{2}x\,dx.
  • e) Établissez la formule de réduction secnxdx=secn2xtanxn1+n2n1secn2xdx\int\sec^{n}x\,dx=\frac{\sec^{n-2}x\tan x}{n-1}+\frac{n-2}{n-1}\int\sec^{n-2}x\,dx et vérifiez qu'elle redonne le résultat du d).
Voir la correction

a) La puissance de sécante est PAIRE : on lui détache sec2x\sec^{2}x, qui sera le dudu. sec2xsec2xdx=(1+tan2x)sec2xdx\int\sec^{2}x\cdot\sec^{2}x\,dx=\int(1+\tan^{2}x)\sec^{2}x\,dx. Avec u=tanxu=\tan x et du=sec2xdxdu=\sec^{2}x\,dx : (1+u2)du=u+u33\int(1+u^{2})du=u+\frac{u^{3}}{3}, soit tanx+tan3x3+C\tan x+\frac{\tan^{3}x}{3}+C.

b) La puissance de tangente est IMPAIRE : on détache cette fois le bloc secxtanx\sec x\tan x, dérivée de la sécante. tan2xsec2xsecxtanxdx=(sec2x1)sec2xsecxtanxdx\int\tan^{2}x\sec^{2}x\cdot\sec x\tan x\,dx=\int(\sec^{2}x-1)\sec^{2}x\cdot\sec x\tan x\,dx. Avec u=secxu=\sec x : (u21)u2du=u55u33\int(u^{2}-1)u^{2}du=\frac{u^{5}}{5}-\frac{u^{3}}{3}, soit sec5x5sec3x3+C\frac{\sec^{5}x}{5}-\frac{\sec^{3}x}{3}+C.

c) Ici n=0n=0 : il n'y a aucune sécante dont détacher un sec2x\sec^{2}x, et la puissance de tangente est paire, donc on ne peut pas non plus détacher secxtanx\sec x\tan x. La manœuvre consiste à FABRIQUER la sécante manquante avec tan2x=sec2x1\tan^{2}x=\sec^{2}x-1 : tan2x(sec2x1)dx=tan2xsec2xdxtan2xdx=tan3x3(tanxx)+C\int\tan^{2}x(\sec^{2}x-1)dx=\int\tan^{2}x\sec^{2}x\,dx-\int\tan^{2}x\,dx=\frac{\tan^{3}x}{3}-(\tan x-x)+C. On descend ainsi de deux en deux jusqu'à tan2x=tanxx\int\tan^{2}x=\tan x-x ou tanx=lncosx\int\tan x=-\ln|\cos x|.

d) Avec u=secxu=\sec x, du=secxtanxdxdu=\sec x\tan x\,dx, dv=sec2xdxdv=\sec^{2}x\,dx et v=tanxv=\tan x : I=secxtanxsecxtan2xdx=secxtanxsecx(sec2x1)dx=secxtanxI+secxdxI=\sec x\tan x-\int\sec x\tan^{2}x\,dx=\sec x\tan x-\int\sec x(\sec^{2}x-1)dx=\sec x\tan x-I+\int\sec x\,dx. L'intégrale cherchée réapparaît des deux côtés : 2I=secxtanx+lnsecx+tanx2I=\sec x\tan x+\ln\left|\sec x+\tan x\right|, d'où I=12(secxtanx+lnsecx+tanx)+CI=\frac{1}{2}\left(\sec x\tan x+\ln\left|\sec x+\tan x\right|\right)+C. C'est le cas CYCLIQUE, le seul de la famille qui ne se ramène à aucune substitution.

e) On généralise le d) en posant u=secn2xu=\sec^{n-2}x et dv=sec2xdxdv=\sec^{2}x\,dx : secnxdx=secn2xtanx(n2)secn2xtan2xdx\int\sec^{n}x\,dx=\sec^{n-2}x\tan x-(n-2)\int\sec^{n-2}x\tan^{2}x\,dx. En remplaçant tan2x\tan^{2}x par sec2x1\sec^{2}x-1, l'intégrale de départ revient avec le coefficient (n2)-(n-2) : (n1)secnxdx=secn2xtanx+(n2)secn2xdx(n-1)\int\sec^{n}x\,dx=\sec^{n-2}x\tan x+(n-2)\int\sec^{n-2}x\,dx, ce qui donne la formule annoncée. Pour n=3n=3 : secxtanx2+12secxdx\frac{\sec x\tan x}{2}+\frac{1}{2}\int\sec x\,dx, exactement le résultat du d). Pour n=4n=4, elle redonne aussi le a), ce qui fournit une vérification indépendante.

Exercice 4 : Cotangente et cosécante : le miroir, et ses signes

La famille cotmxcscnx\cot^{m}x\csc^{n}x est l'image en miroir de la précédente, avec (cotx)=csc2x(\cot x)'=-\csc^{2}x et (cscx)=cscxcotx(\csc x)'=-\csc x\cot x et l'identité csc2x=1+cot2x\csc^{2}x=1+\cot^{2}x. Les deux signes moins sont la seule difficulté, et ils suffisent à faire perdre beaucoup de points.

  • a) Calculez cotxdx\int\cot x\,dx et comparez avec tanxdx\int\tan x\,dx.
  • b) Calculez cot3xdx\int\cot^{3}x\,dx.
  • c) Calculez cot4xcsc4xdx\int\cot^{4}x\csc^{4}x\,dx.
  • d) Calculez csc3xdx\int\csc^{3}x\,dx par parties, puis vérifiez que le résultat est bien le miroir de sec3xdx\int\sec^{3}x\,dx.
  • e) Dressez le tableau des huit dérivées et primitives trigonométriques de base, en signalant précisément où se trouvent les signes moins.
Voir la correction

a) cotxdx=cosxsinxdx=lnsinx+C\int\cot x\,dx=\int\frac{\cos x}{\sin x}dx=\ln\left|\sin x\right|+C, forme ff\frac{f'}{f} directe. Pour la tangente, tanxdx=sinxcosxdx=lncosx+C\int\tan x\,dx=\int\frac{\sin x}{\cos x}dx=-\ln\left|\cos x\right|+C, qu'on écrit aussi lnsecx+C\ln\left|\sec x\right|+C. Le signe moins vient de ce que la dérivée du cosinus est négative : c'est le prototype de toutes les erreurs de signe de la famille cotangente-cosécante.

b) cotx(csc2x1)dx=cotxcsc2xdxcotxdx\int\cot x(\csc^{2}x-1)dx=\int\cot x\csc^{2}x\,dx-\int\cot x\,dx. Pour la première, u=cotxu=\cot x et du=csc2xdxdu=-\csc^{2}x\,dx donnent cot2x2-\frac{\cot^{2}x}{2}. D'où cot2x2lnsinx+C-\frac{\cot^{2}x}{2}-\ln\left|\sin x\right|+C. Notez les deux signes moins, issus l'un de la substitution, l'autre du a).

c) La puissance de cosécante est paire : on détache csc2x\csc^{2}x. cot4x(1+cot2x)csc2xdx\int\cot^{4}x(1+\cot^{2}x)\csc^{2}x\,dx; avec u=cotxu=\cot x et du=csc2xdxdu=-\csc^{2}x\,dx : (u4+u6)du=u55u77-\int(u^{4}+u^{6})du=-\frac{u^{5}}{5}-\frac{u^{7}}{7}, soit cot5x5cot7x7+C-\frac{\cot^{5}x}{5}-\frac{\cot^{7}x}{7}+C. La règle est celle de la sécante, au signe global près.

d) Avec u=cscxu=\csc x et dv=csc2xdxdv=\csc^{2}x\,dx, donc v=cotxv=-\cot x : I=cscxcotxcscxcot2xdx=cscxcotxcscx(csc2x1)dx=cscxcotxI+cscxdxI=-\csc x\cot x-\int\csc x\cot^{2}x\,dx=-\csc x\cot x-\int\csc x(\csc^{2}x-1)dx=-\csc x\cot x-I+\int\csc x\,dx. D'où I=12(cscxcotxlncscx+cotx)+CI=\frac{1}{2}\left(-\csc x\cot x-\ln\left|\csc x+\cot x\right|\right)+C. C'est bien le miroir exact de sec3xdx=12(secxtanx+lnsecx+tanx)\int\sec^{3}x\,dx=\frac{1}{2}\left(\sec x\tan x+\ln\left|\sec x+\tan x\right|\right), avec un signe global opposé : chaque fois qu'on passe d'une fonction à sa cofonction, un signe moins apparaît.

e) Dérivées : (sin)=cos(\sin)'=\cos; (cos)=sin(\cos)'=-\sin; (tan)=sec2(\tan)'=\sec^{2}; (cot)=csc2(\cot)'=-\csc^{2}; (sec)=sectan(\sec)'=\sec\tan; (csc)=csccot(\csc)'=-\csc\cot. Primitives correspondantes : cos=sin\int\cos=\sin; sin=cos\int\sin=-\cos; sec2=tan\int\sec^{2}=\tan; csc2=cot\int\csc^{2}=-\cot; sectan=sec\int\sec\tan=\sec; csccot=csc\int\csc\cot=-\csc. Puis les deux non immédiates : tan=lncos\int\tan=-\ln|\cos| et cot=+lnsin\int\cot=+\ln|\sin|, ainsi que sec=lnsec+tan\int\sec=\ln|\sec+\tan| et csc=lncsc+cot\int\csc=-\ln|\csc+\cot|. La règle mnémonique tient en une phrase : TOUTE fonction dont le nom commence par co, cosinus, cotangente et cosécante, porte un signe moins dans sa dérivée, donc dans la primitive de sa cofonction.

Exercice 5 : Les identités qui remplacent une technique

Certaines intégrales trigonométriques semblent réclamer un changement de variable lourd alors qu'une identité les rend immédiates. On utilisera 1+cosx=2cos2x21+\cos x=2\cos^{2}\frac{x}{2}, 1cosx=2sin2x21-\cos x=2\sin^{2}\frac{x}{2}, et la multiplication par le conjugué.

  • a) Calculez dx1+cosx\int\frac{dx}{1+\cos x} par l'identité de l'angle moitié.
  • b) Calculez dx1cosx\int\frac{dx}{1-\cos x}.
  • c) Calculez dx1+sinx\int\frac{dx}{1+\sin x} en multipliant par le conjugué 1sinx1-\sin x.
  • d) Calculez 0π1cosxdx\int_{0}^{\pi}\sqrt{1-\cos x}\,dx.
  • e) Un étudiant calcule 02π1+cosxdx\int_{0}^{2\pi}\sqrt{1+\cos x}\,dx et trouve zéro. Où est l'erreur, et quelle est la vraie valeur ?
Voir la correction

a) 1+cosx=2cos2x21+\cos x=2\cos^{2}\frac{x}{2}, donc dx2cos2x2=12sec2x2dx=tanx2+C\int\frac{dx}{2\cos^{2}\frac{x}{2}}=\frac{1}{2}\int\sec^{2}\frac{x}{2}dx=\tan\frac{x}{2}+C, le facteur 2 de la dérivation interne annulant le 12\frac{1}{2}. Trois lignes, là où la substitution de Weierstrass en aurait pris dix.

b) Symétriquement, 1cosx=2sin2x21-\cos x=2\sin^{2}\frac{x}{2} donne 12csc2x2dx=cotx2+C\frac{1}{2}\int\csc^{2}\frac{x}{2}dx=-\cot\frac{x}{2}+C.

c) 1sinx(1+sinx)(1sinx)dx=1sinxcos2xdx=(sec2xsecxtanx)dx=tanxsecx+C\int\frac{1-\sin x}{(1+\sin x)(1-\sin x)}dx=\int\frac{1-\sin x}{\cos^{2}x}dx=\int\left(\sec^{2}x-\sec x\tan x\right)dx=\tan x-\sec x+C. Le conjugué transforme un dénominateur rebelle en cos2x\cos^{2}x, et les deux morceaux sont alors des primitives du tableau. C'est la même idée qu'au dénominateur secx+tanx\sec x+\tan x de l'intégrale de la sécante.

d) 1cosx=2sinx2\sqrt{1-\cos x}=\sqrt{2}\left|\sin\frac{x}{2}\right|, et sur [0;π][0\,;\pi] l'argument x2\frac{x}{2} reste dans [0;π2][0\,;\frac{\pi}{2}] où le sinus est positif : la valeur absolue tombe. 0π2sinx2dx=2[2cosx2]0π=2(0+2)=222,828\int_{0}^{\pi}\sqrt{2}\sin\frac{x}{2}dx=\sqrt{2}\left[-2\cos\frac{x}{2}\right]_{0}^{\pi}=\sqrt{2}(0+2)=2\sqrt{2}\approx 2{,}828.

e) L'erreur est d'avoir écrit 1+cosx=2cosx2\sqrt{1+\cos x}=\sqrt{2}\cos\frac{x}{2} en oubliant la VALEUR ABSOLUE. Sur [0;2π][0\,;2\pi], l'argument x2\frac{x}{2} parcourt [0;π][0\,;\pi] et le cosinus y change de signe en π2\frac{\pi}{2}, donc en x=πx=\pi. Sans valeur absolue, la seconde moitié de l'intégrale annule exactement la première et l'on trouve zéro, ce qui est absurde pour une fonction positive. Il faut couper : 02π2cosx2dx=20π2cosx2dx=22[2sinx2]0π=425,657\int_{0}^{2\pi}\sqrt{2}\left|\cos\frac{x}{2}\right|dx=2\int_{0}^{\pi}\sqrt{2}\cos\frac{x}{2}dx=2\sqrt{2}\left[2\sin\frac{x}{2}\right]_{0}^{\pi}=4\sqrt{2}\approx 5{,}657. Règle générale : u2=u\sqrt{u^{2}}=\left|u\right|, jamais uu, et il faut TOUJOURS vérifier le signe sur l'intervalle avant de simplifier une racine.

Partie B : Les substitutions trigonométriques (/50)

Exercice 6 : La racine en a carré moins x carré : le sinus

Devant a2x2\sqrt{a^{2}-x^{2}}, on pose x=asinθx=a\sin\theta avec θ[π2;π2]\theta\in\left[-\frac{\pi}{2}\,;\frac{\pi}{2}\right] : la racine devient acosθa\cos\theta, positive sur tout cet intervalle, et le radical disparaît. Le retour à la variable xx se lit sur un triangle rectangle d'hypoténuse aa.

  • a) Calculez dx9x2\int\frac{dx}{\sqrt{9-x^{2}}} et dites pourquoi le résultat ne contient aucune racine.
  • b) Calculez x24x2dx\int\frac{x^{2}}{\sqrt{4-x^{2}}}dx, en détaillant le retour en xx par le triangle.
  • c) Calculez 9x2x2dx\int\frac{\sqrt{9-x^{2}}}{x^{2}}dx.
  • d) Calculez 024x2dx\int_{0}^{2}\sqrt{4-x^{2}}\,dx en changeant les bornes, puis retrouvez le résultat par la géométrie.
  • e) Pourquoi impose-t-on θ[π2;π2]\theta\in\left[-\frac{\pi}{2}\,;\frac{\pi}{2}\right] et non un intervalle quelconque ? Que se passerait-il avec θ\theta dans le deuxième quadrant ?
Voir la correction

a) x=3sinθx=3\sin\theta, dx=3cosθdθdx=3\cos\theta\,d\theta et 9x2=3cosθ\sqrt{9-x^{2}}=3\cos\theta. L'intégrale devient 3cosθ3cosθdθ=dθ=θ+C=arcsinx3+C\int\frac{3\cos\theta}{3\cos\theta}d\theta=\int d\theta=\theta+C=\arcsin\frac{x}{3}+C. Le résultat ne contient aucune racine parce que la substitution a précisément servi à l'éliminer : c'est l'arc sinus qui en garde la trace, et c'est la raison profonde pour laquelle les fonctions trigonométriques inverses apparaissent partout dans ce chapitre.

b) x=2sinθx=2\sin\theta : 4sin2θ2cosθ2cosθdθ=4sin2θdθ=2θ2sinθcosθ+C\int\frac{4\sin^{2}\theta}{2\cos\theta}\cdot 2\cos\theta\,d\theta=4\int\sin^{2}\theta\,d\theta=2\theta-2\sin\theta\cos\theta+C. Le triangle rectangle d'angle θ\theta, de côté opposé xx et d'hypoténuse 2, donne sinθ=x2\sin\theta=\frac{x}{2}, cosθ=4x22\cos\theta=\frac{\sqrt{4-x^{2}}}{2} et θ=arcsinx2\theta=\arcsin\frac{x}{2}. D'où 2arcsinx2x4x22+C2\arcsin\frac{x}{2}-\frac{x\sqrt{4-x^{2}}}{2}+C.

c) x=3sinθx=3\sin\theta : 3cosθ9sin2θ3cosθdθ=cos2θsin2θdθ=cot2θdθ=(csc2θ1)dθ=cotθθ+C\int\frac{3\cos\theta}{9\sin^{2}\theta}\cdot 3\cos\theta\,d\theta=\int\frac{\cos^{2}\theta}{\sin^{2}\theta}d\theta=\int\cot^{2}\theta\,d\theta=\int(\csc^{2}\theta-1)d\theta=-\cot\theta-\theta+C. Le triangle donne cotθ=9x2x\cot\theta=\frac{\sqrt{9-x^{2}}}{x}, d'où 9x2xarcsinx3+C-\frac{\sqrt{9-x^{2}}}{x}-\arcsin\frac{x}{3}+C. Remarquez que la partie A du sujet vient de servir : une substitution trigonométrique se termine presque toujours par une intégrale de puissances trigonométriques.

d) Avec x=2sinθx=2\sin\theta, la borne x=0x=0 devient θ=0\theta=0 et la borne x=2x=2 devient θ=π2\theta=\frac{\pi}{2}. 0π/22cosθ2cosθdθ=40π/2cos2θdθ=4π4=π\int_{0}^{\pi/2}2\cos\theta\cdot 2\cos\theta\,d\theta=4\int_{0}^{\pi/2}\cos^{2}\theta\,d\theta=4\cdot\frac{\pi}{4}=\pi. Géométriquement, y=4x2y=\sqrt{4-x^{2}} est le demi-cercle supérieur de rayon 2, et l'intervalle [0;2][0\,;2] en découpe le QUART : son aire vaut π(2)24=π\frac{\pi(2)^{2}}{4}=\pi, ce qui confirme le calcul sans écrire une seule primitive.

e) Pour trois raisons qui vont ensemble. D'abord, l'arc sinus n'est défini comme réciproque que sur cet intervalle : sans cette restriction, θ\theta ne se retrouverait pas de façon unique à partir de xx. Ensuite, le cosinus y est POSITIF ou nul, ce qui permet d'écrire a2x2=acosθ\sqrt{a^{2}-x^{2}}=a\cos\theta sans valeur absolue; dans le deuxième quadrant le cosinus est négatif et il faudrait écrire acosθ-a\cos\theta, avec un signe qui se propagerait dans tout le calcul. Enfin, x=asinθx=a\sin\theta y parcourt exactement [a;a][-a\,;a], c'est-à-dire tout le domaine de définition de l'intégrande, une fois et une seule.

Exercice 7 : La racine en a carré plus x carré : la tangente

Devant a2+x2\sqrt{a^{2}+x^{2}}, on pose x=atanθx=a\tan\theta avec θ(π2;π2)\theta\in\left(-\frac{\pi}{2}\,;\frac{\pi}{2}\right) : l'identité 1+tan2θ=sec2θ1+\tan^{2}\theta=\sec^{2}\theta transforme la racine en asecθa\sec\theta, et dx=asec2θdθdx=a\sec^{2}\theta\,d\theta.

  • a) Calculez dxx2x2+4\int\frac{dx}{x^{2}\sqrt{x^{2}+4}}.
  • b) Calculez dx(x2+9)3/2\int\frac{dx}{\left(x^{2}+9\right)^{3/2}} et commentez la simplicité inattendue du résultat.
  • c) Calculez x2+9dx\int\sqrt{x^{2}+9}\,dx. Quelle intégrale de la partie A apparaît en chemin ?
  • d) Évaluez 03x2+9dx\int_{0}^{3}\sqrt{x^{2}+9}\,dx et donnez une valeur décimale.
  • e) La même intégrale se traite par x=3sinhux=3\sinh u. Écrivez les deux premières lignes de ce calcul et dites dans quel cas cette route est préférable.
Voir la correction

a) x=2tanθx=2\tan\theta, dx=2sec2θdθdx=2\sec^{2}\theta\,d\theta, x2+4=2secθ\sqrt{x^{2}+4}=2\sec\theta : 2sec2θ4tan2θ2secθdθ=14secθtan2θdθ=14cosθsin2θdθ=14sinθ+C\int\frac{2\sec^{2}\theta}{4\tan^{2}\theta\cdot 2\sec\theta}d\theta=\frac{1}{4}\int\frac{\sec\theta}{\tan^{2}\theta}d\theta=\frac{1}{4}\int\frac{\cos\theta}{\sin^{2}\theta}d\theta=-\frac{1}{4\sin\theta}+C. Le triangle de côtés xx, 2 et d'hypoténuse x2+4\sqrt{x^{2}+4} donne sinθ=xx2+4\sin\theta=\frac{x}{\sqrt{x^{2}+4}}, d'où x2+44x+C-\frac{\sqrt{x^{2}+4}}{4x}+C.

b) x=3tanθx=3\tan\theta : (x2+9)3/2=27sec3θ\left(x^{2}+9\right)^{3/2}=27\sec^{3}\theta, donc 3sec2θ27sec3θdθ=19cosθdθ=sinθ9+C=x9x2+9+C\int\frac{3\sec^{2}\theta}{27\sec^{3}\theta}d\theta=\frac{1}{9}\int\cos\theta\,d\theta=\frac{\sin\theta}{9}+C=\frac{x}{9\sqrt{x^{2}+9}}+C. Le résultat est ALGÉBRIQUE, sans logarithme ni arc tangente, alors que l'intégrande paraissait pire que celui de dxx2+9\int\frac{dx}{x^{2}+9}, qui donne pourtant un arc tangente. La leçon est qu'une puissance plus élevée au dénominateur simplifie souvent le calcul plutôt que de le compliquer.

c) 3secθ3sec2θdθ=9sec3θdθ\int 3\sec\theta\cdot 3\sec^{2}\theta\,d\theta=9\int\sec^{3}\theta\,d\theta, c'est-à-dire exactement l'intégrale cyclique de la partie A. En reprenant son résultat : 92(secθtanθ+lnsecθ+tanθ)\frac{9}{2}\left(\sec\theta\tan\theta+\ln\left|\sec\theta+\tan\theta\right|\right). Avec tanθ=x3\tan\theta=\frac{x}{3} et secθ=x2+93\sec\theta=\frac{\sqrt{x^{2}+9}}{3} : xx2+92+92lnx+x2+9+C\frac{x\sqrt{x^{2}+9}}{2}+\frac{9}{2}\ln\left|x+\sqrt{x^{2}+9}\right|+C, la constante 92ln3-\frac{9}{2}\ln 3 ayant été absorbée dans CC.

d) À x=3x=3 : 3182+92ln(3+18)6,364+8,910=15,274\frac{3\sqrt{18}}{2}+\frac{9}{2}\ln\left(3+\sqrt{18}\right)\approx 6{,}364+8{,}910=15{,}274. À x=0x=0 : 0+92ln34,9440+\frac{9}{2}\ln 3\approx 4{,}944. Différence : environ 10,3310{,}33.

e) x=3sinhux=3\sinh u donne dx=3coshududx=3\cosh u\,du et x2+9=3coshu\sqrt{x^{2}+9}=3\cosh u, puisque cosh2usinh2u=1\cosh^{2}u-\sinh^{2}u=1 et que le cosinus hyperbolique est toujours positif. L'intégrale devient 9cosh2udu=92(1+cosh2u)du9\int\cosh^{2}u\,du=\frac{9}{2}\int(1+\cosh 2u)du, c'est-à-dire une LINÉARISATION élémentaire, là où la route trigonométrique imposait l'intégrale cyclique de sec3\sec^{3}. La voie hyperbolique est donc nettement préférable dès que la puissance de la racine dépasse 1, et elle donne directement le logarithme puisque argsinhx=ln(x+x2+1)\mathrm{argsinh}x=\ln\left(x+\sqrt{x^{2}+1}\right). La voie trigonométrique reste préférable quand l'énoncé impose un triangle ou quand les autres facteurs de l'intégrande sont eux-mêmes trigonométriques.

Exercice 8 : La racine en x carré moins a carré : la sécante et ses deux branches

Devant x2a2\sqrt{x^{2}-a^{2}}, on pose x=asecθx=a\sec\theta : la racine devient atanθa\left|\tan\theta\right|. C'est la seule des trois substitutions dont le domaine se coupe en DEUX morceaux, xax\geq a et xax\leq -a, et c'est là que se logent presque toutes les erreurs.

  • a) Calculez dxx24\int\frac{dx}{\sqrt{x^{2}-4}} pour x>2x>2, et exprimez le résultat sans fonction trigonométrique inverse.
  • b) Calculez x29xdx\int\frac{\sqrt{x^{2}-9}}{x}dx pour x>3x>3.
  • c) Pourquoi écrit-on x2a2=atanθ\sqrt{x^{2}-a^{2}}=a\left|\tan\theta\right| et non atanθa\tan\theta ? Précisez l'intervalle de θ\theta choisi pour chacune des deux branches.
  • d) Vérifiez que la primitive du a) reste valable sur la branche négative en calculant 43dxx24\int_{-4}^{-3}\frac{dx}{\sqrt{x^{2}-4}}, puis en recalculant la même intégrale par la substitution x=ux=-u.
  • e) Résumez en un tableau les trois substitutions du sujet : quelle racine, quel changement de variable, quel intervalle, et en quoi la racine se transforme.
Voir la correction

a) x=2secθx=2\sec\theta, dx=2secθtanθdθdx=2\sec\theta\tan\theta\,d\theta et, pour x>2x>2 avec θ[0;π2)\theta\in\left[0\,;\frac{\pi}{2}\right), x24=2tanθ\sqrt{x^{2}-4}=2\tan\theta sans valeur absolue puisque la tangente y est positive. 2secθtanθ2tanθdθ=secθdθ=lnsecθ+tanθ+C\int\frac{2\sec\theta\tan\theta}{2\tan\theta}d\theta=\int\sec\theta\,d\theta=\ln\left|\sec\theta+\tan\theta\right|+C. Le triangle donne secθ=x2\sec\theta=\frac{x}{2} et tanθ=x242\tan\theta=\frac{\sqrt{x^{2}-4}}{2}, d'où lnx+x242+C=lnx+x24+C\ln\left|\frac{x+\sqrt{x^{2}-4}}{2}\right|+C=\ln\left|x+\sqrt{x^{2}-4}\right|+C', la constante ln2-\ln 2 étant absorbée.

b) x=3secθx=3\sec\theta : 3tanθ3secθ3secθtanθdθ=3tan2θdθ=3(sec2θ1)dθ=3tanθ3θ+C\int\frac{3\tan\theta}{3\sec\theta}\cdot 3\sec\theta\tan\theta\,d\theta=3\int\tan^{2}\theta\,d\theta=3\int(\sec^{2}\theta-1)d\theta=3\tan\theta-3\theta+C. Avec tanθ=x293\tan\theta=\frac{\sqrt{x^{2}-9}}{3} et θ=arcsecx3=arccos3x\theta=\mathrm{arcsec}\frac{x}{3}=\arccos\frac{3}{x} : x293arccos3x+C\sqrt{x^{2}-9}-3\arccos\frac{3}{x}+C.

c) Parce que u2=u\sqrt{u^{2}}=\left|u\right| sans exception, et que la tangente CHANGE de signe selon la branche. Sur la branche xax\geq a, on prend θ[0;π2)\theta\in\left[0\,;\frac{\pi}{2}\right)secθ1\sec\theta\geq 1 et tanθ0\tan\theta\geq 0 : la valeur absolue tombe. Sur la branche xax\leq -a, on prend θ(π2;π]\theta\in\left(\frac{\pi}{2}\,;\pi\right]secθ1\sec\theta\leq -1, ce qu'il faut bien pour atteindre les xx négatifs, mais où tanθ0\tan\theta\leq 0 : la racine vaut alors atanθ-a\tan\theta, et un signe moins traverse tout le calcul. Oublier ce signe est l'erreur classique, et elle produit une primitive de dérivée opposée à l'intégrande.

d) Avec la primitive lnx+x24\ln\left|x+\sqrt{x^{2}-4}\right| : en x=3x=-3, 3+50,7639\left|-3+\sqrt{5}\right|\approx 0{,}7639 et en x=4x=-4, 4+120,5359\left|-4+\sqrt{12}\right|\approx 0{,}5359; la différence des logarithmes vaut environ 0,2695+0,6237=0,3542-0{,}2695+0{,}6237=0{,}3542. Par la substitution x=ux=-u, l'intégrale devient 34duu24=ln(4+12)ln(3+5)2,01001,6556=0,3544\int_{3}^{4}\frac{du}{\sqrt{u^{2}-4}}=\ln\left(4+\sqrt{12}\right)-\ln\left(3+\sqrt{5}\right)\approx 2{,}0100-1{,}6556=0{,}3544. Les deux valeurs coïncident : la forme logarithmique, contrairement à la forme en arc sécante, traverse les deux branches sans retouche, ce qui en fait la primitive à retenir.

e) Racine a2x2\sqrt{a^{2}-x^{2}} : poser x=asinθx=a\sin\theta, avec θ[π2;π2]\theta\in\left[-\frac{\pi}{2}\,;\frac{\pi}{2}\right], la racine devient acosθa\cos\theta. Racine a2+x2\sqrt{a^{2}+x^{2}} : poser x=atanθx=a\tan\theta, avec θ(π2;π2)\theta\in\left(-\frac{\pi}{2}\,;\frac{\pi}{2}\right), la racine devient asecθa\sec\theta. Racine x2a2\sqrt{x^{2}-a^{2}} : poser x=asecθx=a\sec\theta, avec θ[0;π2)\theta\in\left[0\,;\frac{\pi}{2}\right) si xax\geq a et θ(π2;π]\theta\in\left(\frac{\pi}{2}\,;\pi\right] si xax\leq -a, la racine devient atanθa\left|\tan\theta\right|. Dans les trois cas, l'intervalle est choisi pour que la fonction réciproque existe ET que la racine soit positive sans valeur absolue.

Exercice 9 : Compléter le carré d'abord

Une racine ou un dénominateur du second degré ne se présente presque jamais sous la forme canonique a2±x2a^{2}\pm x^{2}. La complétion du carré est l'étape qui l'y ramène, et elle décide à elle seule laquelle des trois substitutions, ou laquelle des trois fonctions inverses, va sortir.

  • a) Calculez dxx2+2x+5\int\frac{dx}{\sqrt{x^{2}+2x+5}}.
  • b) Calculez dx32xx2\int\frac{dx}{\sqrt{3-2x-x^{2}}}. Quel détail du signe du terme en x2x^{2} change tout ?
  • c) Calculez dxx2+6x+13\int\frac{dx}{x^{2}+6x+13}.
  • d) Calculez x+132xx2dx\int\frac{x+1}{\sqrt{3-2x-x^{2}}}dx. Pourquoi ce calcul est-il beaucoup plus court que celui du b) ?
  • e) Calculez 2x+5x2+6x+13dx\int\frac{2x+5}{x^{2}+6x+13}dx, puis énoncez la règle générale de découpage d'un numérateur du premier degré.
Voir la correction

a) x2+2x+5=(x+1)2+4x^{2}+2x+5=(x+1)^{2}+4 : c'est la forme u2+a2u^{2}+a^{2}, donc la racine appelle la tangente, ou directement la formule duu2+a2=lnu+u2+a2\int\frac{du}{\sqrt{u^{2}+a^{2}}}=\ln\left|u+\sqrt{u^{2}+a^{2}}\right|. Avec u=x+1u=x+1 : lnx+1+x2+2x+5+C\ln\left|x+1+\sqrt{x^{2}+2x+5}\right|+C, que l'on peut aussi écrire argsinhx+12+C\mathrm{argsinh}\frac{x+1}{2}+C.

b) Le coefficient de x2x^{2} est NÉGATIF : il faut d'abord le mettre en facteur, 32xx2=3(x2+2x)=3+1(x+1)2=4(x+1)23-2x-x^{2}=3-(x^{2}+2x)=3+1-(x+1)^{2}=4-(x+1)^{2}. On obtient cette fois la forme a2u2a^{2}-u^{2}, qui appelle le sinus et donne un arc sinus : arcsinx+12+C\arcsin\frac{x+1}{2}+C. Le signe du terme carré décide donc de tout : positif, on obtient un logarithme ou un argument sinus hyperbolique; négatif, un arc sinus. Une erreur de signe à cette étape mène à une fonction d'un tout autre type.

c) x2+6x+13=(x+3)2+4x^{2}+6x+13=(x+3)^{2}+4, forme u2+a2u^{2}+a^{2} au dénominateur sans racine : c'est l'arc tangente. duu2+4=12arctanu2\int\frac{du}{u^{2}+4}=\frac{1}{2}\arctan\frac{u}{2}, soit 12arctanx+32+C\frac{1}{2}\arctan\frac{x+3}{2}+C. Le facteur 12\frac{1}{2} vient du aa au dénominateur et s'oublie très souvent.

d) Parce que le numérateur est proportionnel à la DÉRIVÉE du radicande : (32xx2)=22x=2(x+1)\left(3-2x-x^{2}\right)'=-2-2x=-2(x+1). L'intégrale s'écrit donc 12(32xx2)32xx2dx=12232xx2=32xx2+C-\frac{1}{2}\int\frac{(3-2x-x^{2})'}{\sqrt{3-2x-x^{2}}}dx=-\frac{1}{2}\cdot 2\sqrt{3-2x-x^{2}}=-\sqrt{3-2x-x^{2}}+C. Aucune complétion du carré, aucune substitution trigonométrique : la présence du bon facteur au numérateur court-circuite toute la machinerie. Il faut donc TOUJOURS regarder le numérateur avant de compléter le carré.

e) On découpe le numérateur en deux morceaux : celui qui est proportionnel à la dérivée du dénominateur, et une constante. Ici 2x+5=(2x+6)12x+5=(2x+6)-1, et 2x+62x+6 est exactement (x2+6x+13)\left(x^{2}+6x+13\right)'. D'où 2x+6x2+6x+13dxdxx2+6x+13=ln(x2+6x+13)12arctanx+32+C\int\frac{2x+6}{x^{2}+6x+13}dx-\int\frac{dx}{x^{2}+6x+13}=\ln\left(x^{2}+6x+13\right)-\frac{1}{2}\arctan\frac{x+3}{2}+C; la valeur absolue est inutile, le trinôme étant toujours strictement positif. Règle générale : devant px+qtrinoˆme\frac{px+q}{\text{trinôme}}, écrivez le numérateur sous la forme α×(deˊriveˊe du deˊnominateur)+β\alpha\times(\text{dérivée du dénominateur})+\beta. Le premier terme donne un logarithme, le second un arc tangente après complétion du carré. Sous une racine, le premier donne une racine et le second un arc sinus ou un logarithme.

Exercice 10 : Quand la substitution trigonométrique est une mauvaise idée

Une racine du type a2±x2\sqrt{a^{2}\pm x^{2}} n'appelle pas automatiquement une substitution trigonométrique. Dans la moitié des cas rencontrés à l'examen, une simple substitution algébrique suffit, et sortir le triangle fait perdre dix minutes.

  • a) Calculez xdx4x2\int\frac{x\,dx}{\sqrt{4-x^{2}}}, puis comparez avec dx4x2\int\frac{dx}{\sqrt{4-x^{2}}}. Qu'est-ce qui change tout ?
  • b) Calculez xx29dx\int x\sqrt{x^{2}-9}\,dx.
  • c) Calculez x31+x2dx\int\frac{x^{3}}{\sqrt{1+x^{2}}}dx. La présence d'une puissance IMPAIRE au numérateur suffit-elle ?
  • d) Calculez xdxx2+4\int\frac{x\,dx}{x^{2}+4} et dxx2+4\int\frac{dx}{x^{2}+4} : deux intégrales voisines, deux réponses de nature différente.
  • e) Énoncez le test qui décide, en cinq secondes, entre substitution algébrique et substitution trigonométrique.
Voir la correction

a) Le numérateur xx est, au facteur 12-\frac{1}{2} près, la dérivée de 4x24-x^{2}. Avec u=4x2u=4-x^{2} et du=2xdxdu=-2x\,dx : 12u1/2du=u=4x2+C-\frac{1}{2}\int u^{-1/2}du=-\sqrt{u}=-\sqrt{4-x^{2}}+C. La seconde intégrale n'a PAS ce facteur xx : aucune substitution algébrique ne fonctionne, il faut x=2sinθx=2\sin\theta et l'on obtient arcsinx2+C\arcsin\frac{x}{2}+C. Un seul facteur xx sépare une réponse algébrique d'une réponse en arc sinus.

b) Même structure : u=x29u=x^{2}-9, du=2xdxdu=2x\,dx, donc 12u1/2du=u3/23=(x29)3/23+C\frac{1}{2}\int u^{1/2}du=\frac{u^{3/2}}{3}=\frac{\left(x^{2}-9\right)^{3/2}}{3}+C. Une substitution trigonométrique aboutirait au même résultat après trois fois plus de lignes et un retour par le triangle.

c) Oui, à condition d'ajuster. Avec u=1+x2u=1+x^{2}, on a x2=u1x^{2}=u-1 et xdx=du2x\,dx=\frac{du}{2}, donc x2xdx1+x2=12u1udu=12(u1/2u1/2)du=u3/23u1/2\int\frac{x^{2}\cdot x\,dx}{\sqrt{1+x^{2}}}=\frac{1}{2}\int\frac{u-1}{\sqrt{u}}du=\frac{1}{2}\int\left(u^{1/2}-u^{-1/2}\right)du=\frac{u^{3/2}}{3}-u^{1/2}, soit (1+x2)3/231+x2+C\frac{\left(1+x^{2}\right)^{3/2}}{3}-\sqrt{1+x^{2}}+C. Une puissance impaire permet toujours de détacher un xdxx\,dx et de convertir le reste, exactement comme les puissances impaires de sinus de la partie A : c'est la même idée dans un autre habillage.

d) xdxx2+4=12ln(x2+4)+C\int\frac{x\,dx}{x^{2}+4}=\frac{1}{2}\ln\left(x^{2}+4\right)+C, forme ff\frac{f'}{f}, réponse LOGARITHMIQUE. dxx2+4=12arctanx2+C\int\frac{dx}{x^{2}+4}=\frac{1}{2}\arctan\frac{x}{2}+C, réponse en ARC TANGENTE. Deux intégrandes qui ne diffèrent que par un facteur xx, deux familles de fonctions sans aucun rapport. C'est l'exemple à garder en tête pour ne jamais répondre par réflexe.

e) Regardez le NUMÉRATEUR, et lui seul, avant toute chose. S'il contient un facteur proportionnel à la dérivée de l'expression sous la racine ou au dénominateur, c'est-à-dire un xx isolé quand l'expression est en x2x^{2}, posez u=u= cette expression et le calcul est terminé en deux lignes. S'il n'en contient pas, ou s'il porte une puissance PAIRE de xx, aucune substitution algébrique ne peut fonctionner et la substitution trigonométrique devient nécessaire. En une phrase : le facteur xx manquant est précisément ce qui coûte le triangle.

Partie C : Les fonctions trigonométriques inverses (/50)

Exercice 11 : Les trois primitives de base et leur reconnaissance

Trois formes seulement produisent une fonction trigonométrique inverse : dua2u2=arcsinua\int\frac{du}{\sqrt{a^{2}-u^{2}}}=\arcsin\frac{u}{a}, dua2+u2=1aarctanua\int\frac{du}{a^{2}+u^{2}}=\frac{1}{a}\arctan\frac{u}{a} et duuu2a2=1aarcsecua\int\frac{du}{u\sqrt{u^{2}-a^{2}}}=\frac{1}{a}\mathrm{arcsec}\left|\frac{u}{a}\right|. Tout l'art consiste à ramener l'intégrande à l'une des trois.

  • a) Distinguez les trois formes par leur seule silhouette : racine au dénominateur ou non, signe devant u2u^{2}, présence d'un facteur uu hors de la racine. Illustrez avec dx25x2\int\frac{dx}{\sqrt{25-x^{2}}}, dx25+x2\int\frac{dx}{25+x^{2}} et dxxx225\int\frac{dx}{x\sqrt{x^{2}-25}}.
  • b) Calculez dx8+2xx2\int\frac{dx}{\sqrt{8+2x-x^{2}}}.
  • c) Calculez dx(x+1)x2+2x\int\frac{dx}{(x+1)\sqrt{x^{2}+2x}}.
  • d) Calculez 02dxx22x+5\int_{0}^{2}\frac{dx}{x^{2}-2x+5} et donnez une valeur décimale.
  • e) Calculez ex1+e2xdx\int\frac{e^{x}}{1+e^{2x}}dx et dxx1(lnx)2\int\frac{dx}{x\sqrt{1-\left(\ln x\right)^{2}}}. Quelle observation commune permet de traiter ces deux intégrales d'un seul coup d'œil ?
Voir la correction

a) Racine au dénominateur avec un SIGNE MOINS devant u2u^{2} : arc sinus, ici arcsinx5+C\arcsin\frac{x}{5}+C. Pas de racine, signe PLUS : arc tangente, ici 15arctanx5+C\frac{1}{5}\arctan\frac{x}{5}+C. Racine avec signe moins devant a2a^{2} ET un facteur uu SEUL hors de la racine : arc sécante, ici 15arcsecx5+C\frac{1}{5}\mathrm{arcsec}\left|\frac{x}{5}\right|+C. La silhouette suffit, à condition de vérifier les trois points dans cet ordre : la racine, le signe, le facteur extérieur.

b) On complète le carré sous la racine, en mettant d'abord le signe moins en facteur : 8+2xx2=8(x22x)=8+1(x1)2=9(x1)28+2x-x^{2}=8-(x^{2}-2x)=8+1-(x-1)^{2}=9-(x-1)^{2}. Avec u=x1u=x-1 et a=3a=3, c'est la première forme : arcsinx13+C\arcsin\frac{x-1}{3}+C.

c) Ici x2+2x=(x+1)21x^{2}+2x=(x+1)^{2}-1, et le facteur x+1x+1 hors de la racine est exactement le uu de la troisième forme : duuu21\int\frac{du}{u\sqrt{u^{2}-1}} avec u=x+1u=x+1 et a=1a=1. D'où arcsecx+1+C\mathrm{arcsec}\left|x+1\right|+C. Sans le facteur x+1x+1 au dénominateur, l'intégrale aurait donné un logarithme et non un arc sécante : ce facteur, apparemment gênant, est en réalité ce qui rend la formule applicable.

d) x22x+5=(x1)2+4x^{2}-2x+5=(x-1)^{2}+4, deuxième forme avec u=x1u=x-1 et a=2a=2. La primitive est 12arctanx12\frac{1}{2}\arctan\frac{x-1}{2}, donc [12arctanx12]02=12(arctan12arctan(12))=arctan120,4636\left[\frac{1}{2}\arctan\frac{x-1}{2}\right]_{0}^{2}=\frac{1}{2}\left(\arctan\frac{1}{2}-\arctan\left(-\frac{1}{2}\right)\right)=\arctan\frac{1}{2}\approx 0{,}4636, l'arc tangente étant impaire.

e) Dans les deux cas, une substitution INTERNE ramène à une forme de base. Pour la première, u=exu=e^{x} donne du=exdxdu=e^{x}dx et du1+u2=arctanu=arctan(ex)+C\int\frac{du}{1+u^{2}}=\arctan u=\arctan\left(e^{x}\right)+C. Pour la seconde, u=lnxu=\ln x donne du=dxxdu=\frac{dx}{x} et du1u2=arcsinu=arcsin(lnx)+C\int\frac{du}{\sqrt{1-u^{2}}}=\arcsin u=\arcsin\left(\ln x\right)+C. L'observation commune est que le facteur qui semble encombrer l'intégrande, exe^{x} d'un côté et 1x\frac{1}{x} de l'autre, est précisément la DÉRIVÉE de l'expression qui joue le rôle de uu. Les trois formes de base ne s'appliquent presque jamais telles quelles : elles s'appliquent à un uu, et repérer ce uu est tout le travail.

Exercice 12 : Le facteur 1 invisible : intégrer une fonction inverse

Une fonction trigonométrique inverse n'a pas de primitive évidente, mais elle a une DÉRIVÉE simple. C'est exactement la situation où l'intégration par parties avec dv=dxdv=dx résout tout : on dérive la fonction inverse et on intègre le facteur 1, resté invisible.

  • a) Calculez arcsinxdx\int\arcsin x\,dx en posant u=arcsinxu=\arcsin x et dv=dxdv=dx.
  • b) Calculez arccosxdx\int\arccos x\,dx, puis vérifiez la cohérence des deux résultats à l'aide de l'identité arcsinx+arccosx=π2\arcsin x+\arccos x=\frac{\pi}{2}.
  • c) Calculez arctanxdx\int\arctan x\,dx et arccotxdx\int\mathrm{arccot} x\,dx.
  • d) Calculez arcsecxdx\int\mathrm{arcsec} x\,dx pour x>1x>1.
  • e) Évaluez 01arctanxdx\int_{0}^{1}\arctan x\,dx et donnez une valeur décimale.
Voir la correction

a) u=arcsinxu=\arcsin x donne du=dx1x2du=\frac{dx}{\sqrt{1-x^{2}}}, et dv=dxdv=dx donne v=xv=x. D'où arcsinxdx=xarcsinxxdx1x2\int\arcsin x\,dx=x\arcsin x-\int\frac{x\,dx}{\sqrt{1-x^{2}}}. La seconde intégrale est algébrique, le numérateur étant proportionnel à la dérivée du radicande : elle vaut 1x2-\sqrt{1-x^{2}}. Résultat : xarcsinx+1x2+Cx\arcsin x+\sqrt{1-x^{2}}+C.

b) Le même calcul, avec du=dx1x2du=-\frac{dx}{\sqrt{1-x^{2}}}, donne xarccosx1x2+Cx\arccos x-\sqrt{1-x^{2}}+C. Vérification : la somme des deux primitives vaut x(arcsinx+arccosx)=πx2x\left(\arcsin x+\arccos x\right)=\frac{\pi x}{2}, les deux racines s'annulant. Or c'est bien une primitive de arcsinx+arccosx=π2\arcsin x+\arccos x=\frac{\pi}{2}, fonction constante. Les deux calculs se contrôlent donc l'un l'autre, et le fait que les racines se compensent exactement n'est pas un hasard : c'est la traduction de l'identité.

c) arctanxdx=xarctanxxdx1+x2=xarctanx12ln(1+x2)+C\int\arctan x\,dx=x\arctan x-\int\frac{x\,dx}{1+x^{2}}=x\arctan x-\frac{1}{2}\ln\left(1+x^{2}\right)+C. Pour l'arc cotangente, la dérivée change de signe : arccotxdx=xarccotx+12ln(1+x2)+C\int\mathrm{arccot}x\,dx=x\mathrm{arccot}x+\frac{1}{2}\ln\left(1+x^{2}\right)+C. Là encore, la somme des deux primitives vaut πx2\frac{\pi x}{2}, puisque arctanx+arccotx=π2\arctan x+\mathrm{arccot}x=\frac{\pi}{2}.

d) u=arcsecxu=\mathrm{arcsec}x donne du=dxxx21du=\frac{dx}{\left|x\right|\sqrt{x^{2}-1}}, qui vaut dxxx21\frac{dx}{x\sqrt{x^{2}-1}} puisque x>1x>1. D'où arcsecxdx=xarcsecxxdxxx21=xarcsecxdxx21\int\mathrm{arcsec}x\,dx=x\mathrm{arcsec}x-\int\frac{x\,dx}{x\sqrt{x^{2}-1}}=x\mathrm{arcsec}x-\int\frac{dx}{\sqrt{x^{2}-1}}. Le facteur xx se simplifie, et il reste l'intégrale de la partie B : xarcsecxlnx+x21+Cx\mathrm{arcsec}x-\ln\left|x+\sqrt{x^{2}-1}\right|+C.

e) [xarctanx12ln(1+x2)]01=π4ln220=π4ln220,78540,34660,4388\left[x\arctan x-\frac{1}{2}\ln\left(1+x^{2}\right)\right]_{0}^{1}=\frac{\pi}{4}-\frac{\ln 2}{2}-0=\frac{\pi}{4}-\frac{\ln 2}{2}\approx 0{,}7854-0{,}3466\approx 0{,}4388.

Exercice 13 : Produits avec x : la division qui suit les parties

Quand une fonction inverse est multipliée par une puissance de xx, on intègre encore par parties, mais l'intégrale restante n'est plus immédiate : elle exige une division polynomiale ou une identité. C'est cette seconde étape qui distingue le calcul soigné du calcul bâclé.

  • a) Calculez xarctanxdx\int x\arctan x\,dx, en détaillant la division qui suit l'intégration par parties.
  • b) Calculez xarcsinxdx\int x\arcsin x\,dx.
  • c) Calculez x2arctanxdx\int x^{2}\arctan x\,dx.
  • d) Évaluez 01xarctanxdx\int_{0}^{1}x\arctan x\,dx et donnez une valeur décimale.
  • e) Pourquoi choisit-on systématiquement la fonction inverse comme uu, et jamais comme dvdv ? Reliez votre réponse à la règle mnémonique du choix de uu.
Voir la correction

a) u=arctanxu=\arctan x, dv=xdxdv=x\,dx, donc v=x22v=\frac{x^{2}}{2} : x22arctanx12x21+x2dx\frac{x^{2}}{2}\arctan x-\frac{1}{2}\int\frac{x^{2}}{1+x^{2}}dx. Le degré du numérateur égale celui du dénominateur : la division est OBLIGATOIRE avant toute chose, et elle donne x21+x2=111+x2\frac{x^{2}}{1+x^{2}}=1-\frac{1}{1+x^{2}}. D'où x22arctanx12(xarctanx)=x2+12arctanxx2+C\frac{x^{2}}{2}\arctan x-\frac{1}{2}\left(x-\arctan x\right)=\frac{x^{2}+1}{2}\arctan x-\frac{x}{2}+C.

b) u=arcsinxu=\arcsin x, v=x22v=\frac{x^{2}}{2} : x22arcsinx12x21x2dx\frac{x^{2}}{2}\arcsin x-\frac{1}{2}\int\frac{x^{2}}{\sqrt{1-x^{2}}}dx. L'intégrale restante est celle de la partie B, avec a=1a=1 : x21x2dx=12arcsinxx1x22\int\frac{x^{2}}{\sqrt{1-x^{2}}}dx=\frac{1}{2}\arcsin x-\frac{x\sqrt{1-x^{2}}}{2}. D'où x22arcsinx14arcsinx+x1x24=2x214arcsinx+x1x24+C\frac{x^{2}}{2}\arcsin x-\frac{1}{4}\arcsin x+\frac{x\sqrt{1-x^{2}}}{4}=\frac{2x^{2}-1}{4}\arcsin x+\frac{x\sqrt{1-x^{2}}}{4}+C.

c) u=arctanxu=\arctan x, v=x33v=\frac{x^{3}}{3} : x33arctanx13x31+x2dx\frac{x^{3}}{3}\arctan x-\frac{1}{3}\int\frac{x^{3}}{1+x^{2}}dx. Division : x31+x2=xx1+x2\frac{x^{3}}{1+x^{2}}=x-\frac{x}{1+x^{2}}, dont l'intégrale vaut x2212ln(1+x2)\frac{x^{2}}{2}-\frac{1}{2}\ln\left(1+x^{2}\right). Résultat : x33arctanxx26+16ln(1+x2)+C\frac{x^{3}}{3}\arctan x-\frac{x^{2}}{6}+\frac{1}{6}\ln\left(1+x^{2}\right)+C.

d) [x2+12arctanxx2]01=(1π412)0=π4120,2854\left[\frac{x^{2}+1}{2}\arctan x-\frac{x}{2}\right]_{0}^{1}=\left(1\cdot\frac{\pi}{4}-\frac{1}{2}\right)-0=\frac{\pi}{4}-\frac{1}{2}\approx 0{,}2854.

e) Parce que l'intégration par parties n'est rentable que si l'on DÉRIVE le facteur difficile. Une fonction trigonométrique inverse a une dérivée algébrique très simple, une fraction rationnelle ou une racine, alors qu'aucune de ses primitives n'est connue au moment où l'on commence : la prendre comme dvdv obligerait à intégrer ce qu'on ne sait pas intégrer, et le calcul s'arrêterait à la première ligne. C'est exactement l'ordre de priorité résumé par le sigle LIATE, où le I des fonctions Inverses vient juste après le L des Logarithmes : ces deux familles sont celles qu'on dérive toujours, et jamais celles qu'on intègre.

Exercice 14 : L'arc sécante et la valeur absolue

L'arc sécante est la seule des six fonctions trigonométriques inverses dont la dérivée porte une valeur absolue : (arcsecx)=1xx21\left(\mathrm{arcsec}x\right)'=\frac{1}{\left|x\right|\sqrt{x^{2}-1}}. Cette valeur absolue n'est pas une précaution d'écriture, c'est ce qui rend la formule vraie sur les deux branches du domaine.

  • a) Le domaine de arcsec\mathrm{arcsec} est x1\left|x\right|\geq 1, donc en deux morceaux. Justifiez la présence de x\left|x\right| en dérivant arcsecx=arccos1x\mathrm{arcsec}x=\arccos\frac{1}{x} dans les deux cas de signe.
  • b) Calculez dxxx29\int\frac{dx}{x\sqrt{x^{2}-9}} et écrivez la primitive de façon valable sur les DEUX branches.
  • c) Un étudiant propose 13arcsecx3\frac{1}{3}\mathrm{arcsec}\frac{x}{3}, sans valeur absolue. Testez sa proposition en x=4x=-4 en dérivant, et dites précisément ce qui cloche.
  • d) Évaluez 64dxxx29\int_{-6}^{-4}\frac{dx}{x\sqrt{x^{2}-9}}. Le signe de votre réponse était-il prévisible sans calcul ?
  • e) Certains manuels définissent l'arc sécante sur [0;π2)[π;3π2)\left[0\,;\frac{\pi}{2}\right)\cup\left[\pi\,;\frac{3\pi}{2}\right) afin d'écrire la dérivée sans valeur absolue. Expliquez le mécanisme et dites quel inconvénient cette convention entraîne.
Voir la correction

a) En dérivant arccos1x\arccos\frac{1}{x} : (arccos1x)=111x2(1x2)=1x2x21x2=1x2x21x=1xx21\left(\arccos\frac{1}{x}\right)'=-\frac{1}{\sqrt{1-\frac{1}{x^{2}}}}\cdot\left(-\frac{1}{x^{2}}\right)=\frac{1}{x^{2}\sqrt{\frac{x^{2}-1}{x^{2}}}}=\frac{1}{x^{2}\cdot\frac{\sqrt{x^{2}-1}}{\left|x\right|}}=\frac{1}{\left|x\right|\sqrt{x^{2}-1}}. C'est la simplification x2=x\sqrt{x^{2}}=\left|x\right| qui produit la valeur absolue, et elle est inévitable : pour x>1x>1 elle donne 1xx21\frac{1}{x\sqrt{x^{2}-1}}, mais pour x<1x<-1 elle donne 1xx21-\frac{1}{x\sqrt{x^{2}-1}}, une quantité POSITIVE alors que xx est négatif. La dérivée de l'arc sécante est donc positive partout, ce qui est cohérent avec une fonction croissante sur chacune de ses branches.

b) Avec u=x3u=\frac{x}{3}, la troisième forme de base donne 13arcsecx3+C\frac{1}{3}\mathrm{arcsec}\left|\frac{x}{3}\right|+C, que l'on écrit aussi 13arccos3x+C\frac{1}{3}\arccos\frac{3}{\left|x\right|}+C. La valeur absolue à l'INTÉRIEUR est ce qui rend l'expression valable pour x>3x>3 comme pour x<3x<-3, sans changer de formule d'une branche à l'autre.

c) Sans valeur absolue, la proposition s'écrit 13arccos3x\frac{1}{3}\arccos\frac{3}{x}. En x=4x=-4, sa dérivée vaut 133xx29=1xx29=147+0,0945\frac{1}{3}\cdot\frac{3}{\left|x\right|\sqrt{x^{2}-9}}=\frac{1}{\left|x\right|\sqrt{x^{2}-9}}=\frac{1}{4\sqrt{7}}\approx +0{,}0945, alors que l'intégrande y vaut 1xx29=1470,0945\frac{1}{x\sqrt{x^{2}-9}}=\frac{1}{-4\sqrt{7}}\approx -0{,}0945. Le SIGNE est faux : la proposition est une primitive de l'opposé de l'intégrande sur toute la branche négative. Elle reste parfaitement correcte pour x>3x>3, ce qui la rend d'autant plus dangereuse : elle passe la vérification si l'on ne teste qu'un point positif.

d) Avec la primitive correcte : en x=4x=-4, 13arccos340,722730,2409\frac{1}{3}\arccos\frac{3}{4}\approx\frac{0{,}7227}{3}\approx 0{,}2409; en x=6x=-6, 13arccos12=π90,3491\frac{1}{3}\arccos\frac{1}{2}=\frac{\pi}{9}\approx 0{,}3491. L'intégrale vaut 0,24090,34910,1080{,}2409-0{,}3491\approx -0{,}108. Le signe négatif était entièrement prévisible : sur [6;4]\left[-6\,;-4\right], la racine est positive mais xx est négatif, donc l'intégrande est négatif sur tout l'intervalle, et l'intégrale d'une fonction négative ne peut qu'être négative. C'est la vérification à faire systématiquement avant d'accepter une réponse.

e) Le mécanisme est le suivant : sur [π;3π2)\left[\pi\,;\frac{3\pi}{2}\right), la tangente est POSITIVE alors que la sécante est négative, si bien que la relation sec2θ1=tanθ\sqrt{\sec^{2}\theta-1}=\tan\theta tient sans valeur absolue et que la dérivée devient 1xx21\frac{1}{x\sqrt{x^{2}-1}} sur les deux branches. L'écriture y gagne, et les substitutions trigonométriques de la partie B s'en trouvent allégées. L'inconvénient est réel : cette convention rompt la relation arcsecx=arccos1x\mathrm{arcsec}x=\arccos\frac{1}{x}, qui est celle qu'implémentent les calculatrices et les logiciels de calcul formel. Un résultat obtenu avec l'une des conventions et vérifié avec l'autre semblera faux alors qu'il ne l'est pas, et c'est exactement pourquoi il faut, dans une copie, préciser la convention employée ou, plus simplement, préférer la forme logarithmique lnx+x2a2\ln\left|x+\sqrt{x^{2}-a^{2}}\right| chaque fois qu'elle est disponible.

Exercice 15 : Composées et identités : deux primitives pour une même intégrale

Une fonction inverse composée avec autre chose se traite en substituant d'abord, puis en intégrant par parties. Et comme les fonctions inverses obéissent à des identités, une même intégrale admet souvent deux réponses d'apparence incompatibles.

  • a) Calculez arctanxdx\int\arctan\sqrt{x}\,dx en posant t=xt=\sqrt{x}.
  • b) Calculez exarcsin(ex)dx\int e^{x}\arcsin\left(e^{x}\right)dx.
  • c) Calculez arctanx1+x2dx\int\frac{\arctan x}{1+x^{2}}dx et dx(1+x2)arctanx\int\frac{dx}{\left(1+x^{2}\right)\arctan x}. Quelle est la structure commune ?
  • d) Sachant que arctanx+arctan1x=π2\arctan x+\arctan\frac{1}{x}=\frac{\pi}{2} pour x>0x>0, calculez arctan1xdx\int\arctan\frac{1}{x}\,dx sans aucune intégration par parties.
  • e) Deux étudiants calculent dxxx21\int\frac{dx}{x\sqrt{x^{2}-1}} pour x>1x>1. L'un répond arcsecx\mathrm{arcsec}x, l'autre arctanx21\arctan\sqrt{x^{2}-1}. Départagez-les.
Voir la correction

a) t=xt=\sqrt{x} donne x=t2x=t^{2} et dx=2tdtdx=2t\,dt : arctant2tdt=2tarctantdt\int\arctan t\cdot 2t\,dt=2\int t\arctan t\,dt. C'est l'intégrale de l'exercice précédent : 2(t2+12arctantt2)=(t2+1)arctantt2\left(\frac{t^{2}+1}{2}\arctan t-\frac{t}{2}\right)=\left(t^{2}+1\right)\arctan t-t. En revenant à xx : (x+1)arctanxx+C\left(x+1\right)\arctan\sqrt{x}-\sqrt{x}+C. Substituer d'abord a transformé une composée en un produit déjà traité.

b) Le facteur exe^{x} est la dérivée de l'argument : c'est le signe qu'il faut poser u=exu=e^{x}, d'où arcsinudu=uarcsinu+1u2\int\arcsin u\,du=u\arcsin u+\sqrt{1-u^{2}}, soit exarcsin(ex)+1e2x+Ce^{x}\arcsin\left(e^{x}\right)+\sqrt{1-e^{2x}}+C, valable pour ex1e^{x}\leq 1, c'est-à-dire x0x\leq 0.

c) Dans les deux cas, dx1+x2\frac{dx}{1+x^{2}} est exactement d(arctanx)d\left(\arctan x\right) : en posant u=arctanxu=\arctan x, la première devient udu=u22\int u\,du=\frac{u^{2}}{2}, soit (arctanx)22+C\frac{\left(\arctan x\right)^{2}}{2}+C, et la seconde duu=lnu\int\frac{du}{u}=\ln\left|u\right|, soit lnarctanx+C\ln\left|\arctan x\right|+C. La structure commune est que l'arc tangente y apparaît DEUX fois, une fois comme fonction et une fois, déguisée, comme différentielle. Repérer dx1+x2\frac{dx}{1+x^{2}} comme un dudu tout prêt fait tomber ces intégrales en une ligne.

d) arctan1xdx=(π2arctanx)dx=πx2xarctanx+12ln(1+x2)+C\int\arctan\frac{1}{x}dx=\int\left(\frac{\pi}{2}-\arctan x\right)dx=\frac{\pi x}{2}-x\arctan x+\frac{1}{2}\ln\left(1+x^{2}\right)+C, en réutilisant la primitive de l'arc tangente. L'identité a économisé toute une intégration par parties, et elle rappelle que arctan1x\arctan\frac{1}{x} n'est pas une fonction nouvelle mais l'arc tangente retournée. Attention toutefois : pour x<0x<0, l'identité devient arctanx+arctan1x=π2\arctan x+\arctan\frac{1}{x}=-\frac{\pi}{2}, et la constante change de branche.

e) Les deux ont raison. En dérivant la seconde proposition : (arctanx21)=11+(x21)xx21=1xx21\left(\arctan\sqrt{x^{2}-1}\right)'=\frac{1}{1+\left(x^{2}-1\right)}\cdot\frac{x}{\sqrt{x^{2}-1}}=\frac{1}{x\sqrt{x^{2}-1}}, c'est bien l'intégrande. Les deux fonctions sont donc deux primitives d'une même fonction sur l'intervalle ]1;+[\left]1\,;+\infty\right[, connexe : elles diffèrent d'une constante, et comme elles s'annulent toutes deux en x=1x=1, cette constante est NULLE, elles sont rigoureusement égales. Ce n'est d'ailleurs qu'une identité déguisée : si θ=arcsecx\theta=\mathrm{arcsec}x, alors secθ=x\sec\theta=x et tanθ=x21\tan\theta=\sqrt{x^{2}-1}, donc θ=arctanx21\theta=\arctan\sqrt{x^{2}-1}. La leçon vaut pour tout le chapitre : deux réponses d'allure très différente sont souvent la même, et le seul juge est la dérivation.

Partie D : Intégrales définies, pièges et synthèse (/50)

Exercice 16 : Les bornes qu'on oublie de changer

Dans une intégrale DÉFINIE, un changement de variable s'accompagne obligatoirement d'un changement de bornes. Deux méthodes sont correctes : transformer les bornes et ne jamais revenir en xx, ou garder les bornes en xx et revenir à la variable initiale avant d'évaluer. Les mélanger est l'erreur la plus coûteuse du chapitre.

  • a) Calculez 01dx4x2\int_{0}^{1}\frac{dx}{\sqrt{4-x^{2}}} par substitution trigonométrique, en transformant les bornes.
  • b) Calculez 02x24x2dx\int_{0}^{2}x^{2}\sqrt{4-x^{2}}\,dx.
  • c) Calculez 03dx1+x2\int_{0}^{\sqrt{3}}\frac{dx}{1+x^{2}} et interprétez géométriquement l'angle obtenu.
  • d) Un étudiant écrit 01dx4x2=01dθ=1\int_{0}^{1}\frac{dx}{\sqrt{4-x^{2}}}=\int_{0}^{1}d\theta=1. Diagnostiquez précisément son erreur et évaluez son ampleur.
  • e) Énoncez les deux méthodes correctes et dites laquelle vous recommanderiez à l'examen, avec sa raison.
Voir la correction

a) On pose x=2sinθx=2\sin\theta, donc dx=2cosθdθdx=2\cos\theta\,d\theta et 4x2=2cosθ\sqrt{4-x^{2}}=2\cos\theta. Les bornes suivent : x=0x=0 donne θ=0\theta=0, et x=1x=1 donne sinθ=12\sin\theta=\frac{1}{2}, soit θ=π6\theta=\frac{\pi}{6}. L'intégrale devient 0π/6dθ=π60,5236\int_{0}^{\pi/6}d\theta=\frac{\pi}{6}\approx 0{,}5236. On vérifie directement : [arcsinx2]01=arcsin12=π6\left[\arcsin\frac{x}{2}\right]_{0}^{1}=\arcsin\frac{1}{2}=\frac{\pi}{6}.

b) Mêmes substitution et bornes, sauf que x=2x=2 donne θ=π2\theta=\frac{\pi}{2} : 0π/24sin2θ2cosθ2cosθdθ=160π/2sin2θcos2θdθ\int_{0}^{\pi/2}4\sin^{2}\theta\cdot 2\cos\theta\cdot 2\cos\theta\,d\theta=16\int_{0}^{\pi/2}\sin^{2}\theta\cos^{2}\theta\,d\theta. La partie A a montré que sin2θcos2θ=1cos4θ8\sin^{2}\theta\cos^{2}\theta=\frac{1-\cos 4\theta}{8}, d'où 2[θsin4θ4]0π/2=2π2=π3,14162\left[\theta-\frac{\sin 4\theta}{4}\right]_{0}^{\pi/2}=2\cdot\frac{\pi}{2}=\pi\approx 3{,}1416.

c) [arctanx]03=arctan3=π31,0472\left[\arctan x\right]_{0}^{\sqrt{3}}=\arctan\sqrt{3}=\frac{\pi}{3}\approx 1{,}0472. Géométriquement, la substitution x=tanθx=\tan\theta fait de θ\theta l'angle dont la tangente vaut xx : intégrer dx1+x2\frac{dx}{1+x^{2}} revient à accumuler du dθd\theta, et l'intégrale mesure donc exactement l'angle balayé quand xx passe de 0 à 3\sqrt{3}, c'est-à-dire 60 degrés. C'est aussi ce qui fait de arctan\arctan le moyen le plus commode de calculer π\pi numériquement.

d) Il a bien substitué dxdx et la racine, mais il a gardé les bornes en xx tout en écrivant l'intégrale en θ\theta : la borne supérieure x=1x=1 a été recopiée comme θ=1\theta=1. Or θ=1\theta=1 radian correspond à x=2sin11,68x=2\sin 1\approx 1{,}68, ce qui n'est pas la borne demandée. Son résultat, 1, dépasse la vraie valeur π60,524\frac{\pi}{6}\approx 0{,}524 de 91 %. Le symptôme est facile à repérer : une réponse sans π\pi pour une intégrale qui devait en produire un.

e) Première méthode : transformer les bornes en même temps que la variable, puis évaluer directement en θ\theta sans jamais revenir en xx. Seconde méthode : traiter d'abord l'intégrale INDÉFINIE, revenir en xx par le triangle, puis évaluer entre les bornes d'origine. À l'examen, je recommande la première : elle évite complètement le retour par le triangle, qui est l'étape la plus longue et la plus fautive de toute substitution trigonométrique. Elle a aussi l'avantage de produire des bornes numériques simples, souvent 00, π6\frac{\pi}{6}, π4\frac{\pi}{4} ou π2\frac{\pi}{2}, qui rendent l'évaluation immédiate. La seule règle absolue est de ne jamais laisser sur une même ligne une variable et des bornes qui ne se correspondent pas.

Exercice 17 : Deux primitives qui ont l'air différentes

Une même intégrale peut recevoir des réponses d'apparence incompatibles selon la méthode employée. Le théorème qui tranche est connu, mais il porte une hypothèse que le chapitre des fonctions inverses met précisément en défaut.

  • a) Calculez sinxcosxdx\int\sin x\cos x\,dx de TROIS façons : par u=sinxu=\sin x, par u=cosxu=\cos x, puis par l'angle double.
  • b) Montrez que les trois réponses diffèrent deux à deux d'une constante, et calculez ces constantes.
  • c) Énoncez le théorème qui garantit ce résultat, en insistant sur son hypothèse.
  • d) Sur R{0}\mathbb{R}\setminus\left\{0\right\}, lnx+3\ln\left|x\right|+3 et la fonction valant lnx\ln\left|x\right| pour x>0x>0 et lnx+7\ln\left|x\right|+7 pour x<0x<0 sont toutes deux des primitives de 1x\frac{1}{x}. L'hypothèse du c) est-elle respectée ?
  • e) Reliez ce phénomène à la question de l'arc sécante traitée plus haut, et dites ce qu'il faut écrire dans une copie pour être irréprochable.
Voir la correction

a) Par u=sinxu=\sin x : udu=sin2x2+C\int u\,du=\frac{\sin^{2}x}{2}+C. Par u=cosxu=\cos x, avec du=sinxdxdu=-\sin x\,dx : udu=cos2x2+C-\int u\,du=-\frac{\cos^{2}x}{2}+C. Par l'angle double, sinxcosx=sin2x2\sin x\cos x=\frac{\sin 2x}{2} : 12sin2xdx=cos2x4+C\frac{1}{2}\int\sin 2x\,dx=-\frac{\cos 2x}{4}+C.

b) sin2x2(cos2x2)=sin2x+cos2x2=12\frac{\sin^{2}x}{2}-\left(-\frac{\cos^{2}x}{2}\right)=\frac{\sin^{2}x+\cos^{2}x}{2}=\frac{1}{2}, constante. sin2x2(cos2x4)=sin2x2+12sin2x4=14\frac{\sin^{2}x}{2}-\left(-\frac{\cos 2x}{4}\right)=\frac{\sin^{2}x}{2}+\frac{1-2\sin^{2}x}{4}=\frac{1}{4}, constante également. Et par différence des deux précédentes, la troisième paire diffère de 14-\frac{1}{4}. Les trois réponses sont donc la même primitive à une constante près, ce qui est exactement ce que le +C+C autorise : trois méthodes correctes ne peuvent pas donner des fonctions essentiellement différentes.

c) Théorème : si FF et GG sont deux primitives d'une même fonction sur un INTERVALLE, alors FGF-G est constante sur cet intervalle. La démonstration tient en une ligne, (FG)=0(F-G)'=0, mais elle repose sur le théorème des accroissements finis, qui exige un intervalle, c'est-à-dire un domaine CONNEXE, d'un seul tenant. C'est cette hypothèse qu'on oublie de vérifier, parce qu'elle est presque toujours satisfaite.

d) Non, elle ne l'est pas : R{0}\mathbb{R}\setminus\left\{0\right\} n'est pas un intervalle mais la réunion de deux intervalles disjoints. La différence des deux fonctions proposées vaut 3-3 sur la demi-droite positive et +4+4 sur la négative : elle est LOCALEMENT constante sans être constante. Les deux fonctions sont pourtant bel et bien des primitives de 1x\frac{1}{x} sur chacun des deux morceaux. La conclusion correcte est donc que sur un domaine en plusieurs morceaux, une primitive comporte une constante PAR MORCEAU, et l'écriture lnx+C\ln\left|x\right|+C est un abus commode qu'il faut savoir désamorcer si l'on travaille des deux côtés de zéro.

e) C'est rigoureusement la même situation. Le domaine de 1xx29\frac{1}{x\sqrt{x^{2}-9}} est ];3[]3;+[\left]-\infty\,;-3\right[\cup\left]3\,;+\infty\right[, lui aussi en deux morceaux : rien n'oblige la primitive à s'écrire d'un seul tenant, et c'est pour cette raison qu'une formule correcte sur une branche peut être fausse sur l'autre, comme la version sans valeur absolue de l'arc sécante. Pour être irréprochable dans une copie, il faut faire trois choses : préciser l'intervalle de travail avant de calculer, vérifier que la primitive proposée y est bien définie et dérivable, et, lorsque le domaine est en plusieurs morceaux, l'annoncer explicitement plutôt que d'écrire un +C+C global qui masque le problème. Une intégrale définie ne se calcule d'ailleurs jamais à cheval sur une discontinuité : il faut la découper, ou constater qu'elle est impropre.

Exercice 18 : Intégrales impropres à réponse trigonométrique

Les fonctions trigonométriques inverses sont bornées : c'est ce qui permet à certaines intégrales sur un intervalle infini de converger, et c'est aussi ce qui fait apparaître π\pi dans des résultats où rien ne l'annonçait.

  • a) Calculez 0+dx1+x2\int_{0}^{+\infty}\frac{dx}{1+x^{2}} en revenant à la définition par une limite.
  • b) Calculez 01dx1x2\int_{0}^{1}\frac{dx}{\sqrt{1-x^{2}}}. En quoi cette intégrale est-elle impropre, alors que ses bornes sont finies ?
  • c) Calculez +dxx2+2x+5\int_{-\infty}^{+\infty}\frac{dx}{x^{2}+2x+5}.
  • d) Calculez 0+dx(1+x2)2\int_{0}^{+\infty}\frac{dx}{\left(1+x^{2}\right)^{2}}.
  • e) Calculez 1+dxxx21\int_{1}^{+\infty}\frac{dx}{x\sqrt{x^{2}-1}} et expliquez pourquoi cette intégrale, doublement impropre, converge malgré tout.
Voir la correction

a) Par définition, 0+dx1+x2=limb+0bdx1+x2=limb+arctanb=π21,5708\int_{0}^{+\infty}\frac{dx}{1+x^{2}}=\lim_{b\to+\infty}\int_{0}^{b}\frac{dx}{1+x^{2}}=\lim_{b\to+\infty}\arctan b=\frac{\pi}{2}\approx 1{,}5708. La convergence tient entièrement au fait que l'arc tangente est BORNÉE : l'aire s'accumule indéfiniment mais reste plafonnée, l'intégrande décroissant en 1x2\frac{1}{x^{2}}.

b) Ses bornes sont finies, mais l'INTÉGRANDE ne l'est pas : 11x2\frac{1}{\sqrt{1-x^{2}}} tend vers l'infini quand x1x\to 1^{-}. C'est une impropreté de seconde espèce, et il faut écrire limb1[arcsinx]0b=limb1arcsinb=π2\lim_{b\to 1^{-}}\left[\arcsin x\right]_{0}^{b}=\lim_{b\to 1^{-}}\arcsin b=\frac{\pi}{2}. Une aire infiniment haute mais finie : le graphe monte à la verticale en x=1x=1 tout en n'enfermant que π2\frac{\pi}{2} d'aire. Remarquez le résultat troublant : c'est la même valeur qu'au a), obtenue sur un intervalle borné.

c) On complète le carré : x2+2x+5=(x+1)2+4x^{2}+2x+5=(x+1)^{2}+4, donc la primitive est 12arctanx+12\frac{1}{2}\arctan\frac{x+1}{2}. L'intégrale, impropre aux deux bornes, se coupe en deux et vaut 12(π2(π2))=π21,5708\frac{1}{2}\left(\frac{\pi}{2}-\left(-\frac{\pi}{2}\right)\right)=\frac{\pi}{2}\approx 1{,}5708. Chacune des deux moitiés converge séparément, condition indispensable pour que l'on puisse conclure.

d) La substitution x=tanθx=\tan\theta transforme les bornes 00 et ++\infty en 00 et π2\frac{\pi}{2}, ce qui rend l'intégrale PROPRE : 0π/2sec2θsec4θdθ=0π/2cos2θdθ=π40,7854\int_{0}^{\pi/2}\frac{\sec^{2}\theta}{\sec^{4}\theta}d\theta=\int_{0}^{\pi/2}\cos^{2}\theta\,d\theta=\frac{\pi}{4}\approx 0{,}7854. C'est un des grands services de la substitution trigonométrique : elle ramène un intervalle infini à un intervalle borné, et la question de la convergence se règle d'elle-même.

e) L'intégrale est impropre en 11, où le dénominateur s'annule, et en ++\infty. La primitive est arcsecx\mathrm{arcsec}x, donc la valeur est limb+arcsecblima1+arcseca=π20=π2\lim_{b\to+\infty}\mathrm{arcsec}b-\lim_{a\to 1^{+}}\mathrm{arcsec}a=\frac{\pi}{2}-0=\frac{\pi}{2}. Elle converge des deux côtés pour deux raisons distinctes : en 11, la singularité est en 1x1\frac{1}{\sqrt{x-1}}, d'exposant 12<1\frac{1}{2}<1, donc intégrable; à l'infini, l'intégrande décroît comme 1x2\frac{1}{x^{2}}, d'exposant 2>12>1, donc intégrable aussi. Le fait que l'arc sécante soit bornée par π2\frac{\pi}{2} résume les deux à la fois, et l'on retrouve pour la troisième fois la même valeur : ce n'est pas un hasard, les trois intégrandes sont des images l'une de l'autre par les substitutions du chapitre.

Exercice 19 : Applications : aire, longueur d'arc et volume

Les intégrales de ce chapitre ne sont pas des exercices d'algèbre : elles sortent naturellement des trois grandes applications du calcul intégral, et c'est là qu'on les rencontre en physique comme en géométrie.

  • a) Démontrez la formule de l'aire du disque en calculant 40aa2x2dx4\int_{0}^{a}\sqrt{a^{2}-x^{2}}\,dx.
  • b) Calculez la longueur de la courbe y=ln(cosx)y=\ln\left(\cos x\right) pour x[0;π4]x\in\left[0\,;\frac{\pi}{4}\right]. Quelle intégrale de la partie A reconnaissez-vous ?
  • c) Calculez la longueur de la parabole y=x22y=\frac{x^{2}}{2} pour x[0;1]x\in\left[0\,;1\right].
  • d) Calculez le volume engendré par la rotation autour de l'axe des xx de la région sous y=11+x2y=\frac{1}{\sqrt{1+x^{2}}} pour x[0;1]x\in\left[0\,;1\right].
  • e) Une pièce a la forme de la région sous y=11+x2y=\frac{1}{1+x^{2}} pour x0x\geq 0. Son aire est-elle finie ? Et le volume engendré par sa rotation autour de l'axe des xx ?
Voir la correction

a) Par symétrie, le quart de disque situé dans le premier quadrant a pour aire 0aa2x2dx\int_{0}^{a}\sqrt{a^{2}-x^{2}}\,dx. Avec x=asinθx=a\sin\theta, les bornes deviennent 00 et π2\frac{\pi}{2} : 0π/2acosθacosθdθ=a20π/2cos2θdθ=a2π4\int_{0}^{\pi/2}a\cos\theta\cdot a\cos\theta\,d\theta=a^{2}\int_{0}^{\pi/2}\cos^{2}\theta\,d\theta=a^{2}\cdot\frac{\pi}{4}. En multipliant par 4 : πa2\pi a^{2}. La formule de l'aire du disque, apprise au secondaire sans démonstration, sort donc d'une substitution trigonométrique et de la linéarisation de cos2\cos^{2}.

b) y=tanxy'=-\tan x, donc 1+y2=1+tan2x=secx\sqrt{1+y'^{2}}=\sqrt{1+\tan^{2}x}=\sec x, la sécante étant positive sur [0;π4]\left[0\,;\frac{\pi}{4}\right]. La longueur vaut 0π/4secxdx=ln(2+1)0,8814\int_{0}^{\pi/4}\sec x\,dx=\ln\left(\sqrt{2}+1\right)\approx 0{,}8814. C'est exactement l'intégrale de la sécante calculée en partie A, et la coïncidence n'en est pas une : l'identité 1+tan2=sec21+\tan^{2}=\sec^{2} fait apparaître la sécante dans toute longueur d'arc d'une courbe dont la pente est une tangente.

c) y=xy'=x, donc la longueur vaut 011+x2dx\int_{0}^{1}\sqrt{1+x^{2}}\,dx, l'intégrale de la partie B avec a=1a=1 : [x1+x22+12ln(x+1+x2)]01=22+12ln(1+2)0,7071+0,44071,148\left[\frac{x\sqrt{1+x^{2}}}{2}+\frac{1}{2}\ln\left(x+\sqrt{1+x^{2}}\right)\right]_{0}^{1}=\frac{\sqrt{2}}{2}+\frac{1}{2}\ln\left(1+\sqrt{2}\right)\approx 0{,}7071+0{,}4407\approx 1{,}148. À comparer à la corde, de longueur 1+0,251,118\sqrt{1+0{,}25}\approx 1{,}118 : la parabole n'est que 3 % plus longue que le segment qui joint ses extrémités.

d) Par la méthode des disques, V=π01dx1+x2=π[arctanx]01=π242,467V=\pi\int_{0}^{1}\frac{dx}{1+x^{2}}=\pi\left[\arctan x\right]_{0}^{1}=\frac{\pi^{2}}{4}\approx 2{,}467. Un volume qui vaut π24\frac{\pi^{2}}{4} : le carré de π\pi apparaît parce que π\pi vient une fois de la rotation et une fois de l'arc tangente, deux origines totalement indépendantes.

e) L'aire vaut 0+dx1+x2=π2\int_{0}^{+\infty}\frac{dx}{1+x^{2}}=\frac{\pi}{2}, elle est donc FINIE. Le volume de révolution vaut π0+dx(1+x2)2=ππ4=π242,467\pi\int_{0}^{+\infty}\frac{dx}{\left(1+x^{2}\right)^{2}}=\pi\cdot\frac{\pi}{4}=\frac{\pi^{2}}{4}\approx 2{,}467, fini lui aussi. Les deux convergent parce que l'intégrande décroît assez vite, en 1x2\frac{1}{x^{2}} pour l'aire et en 1x4\frac{1}{x^{4}} pour le volume : élever au carré accélère la décroissance et rend la convergence encore plus confortable. Ce n'est pas toujours le cas, et la comparaison mérite d'être faite avec la trompette de Gabriel, engendrée par y=1xy=\frac{1}{x} sur [1;+[\left[1\,;+\infty\right[, dont le volume est fini alors que l'aire sous la courbe est infinie.

Exercice 20 : Problème de synthèse : huit intégrales, un arbre de décision

Voici huit intégrales mélangées, sans indication de méthode, comme à l'examen. Pour chacune, la difficulté n'est pas le calcul mais le DIAGNOSTIC : identifier en quelques secondes la famille à laquelle elle appartient.

  • a) Calculez sin3xcos4xdx\int\sin^{3}x\cos^{4}x\,dx et sec4xtan2xdx\int\sec^{4}x\tan^{2}x\,dx.
  • b) Calculez dxx216\int\frac{dx}{\sqrt{x^{2}-16}} et xdxx216\int\frac{x\,dx}{\sqrt{x^{2}-16}}.
  • c) Calculez dxx2+4x+8\int\frac{dx}{x^{2}+4x+8} et dxx2x2+1\int\frac{dx}{x^{2}\sqrt{x^{2}+1}}.
  • d) Calculez arctan(3x)dx\int\arctan\left(3x\right)dx et xarcsin(x2)dx\int x\arcsin\left(x^{2}\right)dx.
  • e) Rédigez l'arbre de décision complet du sujet : devant une intégrale trigonométrique ou à racine quadratique, quelles questions poser, et dans quel ordre ?
Voir la correction

a) Puissance impaire de sinus : on détache sinx\sin x et l'on pose u=cosxu=\cos x, d'où (1u2)u4du=cos5x5+cos7x7+C-\int(1-u^{2})u^{4}du=-\frac{\cos^{5}x}{5}+\frac{\cos^{7}x}{7}+C. Pour la seconde, puissance PAIRE de sécante : on détache sec2x\sec^{2}x et l'on pose u=tanxu=\tan x, d'où (1+u2)u2du=tan3x3+tan5x5+C\int(1+u^{2})u^{2}du=\frac{\tan^{3}x}{3}+\frac{\tan^{5}x}{5}+C.

b) La première n'a aucun facteur xx au numérateur : c'est la substitution x=4secθx=4\sec\theta, ou directement la formule, et l'on obtient lnx+x216+C\ln\left|x+\sqrt{x^{2}-16}\right|+C. La seconde en a un, et il est proportionnel à la dérivée du radicande : substitution algébrique u=x216u=x^{2}-16, d'où x216+C\sqrt{x^{2}-16}+C. Deux intégrales voisines, deux familles opposées, et le facteur xx est le seul juge.

c) x2+4x+8=(x+2)2+4x^{2}+4x+8=(x+2)^{2}+4 : complétion du carré puis arc tangente, 12arctanx+22+C\frac{1}{2}\arctan\frac{x+2}{2}+C. Pour la seconde, racine en x2+a2\sqrt{x^{2}+a^{2}} sans facteur utile au numérateur : substitution x=tanθx=\tan\theta, qui donne x2+1x+C-\frac{\sqrt{x^{2}+1}}{x}+C.

d) Fonction inverse seule : intégration par parties avec le facteur 1 invisible. arctan3xdx=xarctan3x3xdx1+9x2=xarctan3x16ln(1+9x2)+C\int\arctan 3x\,dx=x\arctan 3x-\int\frac{3x\,dx}{1+9x^{2}}=x\arctan 3x-\frac{1}{6}\ln\left(1+9x^{2}\right)+C. Pour la seconde, le facteur xx est la dérivée de x2x^{2} : on substitue d'abord u=x2u=x^{2}, ce qui donne 12arcsinudu=12(uarcsinu+1u2)\frac{1}{2}\int\arcsin u\,du=\frac{1}{2}\left(u\arcsin u+\sqrt{1-u^{2}}\right), soit x2arcsin(x2)+1x42+C\frac{x^{2}\arcsin\left(x^{2}\right)+\sqrt{1-x^{4}}}{2}+C.

e) Première question : y a-t-il au numérateur un facteur proportionnel à la DÉRIVÉE de ce qui est sous la racine ou au dénominateur ? Si oui, substitution algébrique, et le travail est fini. Deuxième question : l'intégrande est-il une fonction trigonométrique inverse, seule ou multipliée par une puissance de xx ? Si oui, intégration par parties en dérivant la fonction inverse. Troisième question : s'agit-il d'un produit de puissances trigonométriques ? Si oui, appliquer la règle de parité, en détachant un facteur de la puissance impaire ou en linéarisant si les deux sont paires. Quatrième question : le dénominateur ou le radicande est-il un trinôme du second degré ? Si oui, compléter le carré, ce qui ramène à l'une des trois formes canoniques. Cinquième question seulement : reste-t-il une racine du type a2x2\sqrt{a^{2}-x^{2}}, a2+x2\sqrt{a^{2}+x^{2}} ou x2a2\sqrt{x^{2}-a^{2}} ? Alors, et alors seulement, sortir la substitution trigonométrique et son triangle. L'ordre compte autant que la liste : la substitution trigonométrique est le dernier recours, pas le premier réflexe, et la moitié des points perdus à l'examen viennent de l'avoir dégainée trop tôt.

Voir aussi

Vous bloquez sur les intégrales trigonométriques à Montréal ?

Contactez-moi pour une première séance. On reprend le chapitre famille par famille, avec la méthode pour identifier en trente secondes laquelle des dix techniques s'applique, plutôt que de toutes les essayer.

Site par Studio Squalli