Votre navigateur n'accepte pas le Javascript.La navigation sur ce site risque de ne pas fonctionner correctement.

268. Toute fonction affine conserve les barycentres

Soit $m$ un nombre réel non nul et soit $p$ un nombre réel. On définit la fonction affine $f$ en posant :

\forall x\in\R, f(x)=mx+p.

Dans toute la suite, on désigne par $a$ et $b$ deux nombres réels fixés.

Notion de barycentre de deux réels

Soit $t$ un nombre réel. Le barycentre des réels $a$ et $b$ affecté des coefficients respectifs $t$ et $1-t$ est le réel défini par :

ta+(1-t)b.

Effet de la fonction affine $f$ sur un barycentre

Par définition de la fonction $f$, il vient :

\begin{align*}
f(a) &= ma+p \\
f(b) &= mb+p.
\end{align*}

Soit $t$ un nombre réel. Après multiplication par $t$ de la première ligne et par $1-t$ de la seconde, vous obtenez :

\begin{align*}
tf(a) &= mta+tp \\
(1-t)f(b) &= m(1-t)b+(1-t)p.
\end{align*}

Par somme vous déduisez :

\begin{align*}
tf(a)+(1-t)f(b) &= mta+m(1-t)b + tp +(1-t)p \\
&= m\left[ta+(1-t)b\right] + tp+p-tp\\
&= m\left[ta+(1-t)b\right] +p\\
&= f(ta+(1-t)b).
\end{align*}
 

Est ainsi démontré la conservation du barycentre de deux points par une fonction affine $f$.

Autrement dit, si $f$ est une fonction affine :

\boxed{\forall (a,b,t)\in\R^3, f(ta+(1-t)b) =tf(a)+(1-t)f(b).}

Cela se reformule ainsi :

\forall (a,b,\lambda, \mu)\in\R^4, \lambda+\mu = 1 \implies f(\lambda a+\mu b) =\lambda f(a)+\mu f(b).

Une fonction affine se comporte comme une fonction linéaire sous réserve que les scalaires $\lambda$ et $\mu$ aient une somme égale à $1.$

Application : déterminez toutes les fonctions affines $f$ telles que $f(2)=3$ et $f(5)=4$

Analyse

Supposez qu’il existe une fonction affine $f$ telle que $f(2) = 3$ et $f(5) = 4.$

Soit $x$ un nombre réel.

Il s’agit de déterminer $f(x).$

D’après la propriété vue ci-dessus sur les fonctions affines, vous avez :

\ \begin{align*}
\forall t\in\R, f(2t+5(1-t))&=tf(2)+(1-t)f(5)\\
f(2t+5-5t)&=3t+4(1-t)\\
f(-3t+5)&=3t+4-4t\\
f(-3t+5)&=-t+4.
\end{align*}

Posez alors $t = \frac{5-x}{3}.$

Vous avez :

\begin{align*}
3t &= 5-x\\
x &= -3t+5.
\end{align*}

Ainsi :

\begin{align*}
f(x) &= f(-3t+5)\\
&= -t+4\\
&= - \frac{5-x}{3} + 4\\
&= \frac{x-5}{3}+4\\
&= \frac{x-5}{3}+\frac{12}{3}\\
&=\frac{x+7}{3}.
\end{align*}

S’il existe une fonction affine $f$ telle que $f(2) = 3$ et $f(5) = 4$ alors elle est unique et elle est définie par :

\forall x\in\R, f(x) = \frac{x+7}{3}. 

Synthèse

Réciproquement, considérez la fonction $f$ définie par :

\forall x\in\R, f(x) = \frac{x+7}{3} = \frac{1}{3}x+\frac{7}{3}.

La fonction $f$ est bien affine, avec $m = \frac{1}{3}$ et $p=\frac{7}{3}.$

De plus :

\begin{align*}
f(2) &= \frac{2+7}{3} = \frac{9}{3} = 3\\
f(5) &= \frac{5+7}{3} = \frac{12}{3} = 4.
\end{align*}

La fonction $f$ convient bien.

Concluez

Il existe une unique fonction affine $f$ telle que $f(2)=3$ et $f(5)=4.$

Elle est définie par :

\boxed{\forall x\in\R, f(x) = \frac{x+7}{3}. }

267. Déterminez les racines carrées d’un nombre complexe

Sur un exemple concret, vous allez voir comment il est possible de trouver tous les nombres complexes $z$ tels que :

z^2 = -3-4i.

Justifiez de l’existence d’un tel nombre

L’utilisation de l’artillerie lourde permet de conclure : d’après le théorème de d’Alembert, appelé aussi théorème fondamental de l’algèbre, tout polynôme non constant de $\C[X]$ admet une racine complexe.

Il en est donc ainsi pour le polynôme du second degré $X^2+3+4i.$

Déterminez la partie réelle et la partie imaginaire

Notez $z$ un nombre complexe tel que $z^2 = -3-4i.$ Il existe un couple $(a,b)\in\R^2$ tel que :

z=a+ib.

Vous élevez au carré :

\begin{align*}
z^2 &= (a+ib)^2\\
&= a^2+(ib)^2+2a\times ib\\
&=a^2+i^2b^2+2iab\\
&=a^2-b^2+i(2ab).
\end{align*}

En identifiant la partie réelle et la partie imaginaire de $z^2$ il vient :

\left\{\begin{align*}
a^2-b^2 &= -3\\
2ab &= -4.
\end{align*}\right.

Remarquez que la seconde équation est simplifiable après division par $2$ :

\left\{\begin{align*}
a^2-b^2 &= -3\\
ab &= -2.
\end{align*}\right.

Eliminez une inconnue

Partez de la relation :

a^2-b^2=-3.

Souhaitant utiliser $ab=-2$ vous multipliez par $a$ :

\begin{align*}
a^3-ab^2&=-3a\\
a^3-(ab)b &=-3a\\
a^3-(-2)b&=-3a\\
a^3+2b&=-3a.
\end{align*}

Vous avez abaissé le degré de $b$ qui est passé de $2$ à $1.$ Poursuivez en multipliant encore par $a$ :

\begin{align*}
a^3+2b&=-3a\\
a^4+2ab&=-3a^2\\
a^4-4&=-3a^2\\
a^4+3a^2-4 &= 0.
\end{align*}

Résolvez l’équation bicarrée

L’équation de degré $4$ se ramène à une équation de degré $2$ :

\begin{align*}
a^4+3a^2-4 &= 0\\
(a^2)^2+3a^2-4&=0.
\end{align*}

Posez $A = a^2.$ Le réel $A$ est solution de l’équation :

A^2+3A-4 = 0.

Vous constatez que $A=1$ est racine évidente. L’expression du membre de gauche est factorisable par $A-1.$ Cela conduit à écrire ce qui suit :

\begin{align*}
(A-1)(A+4) &=0.
\end{align*}

Du coup :

A\in\{1, -4\}.

Comme $A$ est un carré, $A$ est nécessairement positif, donc $A = 1.$

Ainsi, $a^2 = 1$ et donc $a\in\{-1,1\}.$

Trouvez les valeurs possibles

Si $a=1$

Comme $ab = -2$ vous déduisez $b=-2$ et donc $z = 1-2i.$

Si $a=-1$

Comme $ab = -2$ vous déduisez $b=2$ et donc $z = -1+2i.$

Si $z$ est une solution de l’équation $z^2 = -3-4i$, alors $z\in\{1-2i, -1+2i\}.$

Effectuez la réciproque

Si $z = 1-2i$, alors :

\begin{align*}
z^2  &= (1-2i)^2\\
&= 1^2+(2i)^2-2\times 1\times 2i\\
&= 1-4-4i\\
&=-3-4i.
\end{align*}

De même, si $z = -1+2i$, alors :

\begin{align*}
z^2 &= (-1+2i)^2\\
&= ((-1)\times (1-2i))^2\\
&=(-1)^2(1-2i)^2\\
&=1\times(-3-4i)\\
&=-3-4i.
\end{align*}

Concluez

Pour tout nombre complexe $z$, l’équivalence suivante est vérifiée :

\boxed{z^2 = -3-4i \Longleftrightarrow z\in\{1-2i, -1+2i\}.}

266. Comment savoir si deux polynômes ont une racine commune avec le résultant

Pour fixer les idées, considérez deux polynômes unitaires $P$ et $Q$ à coefficients dans un corps $\K$, l’un étant de degré $2$, l’autre de degré $3.$ Il existe $(a,b,u,v,w)\in\K^5$ tel que :

\begin{align*}
P(X) &= X^2+aX+b\\
Q(X) &= X^3+uX^2+vX+w.
\end{align*}

En utilisant la notion de corps de rupture, qui ne sera pas détaillée ici, vous déduisez l’existence d’une extension $\L$ du corps $\K$ dans laquelle les polynômes $P$ et $Q$ sont scindés.

Il existe $(x_1,x_2,y_1,y_2,y_3)\in\L^5$ tel que :

\begin{align*}
P(X) &= (X-x_1)(X-x_2)\\
Q(X) &= (X-y_1)(X-y_2)(X-y_3).
\end{align*}

Vous appelez alors résultant de $P$ suivi de $Q$ le nombre suivant :

\mathrm{Res}(P,Q)=(x_1-y_1)(x_1-y_2)(x_1-y_3)(x_2-y_1)(x_2-y_2)(x_2-y_3).

Le résultant est nul, si et seulement si, il existe $i\in\llbracket 1,2 \rrbracket$ et il existe $j\in\llbracket 1,3 \rrbracket$ tels que $x_i-y_j=0.$

Autrement dit, le résultant est nul, si et seulement si, $P$ et $Q$ ont une racine commune.

Ce qui est remarquable, c’est que le nombre $\mathrm{Res}(P,Q)$ qui a priori appartient au corps $\L$, appartient aussi au corps de base $\K.$ C’est ce que vous allez démontrer dans la suite.

Formez une expression du résultant comme un produit de valeurs prises par un polynôme

Comme :

\begin{align*}
(x_1-y_1)(x_1-y_2)(x_1-y_3) &= Q(x_1) \\
(x_2-y_1)(x_2-y_2)(x_2-y_3) &= Q(x_2) \\
\end{align*}

il vient, par produit :

\boxed{\mathrm{Res}(P,Q) = Q(x_1)Q(x_2).}

Utilisez les fonctions symétriques élémentaires

Tout d’abord, vous développez :

\begin{align*}
\mathrm{Res}(P,Q) &= Q(x_1)Q(x_2)\\
&= (x_1^3+ux_1^2+vx_1+w)(x_2^3+ux_2^2+vx_2+w)\\
&= x_1^3x_2^3+ux_1^3x_2^2+vx_1^3x_2+wx_1^3\\
&\quad + ux_1^2x_2^3+u^2x_1^2x_2^2+uvx_1^2x_2+uwx_1^2\\
&\quad + vx_1x_2^3+uvx_1x_2^2+v^2x_1x_2+vwx_1\\
&\quad + wx_2^3+uwx_2^2+vwx_2+w^2\\
&= x_1^3x_2^3 \\
&\quad + ux_1^3x_2^2+ux_1^2x_2^3\\
&\quad +  vx_1^3x_2+vx_1x_2^3\\
&\quad  +wx_1^3+wx_2^3\\
&\quad +u^2x_1^2x_2^2\\
&\quad +uvx_1^2x_2+uvx_1x_2^2\\
&\quad +uw x_1^2+uwx_2^2\\
&\quad +v^2x_1x_2\\
&\quad +vwx_1+vwx_2\\
&\quad +w^2.
\end{align*}

Les fonctions symétriques élémentaires sont données par :

\begin{align*}
\sigma_1 &= x_1+x_2\\
\sigma_2 &=x_1x_2.
\end{align*}

Vous écrivez le résultant sous cette forme :

\begin{align*}
\mathrm{Res}(P,Q) &= (x_1x_2)^3 \\
&\quad + u(x_1^3x_2^2+x_1^2x_2^3)\\
&\quad +  v(x_1^3x_2+x_1x_2^3)\\
&\quad  +w(x_1^3+x_2^3)\\
&\quad +u^2(x_1x_2)^2\\
&\quad +uv(x_1^2x_2+x_1x_2^2)\\
&\quad +uw (x_1^2+x_2^2)\\
&\quad +v^2x_1x_2\\
&\quad +vw(x_1+x_2)\\
&\quad +w^2 \\
&= \sigma_2^3 \\
&\quad + u(x_1+x_2)(x_1x_2)^2\\
&\quad +  vx_1x_2(x_1^2+x_2^2)\\
&\quad  +w(x_1^3+x_2^3)\\
&\quad +u^2\sigma_2^2\\
&\quad +uvx_1x_2(x_1+x_2)\\
&\quad +uw (x_1^2+x_2^2)\\
&\quad +v^2\sigma_2\\
&\quad +vw\sigma_1\\
&\quad +w^2\\
&= \sigma_2^3 + u\sigma_1\sigma_2^2+  v\sigma_2(x_1^2+x_2^2) +w(x_1^3+x_2^3)\\
&\quad +u^2\sigma_2^2 +uv\sigma_1\sigma_2 +uw (x_1^2+x_2^2) +v^2\sigma_2 +vw\sigma_1+w^2.
\end{align*}

Il reste à calculer les sommes de Newton suivantes : $x_1^2+x_2^2$ et $x_1^3+x_2^3.$

Commencez d’abord par le deuxième degré :

\begin{align*}
x_1^2+x_2^2 -\sigma_1^2 &= x_1^2+x_2^2 -(x_1+x_2)^2\\
&= x_1^2+x_2^2 -(x_1^2+x_2^2+2x_1x_2)\\
&=-2x_1x_2\\
&=-2\sigma_2.
\end{align*}

Vous gardez le fait que :

x_1^2+x_2^2=\sigma_1^2-2\sigma_2.

Passez maintenant au troisième degré :

\begin{align*}
x_1^3+x_2^3 -\sigma_1^3 &= x_1^3+x_2^3 -(x_1+x_2)^3\\
&= x_1^2+x_2^2 -(x_1^3+x_2^3+3x_1^2x_2+3x_1x_2^2)\\
&=-3x_1x_2(x_1+x_2)\\
&=-3\sigma_1\sigma_2.
\end{align*}

Ainsi :

x_1^3+x_2^3=\sigma_1^3-3\sigma_1\sigma_2.

Revenez au calcul du résultant :

\begin{align*}
\mathrm{Res}(P,Q) &= \sigma_2^3 + u\sigma_1\sigma_2^2+  v\sigma_2(x_1^2+x_2^2) +w(x_1^3+x_2^3)\\
&\quad +u^2\sigma_2^2 +uv\sigma_1\sigma_2 +uw (x_1^2+x_2^2) +v^2\sigma_2 +vw\sigma_1+w^2\\
&= \sigma_2^3 + u\sigma_1\sigma_2^2+  v\sigma_2(\sigma_1^2-2\sigma_2) +w(\sigma_1^3-3\sigma_1\sigma_2)\\
&\quad +u^2\sigma_2^2 +uv\sigma_1\sigma_2 +uw (\sigma_1^2-2\sigma_2) +v^2\sigma_2 +vw\sigma_1+w^2.
\end{align*}

Exprimez $\sigma_1$ et $\sigma_2$ en fonction des coefficients

En développant le polynôme $P$, il vient :

\begin{align*}
P(X) &= (X-x_1)(X-x_2)\\
&=X^2-(x_1+x_2)X+x_1x_2\\
&=X^2-\sigma_1X+\sigma_2.
\end{align*}

Or :

P(X)=X^2+aX+b.

Par identification des coefficients, vous obtenez :

\begin{align*}
\sigma_1 &=-a\\
\sigma_2 &=b.
\end{align*}

Obtenez l’expression finale du résultant

\begin{align*}
\mathrm{Res}(P,Q) &= \sigma_2^3 + u\sigma_1\sigma_2^2+  v\sigma_2(\sigma_1^2-2\sigma_2) +w(\sigma_1^3-3\sigma_1\sigma_2)\\
&\quad +u^2\sigma_2^2 +uv\sigma_1\sigma_2 +uw (\sigma_1^2-2\sigma_2) +v^2\sigma_2 +vw\sigma_1+w^2 \\
&= b^3 - uab^2+  vb(a^2-2b) +w(-a^3+3ab)\\
&\quad +u^2b^2 -uvab +uw (a^2-2b) +v^2b -vwa+w^2\\
&= b^3 - uab^2+  vba^2-2vb^2 -wa^3+3abw+u^2b^2 -uvab +uw a^2-2uwb +v^2b -vwa+w^2.
\end{align*}

Et enfin :

\boxed{\mathrm{Res}(P,Q)=-a^3w+ a^2bv+ a^2uw -ab^2u-abuv+3abw-avw+ b^3+b^2u^2-2b^2v-2buw +bv^2+w^2.}

265. Construisez un résultant pour trouver un polynôme annulateur

Considérez le nombre réel $\boxed{\alpha = \sqrt{2}+\sqrt[3]{7}.}$ Le but de cet article est de construire un polynôme à coefficients entiers qui admette $\alpha$ pour racine.

Formez deux polynômes annulateurs

Vous posez $\boxed{u = \sqrt{2}}$ de sorte que $u^2 = 2$ donc $u^2-2 = 0.$

Le nombre $u$ est annulé par le polynôme $P = X^2-2\in\Z[X].$

Ensuite, vous posez $\boxed{v = \sqrt[3]{7}.}$ Alors $v^3 = 7$ et $v^3-7 = 0.$

Donc le nombre $v$ est annulé par le polynôme $Q = X^3-7\in\Z[X].$

A partir de ces deux polynômes annulateurs, l’un annulant $u$ et l’autre annulant $v$, il est possible de construire explicitement un polynôme appartenant à $\Z[X]$ qui annule la somme $ u+v = \alpha.$

Tout part du fait que $v = \alpha – u$, de sorte que le nombre $v$ est éliminé :

\begin{align*}
P(u) &= 0\\
Q(\alpha - u) &= 0.
\end{align*}

Il va maintenant falloir éliminer le réel $u.$

Formez une matrice rectangulaire

La relation $P(u)=0$ s’écrit matriciellement :

\begin{pmatrix}
1 & 0 & -2
\end{pmatrix}
\begin{pmatrix}
u^2 \\ 
u \\
1
\end{pmatrix}
=0.

La relation $Q(\alpha-u)=0$ s’écrit en développant :

\begin{align*}
(\alpha-u)^3-7 &= 0\\
\alpha^3-3u\alpha^2+3u^2\alpha-u^3-7&=0\\
-u^3+3\alpha u^2-3\alpha^2u+(\alpha^3-7)&=0.
\end{align*}

Matriciellement vous obtenez :

\begin{pmatrix}
-1 & 3\alpha & -3\alpha^2 & \alpha^3-7
\end{pmatrix}
\begin{pmatrix}
u^3\\
u^2 \\ 
u \\
1
\end{pmatrix}
=0.

Vous déduisez de ce qui précède :

\begin{pmatrix}
0 & 1 & 0 & -2 \\
-1 & 3\alpha & -3\alpha^2 & \alpha^3-7
\end{pmatrix}
\begin{pmatrix}
u^3\\
u^2 \\ 
u \\
1
\end{pmatrix}
=\begin{pmatrix}
0 \\ 
0 
\end{pmatrix}.

Le vecteur $\begin{pmatrix} u^3 \\ u^2 \\ u \\ 1 \end{pmatrix}$ est non nul ce qui est une bonne chose, mais la matrice

\begin{pmatrix}
0 & 1 & 0 & -2 \\
-1 & 3\alpha & -3\alpha^2 & \alpha^3-7
\end{pmatrix}

n’est pas carrée.

Dans ce qui suit, vous allez rajouter des équations supplémentaires, afin d’obtenir une matrice carrée.

Construisez un déterminant, appelé résultant

Multipliez la relation $u^2-2 = 0$ par $u$, vous obtenez :

u^3-2u = 0.

Matriciellement, les deux équations fournissent :

\begin{pmatrix}
1 & 0 & -2 & 0\\
0 & 1 & 0 & -2
\end{pmatrix}
\begin{pmatrix}
u^3\\
u^2 \\ 
u \\
1
\end{pmatrix}
=\begin{pmatrix}
0\\
0
\end{pmatrix}.

Du coup :

\begin{pmatrix}
1 & 0 & -2 & 0\\
0 & 1 & 0 & -2\\
-1 & 3\alpha & -3\alpha^2 & \alpha^3-7
\end{pmatrix}
\begin{pmatrix}
u^3\\
u^2 \\ 
u \\
1
\end{pmatrix}
=\begin{pmatrix}
0\\
0\\
0
\end{pmatrix}.

La matrice obtenue n’est toujours pas carrée.

Poursuivez le processus

Ajoutant $u^4$, vous obtenez :

\begin{pmatrix}
0 & 1 & 0 & -2 & 0\\
0 & 0 & 1 & 0 & -2\\
0 & -1 & 3\alpha & -3\alpha^2 & \alpha^3-7
\end{pmatrix}
\begin{pmatrix}
u^4\\
u^3\\
u^2 \\ 
u \\
1
\end{pmatrix}
=\begin{pmatrix}
0\\
0\\
0
\end{pmatrix}.

La relation $-u^3+3\alpha u^2-3\alpha^2u+(\alpha^3-7)=0.$, multipliée aussi par $u$, fournit :

-u^4+3\alpha u^3-3\alpha^2u^2+(\alpha^3-7)u=0.

Ainsi :

\begin{pmatrix}
0 & 1 & 0 & -2 & 0\\
0 & 0 & 1 & 0 & -2\\
 -1 & 3\alpha & -3\alpha^2 & \alpha^3-7 & 0\\
0 & -1 & 3\alpha & -3\alpha^2 & \alpha^3-7
\end{pmatrix}
\begin{pmatrix}
u^4\\
u^3\\
u^2 \\ 
u \\
1
\end{pmatrix}
=\begin{pmatrix}
0\\
0\\
0\\
0
\end{pmatrix}.

La relation $u^3-2u = 0$ après multiplication par $u$, fournit :

u^4-2u^2 = 0.

Pour récapituler, vous avez obtenu :

\begin{pmatrix}
 1 & 0 & -2 & 0 & 0\\
0 & 1 & 0 & -2 & 0\\
0 & 0 & 1 & 0 & -2\\
 -1 & 3\alpha & -3\alpha^2 & \alpha^3-7 & 0\\
0 & -1 & 3\alpha & -3\alpha^2 & \alpha^3-7
\end{pmatrix}
\begin{pmatrix}
u^4\\
u^3\\
u^2 \\ 
u \\
1
\end{pmatrix}
=\begin{pmatrix}
0\\
0\\
0\\
0\\
0
\end{pmatrix}.

Notez alors :

A = \begin{pmatrix}
 1 & 0 & -2 & 0 & 0\\
0 & 1 & 0 & -2 & 0\\
0 & 0 & 1 & 0 & -2\\
 -1 & 3\alpha & -3\alpha^2 & \alpha^3-7 & 0\\
0 & -1 & 3\alpha & -3\alpha^2 & \alpha^3-7
\end{pmatrix}.

En notant $C_1$, $C_2$, $C_3$, $C_4$ et $C_5$ les colonnes de $A$ de la gauche vers la droite, il apparaît que :

u^4C_1+u^3C_2+u^2C_3+uC_4+C_5 = 0.

Du coup :

C_5 = -u^4C_1-u^3C_2-u^2C_3-uC_4.

Une des colonnes de la matrice $A$ est une combinaison linéaire des quatre autres, par conséquent le déterminant de $A$ est nul, ce qui s’écrit :

\boxed{\begin{vmatrix}
 1 & 0 & -2 & 0 & 0\\
0 & 1 & 0 & -2 & 0\\
0 & 0 & 1 & 0 & -2\\
 -1 & 3\alpha & -3\alpha^2 & \alpha^3-7 & 0\\
0 & -1 & 3\alpha & -3\alpha^2 & \alpha^3-7
\end{vmatrix}= 0.}

Note. Par définition, le déterminant ci-dessus est appelé résultant des polynômes $X^2-2$ et $3\alpha X^2-3\alpha^2X+(\alpha^3-7).$ Il s’agit du résultant des polynômes $P(X)$ et $Q(\alpha-X).$

Déterminez un polynôme annulateur de $\alpha$

Le développement du déterminant trouvé va donner le résultat.

Effectuez l’opération élémentaire $L_4\leftarrow L_4 + L_1$, vous obtenez :

\begin{vmatrix}
 1 & 0 & -2 & 0 & 0\\
0 & 1 & 0 & -2 & 0\\
0 & 0 & 1 & 0 & -2\\
 0 & 3\alpha & -3\alpha^2 -2 & \alpha^3-7 & 0\\
0 & -1 & 3\alpha & -3\alpha^2 & \alpha^3-7
\end{vmatrix}=0.

Le développement de ce déterminant par rapport à la première colonne fournit :

\begin{vmatrix}
 1 & 0 & -2 & 0\\
 0 & 1 & 0 & -2\\
  3\alpha & -3\alpha^2 -2 & \alpha^3-7 & 0\\
 -1 & 3\alpha & -3\alpha^2 & \alpha^3-7
\end{vmatrix}=0.

Vous effectuez l’opération élémentaire $L_3 \leftarrow L_3-3\alpha L_1$, vous avez :

\begin{vmatrix}
 1 & 0 & -2 & 0\\
 0 & 1 & 0 & -2\\
  0 & -3\alpha^2 -2 & \alpha^3+6\alpha-7 & 0\\
 -1 & 3\alpha & -3\alpha^2 & \alpha^3-7
\end{vmatrix}=0.

Vous effectuez l’opération élémentaire $L_4 \leftarrow L_4+L_1$, vous obtenez :

\begin{vmatrix}
 1 & 0 & -2 & 0\\
 0 & 1 & 0 & -2\\
  0 & -3\alpha^2 -2 & \alpha^3+6\alpha-7 & 0\\
 0 & 3\alpha & -3\alpha^2 -2& \alpha^3-7
\end{vmatrix}=0.

Du coup :

\begin{vmatrix}
  1 & 0 & -2\\
  -3\alpha^2 -2 & \alpha^3+6\alpha-7 & 0\\
  3\alpha & -3\alpha^2 -2& \alpha^3-7
\end{vmatrix}=0.

Vous effectuez l’opération élémentaire $L_3 \leftarrow L_3-3\alpha L_1$, vous avez :

\begin{vmatrix}
  1 & 0 & -2\\
  -3\alpha^2 -2 & \alpha^3+6\alpha-7 & 0\\
  0 & -3\alpha^2 -2& \alpha^3+6\alpha-7
\end{vmatrix}=0.

Vous effectuez l’opération élémentaire $L_2 \leftarrow L_2+(3\alpha^2+2) L_1$, vous avez :

\begin{vmatrix}
  1 & 0 & -2\\
  0 & \alpha^3+6\alpha-7 & -6\alpha^2-4\\
  0 & -3\alpha^2 -2& \alpha^3+6\alpha-7
\end{vmatrix}=0.

Ainsi :

\begin{vmatrix}
   \alpha^3+6\alpha-7 & -2(3\alpha^2+2)\\
   -(3\alpha^2 +2)& \alpha^3+6\alpha-7
\end{vmatrix}=0.

En définitive :

\begin{align*}
(\alpha^3+6\alpha-7)^2-2(3\alpha^2+2)^2&=0\\
\alpha^6+36\alpha^2+49+12\alpha^4-14\alpha^3-84\alpha-2(9\alpha^4+4+12\alpha^2) &= 0\\
\alpha^6+36\alpha^2+49+12\alpha^4-14\alpha^3-84\alpha-18\alpha^4-8-24\alpha^2&= 0\\
\alpha^6-6\alpha^4 -14\alpha^3+12\alpha^2-84\alpha+41&= 0.
\end{align*}

Concluez

Le réel $\alpha = \sqrt{2}+\sqrt[3]{7}$ est annulé par le polynôme $\boxed{X^6-6X^4-14X^3+12X^2-84X+41\in\Z[X].}$

264. Déterminez la valeur du discriminant universel d’ordre 3

Dans cet article vous travaillez dans l’anneau des polynômes à $3$ indéterminées à coefficients dans $\Z$ qui sera noté $\Z[X_1,X_2,X_3].$

Par définition, le discriminant universel d’ordre $3$ est défini par :

\boxed{\Delta = (X_1-X_2)^2(X_1-X_3)^2(X_2-X_3)^2.}

Les carrés sont pris pour obtenir une invariance de $\Delta$ par toute permutation des indéterminées.

Ainsi, vous savez d’après le théorème sur les polynômes symétriques que $\Delta$ s’écrit comme un polynôme en fonction des polynômes symétriques élémentaires $\sigma_1$, $\sigma_2$ et $\sigma_3$ définis par :

\boxed{
\begin{align*}
\sigma_1 &= X_1+X_2+X_3 \\
\sigma_2 &= X_1X_2+X_1X_3+X_2X_3 \\
\sigma_3 &= X_1X_2X_3.
\end{align*}
}

L’objectif est ici de déterminer un tel polynôme.

Développez le discriminant $\Delta$

Vous développez d’abord le polynôme $R$ défini par $R = (X_1-X_2)(X_1-X_3)(X_2-X_3)$ en prenant soin d’utiliser l’ordre lexicographique sur les puissances respectives des $3$ indéterminées :

\begin{align*}
R &=   \left[(X_1-X_2)(X_1-X_3)\right](X_2-X_3) \\
 &= (X_1^2-X_1X_3-X_1X_2+X_2X_3)(X_2-X_3)\\
 &= (X_1^2-X_1X_2-X_1X_3+X_2X_3)(X_2-X_3)\\
 &= X_1^2X_2-X_1X_2^2-X_1X_2X_3+X_2^2X_3\\
&\quad -X_1^2X_3+X_1X_2X_3+X_1X_3^2-X_2X_3^2\\
 &= X_1^2X_2-X_1^2X_3-X_1X_2^2+X_1X_3^2+X_2^2X_3 -X_2X_3^2.
\end{align*}

En mettant le tout au carré, vous obtenez, en ordonnant les exposants $(4,2,0)$, $(4,1,1)$, $(3,3,0)$, $(3,2,1)$, $(2,2,2)$ avec leurs permutés :

\begin{align*}
\Delta &= R^2 \\
 &=  ( X_1^2X_2-X_1^2X_3-X_1X_2^2+X_1X_3^2+X_2^2X_3 -X_2X_3^2) ^2 \\
&=X_1^4X_2^2+X_1^4X_3^2+X_1^2X_2^4+X_1^2X_3^4+X_2^4X_3^2 +X_2^2X_3^4\\
&\quad -2X_1^4X_2X_3-2X_1^3X_2^3+2X_1^3X_2X_3^2+2X_1^2X_2^3X_3-2X_1^2X_2^2X_3^2\\
&\quad +2X_1^3X_2^2X_3-2X_1^3X_3^3-2X_1^2X_2^2X_3^2+2X_1^2X_2X_3^3\\
&\quad -2X_1^2X_2^2X_3^2-2X_1X_2^4X_3+2X_1X_2^3X_3^2\\
&\quad +2X_1X_2^2X_3^3-2X_1X_2X_3^4\\
&\quad -2X_2^3X_3^3\\
&=X_1^4X_2^2+X_1^4X_3^2+X_1^2X_2^4+X_1^2X_3^4+X_2^4X_3^2 +X_2^2X_3^4\\
&\quad -2X_1^4X_2X_3-2X_1X_2^4X_3-2X_1X_2X_3^4\\
&\quad -2X_1^3X_2^3-2X_1^3X_3^3-2X_2^3X_3^3\\
&\quad +2X_1^3X_2^2X_3+2X_1^3X_2X_3^2+2X_1^2X_2^3X_3+2X_1^2X_2X_3^3+2X_1X_2^3X_3^2+2X_1X_2^2X_3^3\\
&\quad -6X_1^2X_2^2X_3^2.
\end{align*}

Traitez l’exposant $(4,2,0)$ et ses permutés

Pour éliminer la somme :

X_1^4X_2^2+X_1^4X_3^2+X_1^2X_2^4+X_1^2X_3^4+X_2^4X_3^2 +X_2^2X_3^4

vous remarquez que $X_1^4X_2^2 = X_1^2(X_1X_2)^2.$ Il convient de développer $\sigma_1^2\sigma_2^2.$ Vous commencez par le développement du produit suivant :

\begin{align*}
\sigma_1\sigma_2 &= (X_1+X_2+X_3)(X_1X_2+X_1X_3+X_2X_3)\\
&=X_1^2X_2+X_1^2X_3+X_1X_2X_3\\
&\quad +X_1X_2^2+X_1X_2X_3+X_2^2X_3\\
&\quad +X_1X_2X_3+X_1X_3^2+X_2X_3^2\\
&=X_1^2X_2+X_1^2X_3+X_1X_2^2+X_1X_3^2+X_2^2X_3+X_2X_3^2\\
&\quad + 3X_1X_2X_3.
\end{align*}

Puis vous mettez le tout au carré :

\begin{align*}
\sigma_1^2\sigma_2^2 &= (\sigma_1\sigma_2)^2 \\
&= (X_1^2X_2+X_1^2X_3+X_1X_2^2+X_1X_3^2+X_2^2X_3+X_2X_3^2 + 3X_1X_2X_3)^2\\
&=X_1^4X_2^2+X_1^4X_3^2+X_1^2X_2^4+X_1^2X_3^4+X_2^4X_3^2+X_2^2X_3^4+ 9X_1^2X_2^2X_3^2\\
&\quad  +2X_1^4X_2X_3+2X_1^3X_2^3+2X_1^3X_2X_3^2+2X_1^2X_2^3X_3+2X_1^2X_2^2X_3^2+6X_1^3X_2^2X_3\\
&\quad +2X_1^3X_2^2X_3+2X_1^3X_3^3+2X_1^2X_2^2X_3^2+2X_1^2X_2X_3^3+6X_1^3X_2X_3^2\\
&\quad +2X_1^2X_2^2X_3^2+2X_1X_2^4X_3+2X_1X_2^3X_3^2+6X_1^2X_2^3X_3\\
&\quad +2X_1X_2^2X_3^3+2X_1X_2X_3^4+6X_1^2X_2X_3^3\\
&\quad +2X_2^3X_3^3+6X_1X_2^3X_3^2\\
&\quad +6X_1X_2^2X_3^3\\
&=X_1^4X_2^2+X_1^4X_3^2+X_1^2X_2^4+X_1^2X_3^4+X_2^4X_3^2+X_2^2X_3^4\\
&\quad +2X_1^4X_2X_3+2X_1X_2^4X_3+2X_1X_2X_3^4\\
&\quad +2X_1^3X_2^3+2X_1^3X_3^3+2X_2^3X_3^3\\
&\quad +8X_1^3X_2^2X_3+8X_1^3X_2X_3^2 +8X_1^2X_2^3X_3+8X_1^2X_2X_3^3+8X_1X_2^3X_3^2+8X_1X_2^2X_3^3\\
&\quad+ 15X_1^2X_2^2X_3^2.
\end{align*}

Par soustraction avec l’expression développée de $\Delta$ il vient :

\begin{align*}
\Delta - \sigma_1^2\sigma_2^2&= -4X_1^4X_2X_3-4X_1X_2^4X_3-4X_1X_2X_3^4\\
&\quad -4X_1^3X_2^3-4X_1^3X_3^3-4X_2^3X_3^3\\
&\quad -6X_1^3X_2^2X_3-6X_1^3X_2X_3^2-6X_1^2X_2^3X_3-6X_1^2X_2X_3^3-6X_1X_2^3X_3^2-6X_1X_2^2X_3^3\\
&\quad -21X_1^2X_2^2X_3^2.
\end{align*}

Traitez l’exposant $(4,1,1)$ et ses permutés

Pour éliminer les trois permutés :

 -4X_1^4X_2X_3-4X_1X_2^4X_3-4X_1X_2X_3^4

il convient de remarquer que $X_1^4X_2X_3 = X_1^3(X_1X_2X_3).$ Vous effectuez le développement de $\sigma_1^3\sigma_3.$

Tout d’abord :

\begin{align*}
\sigma_1^2 &= (X_1+X_2+X_3)^2\\
&=X_1^2+X_2^2+X_3^2+2X_1X_2+2X_1X_3+2X_2X_3.
\end{align*}

Ensuite :

\begin{align*}
\sigma_1^3 &= \sigma_1^2\times \sigma_1\\
&=(X_1^2+X_2^2+X_3^2+2X_1X_2+2X_1X_3+2X_2X_3)(X_1+X_2+X_3)\\
&=X_1^3+X_1X_2^2+X_1X_3^2+2X_1^2X_2+2X_1^2X_3+2X_1X_2X_3\\
&\quad + X_1^2X_2+X_2^3+X_2X_3^2+2X_1X_2^2+2X_1X_2X_3+2X_2^2X_3\\
&\quad + X_1^2X_3+X_2^2X_3+X_3^3+2X_1X_2X_3+2X_1X_3^2+2X_2X_3^2 \\
&= X_1^3+X_2^3+X_3^3\\
&\quad +3X_1^2X_2+3X_1^2X_3+3X_1X_2^2+3X_1X_3^2+3X_2^2X_3+3X_2X_3^2\\
&\quad +6X_1X_2X_3.
\end{align*}

Du coup :

\begin{align*}
\sigma_1^3\sigma_3 &= (X_1^3+X_2^3+X_3^3)(X_1X_2X_3)\\
&\quad +(3X_1^2X_2+3X_1^2X_3+3X_1X_2^2+3X_1X_3^2+3X_2^2X_3+3X_2X_3^2)(X_1X_2X_3)\\
&\quad +6X_1^2X_2^2X_3^2\\
&= X_1^4X_2X_3+X_1X_2^4X_3+X_1X_2X_3^4 \\
&\quad +3X_1^3X_2^2X_3+3X_1^3X_2X_3^2+3X_1^2X_2^3X_3+3X_1^2X_2X_3^3+3X_1X_2^3X_3^2+3X_1X_2^2X_3^3\\
&\quad +6X_1^2X_2^2X_3^2.
\end{align*}

Vous multipliez par $4$ :

\begin{align*}
4\sigma_1^3\sigma_3 &= 4X_1^4X_2X_3+4X_1X_2^4X_3+4X_1X_2X_3^4 \\
&\quad +12X_1^3X_2^2X_3+12X_1^3X_2X_3^2+12X_1^2X_2^3X_3+12X_1^2X_2X_3^3+12X_1X_2^3X_3^2+12X_1X_2^2X_3^3\\
&\quad +24X_1^2X_2^2X_3^2.
\end{align*}

Vous déduisez ainsi :

\begin{align*}
\Delta - \sigma_1^2\sigma_2^2+4\sigma_1^3\sigma_3 &= -4X_1^3X_2^3-4X_1^3X_3^3-4X_2^3X_3^3\\
&\quad +6X_1^3X_2^2X_3+6X_1^3X_2X_3^2+6X_1^2X_2^3X_3+6X_1^2X_2X_3^3+6X_1X_2^3X_3^2+6X_1X_2^2X_3^3\\
&\quad +3X_1^2X_2^2X_3^2.
\end{align*}

Traitez l’exposant $(3,3,0)$ et ses permutés

Pour éliminer $-4X_1^3X_2^3-4X_1^3X_3^3-4X_2^3X_3^3$ il convient de calculer $\sigma_2^3.$

Tout d’abord :

\begin{align*}
\sigma_2^2&=(X_1X_2+X_1X_3+X_2X_3)^2\\
&=X_1^2X_2^2+X_1^2X_3^2+X_2^2X_3^2\\
&\quad + 2X_1^2X_2X_3+2X_1X_2^2X_3+2X_1X_2X_3^2.
\end{align*}

Puis :

\begin{align*}
\sigma_2^3 &= \sigma_2^2\times \sigma_2\\
&= (X_1^2X_2^2+X_1^2X_3^2+X_2^2X_3^2)(X_1X_2+X_1X_3+X_2X_3)\\
&\quad + (2X_1^2X_2X_3+2X_1X_2^2X_3+2X_1X_2X_3^2)(X_1X_2+X_1X_3+X_2X_3)\\
&= X_1^3X_2^3+X_1^3X_2X_3^2+X_1X_2^3X_3^2\\
&\quad + X_1^3X_2^2X_3+X_1^3X_3^3+X_1X_2^2X_3^3\\
&\quad +X_1^2X_2^3X_3+X_1^2X_2X_3^3+X_2^3X_3^3\\
&\quad +2X_1^3X_2^2X_3+2X_1^2X_2^3X_3+2X_1^2X_2^2X_3^2\\
&\quad +2X_1^3X_2X_3^2+2X_1^2X_2^2X_3^2+2X_1^2X_2X_3^3\\
&\quad +2X_1^2X_2^2X_3^2+2X_1X_2^3X_3^2+2X_1X_2^2X_3^3\\
&=X_1^3X_2^3+X_1^3X_3^3+X_2^3X_3^3\\
&\quad +3X_1^3X_2^2X_3+3X_1^3X_2X_3^2+3X_1^2X_2^3X_3+3X_1^2X_2X_3^3+3X_1X_2^3X_3^2+3X_1X_2^2X_3^3\\
&\quad +6X_1^2X_2^2X_3^2.
\end{align*}

Vous multipliez par $4$ :

\begin{align*}
4\sigma_2^3 &=4X_1^3X_2^3+4X_1^3X_3^3+4X_2^3X_3^3\\
&\quad +12X_1^3X_2^2X_3+12X_1^3X_2X_3^2+12X_1^2X_2^3X_3+12X_1^2X_2X_3^3+12X_1X_2^3X_3^2+12X_1X_2^2X_3^3\\
&\quad +24X_1^2X_2^2X_3^2.
\end{align*}

Et vous déduisez :

\begin{align*}
\Delta - \sigma_1^2\sigma_2^2+4\sigma_1^3\sigma_3 +4\sigma_2^3&= 18X_1^3X_2^2X_3+18X_1^3X_2X_3^2+18X_1^2X_2^3X_3+18X_1^2X_2X_3^3+18X_1X_2^3X_3^2+18X_1X_2^2X_3^3\\
&\quad +27X_1^2X_2^2X_3^2.
\end{align*}

Traitez l’exposant $(3,2,1)$ et ses permutés

Pour éliminer $18X_1^3X_2^2X_3+18X_1^3X_2X_3^2+18X_1^2X_2^3X_3+18X_1^2X_2X_3^3+18X_1X_2^3X_3^2+18X_1X_2^2X_3^3$ il convient de calculer $\sigma_1\sigma_2\sigma_3$ puisque $X_1^3X_2^2X_3 = X_1(X_1X_2)(X_1X_2X_3).$

Le produit $\sigma_1\sigma_2$ a déjà été calculé plus haut :

\begin{align*}
\sigma_1\sigma_2 &=X_1^2X_2+X_1^2X_3+X_1X_2^2+X_1X_3^2+X_2^2X_3+X_2X_3^2\\
&\quad + 3X_1X_2X_3.
\end{align*}

Du coup :

\begin{align*}
\sigma_1\sigma_2\sigma_3 &=(X_1^2X_2+X_1^2X_3+X_1X_2^2+X_1X_3^2+X_2^2X_3+X_2X_3^2)(X_1X_2X_3)\\
&\quad + 3X_1^2X_2^2X_3^2 \\
&= X_1^3X_2^2X_3+X_1^3X_2X_3^2+X_1^2X_2^3X_3+X_1^2X_2X_3^3+X_1X_2^3X_3^2+X_1X_2^2X_3^3\\
&\quad + 3X_1^2X_2^2X_3^2.
\end{align*}

Vous multipliez par $18$ :

\begin{align*}
18\sigma_1\sigma_2\sigma_3 &= 18X_1^3X_2^2X_3+18X_1^3X_2X_3^2+18X_1^2X_2^3X_3+18X_1^2X_2X_3^3+18X_1X_2^3X_3^2+18X_1X_2^2X_3^3\\
&\quad + 54X_1^2X_2^2X_3^2.
\end{align*}

Il vient :

\begin{align*}
\Delta - \sigma_1^2\sigma_2^2+4\sigma_1^3\sigma_3 +4\sigma_2^3 - 18\sigma_1\sigma_2\sigma_3&= -27X_1^2X_2^2X_3^2.
\end{align*}

Concluez

D’après le dernier résultat obtenu, vous avez :

\begin{align*}
\Delta - \sigma_1^2\sigma_2^2+4\sigma_1^3\sigma_3 +4\sigma_2^3 - 18\sigma_1\sigma_2\sigma_3&= -27\sigma_3^2.
\end{align*}

Vous avez ainsi obtenu l’expression du discriminant universel d’ordre $3$ en fonction des polynômes symétriques élémentaires :

\boxed{\Delta =   \sigma_1^2\sigma_2^2-4\sigma_1^3\sigma_3 -4\sigma_2^3 + 18\sigma_1\sigma_2\sigma_3 -27\sigma_3^2.}

263. Calculez une intégrale qui comporte une racine carrée au dénominateur

Cet article va vous permettre de calculer l’intégrale suivante :

I=\displaystyle\int_{-1}^1 \frac{x^3+2x^2+1}{\sqrt{x^2+1}}\,\mathrm{d}x.

Gérez le dénominateur

Le dénominateur qui est $\sqrt{x^2+1}$ pousse à utiliser le changement de variable $x = \mathrm{sh}\,t$, de sorte que $1+x^2 = 1+(\mathrm{sh}\,t)^2 = (\mathrm{ch}\,t)^2.$ La positivité de $1+x^2$ et de $\mathrm{ch}\,t$ aboutit à $\sqrt{x^2+1}=\mathrm{ch}\,t.$

Du coup :

\begin{align*}
 \frac{x^3+2x^2+1}{\sqrt{x^2+1}} &= \frac{(\mathrm{sh} \,t)^3+2(\mathrm{sh}\,t)^2+1}{\mathrm{ch}\,t}.
\end{align*}

Or :

\begin{align*} \mathrm{d}x &= \mathrm{ch}\,t\,\mathrm{d}t. \end{align*}

Ainsi :

\begin{align*}
\frac{x^3+2x^2+1}{\sqrt{x^2+1}}\,\mathrm{d}x &= \frac{(\mathrm{sh} \,t)^3+2(\mathrm{sh}\,t)^2+1}{\mathrm{ch}\,t}\mathrm{ch}\,t\,\mathrm{d}t\\
&=\left[(\mathrm{sh}\,t)^3+2(\mathrm{sh}\,t)^2+1\right]\,\mathrm{d}t.
\end{align*}

Pour le calcul des nouvelles bornes de l’intégrale obtenue par changement de variable, la forme explicite de la fonction réciproque de la fonction $\mathrm{sh}$ va s’avérer précieuse. En effet, quels que soient les réels $a$ et $b$, vous avez $b=\mathrm{sh}\,a \Longleftrightarrow a=\mathrm{Argsh}\,b = \ln\left(b+\sqrt{1+b^2}\right).$

Quand $x=1$ vous avez $t=\mathrm{Argsh}\, 1=\ln\left(1+\sqrt{2}\right).$

Par imparité de la fonction $\mathrm{Argsh}$ il vient, quand $x=-1$, $t=\mathrm{Argsh}(-1) = -\mathrm{Argsh}\, 1 = -\ln\left(1+\sqrt{2}\right).$

Ainsi :

I = \displaystyle\int_{-\ln\left(1+\sqrt{2}\right)}^{\ln\left(1+\sqrt{2}\right)} \left[(\mathrm{sh}\,t)^3+2(\mathrm{sh}\,t)^2+1\right]\,\mathrm{d}t.

Utilisant l’imparité de la fonction $t\mapsto (\mathrm{sh}\,t)^3$ il vient :

\int_{-\ln\left(1+\sqrt{2}\right)}^{\ln\left(1+\sqrt{2}\right)} (\mathrm{sh}\,t)^3\,\mathrm{d}t = 0.

Or :

\begin{align*}
(\mathrm{sh}\,t)^2&=\left(\displaystyle\frac{\mathrm{e}^t-\mathrm{e}^{-t}}{2}\right)^2 \\
 &= \frac{\mathrm{e}^{2t} + \mathrm{e}^{-2t} -2}{4} \\ 
&= \frac{2\mathrm{ch}(2t)-2}{4} \\
 &= \frac{\mathrm{ch}(2t)-1}{2}.
\end{align*}

Si bien que $2(\mathrm{sh}\,t)^2+1=\mathrm{ch}(2t).$

Donc :

I =\displaystyle\int_{-\ln\left(1+\sqrt{2}\right)}^{\ln\left(1+\sqrt{2}\right)} \mathrm{ch}(2t)\,\mathrm{d}t.

La fonction $t\mapsto \mathrm{ch}(2t)$ étant paire, vous avez :

I = 2\int_{0}^{\ln\left(1+\sqrt{2}\right)} \mathrm{ch}(2t)\,\mathrm{d}t.

Vous effectuez le changement de variable $u=2t$ qui donne $\mathrm{d}u=2\mathrm{d}t$ d’où :

\begin{align*}
I &= \int_{0}^{\ln\left(1+\sqrt{2}\right)} \mathrm{ch}(2t)\,2\mathrm{d}t\\
 &=\int_{0}^{2\ln\left(1+\sqrt{2}\right)} \mathrm{ch}\,u\,\mathrm{d}u \\
 &= \left[\mathrm{sh}\,u\right]_0^{2\ln\left(1+\sqrt{2}\right) } \\
 &= \mathrm{sh}\left(2\ln\left(1+\sqrt{2}\right)\right)\\
 &= \mathrm{sh}\left(\ln\left[\left(1+\sqrt{2}\right)^2\right]\right)\\
 &= \mathrm{sh}\left(\ln\left(3+2\sqrt{2}\right)\right) \\
 &= \frac{3+2\sqrt{2} - \frac{1}{3+2\sqrt{2}}}{2} \\
 &= \frac{3+2\sqrt{2} - \frac{3-2\sqrt{2}}{(3+2\sqrt{2})(3-2\sqrt{2})}}{2}\\
 &= \frac{3+2\sqrt{2} - \frac{3-2\sqrt{2}}{1}}{2} \\
 &= \frac{3+2\sqrt{2} - 3+2\sqrt{2}}{2} \\
 &= \frac{4\sqrt{2}}{2} \\
 &= 2\sqrt{2}.
\end{align*}

En définitive :

\boxed{\displaystyle\int_{-1}^1 \frac{x^3+2x^2+1}{\sqrt{x^2+1}}\,\mathrm{d}x = 2\sqrt{2}.}

262. Calculez la valeur d’une intégrale impropre

Dans cet article, vous souhaitez justifier la convergence de l’intégrale impropre $\int_0^{+\infty} \frac{\mathrm{d}x}{x^2+\sqrt{x}}$ et déterminer sa valeur.

Isolez le problème avec $+\infty$

Soit $M$ un nombre réel strictement positif fixé.
L’idée principale est de comprendre pourquoi l’intégrale $I=\displaystyle\int_0^M \frac{\mathrm{d}x}{x^2+\sqrt{x}}$ est bien définie. En effet, il y a un problème en $0$ où la fonction $x\mapsto \frac{1}{x^2+\sqrt{x}}$ n’est pas définie en $0.$

Effectuez un changement de variable

Soit maintenant $\varepsilon$ un réel strictement positif tel que $\varepsilon < M.$

Afin d’éliminer la racine carrée, vous posez $y=\sqrt{x}$ de sorte que $y^2=x$ et $2y\mathrm{d}y=\mathrm{d}x.$
Du coup :

\begin{align*}
\int_{\varepsilon}^M \frac{\mathrm{d}x}{x^2+\sqrt{x}}&=\displaystyle\int_{\sqrt{\varepsilon}}^{\sqrt{M}} \frac{2y\mathrm{d}y}{y^4+y}\ &= 2\int_{\sqrt{\varepsilon}}^{\sqrt{M}} \frac{\mathrm{d}y}{y^3+1}. \end{align*}

La dernière expression fait apparaître l’intégrale de la fonction $x\mapsto \frac{1}{x^3+1}$ qui est une fonction continue sur le segment $[0,\sqrt{M}].$

Ainsi, la limite de $\int_{\sqrt{\varepsilon}}^{\sqrt{M}} \frac{\mathrm{d}y}{y^3+1}$ quand $\varepsilon\to 0$ existe et :

\lim_{\varepsilon\to 0} \int_{\sqrt{\varepsilon}}^{\sqrt{M}} \frac{\mathrm{d}y}{y^3+1} = \int_{0}^{\sqrt{M}} \frac{\mathrm{d}y}{y^3+1}.

Vous en déduisez la convergence de l’intégrale $I = \int_{0}^M \frac{\mathrm{d}x}{x^2+\sqrt{x}}.$

D’après ce qui précède, vous avez $I = \int_{0}^{\sqrt{M}} \frac{\mathrm{d}y}{y^3+1}.$

Effectuez une décomposition en éléments simples

Dans le corps des fractions rationnelles $\R(X)$, la fraction $\displaystyle\frac{1}{X^3+1}$ n’est pas décomposée en éléments simples, puisque le dénominateur $X^3+1$ est un polynôme de degré $3.$

L’équation $X^3+1=0$ admettant une unique solution réelle qui est $X=-1$, vous savez que le polynôme $X^3+1$ est factorisable par $X+1.$

La division euclidienne s’effectue de la façon suivante :

\begin{align*}
 X^3+1 &= (X+1)X^2-X^2+1\\
 &= (X+1)X^2-(X+1)X+X+1\\ 
&= (X+1)X^2-(X+1)X+(X+1)1\\
 &= (X+1)(X^2-X+1). 
\end{align*}

D’après le théorème de décomposition en éléments simples, il existe un triplet de réels $(a,b,c)\in\R^3$ tel que :

\displaystyle\frac{1}{X^3+1} = \frac{a}{X+1}+\frac{bX+c}{X^2-X+1}.

Le plus rapide est de calculer $a$ en multipliant par $X+1$ puis en évaluant en $X=-1$. Vous obtenez :

\begin{align*} a &= \left.\frac{1}{X^2-X+1}\right\vert_{X=-1}\\
 &= \frac{1}{1+1+1}\\
 &=\frac{1}{3}. 
\end{align*}

Il est rapide de trouver $b$ à partir du nombre $a$, vous multipliez le tout par $X$ :

\displaystyle\frac{X}{X^3+1} = \frac{aX}{X+1}+\frac{bX^2+cX}{X^2-X+1}.

Puis vous passez à la limite lorsque $X\to +\infty$. Vous obtenez $0 = a+b$ donc $b=\displaystyle-\frac{1}{3}.$
Comme il ne reste plus qu’un coefficient à trouver, vous pouvez effectuer $X=0$ dans l’égalité :

\displaystyle\frac{1}{X^3+1} = \frac{a}{X+1}+\frac{bX+c}{X^2-X+1}.

D’où $1 = a+c$ et par suite $c=1-a = \frac{2}{3}.$ Ainsi :

\boxed{\displaystyle\frac{1}{X^3+1} = \frac{1}{3(X+1)}+\frac{-X+2}{3(X^2-X+1)}.}

Intégrez les éléments simples

Notez $J = \displaystyle\int_{0}^{\sqrt{M}} \frac{\mathrm{d}x}{x+1}$ et $ K= \displaystyle\int_{0}^{\sqrt{M}} \frac{-x+2}{x^2-x+1}\,\mathrm{d}x.$

Calculez $J$

\begin{align*} J &= \displaystyle \left[\ln(x+1)\right]{0}^{\sqrt{M}}\\
 &=\ln\left(\sqrt{M}+1\right). 
\end{align*}

Calculez $K$

L’idée est d’utiliser la forme canonique du trinôme $X^2-X+1 = \displaystyle\left(X-\frac{1}{2}\right)^2+\frac{3}{4}$ pour préparer un changement de variable :

\begin{align*} K&= \displaystyle\int_{0}^{\sqrt{M}} \frac{-x+2}{x^2-x+1}\,\mathrm{d}x\\ &=\int_{0}^{\sqrt{M}} \frac{-x+2}{\left(x-\frac{1}{2}\right)^2+\frac{3}{4}}\,\mathrm{d}x.
\end{align*}

Vous posez alors $y=\displaystyle x-\frac{1}{2}.$ Alors :

\begin{align*} K &=\displaystyle\int_{-1/2}^{\sqrt{M}-1/2} \frac{-(y+\frac{1}{2})+2}{y^2+\frac{3}{4}}\,\mathrm{d}y \\
 &=\int_{-1/2}^{\sqrt{M}-1/2} \frac{-y+\frac{3}{2}}{y^2+\frac{3}{4}}\,\mathrm{d}y\\
 &=\int_{-1/2}^{\sqrt{M}-1/2} \frac{-y}{y^2+\frac{3}{4}}\,\mathrm{d}y + \int_{-1/2}^{\sqrt{M}-1/2} \frac{\frac{3}{2}}{y^2+\frac{3}{4}}\,\mathrm{d}y\\
 &=-\frac{1}{2}\int_{-1/2}^{\sqrt{M}-1/2} \frac{2y}{y^2+\frac{3}{4}}\,\mathrm{d}y + \frac{3}{2}\int_{-1/2}^{\sqrt{M}-1/2} \frac{1}{y^2+\left(\frac{\sqrt{3}}{2}\right)^2}\,\mathrm{d}y \\
&= -\frac{1}{2}\left[ \ln\left(y^2+\frac{3}{4}\right)\right]_{-1/2}^{\sqrt{M}-1/2} + \frac{\sqrt{3}\times \sqrt{3}}{2} \frac{1}{\frac{\sqrt{3}}{2}}\left[\arctan\left(\frac{y}{\frac{\sqrt{3}}{2}}\right)\right]_{-1/2}^{\sqrt{M}-1/2}\\
 &=-\frac{1}{2}\ln (M-\sqrt{M}+1) + \sqrt{3} \left[\arctan\left(\frac{y}{\frac{\sqrt{3}}{2}}\right)\right]_{-1/2}^{\sqrt{M}-1/2}\\
 &=-\frac{1}{2}\ln (M-\sqrt{M}+1) + \sqrt{3} \arctan\left(\frac{\sqrt{M}-1/2}{\frac{\sqrt{3}}{2}}\right) - \sqrt{3} \arctan\left(\frac{-1/2}{\frac{\sqrt{3}}{2}}\right) \\
 &=-\frac{1}{2}\ln (M-\sqrt{M}+1) + \sqrt{3} \arctan\left(\frac{\sqrt{M}-1/2}{\frac{\sqrt{3}}{2}}\right) + \sqrt{3} \arctan\left(\frac{1}{\sqrt{3}}\right) \\ &=-\frac{1}{2}\ln (M-\sqrt{M}+1) + \sqrt{3} \arctan\left(\frac{\sqrt{M}-1/2}{\frac{\sqrt{3}}{2}}\right) + \frac{\pi\sqrt{3}}{6}.
\end{align*}

Passez à la limite

\begin{align*} I&=\displaystyle\int_0^M \frac{\mathrm{d}x}{x^2+\sqrt{x}}\\
 &= 2\int_0^{\sqrt{M}} \frac{\mathrm{d}x}{x^3+1}\\
 &= \frac{2}{3} J + \frac{2}{3}K \\
 &=\frac{2}{3}\ln\left(\sqrt{M}+1\right) -\frac{1}{3}\ln (M-\sqrt{M}+1) + \frac{2\sqrt{3}}{3} \arctan\left(\frac{\sqrt{M}-1/2}{\frac{\sqrt{3}}{2}}\right) + \frac{\pi\sqrt{3}}{9}\\
 &=\frac{1}{3}\ln\left(M+2\sqrt{M}+1\right) -\frac{1}{3}\ln (M-\sqrt{M}+1)+ \frac{2\sqrt{3}}{3} \arctan\left(\frac{\sqrt{M}-1/2}{\frac{\sqrt{3}}{2}}\right) + \frac{\pi\sqrt{3}}{9} \\
 &=\frac{1}{3}\ln \frac{M+2\sqrt{M}+1}{M-\sqrt{M}+1} + \frac{2\sqrt{3}}{3} \arctan\left(\frac{\sqrt{M}-1/2}{\frac{\sqrt{3}}{2}}\right) + \frac{\pi\sqrt{3}}{9}\\&= \frac{1}{3}\ln \frac{1+\frac{2}{\sqrt{M}}+\frac{1}{M}}{1-\frac{1}{\sqrt{M}}+\frac{1}{M}} + \frac{2\sqrt{3}}{3} \arctan\left(\frac{\sqrt{M}-1/2}{\frac{\sqrt{3}}{2}}\right) + \frac{\pi\sqrt{3}}{9}.
 \end{align*}

Quand $M$ tend vers $+\infty$ vous avez :

\frac{1+\frac{2}{\sqrt{M}}+\frac{1}{M}}{1-\frac{1}{\sqrt{M}}+\frac{1}{M}} \to 1.

Vous déduisez :

\ln \frac{1+\frac{2}{\sqrt{M}}+\frac{1}{M}}{1-\frac{1}{\sqrt{M}}+\frac{1}{M}} \to 0.

Quand $M$ tend vers $+\infty$ vous avez :

\frac{\sqrt{M}-1/2}{\frac{\sqrt{3}}{2}} \to +\infty

Du coup :

\arctan\left(\frac{\sqrt{M}-1/2}{\frac{\sqrt{3}}{2}}\right) \to \frac{\pi}{2}.

Concluez

De ce qui précède, la limite de $\displaystyle\int_0^M \frac{\mathrm{d}x}{x^2+\sqrt{x}}$ quand $M\to +\infty$ existe. Elle est égale à :

\begin{align*}\displaystyle\int_0^{+\infty} \frac{\mathrm{d}x}{x^2+\sqrt{x}} 
&= \frac{2\sqrt{3}}{3}\times \frac{\pi}{2} + \frac{\pi\sqrt{3}}{9}\\ 
&= \frac{\pi\sqrt{3}}{3} + \frac{\pi\sqrt{3}}{9} \\ 
&= \frac{3\pi\sqrt{3}}{9} + \frac{\pi\sqrt{3}}{9} \\ 
&= \frac{4\pi\sqrt{3}}{9}. 
\end{align*}

En définitive :

\boxed{\displaystyle\int_0^{+\infty} \frac{\mathrm{d}x}{x^2+\sqrt{x}} = \frac{4\pi\sqrt{3}}{9}.}

261. Calculez l’intégrale d’une fraction rationnelle avec des termes de deuxième espèce

Pour calculer l’intégrale $\int_0^1 \frac{x^6}{(x^2+1)(x^4+1)}\mathrm{d}x$, vous pouvez utiliser :

  • Une décomposition en éléments simples dans $\R(x)$ avant d’intégrer. Cette décomposition fera apparaître des éléments de deuxième espèce ;
  • Les calculs d’intégrale de la forme $\int_{a}^b \frac{1}{x^2+1}\mathrm{d}x$ qui font intervenir des valeurs de la fonction arctangente. L’égalité $\tan \frac{\pi}{4}=1$ est fondamentale pour mener à bien les calculs, mais elle ne suffira pas, d’autres angles feront leur apparition.

Utilisez un changement de variable

Une première étape consiste à décomposer la fraction rationnelle $\frac{x^6}{(x^2+1)(x^4+1)} = \frac{(x^2)^3}{(x^2+1)((x^2)^2+1)}$ en éléments simples. Vous posez : $X=x^2.$

L’égalité suivante :

\displaystyle\frac{x^6}{(x^2+1)(x^4+1)}=\frac{X^3}{(X+1)(X^2+1)}

va permettre de travailler dans le corps des fractions rationnelles $\R(X).$

Comme le degré du numérateur est égal à celui du dénominateur, il va falloir calculer la partie entière de cette fraction.
Vous effectuez la division euclidienne de $X^3$ par$(X+1)(X^2+1) = X^3+X^2+X+1.$

Comme $X^3 = (X^3+X^2+X+1)\times 1 + (-X^2-X-1)$, vous obtenez après division :

\displaystyle\frac{X^3}{(X+1)(X^2+1)} = 1 + \frac{-X^2-X-1}{(X+1)(X^2+1)}.

Il reste maintenant à séparer les parties polaires de la fraction $\frac{-X^2-X-1}{(X+1)(X^2+1)}.$
Le théorème de décomposition en éléments simples fournit l’existence d’un triplet $(a,b,c)\in\R^3$ tel que :

\displaystyle\frac{-X^2-X-1}{(X+1)(X^2+1)}=\frac{a}{X+1}+\frac{bX+c}{X^2+1}.

Vous multipliez le tout par $X+1$ et évaluez avec $X=-1$ ce qui fournit :

a=\displaystyle\frac{-(-1)^2-(-1)-1}{(-1)^2+1}=\frac{-1+1-1}{1+1}=-\frac{1}{2}.

Vous multipliez le tout par $X^2+1$ et évaluez avec $X=i$ ce qui fournit :

bi+c=\displaystyle\frac{-i^2-i-1}{i+1}=\frac{-i}{1+i}=\frac{-i(1-i)}{2}=\frac{-1-i}{2}.

Du coup :

\begin{align*}
b&=\displaystyle-\frac{1}{2} \\
c&=\displaystyle-\frac{1}{2}.
\end{align*}

Il a été obtenu que :

\displaystyle\frac{-X^2-X-1}{(X+1)(X^2+1)}=-\frac{1}{2(X+1)}-\frac{X+1}{2(X^2+1)}.

Du coup :

\boxed{\displaystyle\frac{X^3}{(X+1)(X^2+1)} = 1 -\frac{1}{2(X+1)}-\frac{X+1}{2(X^2+1)}.}

Traitez les termes de seconde espèce

En revenant dans le corps des fractions rationnelles $\R(x)$,il vient :

\boxed{\displaystyle\frac{x^6}{(x^2+1)(x^4+1)} = 1 -\frac{1}{2(x^2+1)}-\frac{x^2+1}{2(x^4+1)}.}

La fraction $\frac{x^2+1}{x^4+1}$ n’est ni un terme de première espèce, ni un terme de seconde espèce.
En effet, le dénominateur n’est pas irréductible et le numérateur a un degré trop élevé.

Décomposez le polynôme de degré $4$ en produit de deux polynômes

Vous faites apparaître une identité remarquable :

x^4+1=x^4+2x^2+1-2x^2=(x^2+1)^2-2x^2.

Vous préparez ensuite la seconde identité remarquable :

x^4+1=x^4+2x^2+1-2x^2=(x^2+1)^2-(\sqrt{2}x)^2.

Vous déduisez la factorisation recherchée :

\boxed{x^4+1=(x^2+\sqrt{2}x+1)(x^2-\sqrt{2}x+1).}

Séparez les parties polaires

Un réel élevé à la puissance $4$ étant toujours positif, le polynôme $x^4+1$ n’a pas de racine réelle.
Du coup, les deux polynômes $x^2+\sqrt{2}+1$ et $x^2-\sqrt{2}+1$ n’ont pas de racine réelle.
Le théorème de décomposition des fractions rationnelles fournit l’existence et l’unicité d’un quadruplet $(a,b,c,d)\in\R^4$ tel que :

\displaystyle\frac{x^2+1}{x^4+1}=\frac{ax+b}{x^2+\sqrt{2}x+1}+\frac{cx+d}{x^2-\sqrt{2}x+1}.

En substituant $-x$ à $x$ il vient :

\begin{align*}
\displaystyle\frac{(-x)^2+1}{(-x)^4+1}&=\frac{a(-x)+b}{(-x)^2+\sqrt{2}(-x)+1}+\frac{c(-x)+d}{(-x)^2-\sqrt{2}(-x)+1}\\
\displaystyle\frac{x^2+1}{x^4+1}&=\frac{-ax+b}{x^2-\sqrt{2}x+1}+\frac{-cx+d}{x^2+\sqrt{2}x+1}\\
\displaystyle\frac{x^2+1}{x^4+1}&=\frac{-cx+d}{x^2+\sqrt{2}x+1}+\frac{-ax+b}{x^2-\sqrt{2}x+1}.
\end{align*}

Par unicité des coefficients, vous déduisez :

\displaystyle\frac{x^2+1}{x^4+1}=\frac{ax+b}{x^2+\sqrt{2}x+1}+\frac{-ax+b}{x^2-\sqrt{2}x+1}.

Notez maintenant $u$ une racine complexe et non réelle du polynôme $x^2+\sqrt{2}x+1.$ Alors $u^2=-1-\sqrt{2}u.$ En multipliant par $x^2+\sqrt{2}x+1$ et en substituant par $u$ il vient :

\begin{align*}
au+b&=\displaystyle\frac{u^2+1}{u^2-\sqrt{2}u+1} \\
&=\displaystyle\frac{-\sqrt{2}u}{-2\sqrt{2}u}\\&=\frac{-1}{2}.
\end{align*}

Si $a$ n’était pas nul, vous auriez $u=\frac{-\frac{1}{2}-b}{a}$ et $u$ serait réel, ce qui est absurde. Ainsi : $a=0.$
Il vient alors $b=\frac{1}{2}.$ D’où :

\boxed{\displaystyle\frac{x^2+1}{2(x^4+1)}=\frac{1}{4(x^2+\sqrt{2}x+1)}+\frac{1}{4(x^2-\sqrt{2}x+1)}.}

Déterminez la décomposition de la fraction rationnelle de départ

Vous avez obtenu ce qui suit :

\frac{x^6}{(x^2+1)(x^4+1)} = 1 -\frac{1}{2(x^2+1)}-\frac{x^2+1}{2(x^4+1)}

Finalement :

\boxed{\frac{x^6}{(x^2+1)(x^4+1)} = 1 -\frac{1}{2(x^2+1)}-\frac{1}{4(x^2+\sqrt{2}x+1)}-\frac{1}{4(x^2-\sqrt{2}x+1)}.}

Effectuez des calculs intermédiaires

Pour calculer $\int_0^1 \frac{x^6}{(x^2+1)(x^4+1)}\mathrm{d}x$ il sera commode de poser pour la suite :

\begin{align*}
I&=\displaystyle\int_0^1 \frac{1}{x^2+1}\mathrm{d}x\\
J&=\displaystyle\int_0^1 \frac{1}{x^2+\sqrt{2}x+1}\mathrm{d}x\\
K&=\displaystyle\int_0^1 \frac{1}{x^2-\sqrt{2}x+1}\mathrm{d}x.
\end{align*}

Calculez l’intégrale $I$

\begin{align*}
 I&=\int_0^1 \frac{1}{x^2+1}\mathrm{d}x\\
&=\left[\arctan x\right]_0^1 \\
&=\arctan 1 - \arctan 0 \\
&=\frac{\pi}{4}.
\end{align*}

Calculez l’intégrale $J$

L’idée est de se ramener à obtenir $z^2+1$ par changements de variables.

\begin{align*}
 J &= \int_0^1 \frac{1}{x^2+\sqrt{2}x+1}\mathrm{d}x \\
 &= \int_0^1 \frac{1}{\left(x+\frac{\sqrt{2}}{2}\right)^2-\frac{2}{4}+1}\mathrm{d}x \\
 &= \int_0^1 \frac{1}{\left(x+\frac{\sqrt{2}}{2}\right)^2+\frac{1}{2}}\mathrm{d}x 
\end{align*}

Cela conduit à poser $y=x+\frac{\sqrt{2}}{2}$ ce qui donne, avec $\mathrm{d}y=\mathrm{d}x$ :

\begin{align*} J &= \int_{\frac{\sqrt{2}}{2}}^{1+\frac{\sqrt{2}}{2}} \frac{1}{y^2+\frac{1}{2}}\mathrm{d}y \\
 &= \int_{\frac{\sqrt{2}}{2}}^{1+\frac{\sqrt{2}}{2}} \frac{2}{2y^2+1}\\
&= \int_{\frac{\sqrt{2}}{2}}^{1+\frac{\sqrt{2}}{2}} \frac{2}{\left(\sqrt{2}y\right)^2+1}\mathrm{d}y.
\end{align*}

Vous posez alors $z=\sqrt{2}y.$ D’où : $\mathrm{d}z=\sqrt{2}\mathrm{d}y$ et $2\mathrm{d}y=\sqrt{2}\mathrm{d}z$ et par suite :

\begin{align*}
 J &= \int_{1}^{1+\sqrt{2}} \frac{\sqrt{2}}{z^2+1}\mathrm{d}z \\
&= \sqrt{2}\int_{1}^{1+\sqrt{2}} \frac{1}{z^2+1}\mathrm{d}z \\
&= \sqrt{2} \left[\arctan z\right]_{1}^{1+\sqrt{2}} \\
&= \sqrt{2}(\arctan(1+\sqrt{2})-\arctan 1) \\
&= \sqrt{2}\left(\arctan(1+\sqrt{2})-\frac{\pi}{4}\right).
\end{align*}

Calculez l’intégrale $K$

\begin{align*}
 K &= \int_0^1 \frac{1}{x^2-\sqrt{2}x+1}\mathrm{d}x \\
 &= \int_0^1 \frac{1}{\left(x-\frac{\sqrt{2}}{2}\right)^2-\frac{2}{4}+1}\mathrm{d}x \\
 &= \int_0^1 \frac{1}{\left(x-\frac{\sqrt{2}}{2}\right)^2+\frac{1}{2}}\mathrm{d}x.
\end{align*}

Vous posez $y=x-\frac{\sqrt{2}}{2}$ ce qui donne :

\begin{align*}
 K &= \int_{-\frac{\sqrt{2}}{2}}^{1-\frac{\sqrt{2}}{2}} \frac{1}{y^2+\frac{1}{2}}\mathrm{d}y \\
 &= \int_{-\frac{\sqrt{2}}{2}}^{1-\frac{\sqrt{2}}{2}} \frac{2}{2y^2+1}\\
&= \int_{-\frac{\sqrt{2}}{2}}^{1-\frac{\sqrt{2}}{2}} \frac{2}{\left(\sqrt{2}y\right)^2+1}\mathrm{d}y.
\end{align*}

Vous posez encore $z=\sqrt{2}y.$ D’où :

\begin{align*} 
K &= \int_{-1}^{\sqrt{2}-1} \frac{\sqrt{2}}{z^2+1}\mathrm{d}z \\
&= \sqrt{2}\int_{-1}^{\sqrt{2}-1} \frac{1}{z^2+1}\mathrm{d}z \\
&= \sqrt{2} \left[\arctan z\right]_{-1}^{\sqrt{2}-1} \\
 &= \sqrt{2}(\arctan(\sqrt{2}-1)-\arctan (-1)) \\
 &= \sqrt{2}\left(\arctan(\sqrt{2}-1)-\frac{-\pi}{4}\right) \\
&= \sqrt{2}\left(\arctan(\sqrt{2}-1)+\frac{\pi}{4}\right).
\end{align*}

Calculez deux angles

Notez $\theta = \arctan(\sqrt{2}-1)$. Comme $\sqrt{2} > 1$ vous déduisez que $\sqrt{2}-1$ est strictement positif et par suite, $\theta$ est strictement positif. Du coup, $\theta\in\left]0,\frac{\pi}{2}\right[$.
De $\tan \theta = \sqrt{2}-1$ vous déduisez :
$\tan^2 \theta = \left(\sqrt{2}-1\right)^2 = 3-2\sqrt{2}.$

\begin{align*}
\cos^2 \theta &= \frac{1}{1+\tan^2 \theta} \\
 &= \frac{1}{4-2\sqrt{2}} \\
&=\frac{1}{2(2-\sqrt{2})} \\
&=\frac{2+\sqrt{2}}{4}.
\end{align*}

Du coup:

\begin{align*}
\cos 2\theta &= 2\cos^2 \theta - 1\\
 &=\frac{2+\sqrt{2}}{2}-1\\
 &=\frac{\sqrt{2}}{2}\\
 &=\cos \frac{\pi}{4}. 
\end{align*}

Or, les réels $2\theta$ et $\frac{\pi}{4}$ appartiennent à l’intervalle $[0,\pi].$ La fonction cosinus étant strictement décroissante sur cet intervalle, vous déduisez $2\theta = \frac{\pi}{4}$ donc $\theta = \frac{\pi}{8}.$

\boxed{\arctan\left(\sqrt{2}-1\right) = \frac{\pi}{8}.}

Notez maintenant $\alpha = \arctan(\sqrt{2}+1)$. Comme $\sqrt{2}+1>0$, vous avez $\alpha > 0$ donc $\alpha\in\left]0,\frac{\pi}{2}\right[$.
De $\tan \alpha = \sqrt{2}+1$ vous déduisez:

\tan^2 \alpha = \left(\sqrt{2}+1\right)^2 = 3+2\sqrt{2}.
\begin{align*}
\cos^2 \alpha &= \frac{1}{1+\tan^2 \alpha} \\
 &= \frac{1}{4+2\sqrt{2}} \\
&=\frac{1}{2(2+\sqrt{2})} \\
&=\frac{2-\sqrt{2}}{4}.
\end{align*}

Du coup:

\begin{align*}
\cos 2\alpha &= 2\cos^2 \alpha - 1\\
 &=\frac{2-\sqrt{2}}{2}-1\\
 &=\frac{-\sqrt{2}}{2}\\
 &=\cos \frac{3\pi}{4}.
 \end{align*}

Or, les réels $2\alpha$ et $\frac{3\pi}{4}$ appartiennent à l’intervalle $[0,\pi].$ La fonction cosinus étant strictement décroissante sur cet intervalle, vous déduisez $2\alpha = \frac{3\pi}{4}$ donc $\alpha = \frac{3\pi}{8}.$

\boxed{\arctan\left(\sqrt{2}+1\right) = \frac{3\pi}{8}}.

Concluez

De tout ce qui précède :

\begin{align*}
 \int_0^1 \frac{x^6}{(x^2+1)(x^4+1)}\mathrm{d}x \\
&= 1 - \frac{I}{2} - \frac{J}{4}-\frac{K}{4} \\
 &= 1-\frac{\frac{\pi}{4}}{2}-\frac{\sqrt{2}\left(\frac{3\pi}{8}-\frac{\pi}{4}\right)}{4} - \frac{\sqrt{2}\left(\frac{\pi}{8}+\frac{\pi}{4}\right)}{4}\\
 &= 1-\frac{\pi}{8}-\frac{\sqrt{2}\left(\frac{3\pi}{8}-\frac{2\pi}{8}\right)}{4} - \frac{\sqrt{2}\left(\frac{\pi}{8}+\frac{2\pi}{8}\right)}{4}\\
 &= 1-\frac{\pi}{8}-\frac{\pi\sqrt{2}}{32} - \frac{3\pi\sqrt{2}}{32} \\
 &= 1-\frac{\pi}{8}-\frac{4\pi\sqrt{2}}{32} \\ 
&= \frac{8}{8}-\frac{\pi}{8}-\frac{\pi\sqrt{2}}{8}.
\end{align*}

Finalement :

\boxed{\int_0^1 \frac{x^6}{(x^2+1)(x^4+1)}\mathrm{d}x = \frac{8 - \pi(1+\sqrt{2})}{8}.}

260. Résolvez une équation de degré 2

Dans cet article, vous allez chercher tous les réels $x$ tels que $2x^2+x-5 = 0.$ C’est un cas particulier de l’équation générale $ax^2+bx+c=0.$

Vous allez voir qu’il est possible de résoudre cette équation sans utiliser le discriminant, en mettant bout à bout deux changements de variables.

Première étape, se ramener à une équation où le coefficient de $x^2$ est égal à $1$ via un changement de variable. Vous vous retrouvez ainsi avec une équation de la forme $x^2+bx+c=0$ qui est plus facile à résoudre que la première.

Seconde étape, supprimer le terme $bx$, de façon à obtenir une équation finale de la forme $x^2+c=0$ qui se résoudra avec l’utilisation de la racine carrée.

Ramenez-vous à une équation où $x^2$ apparaît une seule fois

L’idée est d’effectuer un premier changement de variable.

En effet, l’équation :

2x^2+x-5 = 0

après multiplication par $2$, coefficient de $x^2$, est équivalente à :

4x^2+2x-10 = 0.

Or, $4x^2$ est le carré de $2x$. En posant $\boxed{X = 2x}$ vous constatez que résoudre $2x^2+x-5=0$ est équivalent à résoudre :

X^2+X-10=0.

Supprimez le terme de degré $1$

Une translation va faire l’affaire.

Posez $y = X+k$ où $k$ est un nombre qui sera choisi plus tard.

L’équation :

X^2+X-10=0

est équivalente à :

\begin{align*}
(y-k)^2+(y-k)-10&=0\\
y^2-2ky+k^2+y-k-10 &= 0\\
y^2+(1-2k)y+k^2-k-10 &=0.
\end{align*}

Afin de faire disparaître le terme en $y$, vous choisissez $k$ pour que $1-2k=0$, soit $k=\frac{1}{2}.$

Vous remarquez que :

\begin{align*}
k^2-k-10 &= \frac{1}{4}-\frac{1}{2}-10\\
&=\frac{1}{4}-\frac{2}{4}-\frac{40}{4}\\
&=\frac{1}{4}-\frac{42}{4}\\
&=-\frac{41}{4}.
\end{align*}

Ainsi, via le changement de variable $\boxed{y=X+\frac{1}{2}}$, l’équation $X^2+X-10=0$ est équivalente à :

\begin{align*}
y^2-\frac{41}{4}&=0\\
y^2-\left(\frac{\sqrt{41}}{2}\right)^2&=0\\
\left(y-\frac{\sqrt{41}}{2}\right)\left(y+\frac{\sqrt{41}}{2}\right) &=0.
\end{align*}

Concluez

D’après ce qui précède, $y$ peut prendre deux valeurs : $\frac{\sqrt{41}}{2}$ et $-\frac{\sqrt{41}}{2}.$

Comme $y=X+\frac{1}{2}$, c’est que $X = -\frac{1}{2}+y$, donc $X$ peut prendre deux valeurs : $\frac{-1+\sqrt{41}}{2}$ et $\frac{-1-\sqrt{41}}{2}.$

Comme $X=2x$ c’est que $x=\frac{X}{2}$, vous déduisez de cette analyse que l’équation $2x^2+x-5 = 0$ admet exactement deux solutions qui sont :

\frac{-1+\sqrt{41}}{4}\text{ et }\frac{-1-\sqrt{41}}{4}.

Prolongement

En utilisant la démarche exposée dans cet article, pourriez-vous résoudre l’équation $3x^2+5x-2 = 0$ l’inconnue $x$ appartenant à l’ensemble des nombres réels ?

259. Résolvez algébriquement une équation du troisième degré (2/2)

Soit à résoudre dans $\R$ l’équation suivante : $x^3+x^2+x+2 = 0.$

Vous effectuez d’abord une analyse, en supposant qu’il existe un réel $x$ fixé dans toute la suite, tel que :

x^3+x^2+x+2 = 0.

Pour abaisser le degré de cette équation, une idée consiste à poser :

y=x^2+ax+b

où $a$ et $b$ seront deux nombres bien choisis. Cette idée est attribuée à Tschirnhaus.

La difficulté est qu’à ce stade, il est pas permis de choisir $a$ et $b$ au hasard, sous peine de retomber sur une équation de degré $3$ en $y$, qui soit plus difficile à résoudre que celle en $x$.

Pour voir le détail de ce qui peut se passer, vous pouvez aller lire le contenu écrit dans l'article 258.

Abaissez le degré $3$ en degré $2$ en $x$

Comme $y=x^2+ax+b$, en multipliant par $x$, il vient :

\begin{align*}
xy&=x^3+ax^2+bx \\
xy-ax^2-bx&=x^3.
\end{align*}

Comme :

x^3 = -x^2-x-2

vous obtenez :

\begin{align*}
xy-ax^2-bx&=-x^2-x-2 \\
xy-bx+x+2&=ax^2-x^2 \\
xy+(1-b)x+2&=(a-1)x^2.
\end{align*}

Abaissez le degré $2$ en degré $1$ en $x$

Comme :

x^2 = y-ax-b

vous obtenez :

\begin{align*}
xy+(1-b)x+2&=(a-1)x^2 \\
xy+(1-b)x+2&=(a-1)(y-ax-b) \\
xy+(1-b)x+2&=(a-1)y+(a-a^2)x-ab+b \\
(1-b+y)x+2&=(a-1)y+(a-a^2)x-ab+b \\
(1-b+y)x&=(a-1)y+(a-a^2)x-ab+b-2 \\
(a^2-a-b+1+y)x&=(a-1)y-ab+b-2.
\end{align*}

Déduisez-en une équation de degré $3$ satisfaite par $y$

Partez de la relation $y=x^2+ax+b$ en multipliez le tout par $a^2-a-b+1+y$ de façon à diminuer le degré de $x$ :

\begin{align*}
(a^2-a-b+1+y)y&=(a^2-a-b+1+y)x^2+a(a^2-a-b+1+y)x+b(a^2-a-b+1+y) \\
y^2+(a^2-a-b+1)y&=\left[(a^2-a-b+1+y)x\right]x+a\left[(a-1)y-ab+b-2\right]+a^2b-ab-b^2+b+by\\
y^2+(a^2-a-2b+1)y&=\left[(a^2-a-b+1+y)x\right]x+a\left[(a-1)y-ab+b-2\right]+a^2b-ab-b^2+b\\
y^2+(a^2-a-2b+1)y&=\left[(a^2-a-b+1+y)x\right]x+(a^2-a)y-a^2b+ab-2a+a^2b-ab-b^2+b\\
y^2+(a^2-a-2b+1)y&=\left[(a^2-a-b+1+y)x\right]x+(a^2-a)y-2a-b^2+b\\
y^2+(1-2b)y&=\left[(a^2-a-b+1+y)x\right]x-2a-b^2+b\\
y^2+(1-2b)y&=((a-1)y-ab+b-2)x-2a-b^2+b.
\end{align*}

Vous multipliez à nouveau cette ligne par $a^2-a-b+1+y$ de façon à éliminer $x$ définitivement :

\begin{align*}
(a^2-a-b+1+y)\left[y^2+(1-2b)y\right]&=((a-1)y-ab+b-2)\left[(a^2-a-b+1+y)x\right]\\&\quad+(a^2-a-b+1+y)(-2a-b^2+b) \\
(a^2-a-b+1+y)\left[y^2+(1-2b)y\right]&=((a-1)y-ab+b-2)((a-1)y-ab+b-2)\\&\quad+(a^2-a-b+1)(-2a-b^2+b) + (-2a-b^2+b)y\\
(a^2-a-b+1)y^2+(1-2b)(a^2-a-b+1)y+y^3+(1-2b)y^2&=((a-1)y-ab+b-2)^2\\&\quad+(a^2-a-b+1)(-2a-b^2+b) + (-2a-b^2+b)y\\
y^3+(a^2-a-3b+2)y^2+(1-2b)(a^2-a-b+1)y&=(a^2-2a+1)y^2+2(a-1)(-ab+b-2)y+(-ab+b-2)^2\\&\quad+(a^2-a-b+1)(-2a-b^2+b) + (-2a-b^2+b)y\\
y^3+(1+a-3b)y^2+(1-2b)(a^2-a-b+1)y&=2(a-1)(-ab+b-2)y+(-ab+b-2)^2\\&\quad+(a^2-a-b+1)(-2a-b^2+b) + (-2a-b^2+b)y\\
y^3+(1+a-3b)y^2+(a^2-a-b+1-2a^2b+2ab+2b^2-2b)y&=2(a-1)(-ab+b-2)y+(-ab+b-2)^2\\&\quad+(a^2-a-b+1)(-2a-b^2+b) + (-2a-b^2+b)y\\
y^3+(1+a-3b)y^2+(a^2+2b^2-a-3b+1-2a^2b+2ab)y&=2(a-1)(-ab+b-2)y+(-ab+b-2)^2\\&\quad+(a^2-a-b+1)(-2a-b^2+b) + (-2a-b^2+b)y\\
y^3+(1+a-3b)y^2+(a^2+2b^2-a-3b+1-2a^2b+2ab)y&=2(-a^2b+ab-2a+ab-b+2)y+(-ab+b-2)^2\\&\quad+(a^2-a-b+1)(-2a-b^2+b) + (-2a-b^2+b)y\\
y^3+(1+a-3b)y^2+(a^2+2b^2-a-3b+1-2a^2b+2ab)y&=(4ab-4a-2b+4-2a^2b)y+(-ab+b-2)^2\\&\quad+(a^2-a-b+1)(-2a-b^2+b) + (-2a-b^2+b)y\\
y^3+(1+a-3b)y^2+(a^2+2b^2+3a-b-3-2ab)y&=(-ab+b-2)^2\\&\quad+(a^2-a-b+1)(-2a-b^2+b) + (-2a-b^2+b)y\\
y^3+(1+a-3b)y^2+(a^2+3b^2+5a-2b-3-2ab)y&=(-ab+b-2)^2+(a^2-a-b+1)(-2a-b^2+b).
\end{align*}

Ainsi, le nombre $y$ est solution de l’équation :

\boxed{y^3+(1+a-3b)y^2+(a^2+3b^2+5a-2b-3-2ab)y+(a^2-a-b+1)(2a+b^2-b) -(b-2-ab)^2= 0.}

Choisissez les nombres $a$ et $b$

Vous souhaitez avoir simultanément :

\begin{align*}
1+a-3b &= 0\\
a^2+3b^2+5a-2b-3-2ab &=0.
\end{align*}

La première équation fournit $a = 3b-1$ que vous utilisez dans la seconde :

\begin{align*}
(3b-1)^2+3b^2+5(3b-1)-2b-3-2(3b-1)b &=0\\
9b^2-6b+1+3b^2+15b-5-2b-3-6b^2+2b &=0\\
6b^2+9b-7 &=0.
\end{align*}

Choisissez pour $b$ une des deux solutions réelles de l’équation $6b^2+9b-7=0$. Par exemple vous prenez :

\boxed{b=\frac{-9+\sqrt{249}}{12}.}

Alors $6b^2+9b-7$ est nul, donc $(3b-1)^2+3b^2+5(3b-1)-2b-3-2(3b-1)b$ est nul. Vous posez maintenant $a=3b-1$ soit :

\boxed{a=\frac{-13+\sqrt{249}}{4}.}

Alors $1+a-3b=0$ et $a^2+3b^2+5a-2b-3-2ab=0.$

Ainsi, si $x$ est une solution réelle de l’équation $x^3+x^2+x+2 = 0$ en posant $y=x^2+ax+b$ où $a$ et $b$ sont les deux réels choisis ci-dessus, il vient :

y^3 = (b-2-ab)^2+(a^2-a-b+1)(b-2a-b^2).

Comme $y$ est réel, il vient nécessairement :

y = \sqrt[3]{(b-2-ab)^2+(a^2-a-b+1)(b-2a-b^2)}.

Déterminez la valeur explicite de $y$

\begin{align*}
a b &= \frac{366-22\sqrt{249}}{48} = \frac{183-11\sqrt{249}}{24}\\
b-2 &= \frac{-33+\sqrt{249}}{12} = \frac{-66+2\sqrt{249}}{24}\\
b-2-ab &= \frac{-249+13\sqrt{249}}{24}\\
(b-2-ab)^2 &= \frac{83(209-13\sqrt{249})}{96}\\
a^2-a-b+1 &=\frac{747-47\sqrt{249}}{24}\\
b-2a-b^2 &=\frac{83-4\sqrt{249}}{24}\\
(a^2-a-b+1)(b-2a-b^2) &=\frac{83(867-55\sqrt{249})}{288}\\
(b-2-ab)^2 + (a^2-a-b+1)(b-2a-b^2) &= \frac{83(747-47\sqrt{249})}{144}.
\end{align*}

Ainsi : :

\boxed{y=\sqrt[3]{\frac{83(747-47\sqrt{249})}{144}}.}

Le nombre $y$ est donc strictement positif et numériquement, $y\approx 1,45576.$

Déterminez la valeur explicite de $x$ avec des radicaux

Il a été vu plus haut que $a^2-a-b+1 = \frac{747-47\sqrt{249}}{24}.$ Ainsi, $a^2-a-b+1$ est strictement positif.

Si le nombre $a^2-a-b+1+y$ était nul, alors les nombres $a^2-a-b+1$ et $y$ seraient opposés. Or ils sont tous les deux strictement positifs, ce qui est absurde. Ainsi, $a^2-a-b+1+y$ est non nul.

Au début de cet article, il a été vu que $(a^2-a-b+1+y)x=(a-1)y-ab+b-2$ et vous déduisez $x=\frac{(a-1)y-ab+b-2}{a^2-a-b+1+y}.$

Ainsi :

x=\frac{\frac{-17+\sqrt{249}}{4} \times \sqrt[3]{\frac{83(747-47\sqrt{249})}{144}} + \frac{-249+13\sqrt{249}}{24} }{\frac{747-47\sqrt{249}}{24} +\sqrt[3]{\frac{83(747-47\sqrt{249})}{144}}}.

Concluez

L’analyse effectuée montre que, dans $\R$, l’équation $x^3+x^2+x+2 = 0$ admet au plus une solution.

D’autre part, la fonction polynomiale réelle $x\mapsto x^3+x^2+x+2$ prend la valeur $2$ quand $x=0.$ D’autre part, elle prend la valeur $-4$ quand $x=-2.$ Cette fonction étant continue sur $[-2,0]$ le théorème des valeurs intermédiaires permet d’affirmer qu’elle prend la valeur $0$ au moins une fois sur cet intervalle.

Du coup, l’équation $x^3+x^2+x+2 = 0$ admet exactement une seule solution réelle qui est donnée par :

\boxed{x=\frac{\frac{-17+\sqrt{249}}{4} \times \sqrt[3]{\frac{83(747-47\sqrt{249})}{144}} + \frac{-249+13\sqrt{249}}{24} }{\frac{747-47\sqrt{249}}{24} +\sqrt[3]{\frac{83(747-47\sqrt{249})}{144}}}.}

Numériquement, $x\approx -1,35321.$

Note. Bien que très calculatoire, cette méthode diffère de celle de Cardan. Son avantage est qu’elle permet de trouver toutes les solutions, y compris complexes de l’équation de degré $3$ en $x$. En effet, l’équation $y^3 = (b-2-ab)^2+(a^2-a-b+1)(b-2a-b^2)$ admet trois solutions distinctes dans $\C$ qui permettent de trouver les trois valeurs de $x$ dans $\C.$
Avec la méthode de Cardan, on construit une seule solution de l’équation du troisième degré en $x$, puis on factorise le polynôme comme produit de deux polynômes, l’un de degré $1$ et l’autre de degré $2.$