Web Analytics
Privacy Policy Cookie Policy Terms and Conditions Fraction partielle - Wikipédia

Fraction partielle

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff ?).

En algèbre, la décomposition en fractions partielles ou en éléments simples d'une fonction rationnelle est son expression sous une somme de fractions ayant toutes un dénominateur irréductible et un numérateur de degré inférieur au dénominateur. Les fractions partielles sont utilisées dans le calcul intégral pour faciliter la recherche de primitives. Elles sont aussi utilisées pour calculer l'inverse des transformées de Laplace.

Déterminer quels polynômes sont irréductibles dépend du corps de scalaires utilisé. Ainsi, si on se limite aux nombres réels, les polynômes irréductibles auront un degré de 1 ou de 2. Si les nombres complexes sont utilisés, seuls les polynômes de premier degré seront irréductibles. De même, si on se limite aux nombres rationnels, on pourra trouver des polynômes de degré supérieurs à 2 irréductibles.

Sommaire

[modifier] Exemples

[modifier] Facteurs de premier degré distincts au dénominateur

Supposons qu'on recherche la décomposition en fractions partielles de la fonction rationnelle

{x+3 \over x^2-3x-40}

Le dénominateur se factorise en

(x-8)(x+5)\,

Nous cherchons donc les scalaires A et B tels que

{x+3 \over x^2-3x-40}={x+3 \over (x-8)(x+5)}={A \over x-8}+{B \over x+5}.

Une façon de trouver A et B commence par l'élimination des fractions. Cela revient à multiplier chaque côté par le dénominateur commun : (x − 8)(x + 5). Ce qui nous donne

x+3=A(x+5)+B(x-8)\,

En regroupant les termes semblables, on obtient

x+3=(A+B)x+(5A-8B)\,

Les coefficients des termes semblables forment alors un système d'équations linéaires,

\begin{matrix} A & + & B & = & 1 \\ 5A & - & 8B & = & 3 \end{matrix}

La solution du système est A = 11/13 et B = 2/13. Nous obtenons donc la décomposition en fractions partielles :

{x+3 \over x^2-3x-40}={11/13 \over x-8}+{2/13 \over x+5}

[modifier] Facteur irréductible de second degré au dénominateur

Pour décomposer

{10x^2+12x+20 \over x^3-8}

en fractions partielles, observons d'abord


x^3-8=(x-2)(x^2+2x+4).\,

Le fait que x2 + 2x + 4 ne soit pas factorisable en utilisant des coefficients réels est visible car le discriminant, 22 − 4(1)(4), est négatif. Nous cherchons donc des scalaires A, B, C tels que

{10x^2+12x+20 \over x^3-8}={10x^2+12x+20 \over (x-2)(x^2+2x+4)}={A \over x-2}+{Bx+C \over x^2+2x+4}.

Par l'élimination des fractions nous trouvons

10x^2+12x+20=A(x^2+2x+4)+(Bx+C)(x-2).\,

Nous pouvons procéder comme dans l'exemple précédent et trouver un système de trois équations linéaires pour les variables A, B et C. Néanmoins, comme résoudre un tel système est onéreux, essayons une autre approche. La substitution de 2 pour x élimine complètement le second terme et nous obtenons

10\cdot 2^2+12\cdot 2+20=A(2^2+2\cdot 2+4),\,

par exemple, 84 = 12A, donc A = 7, ce qui nous donne

10x^2+12x+20=7(x^2+2x+4)+(Bx+C)(x-2).\,

Ensuite, la substitution de 0 par x donne

20=7(4)+C(-2),\,

alors C = 4. Nous avons maintenant

10x^2+12x+20=7(x^2+2x+4)+(Bx+4)(x-2).\,

Substituons 1 par x, nous avons

10+12+20=7(1+2+4)+(B+4)(1-2),\,

donc B = 3. La décomposition en fractions partielles est

{10x^2+12x+20 \over x^3-8}={7 \over x-2}+{3x+4 \over x^2+2x+4}.

[modifier] Répétition d'un facteur de premier degré au dénominateur

Considérons la fractions rationnelle

{10x^2-63x+29 \over x^3-11x^2+40x-48}.

Par factorisation du dénominateur nous avons

x^3-11x^2+40x-48=(x-3)(x-4)^2.\,

La multiplicité du facteur de premier degré (x − 4) est supérieure à 1. Dans de tels cas, la décomposition en fractions partielles prend la forme

{10x^2-63x+29 \over x^3-11x^2+40x-48}={10x^2-63x+29 \over (x-3)(x-4)^2}={A \over x-3}+{B \over x-4}+{C \over (x-4)^2}.

[modifier] Répétition de facteurs au dénominateur: cas général

Pour une fonction rationnelle de la forme

{\bullet \over (x+2)(x+3)^5}

(où « \bullet » est un polynôme quelconque de degré inférieur à 5) la décomposition en fractions partielles aura comme allure

{A \over x+2}+{B \over x+3}+{C \over (x+3)^2}+{D \over (x+3)^3}+{E \over (x+3)^4}+{F \over (x+3)^5}.

La détermination des coefficients A, B, C, D, E, F s'opère en effectuant le changement de variable y = x + 3. La fraction s'écrit alors

{P(y) \over (y-1)y^5}

La division de P(y) par y - 1 suivant les puissances croissantes(voir polynôme) nous donne alors

P(y) = (y - 1)(F+Ey+Dy^2+Cy^3+By^4)+ Ay^5\,

Il suffit alors d'opérer la division et de revenir à la variable de départ.

Le patron général est facile à deviner, pour un fonction rationnelle de la forme

{\bullet \over (x+2)(x^2+1)^5}

avec le facteur irréductible du second degré x2 + 1 au dénominateur, la décomposition en fractions partielles sera de la forme

{A \over x+2}+{Bx + C\over x^2+1}+{Dx+E \over (x^2+1)^2}+{Fx+G \over (x^2+1)^3}+{Hx+I \over (x^2+1)^4}+{Jx+K \over (x^2+1)^5}

Le même genre de développement s'applique à tous les polynômes irréductibles du second degré.

[modifier] Principe de base

Le principe de base est assez simple ; c'est plutôt le côté algorithmique qui réclamera de l'attention dans les cas particuliers.

Soit R(x) une fonction rationnelle de x qui admet une factorisation au dénominateur qu'on notera

P(x)Q(x)

sur un corps K (par exemple les nombres réels ou les nombres complexes). Si P et Q sont premiers entre eux, alors R peut s'écrire

{A \over P} + {B \over Q}

pour certains polynômes A(x) et B(x) sur K. L'existence d'un telle décomposition est une conséquence du fait que l'anneau des polynômes sur K est un anneau euclidien dans lequel l'égalité

CP + DQ = 1

existe pour certains polynômes C(x) et D(x). On obtient ce dernier résultat par l'identité de Bézout.

L'utilisation de ce principe permet d'écrire R(x) comme une somme de fonctions rationnelles avec comme dénominateurs des puissances de polynômes irréductibles.

Enfin une fraction de la forme

{G \over F^n}

peut s'écrire comme une somme de fractions dont le dénominateur est une puissance de F et dont les numérateurs sont de degrés inférieurs à F, plus, éventuellement un autre polynôme. Ceci peut être réalisé grâce à une succession de division euclidienne par F (la méthode est analogue à celle utilisée pour écrire un nombre en base a).

Quand K est le corps des nombres complexes, F est de degré 1 (théorème fondamental de l'algèbre) et les numérateurs sont donc constants. Quand K est le corps des nombres réels, le degré de F sera 1 ou 2 et les numérateurs seront linéaires ou constants.



[modifier] Autres Exemples

  • Soit le cas particulier que nous avions vu précédemment :
{x+3 \over x^2-3x-40}

Ce qui donne :

{x+3 \over x^2-3x-40}={x+3 \over (x-8)(x+5)}={A \over x-8}+{B \over x+5}.

Nous pouvons trouver les valeurs de A et B ainsi :

A = {(x+3)(x-8) \over (x-8)(x+5)}  \ avec \ x= {8}

donc

A = {(8+3) \over (8+5) } = {11 \over 13}

On procède de la même façon pour B :

B = {(x+3)(x+5) \over (x-8)(x+5)} \ avec \ x= {-5}

donc

B = {(-5+3) \over (-5-8) } = {2 \over 13}
  • De même, prenons la fonction rationnelle
{x+3 \over x^4-5x^2+4}


Par factorisation du polynôme bicarré et par utilisation des identités remarquables, on peut l'écrire
{x + 3 \over (x-1)(x+1)(x-2)(x+2)}
qui peut être transformée davantage:
{x + 3 \over (x-1)(x+1)(x-2)(x+2)}= {A \over x-1}+{B\over x+1}+{C\over x-2}+{D\over x+2}
Pour trouver le coefficient A, il suffit de multiplier les deux membres par x - 1 puis de remplacer x par 1
{x + 3 \over (x+1)(x-2)(x+2)}= A+{B(x-1)\over x+1}+{C(x-1)\over x-2}+{D(x-1)\over x+2}
{1+3 \over (1+1)(1-2)(1+2)}= A =-{2 \over 3}
De même pour trouver B, il suffit de multiplier par x + 1 et de remplacer x par -1
{-1+3 \over (-1-1)(-1-2)(-1+2)}= B ={1 \over 3}
Pour C, il suffit de multiplier par x - 2 et de remplacer x par 2
{2 +3 \over (2-1)(2+1)(2+2)}= C ={5 \over 12}
et pour D, on multiplie par x + 2 et on remplace x par -2
{-2 +3 \over (-2-1)(-2+1)(-2-2)}= D = -{1 \over 12}

Donc

{x + 3 \over (x-1)(x+1)(x-2)(x+2)}= {-2/3 \over x-1}+{1/3\over x+1}+{5/12\over x-2}+{-1/12\over x+2}
  • Les exemples précédents peut être généralisés à la situation suivante:
Soit Q(x) un polynôme unitaire de degré n sur un corps K dont la décomposition en facteurs de premiers degrés est
Q(x)=\prod_{i=1}^n (x-x_i)
où tout les xi différents deux à deux. En d'autres mots, Q a des racines simples sur K. Si P(x) est un polynôme quelconque de degré \le n-1, par la formule d'interpolation de Lagrange P(x) peut être écrit de manière unique comme un somme
P(x)=\sum_{j=1}^n P(x_j)L_j(x;x_j)
\, L_j(x;x_j) est le polynôme de Lagrange
L_j(x;x_j)=\prod_{k\le n,\, k\ne j} {{(x-x_k)}\over {(x_j-x_k)}} \ .
En divisant la représentation de Lagrange terme à terme par Q(x) dans sa forme factorisée on obtient
{P(x)\over Q(x)} =\sum_{j=1}^n {P(x_j)\over {\prod_{k \le n, \, k\ne j} (x_j-x_k)}} \,\cdot {1 \over {x-x_j}} \ .
D'où on arrive à la décomposition en fractions partielles
{P(x)\over Q(x)} =\sum_{j=1}^n c_j \cdot {1 \over {x-x_j}}
de la fonction rationnelle \, R(x)=P(x)/Q(x) avec les coefficients
c_j= {P(x_j)\over {\prod_{k \le n, \, k\ne j} (x_j-x_k)}} \ .
Le premier exemple peut être obtenu avec le cas particulier Q(x)=(x-1)(x+1)(x-2)(x+2), \; P(x)=x+3.
THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu