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

074. A propos d’un algorithme sur le PPCM

Avec deux suites

Dans l’intégralité de cet article, $a$ et $b$ désignent deux entiers strictement positifs.

Pour déterminer leur PPCM, deux suites $(u_n)_{n\in\N}$ et $(v_n)_{n\in\N}$ sont définies par récurrence :

\left\{\begin{array}{l} 
u_0 = 0,\\
v_0 = 0.
\end{array}\right.
\forall n\in\N, u_{n+1} = 
\left\{\begin{array}{ll} 
u_n & \text{ si }u_n> v_n\\
 u_n+a& \text{ si } u_n \leq v_n
\end{array}\right.
\forall n\in\N, v_{n+1} = 
\left\{\begin{array}{ll} 
v_n+b & \text{ si }u_n > v_n\\
 v_n& \text{ si } u_n \leq v_n.
\end{array}\right.

L’objectif de cet article est d’étudier le comportement de ces deux suites. Vous verrez qu’elles sont à nouveau égales après leur valeur de départ commune. De plus, quand cela se produit pour la première fois, leurs valeurs sont égales au PPCM des entiers $a$ et $b$.

Croissance des deux suites

Ce résultat est très important. Pour le voir, fixez un entier $n\in\N$.

$u_{n+1}-u_n \in \{0,a\}$ donc $u_{n+1}\geq u_n$.
De même $v_{n+1}-v_n \in \{0,b\}$ donc $v_{n+1}\geq v_n$.

Vous avez montré que les suites $(u_n)_{n\in\N}$ et $(v_n)_{n\in\N}$ sont croissantes.

Un exemple

Prenez $a=15$ et $b=18$.

Vous obtenez successivement :

\begin{array}{|c | c| c |}
\hline
u_n& v_n & n\\
\hline
0 & 0 & 0\\
15 & 18 & 1\\
30 & 18 & 2\\
30 & 36 & 3\\
45 & 36 & 4\\
45 & 54 & 5\\
60 & 54 & 6\\
60 & 72 & 7\\
75 & 72 & 8\\
75 & 90 & 9\\
90 & 90 & 10\\
105 & 90 & 11\\
105 & 108 & 12\\ 
\hline
\end{array}

Vous observez que le premier rang $n\geq 1$ qui vérifie $u_n=v_n$ vous fournit $90$ qui est le PPCM de $15$ et de $18$.

Certaines personnes sont étonnées de constater qu’un tel rang existe. La question est légitime : pourquoi, après avoir démarré de $0$, les deux suites finissent par être de nouveau égales ? Et pourquoi sur le PPCM ?

Pour prouver ce résultat, vous avez besoin d’en savoir un peu plus.

La plus petite des deux suites finit par augmenter de façon arithmétique jusqu’à dépasser l’autre suite qui reste stationnaire.

Cela vous amène à étudier deux situations.

Les deux comportements

Comportement 1 : si $p$ est un rang tel que $u_p\leq v_p\dots$ qu’advient-il ?

La situation s’inverse, il existe un rang $q>p$ de sorte que les suites se comportent comme suit :

  • la suite $(u_n)_{p\leq n\leq q }$ est arithmétique de raison $a$,
  • la suite $(v_n)_{p\leq n\leq q}$ est stationnaire,
  • $\forall n\in\N, p\leq n\leq q-1 \Longrightarrow u_n\leq v_n$,
  • $u_q>v_q$.

Soit $p\in\N$ tel que $u_p\leq v_p.$

D’après les définitions des deux suites, $u_{p+1} = u_p+a$ et $v_{p+1}=v_p.$

Notez $A$ la partie de $\N$ égale à l’ensemble des entiers naturels $r$ tels que :

  • $r\geq p+1$,
  • la suite $(u_n)_{p\leq n\leq r }$ est arithmétique de raison $a$,
  • la suite $(v_n)_{p\leq n\leq r}$ est stationnaire,
  • $\forall n\in\N, p\leq n\leq r-1 \Longrightarrow u_n\leq v_n.$

Constatez que $p+1\in A$ donc $A\neq \emptyset.$

Supposez que $A$ n’est pas majorée.

Alors la suite $(u_n)_{p\leq n}$ est arithmétique de raison $a$ et la suite $(v_n)_{p\leq n}$ est stationnaire. D’autre part :

\begin{array}{l}
\forall r\in\N, r\geq p \Longrightarrow u_r\leq v_r\\
\forall r\in\N, r\geq p \Longrightarrow u_p + (r-p)a \leq v_p\\
\forall r\in\N, r\geq p \Longrightarrow r\leq p + \dfrac{v_p-u_p}{a}.
\end{array}

Mais il existe un entier supérieur à $p + 1 + \dfrac{v_p-u_p}{a}.$ Contradiction.

Par l’absurde, vous venez de montrer que $A$ est majorée.

La partie $A$ est incluse dans $\N$, elle est non vide et majorée.
Notez $q$ son plus grand élément. Vous savez que $q\in A$ :

  • $q\geq p+1$,
  • la suite $(u_n)_{p\leq n\leq q }$ est arithmétique de raison $a$,
  • la suite $(v_n)_{p\leq n\leq q}$ est stationnaire,
  • $\forall n\in\N, p\leq n\leq q-1 \Longrightarrow u_n\leq v_n.$

Supposez que $u_q \leq v_q$.

Alors $u_{q+1}=u_q + a$ donc la suite $(u_n)_{p\leq n\leq q+1}$ est arithmétique de raison $a$.

$v_{q+1}=v_q$ donc la suite $(v_n)_{p\leq n \leq q+1}$ est stationnaire.

D’autre part, $\forall n\in\N, p\leq n\leq q \Longrightarrow u_n\leq v_n$.

Donc $q+1\in A$. Contradiction, $q$ étant le plus grand élément de $A$.

Par l’absurde, vous venez de justifier que $u_q>v_q.$

Cela achève la démonstration.

Comportement 2 : si $p$ est un rang tel que $u_p> v_p\dots$ qu’advient-il ?

La situation s’inverse à nouveau, il existe un rang $q>p$ de sorte que les suites se comportent comme suit :

  • la suite $(u_n)_{p\leq n\leq q }$ est stationnaire,
  • la suite $(v_n)_{p\leq n\leq q}$ est arithmétique de raison $b$,
  • $\forall n\in\N, p\leq n\leq q-1 \Longrightarrow u_n > v_n$,
  • $u_q\leq v_q$.

Soit $p\in\N$ tel que $u_p> v_p.$

D’après les définitions des deux suites, $u_{p+1} = u_p$ et $v_{p+1}=v_p+b.$

Notez $A$ la partie de $\N$ égale à l’ensemble des entiers naturels $r$ tels que :

  • $r\geq p+1$,
  • la suite $(u_n)_{p\leq n\leq r }$ est stationnaire,
  • la suite $(v_n)_{p\leq n\leq r}$ est arithmétique de raison $b$,
  • $\forall n\in\N, p\leq n\leq r-1 \Longrightarrow u_n > v_n.$

Constatez que $p+1\in A$ donc $A\neq \emptyset.$

Supposez que $A$ n’est pas majorée.

Alors la suite $(u_n)_{p\leq n}$ est stationnaire et la suite $(v_n)_{p\leq n}$ est arithmétique de raison $b$. D’autre part :

\begin{array}{l}
\forall r\in\N, r\geq p \Longrightarrow u_r> v_r\\
\forall r\in\N, r\geq p \Longrightarrow u_p > v_p + (r-p)b\\
\forall r\in\N, r\geq p \Longrightarrow \dfrac{u_p-v_p}{b}+p>r.
\end{array}

Mais il existe un entier supérieur à $p + 1 + \dfrac{u_p-v_p}{b}.$ Contradiction.

Par l’absurde, vous venez de montrer que $A$ est majorée.

La partie $A$ est incluse dans $\N$, elle est non vide et majorée.
Notez $q$ son plus grand élément. Vous savez que $q\in A$ :

  • $q\geq p+1$,
  • la suite $(u_n)_{p\leq n\leq q }$ est stationnaire,
  • la suite $(v_n)_{p\leq n\leq q}$ est arithmétique de raison $b$,
  • $\forall n\in\N, p\leq n\leq q-1 \Longrightarrow u_n> v_n.$

Supposez que $u_q > v_q$.

Alors $u_{q+1}=u_q$ donc la suite $(u_n)_{p\leq n\leq q+1}$ est stationnaire.

$v_{q+1}=v_q+b$ donc la suite $(v_n)_{p\leq n \leq q+1}$ est arithmétique de raison $b$.

D’autre part, $\forall n\in\N, p\leq n\leq q \Longrightarrow u_n> v_n$.

Donc $q+1\in A$. Contradiction, $q$ étant le plus grand élément de $A$.

Par l’absurde, vous venez de justifier que $u_q\leq v_q.$

Cela achève la démonstration.

Etude des multiples de $a$ et de $b$ atteints par les suites

La suite $(u_n)$ est « tantôt stationnaire », sur une certaine plage de rangs, « tantôt arithmétique » de raison $a$, il vous semble « logique » que tous les multiples de $a$ soient atteints par cette suite. Et effectivement, c’est bien le cas. Passez à la démonstration de ce résultat.

Vous allez montrer que $\forall k\in\N, \exists n\in\N, ka =u_n.$

Pour tout $k\in\N$, notez $P(k)$ la propriété : « $\exists n\in\N, ka=u_n $ ».

Initialisation : pour $k=0$, $ka = 0\times a = 0.$ Or $u_0 = 0$ donc $0\times a=u_0$ et $P(0)$ est vérifiée.

Hérédité : soit $k\in\N$, supposez $P(k)$.

Il existe $n\in\N$ tel que $ka = u_n$.

Si $u_n\leq v_n$, alors $u_{n+1} = u_n+a = ka +a= (k+1)a$ et $P(k+1)$ est vérifiée.

Sinon, $u_n > v_n$. D’après le comportement 2, il existe un rang $m>n$ de sorte que :

  • la suite $(u_i)_{n\leq i\leq m }$ est stationnaire,
  • $u_m\leq v_m$.

Comme $u_m \leq v_m$, vous obtenez $u_{m+1} = u_{m} + a = u_n +a = ka+a = (k+1)a$ et $P(k+1)$ est encore vérifiée.

Cela finit la démonstration.

La suite $(v_n)$ possède un comportement similaire. Elle est « tantôt stationnaire », sur une certaine plage de rangs, « tantôt arithmétique » de raison $b$, il vous semble aussi « logique » que tous les multiples de $b$ soient atteints par cette suite. Et effectivement, c’est bien le cas. Passez à la démonstration de ce résultat.

Vous allez montrer que $\forall k\in\N, \exists n\in\N, kb =v_n.$

Pour tout $k\in\N$, notez $P(k)$ la propriété : « $\exists n\in\N, kb=v_n $ ».

Initialisation : pour $k=0$, $kb = 0\times b = 0.$ Or $v_0 = 0$ donc $0\times b=v_0$ et $P(0)$ est vérifiée.

Hérédité : soit $k\in\N$, supposez $P(k)$.

Il existe $n\in\N$ tel que $kb = v_n$.

Si $u_n> v_n$, alors $v_{n+1} = v_n+b = kb+b = (k+1)b$ et $P(k+1)$ est vérifiée.

Sinon, $u_n \leq v_n$. D’après le comportement 1, il existe un rang $m>n$ de sorte que :

  • la suite $(v_i)_{n\leq i\leq m }$ est stationnaire,
  • $u_m> v_m$.

Comme $u_m > v_m$, vous obtenez $v_{m+1} = v_{m} + b = v_n +b = kb+b = (k+1)b$ et $P(k+1)$ est encore vérifiée.

Cela finit la démonstration.

Le PPCM est atteint par les deux suites au même moment

Notez $\delta$ le PPCM des entiers $a$ et $b$. $\delta$ étant un multiple de $a$ et de $b$, il existe $(n,m)\in\N^2$, $\delta = u_n = v_m$.

Vous allez montrer que l’ensemble $\{i\in\N, \delta = u_i=v_i\}$ est non vide.

Cas 1 : $m\leq n$

Par croissance de la suite $(u_i)_{i\in\N}$, $u_m\leq u_n$, donc $u_m \leq v_m$.

D’après le comportement 1, il existe un rang $p>m$ de sorte que :

  • la suite $(u_i)_{m\leq i\leq p }$ est arithmétique de raison $a$,
  • la suite $(v_i)_{m\leq i\leq p}$ est stationnaire avec $\delta$ pour valeur,
  • $\forall n\in\N, m\leq i\leq p-1 \Longrightarrow u_i\leq v_i \leq \delta$,
  • $u_p>v_p\geq v_m\geq \delta$.

Si vous aviez $n\geq p$, par croissance de la suite $(u_i)_{i\in\N}$, $\delta \geq u_n\geq u_p>\delta$, contradiction.

Donc $m\leq n \leq p-1.$ Aussitôt : $\delta\leq u_n \leq v_n \leq \delta.$ Donc $\delta = v_n = u_n$.

Cas 2 : $n\leq m$

Par croissance de la suite $(v_i)_{i\in\N}$, $v_n\leq v_m \leq \delta \leq u_n$, donc $u_n \geq v_n$. Si $u_n=v_n$, alors $\delta = u_n=v_n$ et c’est terminé.

Supposez $u_n>v_n$.

D’après le comportement 2, il existe un rang $p>n$ de sorte que :

  • la suite $(u_i)_{n\leq i\leq p }$ est stationnaire de valeur $\delta$,
  • la suite $(v_i)_{n\leq i\leq p}$ est arithmétique de raison $b$,
  • $\forall i\in\N, n\leq i\leq p-1 \Longrightarrow \delta \geq u_i > v_i$,
  • $\delta \leq u_n \leq u_p\leq v_p$.

Si vous aviez $m\leq p-1$ alors $n\leq m \leq p-1$ et donc $\delta > v_m \geq \delta$, contradiction.

Donc $m\geq p$, donc $\delta \leq u_n \leq u_p \leq v_p \leq v_m \leq \delta$ aussitôt $\delta = v_p = u_p.$

Le plus petit rang non nul pour lequel les suites sont égales correspond au PPCM

D’après ce qui précède, il existe $n\in\N$, $\delta = u_n = v_n$. Or, $\delta\neq 0$, donc $n\neq 0$. L’ensemble $\{i\in\NN, u_i=v_i\}$ est une partie non vide de $\N$. Notez $s$ son minimum.

Vous voulez comprendre pourquoi $u_s = v_s = \delta$…

Premièrement, vous savez d’après ce qui précède qu’il existe un entier $p\in\N$ tel que $\delta = u_p = v_p.$ Par minimalité de $s$, vous avez $s\leq p$ et par croissance des suites $u$ et $v$ : $u_s\leq u_p \leq \delta$ et $ v_s \leq v_p \leq \delta$.

Ensuite, $u_s$ est un terme de la suite $(u_n)$ donc c’est un multiple de $a$, de même pour $v_s$ qui est un terme de la suite $(v_n)$ qui est un multiple de $b$. Comme $u_s = v_s$ vous en déduisez que $u_s$ est un multiple de $a$ et de $b$. Par définition du PPCM, $\delta \leq u_s$ et $\delta \leq v_s$.

Aussitôt $\delta \leq u_s\leq u_p \leq \delta$ et $\delta \leq v_s \leq v_p \leq \delta$ ce qui fournit le résultat.

073. Divergence de la série harmonique

Pour tout $n\in\N^{*}$ considérez la suite définie par $u_n=\displaystyle\sum_{k=1}^{n}\dfrac{1}{k}$.

Cette suite est à termes positifs et $\forall n\in\N^{*}, u_{n+1}-u_n = \dfrac{1}{n+1}$ est positif.

La suite $(u_n)_{n\geq 1}$ est croissante. Soit elle converge vers un réel, soit elle diverge vers $+\infty$.

Raisonnez par l’absurde

Supposez qu’il existe un nombre réel $\ell$ tel que $\displaystyle\lim_{n\to +\infty} u_n = \ell $.
Vous voulez arriver à une impossibilité.

Définissez des notations utiles

Notez $2\N$ l’ensemble des entiers naturels pairs et $2\N+1$ l’ensemble des entiers naturels impairs.

Pour tout réel $x$, notez $[x]$ le plus grand entier inférieur ou égal à $x$, appelé aussi partie entière de $x$.

Séparez les termes pairs des termes impairs

Soit $n$ un entier naturel supérieur ou égal à $3$.

\begin{aligned}
u_{n} &= \sum_{k=1}^{n} \dfrac{1}{k} \\
&= \sum_{k\in[1,n]\cap 2\N} \dfrac{1}{k} + \sum_{k\in[1,n]\cap (2\N+1)} \dfrac{1}{k} \\
&= \sum_{p=1}^{\left[\frac{n}{2}\right]} \dfrac{1}{2p}+ \sum_{p=0}^{\left[\frac{n-1}{2}\right]} \dfrac{1}{2p+1} \\
&=\dfrac{1}{2} \sum_{p=1}^{\left[\frac{n}{2}\right]} \dfrac{1}{p}+ \sum_{p=0}^{\left[\frac{n-1}{2}\right]} \dfrac{1}{2p+1} \\
\end{aligned}

Aussitôt : $\displaystyle\sum_{p=0}^{\left[\frac{n-1}{2}\right]} \dfrac{1}{2p+1} = u_n – \dfrac{1}{2} u_{\left[\frac{n}{2}\right]}.$

Effectuez une soustraction à partir de la relation précédente

Soit $n$ un entier naturel supérieur ou égal à $3$.

Vous allez effectuer une soustraction en majorant le dénominateur $2p+1$ par $2p+2$. Vous faites apparaître une nouvelle somme grâce à la relation :$ \forall p\in\N, \dfrac{1}{2p+1} – \dfrac{1}{2p+2} = \dfrac{1}{(2p+1)(2p+2)}. $

\begin{aligned}
\displaystyle\sum_{p=0}^{\left[\frac{n-1}{2}\right]} \dfrac{1}{2p+1} -\sum_{p=0}^{\left[\frac{n-1}{2}\right]} \dfrac{1}{2p+2} &= u_n – \dfrac{1}{2} u_{\left[\frac{n}{2}\right]}-\sum_{p=0}^{\left[\frac{n-1}{2}\right]} \dfrac{1}{2p+2}\\
&= u_n – \dfrac{1}{2} u_{\left[\frac{n}{2}\right]}-\dfrac{1}{2}\sum_{p=0}^{\left[\frac{n-1}{2}\right]} \dfrac{1}{p+1}\\
&= u_n – \dfrac{1}{2} u_{\left[\frac{n}{2}\right]}-\dfrac{1}{2}\sum_{p=1}^{\left[\frac{n-1}{2}\right]+1} \dfrac{1}{p}\\
&= u_n – \dfrac{1}{2} u_{\left[\frac{n}{2}\right]}-\dfrac{1}{2}\sum_{p=1}^{\left[\frac{n+1}{2}\right]} \dfrac{1}{p}\\
&= u_n – \dfrac{1}{2} u_{\left[\frac{n}{2}\right]}-\dfrac{1}{2}u_{\left[\frac{n+1}{2}\right]}.\\
\end{aligned}

Aussitôt : $\displaystyle\sum_{p=0}^{\left[\frac{n-1}{2}\right]} \dfrac{1}{(2p+1)(2p+2)}= u_n – \dfrac{1}{2} u_{\left[\frac{n}{2}\right]}-\dfrac{1}{2}u_{\left[\frac{n+1}{2}\right]}.$

Vous avez dans le terme de gauche une somme de termes strictement positifs. Vous la minorez par son premier terme lorsque $p=0$ :

$\forall n\geq 3, \dfrac{1}{2}\leq u_n – \dfrac{1}{2} u_{\left[\frac{n}{2}\right]}-\dfrac{1}{2}u_{\left[\frac{n+1}{2}\right]}.$

Passez à la limite

Pour tout entier naturel $n$, $\left[\frac{n+1}{2}\right] > \frac{n+1}{2} -1$ et $\left[\frac{n}{2}\right] > \frac{n}{2} -1$.

Aussitôt, quand $n\to +\infty$, $\left[\frac{n+1}{2}\right]\to +\infty$ et $\left[\frac{n}{2}\right]\to +\infty.$

Et l’impossibilité apparaît

Par passage à la limite dans la relation : $\forall n\geq 3, \dfrac{1}{2}\leq u_n – \dfrac{1}{2} u_{\left[\frac{n}{2}\right]}-\dfrac{1}{2}u_{\left[\frac{n+1}{2}\right]}$

vous en déduisez que :
\begin{aligned}
\dfrac{1}{2}&\leq \ell – \dfrac{1}{2}\ell – \dfrac{1}{2}\ell\\
\dfrac{1}{2}&\leq 0.
\end{aligned}

Contradiction.

Conclusion

La série harmonique diverge vers $+\infty$.

$\lim_{n\to+\infty}\sum_{k=1}^{n}\dfrac{1}{k} = +\infty.$

071. Comment simplifier une expression ? (2/2)

Soit $\alpha$ un réel vérifiant la relation $\boxed{4\alpha^3 = 3\alpha+8}$. Vous souhaitez simplifier la fraction suivante : $\dfrac{\alpha^3+1}{4\alpha^2-1}.$

Les coefficients de Bézout

Vous allez chercher deux polynômes $P$ et $Q$ tels que $P(X)(4X^3-3X-8)+Q(X)(4X^2-1)=1$.

Pourquoi ? Si vous y parvenez, en remplaçant l’indéterminée $X$ par $\alpha$, vous obtiendrez $P(\alpha)(4\alpha^3-3\alpha-8)+Q(\alpha)(4\alpha^2-1)=1$. Comme $4\alpha^3-3\alpha-8=0$, vous aurez l’égalité $\dfrac{1}{4\alpha^2-1} = Q(\alpha)$.

Pour la suite, posez $A(X)=4X^3-3X-8$ et $B(X)=4X^2-1.$

Commencez par les relations fondamentales.

\begin{aligned}
1A(X)+0B(X) &= 4X^3-3X-8 \\
0A(X)+1B(X) &=4X^2-1.
\end{aligned}

Effectuez l’opération élémentaire $L_2 \leftrightarrow L_1$ suivi de $L_2 \leftarrow L_2-XL_1.$

\begin{aligned}
0A(X)+1B(X) &= 4X^2-1 \\
1A(X)-XB(X) &=-2X-8.
\end{aligned}

Effectuez l’opération élémentaire $L_2 \leftrightarrow L_1$ suivi de $L_2 \leftarrow L_2+2XL_1.$

\begin{aligned}
1A(X)-XB(X) &=-2X-8\\
2XA(X)+(-2X^2+1)B(X) &=-16X-1 \\
\end{aligned}

Effectuez la combinaison $ -8L_1+L_2$ qui élimine $X$ dans le membre de droite, pour obtenir $(2X-8)A(X)+(-2X^2+8X+1)B(X)=63.$

Cela vous donne : $\dfrac{63}{4\alpha^2-1} = -2\alpha^2+8\alpha+1.$

Ainsi : $\dfrac{63(\alpha^3+1)}{4\alpha^2-1} = (\alpha^3+1)(-2\alpha^2+8\alpha+1).$

Dernière partie, la simplification cherchée

Pour utiliser l’expression $4\alpha^3=3\alpha+8$, vous multipliez par $4$ :

\begin{align*}
\dfrac{4\times 63(\alpha^3+1)}{4\alpha^2-1} &= (4\alpha^3+4)(-2\alpha^2+8\alpha+1) \\
&=(3\alpha+12)(-2\alpha^2+8\alpha+1)\\
&=-6\alpha^3+24\alpha^2+3\alpha-24\alpha^2+96\alpha+12\\
&=-6\alpha^3+99\alpha+12.
\end{align*}

Vous divisez par $3$ :
$\dfrac{4\times 21(\alpha^3+1)}{4\alpha^2-1} =-2\alpha^3+33\alpha+4.$

Vous multipliez par $2$ :
\begin{aligned}
\dfrac{8\times 21(\alpha^3+1)}{4\alpha^2-1} &=-4\alpha^3+66\alpha+8\\
&= -3\alpha-8+66\alpha+8\\
&=63\alpha.
\end{aligned}

Vous divisez par $21$ :
$\dfrac{8(\alpha^3+1)}{4\alpha^2-1} =3\alpha$

et finalement vous retrouvez : $\boxed{\dfrac{\alpha^3+1}{4\alpha^2-1} =\dfrac{3\alpha}{8}}.$

070. Comment simplifier une expression ? (1/2)

Ce qui motive cet article, c’est la simplification de la fraction $f(\alpha)=\dfrac{\alpha^3+1}{4\alpha^2-1}$, sachant que $\alpha$ est un réel vérifiant la relation $4\alpha^3=3\alpha + 8.$

Le plan d’action

Il faut faire disparaître le dénominateur présent dans $f(\alpha)$, ce qui motive le choix de poser $\beta = 4\alpha^2-1$.

Vous allez calculer les puissances successives de $\beta$.

Elles s’expriment toutes en fonction de $\alpha$ et de $\alpha^2.$

Vous utilisez l’élimination exactement comme si vous résolvez un système linéaire d’équations. De là, vous éliminez tous les $\alpha$ et $\alpha^2$.

Vous en tirez une expression avec des puissances successives de $\beta$ uniquement.

Vous pouvez exprimer $\dfrac{1}{\beta}$ en fonction de $\alpha$ et $\alpha^2$ et supprimer le dénominateur de $f(\alpha)…$

Etude des puissances de $\beta$

\begin{aligned}
\beta^2 &= ( 4\alpha^2-1)^2 \\
&=16\alpha^4-8\alpha^2+1\\
&=4\alpha(4\alpha^3)-8\alpha^2+1\\
&=4\alpha(3\alpha + 8)-8\alpha^2+1\\
&=4\alpha^2+32\alpha+1.
\end{aligned}

\begin{aligned}
\beta^3 &= \beta^2( 4\alpha^2-1) \\
&=(4\alpha^2+32\alpha+1)(4\alpha^2-1)\\
&=16\alpha^4-4\alpha^2+32( 4\alpha^3)-32\alpha+4\alpha^2-1\\
&=4\alpha (4\alpha^3)+32 (4\alpha^3)-32\alpha-1\\
&=4\alpha (3\alpha + 8)+32(3\alpha + 8)-32\alpha-1\\
&=12\alpha^2+32\alpha+96\alpha+256-32\alpha-1\\
&=12\alpha^2+96\alpha+255.
\end{aligned}

Elimination de $\alpha$

Le système suivant est obtenu :

\begin{aligned}
1 +0\alpha +0\alpha^2 &=1\\
-1 +0\alpha +4\alpha^2 &=\beta\\
1 +32\alpha +4\alpha^2 &=\beta^2\\
255 +96\alpha +12\alpha^2 &=\beta^3.
\end{aligned}

Vous effectuez des opérations élémentaires.

\begin{aligned}
1 &+0\alpha +0\alpha^2 =1\\
&+0\alpha +4\alpha^2 =1+\beta\\
&+32\alpha +4\alpha^2 =-1+\beta^2\\
&+96\alpha +12\alpha^2 =-255+\beta^3.
\end{aligned}

Une permutation de deux lignes.

\begin{aligned}
1 &+0\alpha +0\alpha^2 =1\\
&+32\alpha +4\alpha^2 =-1+\beta^2\\
&+0\alpha +4\alpha^2 =1+\beta\\
&+96\alpha +12\alpha^2 =-255+\beta^3.
\end{aligned}

Et une opération élémentaire.

\begin{aligned}
1 +0\alpha +0\alpha^2 &=1\\
+32\alpha +4\alpha^2 & =-1+\beta^2\\
+4\alpha^2 &=1+\beta\\
0 &=\beta^3-3\beta^2-252.
\end{aligned}

On en déduit le résultat : $\dfrac{252}{\beta}=\beta^2-3\beta.$

Le calcul de $f(\alpha)$

\begin{aligned}
f(\alpha) &=\dfrac{\alpha^3+1}{\beta}\\
252f(\alpha) &= \dfrac{252}{\beta} (\alpha^3+1) \\
&= (\beta^2-3\beta)(\alpha^3+1)\\
&=(4\alpha^2+32\alpha+1 -12\alpha^2+3)(\alpha^3+1)\\
&=(-8\alpha^2+32\alpha +4)(\alpha^3+1)\\
&=(-2\alpha^2+8\alpha +1)(4\alpha^3+4)\\
&=(-2\alpha^2+8\alpha +1)(3\alpha+12)\\
&=-6\alpha^3-24\alpha^2+24\alpha^2+96\alpha+3\alpha+12\\
&=-6\alpha^3+99\alpha+12.\\
\end{aligned}

On simplifie par 3.

\begin{aligned}
84f(\alpha) &=-2\alpha^3+33\alpha+4\\
168f(\alpha) &=-4\alpha^3+66\alpha+8\\
&=-3\alpha-8+66\alpha+8\\
&=63\alpha\\
\end{aligned}

On simplifie par 7 puis par 3.

\begin{aligned}
168f(\alpha) &=63\alpha\\
24f(\alpha) &=9\alpha\\
8f(\alpha)&=3\alpha
\end{aligned}

et on obtient le résultat $f(\alpha)=\dfrac{3}{8}\alpha.$

068. Comment savoir si un polynôme possède une racine multiple ?

Soit $K$ un sous-corps de $\mathbb{C}.$

Pour tout polynôme $P$ à coefficients dans $K$, vous allez voir que $P$ est à racines simples dans $\mathbb{C}$, si et seulement si, les polynômes $P$ et $P’$ sont premiers entre eux.

Pour démontrer ce résultat, vous aller démontrer l’équivalence suivante, en prenant les contraires : pour tout polynôme $P$ à coefficients dans $K$, $P$ possède au moins une racine multiple dans $\mathbb{C}$, si et seulement si, les polynômes $P$ et $P’$ ne sont pas premiers entre eux.

Implication $\Longrightarrow$

Soit $P$ un polynôme à coefficients dans $K$, possédant au moins une racine multiple. Notez $a\in \mathbb{C}$ une telle racine. Il existe un polynôme $Q\in \mathbb{C}[X]$ tel que $P(X)=(X-a)^2 Q(X)$. Il s’ensuit que $P'(X)=2(X-a)Q(X)+(X-a)^2Q'(X)=(X-a)\left(2Q(X)+(X-a)Q'(X)\right).$

Le polynôme $X-a$ divise les polynômes $P$ et $P’$ qui se sont pas premiers entre eux.

Implication $\Longleftarrow$

Soit $P$ un polynôme à coefficients dans $K$, tel que $P$ et $P’$ ne soient pas premiers entre eux. Il existe un polynôme $Q\in K[X]$ de degré supérieur ou égal à 1, tel que $Q$ divise $P$ et $P’$. Notez que $P’$ est de degré 1 ou plus, donc $P$ est de degré $n\geq 2$. Comme on a aussi $Q\in\mathbb{C}[X]$ vous appliquez le théorème de d’Alembert. Il existe $a\in\mathbb{C}$ tel que $Q(a)=0$. Il en résulte que $P(a)=0$ et que $P'(a)=0$.

La formule de Taylor appliquée au polynôme $P$ permet de conclure.

\begin{aligned}
P(X) &= \sum_{k=0}^n \dfrac{P^{(k)}(a)}{k!}(X-a)^k \\&= \sum_{k=2}^n \dfrac{P^{(k)}(a)}{k!}(X-a)^k \\&= (X-a)^2\sum_{k=0}^{n-2} \dfrac{P^{(k+2)}(a)}{(k+2)!}(X-a)^k.\end{aligned}

Comment savoir si $P$ et $P’$ sont premiers entre eux par le calcul (avec les coefficients de Bezout pour le fun) ?

Considérez le polynôme $P$ défini par :
$P(X)=X^6-6X^5 + 15X^4- 20X^3 + 12X^2-4.$

Dérivez :
$P'(X)=6X^5-30X^4+60X^3-60X^2+24X = 6(X^5-5X^4+10X^3-10X^2+4X).$

Posez $Q(X)=X^5-5X^4+10X^3-10X^2+4X.$

Vous allez déterminer le PGCD des polynômes $P$ et $Q$, avec les coefficients de Bezout avec l’algorithme décrit ci-dessous.

\begin{aligned}
X^6-6X^5 + 15X^4- 20X^3 + 12X^2-4 &= 1 P(X) + 0 Q(X)\\
X^5-5X^4+10X^3-10X^2+4X &= 0P(X) + 1Q(X)
\end{aligned}

Cherchant à diminuer le degré 6 de la première ligne, on effectue l’opération élémentaire $L_1 \leftarrow L_1-XL_2.$

\begin{aligned}
-X^5 + 5X^4- 10X^3 + 8X^2-4 &= 1 P(X) -X Q(X)\\
X^5-5X^4+10X^3-10X^2+4X &= 0P(X) + 1Q(X)
\end{aligned}

On continue en éliminant le degré 5 de la première équation. On effectue $L_1 \leftarrow L_1+L_2.$

\begin{aligned}
-2X^2+4X-4 &= 1 P(X) +(-X+1) Q(X)\\
X^5-5X^4+10X^3-10X^2+4X &= 0P(X) + 1Q(X)
\end{aligned}

Pour éviter les fractions, multipliez la ligne 2 par 2.

\begin{aligned}
-2X^2+4X-4 &= 1 P(X) +(-X+1) Q(X)\\
2X^5-10X^4+20X^3-20X^2+8X &= 0P(X) + 2Q(X)
\end{aligned}

Eliminez le degré 5 de la deuxième ligne en effectuant l’opération élémentaire $L_2 \leftarrow L_2+X^3L_1.$

\begin{aligned}
-2X^2+4X-4 &= 1 P(X) +(-X+1) Q(X)\\
-6X^4+16X^3-20X^2+8X&= X^3P(X) + (-X^4+X^3+2)Q(X)
\end{aligned}

Eliminez le degré 4 de la deuxième ligne en effectuant l’opération élémentaire $L_2 \leftarrow L_2-3X^2L_1.$

\begin{aligned}
-2X^2+4X-4 &= 1 P(X) +(-X+1) Q(X)\\
4X^3-8X^2+8X&= (X^3-3X^2)P(X) + (-X^4+4X^3-3X^2+2)Q(X)
\end{aligned}

Eliminez le degré 3 de la deuxième ligne en effectuant l’opération élémentaire $L_2 \leftarrow L_2+2XL_1.$

\begin{aligned}
-2X^2+4X-4 &= 1 P(X) +(-X+1) Q(X)\\
0 &= (X^3-3X^2+2X) P(X) +(-X^4+4X^3-5X^2+2X+2 ) Q(X)
\end{aligned}

L’algorithme s’arrête. Il montre que $PGCD(P,Q)=X^2-2X+2.$

Du coup $PGCD(P,P’)=X^2-2X+2.$

Le polynôme $P$ possède donc au moins une racine multiple dans $\mathbb{C}.$

061. Décomposez en éléments simples une fraction rationnelle (niveau 5/5)

Pourriez-vous trouver la décomposition en éléments simples dans $ \mathbb{R}(X)$ de la fraction rationnelle $\dfrac{x^4+1}{ (x^2+x+1) ^3 (x^2-x+1) ^2}$ ?

Les objectifs sont multiples : vous pourrez développer vos compétences techniques, muscler votre calcul mental, développer votre attention et organiser des calculs complexes avec minutie.

Traitez la partie polaire en $x^2+x+1$

Posez $y=x^2+x+1$ et faites une division suivant les puissances croissantes de la fraction $\dfrac{x^4+1}{(x^2-x+1)^2}$. Le reste devra être un multiple de $y^3$ et il est interdit d’avoir $x^2$, $x^3$ ou plus dans le quotient.

Transformez l’écriture de $x^4+1$

Le numérateur est à recalculer comme un polynôme en $y$, avec des coefficients de la forme $a+bx$ où a et b sont réels.

\begin{aligned} x^4+1 &= (x^2)^2+1\\&=(y-x-1)^2+1\\&=y^2+x^2+1-2xy-2y+2x+1\\&=y^2+x^2-2xy-2y+2x+2\\&=y^2+(y-x-1)-2xy-2y+2x+2\\
&=y^2-2xy-y+x+1\end{aligned}

Transformez l’écriture de $(x^2-x+1)^2$

\begin{aligned} (x^2-x+1)^2&= ((y-x-1)-x+1)^2
\\&=(y-2x)^2\\&=y^2+4x^2-4xy
\\&=y^2+4(y-x-1)-4xy
\\&=y^2-4xy+4y-4x-4.
\end{aligned}

Effectuez la division

Avant de l’effectuer, vous devez savoir ce que donne la multiplication de $x$ avec $y^2-4xy+4y-4x-4$.

\begin{aligned} x(y^2-4xy+4y-4x-4) &= xy^2-4y(y-x-1)+4xy-4(y-x-1)-4x\\ &=
xy^2-4y^2+8xy+4.
\end{aligned}

1ère étape

Faire sauter le $x+1$ dans $y^2-2xy-y+x+1$.

\begin{array}{r|l}
y^2-2xy-y+x+1 & y^2-4xy+4y-4x-4 \\ \hline
-\dfrac{1}{4}y^2+xy-y+x+1 &-\dfrac{1}{4}\\
\dfrac{5}{4}y^2-3xy & \\
\end{array}

2ème étape

Faire sauter le $-3xy$ dans $\dfrac{5}{4}y^2-3xy$.

Plus difficile. Regardez comment vous pouvez agir sur le dénominateur $y^2-4xy+4y-4x-4$.

\begin{aligned}
x(y^2-4xy+4y-4x-4)&=(x-4)y^2+(8x)y+4 \\
1(y^2-4xy+4y-4x-4)&=y^2+(-4x+4)y-4x-4
\end{aligned}

Multipliez ces relations par $y$.

\begin{aligned}
xy(y^2-4xy+4y-4x-4)&=(x-4)y^3+(8x)y^2+4y \\
y(y^2-4xy+4y-4x-4)&=y^3+(-4x+4)y^2-4xy-4y
\end{aligned}

Vous additionnez les deux lignes, vous trouvez :

$(xy+y)(y^2-4xy+4y-4x-4)=(x-3)y^3+(4x+4)y^2-4xy$

Et vous y êtes.

$\dfrac{3}{4}(xy+y)(y^2-4xy+4y-4x-4)=\left(\dfrac{3}{4}x-\dfrac{9}{4}\right)y^3+(3x+3)y^2-3xy$

\begin{array}{r|l}
\dfrac{5}{4}y^2-3xy & y^2-4xy+4y-4x-4 \\ \hline
\left(\dfrac{3}{4}x-\dfrac{9}{4}\right)y^3+(3x+3)y^2-3xy & \dfrac{3}{4}y+\dfrac{3}{4}xy \\
\left(-\dfrac{3}{4}x+\dfrac{9}{4}\right)y^3+\left(-3x-\dfrac{7}{4}\right)y^2 & \\
\end{array}

Or vous avez déjà grâce à l’étape 1 :

\begin{array}{r|l}
y^2-2xy-y+x+1 & y^2-4xy+4y-4x-4 \\ \hline
-\dfrac{1}{4}y^2+xy-y+x+1 &-\dfrac{1}{4}\\
\dfrac{5}{4}y^2-3xy & \\
\end{array}

Du coup vous avez :

\begin{array}{r|l}
y^2-2xy-y+x+1 & y^2-4xy+4y-4x-4 \\ \hline
... &-\dfrac{1}{4}+\dfrac{3}{4}y+\dfrac{3}{4}xy\\
\left(-\dfrac{3}{4}x+\dfrac{9}{4}\right)y^3+\left(-3x-\dfrac{7}{4}\right)y^2 & \\
\end{array}

3ème étape

Faire sauter le $\left(-3x-\dfrac{7}{4}\right)y^2$ dans $\left(-\dfrac{3}{4}x+\dfrac{9}{4}\right)y^3+\left(-3x-\dfrac{7}{4}\right)y^2$.

Reprenez les outils vus précédemment. Partez des relations :

\begin{aligned}
xy(y^2-4xy+4y-4x-4)&=(x-4)y^3+(8x)y^2+4y \\
y(y^2-4xy+4y-4x-4)&=y^3+(-4x+4)y^2-4xy-4y
\end{aligned}

Vous les multipliez par $y$ à nouveau.

\begin{aligned}
xy^2(y^2-4xy+4y-4x-4)&=(x-4)y^4+(8x)y^3+4y^2 \quad [1]\\
y^2(y^2-4xy+4y-4x-4)&=y^4+(-4x+4)y^3+(-4x-4)y^2 \quad [2]
\end{aligned}

Prenez la relation [2] et faites apparaître le $-3x$ apparaissant dans $-3x-\dfrac{7}{4}$.
Vous multipliez [2] par $\dfrac{3}{4}$.

$\dfrac{3}{4}y^2(y^2-4xy+4y-4x-4)=\dfrac{3}{4}y^4+(-3x+3)y^3+(-3x-3)y^2\quad [3]$

Des $y^2$ vous en avez $-3x-3=-3x-\dfrac{12}{4}$ et vous en voulez $-3x-\dfrac{7}{4}$, il vous faut en former $\dfrac{5}{4}$.
Vous multipliez [1] par $\dfrac{5}{16}$.

$\dfrac{5}{16}xy^2(y^2-4xy+4y-4x-4)=\left(\dfrac{5}{16}x-\dfrac{5}{4}\right)y^4+\left(\dfrac{5}{2}x\right)y^3+\dfrac{5}{4}y^2\quad [4]$

Maintenant vous ajoutez les relations [3] et [4].

\left(\dfrac{3}{4}y^2+\dfrac{5}{16}xy^2\right)(y^2-4xy+4y-4x-4)=\left(\dfrac{5}{16}x-\dfrac{1}{2}\right)y^4
+\left(-\dfrac{1}{2}x+3\right)y^3+\left(-3x-\dfrac{7}{4}\right)y^2
\begin{array}{r|l}
\left(-\dfrac{3}{4}x+\dfrac{9}{4}\right)y^3+\left(-3x-\dfrac{7}{4}\right)y^2 & y^2-4xy+4y-4x-4 \\ \hline
 \left(\dfrac{5}{16}x-\dfrac{1}{2}\right)y^4+\left(-\dfrac{1}{2}x+3\right)y^3+\left(-3x-\dfrac{7}{4}\right)y^2
 &\dfrac{3}{4}y^2+\dfrac{5}{16}xy^2 \\
 \left(-\dfrac{5}{16}x+\dfrac{1}{2}\right)y^4+\left(-\dfrac{1}{4}x-\dfrac{3}{4}\right)y^3 & \\
\end{array}

Fin de la division

Vous avez établi précédemment que :

\begin{array}{r|l}
y^2-2xy-y+x+1 & y^2-4xy+4y-4x-4 \\ \hline
... &-\dfrac{1}{4}+\dfrac{3}{4}y+\dfrac{3}{4}xy\\
\left(-\dfrac{3}{4}x+\dfrac{9}{4}\right)y^3+\left(-3x-\dfrac{7}{4}\right)y^2 & \\
\end{array}

En combinant cette relation avec la précédente, vous terminez la division selon les puissances croissantes en $y$.

\begin{array}{r|l}
y^2-2xy-y+x+1 & y^2-4xy+4y-4x-4 \\ \hline
... &-\dfrac{1}{4}+\dfrac{3}{4}y+\dfrac{3}{4}xy+\dfrac{3}{4}y^2+\dfrac{5}{16}xy^2\\
\left(-\dfrac{5}{16}x+\dfrac{1}{2}\right)y^4+\left(-\dfrac{1}{4}x-\dfrac{3}{4}\right)y^3 & \\
\end{array}

Séparez la partie polaire en $x^2+x+1$

D’après la division effectuée, vous obtenez :

$y^2-2xy-y+x+1 = ( y^2-4xy+4y-4x-4)\left(-\dfrac{1}{4}+\dfrac{3}{4}y+\dfrac{3}{4}xy+\dfrac{3}{4}y^2+\dfrac{5}{16}xy^2\right) +\dfrac{1}{16}y^3 \left(-5xy+8y-4x-12\right)$

$\dfrac{y^2-2xy-y+x+1}{y^3( y^2-4xy+4y-4x-4)} = -\dfrac{1}{4y^3}+\dfrac{3}{4y^2}+\dfrac{3x}{4y^2}+\dfrac{3}{4y}+\dfrac{5x}{16y}+\dfrac{-5xy+8y-4x-12}{16( y^2-4xy+4y-4x-4)}$

La partie polaire en $x^2+x+1$ est ainsi trouvée.

$\dfrac{x^4+1}{(x^2+x+1)^3(x^2-x+1)^2} = \dfrac{12+5x}{16(x^2+x+1)}+\dfrac{3+3x}{4(x^2+x+1)^2}-\dfrac{1}{4(x^2+x+1)^3}+\dfrac{-5xy+8y-4x-12}{16(x^2-x+1 )^2}$

Vous développez $-5xy+8y-4x-12$.

\begin{aligned} -5xy+8y-4x-12 &= -5x(x^2+x+1)+8(x^2+x+1)-4x-12 \\ &= -5x^3+3x^2-x-4.\end{aligned}

$\dfrac{x^4+1}{(x^2+x+1)^3(x^2-x+1)^2} = \dfrac{12+5x}{16(x^2+x+1)}+\dfrac{3+3x}{4(x^2+x+1)^2}-\dfrac{1}{4(x^2+x+1)^3}+\dfrac{-5x^3+3x^2-x-4}{16(x^2-x+1 )^2}$

Traitez la dernière partie polaire

Vous allez vous occuper maintenant de $\dfrac{-5x^3+3x^2-x-4}{(x^2-x+1 )^2}$.

Vous posez $z = x^2-x+1$. Le numérateur est à recalculer comme un polynôme en $z$, avec des coefficients de la forme $a+bx$ où $a$ et $b$ sont réels.

\begin{aligned} -5x^3+3x^2-x-4 &= -5x(z+x-1)+3(z+x-1)-x-4 \\ &=
-5xz-5x^2+5x+3z+3x-3-x-4\\ &=
-5xz-5(z+x-1)+3z+7x-7\\ &=
-5xz-2z+2x-2 \\ &=
(-5x-2)z+(2x-2).
\end{aligned}

Vous divisez le tout par $z^2$.

$\dfrac{-5x^3+3x^2-x-4}{z^2} = \dfrac{-5x-2}{z}+\dfrac{2x-2}{z^2}$

D’où finalement la dernière partie polaire.

$\dfrac{-5x^3+3x^2-x-4}{(x^2-x+1)^2} = \dfrac{-5x-2}{x^2-x+1}+\dfrac{2x-2}{(x^2-x+1)^2}$

Et vous avez la décomposition finale

$\boxed{\dfrac{x^4+1}{(x^2+x+1)^3(x^2-x+1)^2} = \dfrac{12+5x}{16(x^2+x+1)}+\dfrac{3+3x}{4(x^2+x+1)^2}+\dfrac{-1}{4(x^2+x+1)^3}+ \dfrac{-5x-2}{16(x^2-x+1)}+\dfrac{x-1}{8(x^2-x+1)^2}}.$

060. Décomposez en éléments simples une fraction rationnelle (niveau 4/5)

Voyez comment décomposer une fraction qui possède deux parties polaires avec exposants.

Vous allez déterminer la décomposition en éléments simples dans $\mathbb{R}(X)$ de $\dfrac{2x^2-x+1}{(x-1)^3(x+1)^3}.$

La forme du dénominateur

Pour décomposer $\dfrac{2x^2-x+1}{(x-1)^3(x+1)^3}$ vous allez vous occuper, disons en premier, de $(x-1)^3$ au dénominateur. Pour effectuer cela, vous posez $y=x-1$.

Vous êtes ramené à décomposer $\dfrac{2x^2-x+1}{y^3(x+1)^3}$.
Vous cherchez à traiter la fraction $\dfrac{2x^2-x+1}{(x+1)^3}$ qui ne comporte pas le $y^3$.

Comme $y+1=x$, vous remplacez les $x$ et vous avez :

\begin{aligned} 2x^2-x+1 &=2(y+1)^2-y-1+1 \\ &=2(y^2+2y+1)-y\\&=2y^2+3y+2. \end{aligned}

\begin{aligned} (x+1)^3 &=(y+2)^3 \\ &=y^3+6y^2+12y+8. \end{aligned}

Vous obtenez $\dfrac{2x^2-x+1}{(x+1)^3} =\dfrac{2y^2+3y+2}{y^3+6y^2+12y+8}. $ Au secours ? Pas vraiment… si vous avez le bon outil qui s’appelle la division selon les puissances croissantes.

Vous voulez un reste qui soit un multiple de $y^3$ vous ajoutez un cran de plus.

D’après le calcul ci-dessus, vous avez :

$2y^2+3y+2 = \left(\dfrac{1}{4}+\dfrac{1}{16}y^2\right) (y^3+6y^2+12y+8)+y^3\left(-\dfrac{1}{16}y^2-\dfrac{3}{8}y-1\right)$

$2y^2+3y+2 = \left(\dfrac{1}{4}+\dfrac{1}{16}y^2\right) (y+2)^3+y^3\left(-\dfrac{1}{16}y^2-\dfrac{3}{8}y-1\right)$

$\dfrac{2y^2+3y+2}{y^3(y+2)^3} = \dfrac{1}{4y^3}+\dfrac{1}{16y}+\dfrac{-\dfrac{1}{16}y^2-\dfrac{3}{8}y-1}{(y+2)^3}$

$\boxed{\dfrac{2x^2-x+1}{(x-1)^3(x+1)^3} = \dfrac{1}{4(x-1)^3}+\dfrac{1}{16(x-1)}+\dfrac{-y^2-6y-16}{16(y+2)^3}}$

Et la décomposition finale !

Il vous reste à décomposer la fraction $\dfrac{y^2+6y+16}{(y+2)^3}$. Vous posez $z=y+2 = (x-1)+2 = x+1$.

\begin{aligned} y^2+6y+16 &=(z-2)^2+6(z-2)+16 \\ &=z^2-4z+4+6z-12+16\\&=z^2+2z+8. \end{aligned}

\begin{aligned} \dfrac{y^2+6y+16}{(y+2)^3} &= \dfrac{z^2+2z+8}{z^3}\\&= \dfrac{1}{z}+\dfrac{2}{z^2}+\dfrac{8}{z^3}\\&=\dfrac{1}{x+1}+\dfrac{2}{(x+1)^2}+\dfrac{8}{(x+1)^3}.\end{aligned}

\begin{aligned} \dfrac{2x^2-x+1}{(x-1)^3(x+1)^3} &= \dfrac{1}{4(x-1)^3}+\dfrac{1}{16(x-1)}-\dfrac{1}{16}\times \dfrac{y^2+6y+16}{(y+2)^3}\\&=\dfrac{1}{4(x-1)^3}+\dfrac{1}{16(x-1)}-\dfrac{1}{16} \left(\dfrac{1}{x+1}+\dfrac{2}{(x+1)^2}+\dfrac{8}{(x+1)^3}\right)\end{aligned}

$\boxed{\dfrac{2x^2-x+1}{(x-1)^3(x+1)^3} =\dfrac{1}{4(x-1)^3}+\dfrac{1}{16(x-1)}- \dfrac{1}{16(x+1)}-\dfrac{1}{8(x+1)^2}-\dfrac{1}{2(x+1)^3}.}$

059. Décomposez en éléments simples une fraction rationnelle (niveau 3/5)

Vous voulez connaître la décomposition en éléments simples dans $\mathbb{R}(X)$ de $\dfrac{x^6}{(x^2+1)(x^4+1)}$ en travaillant avec les polynômes et les nombres réels ? Explications.

Etape 1 : trouvez la partie entière de $\dfrac{x^6}{(x^2+1)(x^4+1)}$

Divisez le polynôme $A(x)=x^6$ par le polynôme $B(x)=(x^2+1)(x^4+1)=x^6+x^4+x^2+1$.

Vous trouvez comme quotient $Q(x)=1$ et comme reste $R(x)=-x^4-x^2-1$.

Vous avez $\dfrac{x^6}{(x^2+1)(x^4+1)}=1-\dfrac{x^4+x^2+1}{(x^2+1)(x^4+1)}.$

Etape 2 : trouvez la partie polaire de $\dfrac{x^4+x^2+1}{(x^2+1)(x^4+1)}$ relative à $x^2+1$

Considérez $y=x^2+1$.

Alors $x^2=y-1$ et $x^4=(y-1)^2=y^2-2y+1.$

$\dfrac{x^4+x^2+1}{(x^2+1)(x^4+1)}=\dfrac{(y^2-2y+1)+(y-1)+1}{y(y^2-2y+2)}=\dfrac{y^2-y+1}{y(y^2-2y+2)}.$

Pour trouver la décomposition en éléments simples de la fraction rationnelle $\dfrac{y^2-y+1}{y(y^2-2y+2)}$ on effectue une division suivant les puissances croissantes.

$y^2-y+1=\dfrac{1}{2}\times (y^2-2y+2)+\dfrac{1}{2}y^2$

$\dfrac{y^2-y+1}{y(y^2-2y+2)}=\dfrac{1}{2y}+\dfrac{y}{2(y^2-2y+2)}$

Du coup : $\dfrac{x^4+x^2+1}{(x^2+1)(x^4+1)}=\dfrac{1}{2(x^2+1)}+\dfrac{x^2+1}{2(x^4+1)}.$

Etape 3 : trouvez la décomposition de $\dfrac{x^2+1}{x^4+1}$

Factorisez d’abord $x^4+1$ dans $\mathbb{R}[X]$.

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

Il s’agit de trouver la décomposition en éléments simples de $\dfrac{x^2+1}{x^4+1}=\dfrac{x^2+1}{(x^2+\sqrt{2}x+1)(x^2-\sqrt{2}x+1).}$

Pour avancer, vous posez $y=x^2+\sqrt{2}x+1$.

Alors $x^2=y-\sqrt{2}x-1$ et
\begin{aligned} x^4+1&=(x^2+\sqrt{2}x+1)(x^2-\sqrt{2}x+1)\\ &=y(x^2-\sqrt{2}x+1)\\ &=y(y-2\sqrt{2}x).\end{aligned}

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

Vous trouvez la décomposition de la fraction rationnelle $\dfrac{y-\sqrt{2}x}{y(y-2\sqrt{2}x)}$ en effectuant une division suivant les puissances croissantes.

$y-\sqrt{2}x=(y-2\sqrt{2}x)\times \dfrac{1}{2}+\dfrac{1}{2}y$

d’où $\dfrac{y-\sqrt{2}x}{y(y-2\sqrt{2}x)}=\dfrac{1}{2y}+\dfrac{1}{2(y-2\sqrt{2}x)}.$

Par suite $\dfrac{x^2+1}{x^4+1}=\dfrac{1}{2(x^2+\sqrt{2}x+1)}+\dfrac{1}{2(x^2-\sqrt{2}x+1)}.$

Etape 4 : concluez

\begin{aligned} \dfrac{x^6}{(x^2+1)(x^4+1)} &= 1-\dfrac{x^4+x^2+1}{(x^2+1)(x^4+1)} \\ &=1- \dfrac{1}{2(x^2+1)}-\dfrac{x^2+1}{2(x^4+1)} \\ &=1- \dfrac{1}{2(x^2+1)}-\dfrac{1}{4(x^2+\sqrt{2}x+1)}-\dfrac{1}{4(x^2-\sqrt{2}x+1)}.\end{aligned}

058. Décomposez en éléments simples une fraction rationnelle (niveau 2/5)

Vous souhaitez voir comment on produit la décomposition de $\dfrac{2x^2+1}{(x-1)^2}$ en éléments simples ? C’est ici.

Posez $y=x-1$ et concluez

Le dénominateur devient $y^2$ il reste à observer que $y+1=x$ pour développer le numérateur. La fraction à décomposer en est facilitée.

\begin{aligned} \dfrac{2x^2+1}{(x-1)^2}&=\dfrac{2(1+y)^2+1}{y^2} \\ &=\dfrac{3+2y^2+4y}{y^2}\\ &=2+\dfrac{4}{y}+ \dfrac{3}{y^2} \\ &=2+\dfrac{4}{x-1}+\dfrac{3}{(x-1)^2}.\end{aligned}

057. Décomposez en éléments simples une fraction rationnelle (niveau 1/5)

Vous voulez décomposer $\dfrac{x^2+1}{x-2}$ en éléments simples, pas à pas, acquérir les bonnes connaissances ? Cela se passe ici.

Le bon changement de variable

Posez $y=x-2$ pour simplifier le dénominateur. Puis vous calculez le numérateur en remplaçant $x$ par $2+y$.

\begin{aligned} x^2+1&=(2+y)^2+1\\ &=4+y^2+4y+1 \\ &=y^2+4y+5.\end{aligned}

Et la conclusion arrive !

\begin{aligned} \dfrac{x^2+1}{x-2}&=\dfrac{y^2+4y+5}{y}\\ &=y+4+\dfrac{5}{y}\\ &= x+2+\dfrac{5}{x-2}.\end{aligned}