Atelier Mathématiques –TP 2 ISET de Kairouan 2013-2014

Classes : TI16+TI17 Enseignant : B. Seddik

Simplification d’expressions, polynômes et fractions rationnels

I. simplification d’expressions

Les principales fonctions permettant de réécrire des expressions sont collect, combine, convert,
expand, factor, normal et simplify.

1. collect (expr,v,forme, fonction)

Cette commande ordonne l’expression expr comme un polynôme en v qui est une variable ou une liste
de variables. Les autres paramètres sont optionnels. Tapez :

>restart ;

>e1 :=(x+y+z)*(x-y)*(z-x+y) ;…………………………………………………………………………

>collect(e1,x) ;……………………………………………………………………………………………

>collect(e1,y) ;……………………………………………………………………………………………

>collect(e1,[x,y]) ;………………………………………………………………………………………..

>restart ;

>f :=a*ln(x)-ln(x)*x-x ;…………………………………………………………………………………

>collect(f,ln(x)) ;………………………………………………………………………………………….

>g :=int(x^2*(exp(x)+exp(-x)),x) ;……………………………………………………………………….

>collect(g,exp(x)) ;………………………………………………………………………………………

>help (collect) ;…………………………………………………………………………………………...

2. combine (expr,noms)

Cette commande transforme l’expression ou la liste d’expressions en un seul terme (voir l’aide pour
les détails). Tapez :

>

> ……………………………………………………………………

Page 1 sur 10
> ………………………….…………………………………………………

> ……….……………………………………………………..……………………..

> ……………….……………….………………….

> ……………………………………………………………………………………

> ………………………………………………………………………………………

>

> .…………………………………………………………………………………..

> ……………………………………………………………………………………….

3. convert (expr, forme)

Cette commande transforme l’expression expr selon le modèle forme (tan, sincos, exp, ln, expsincos,
…). Tapez :

>restart ;

>convert(cos(x),tan)………………………………………………………………………………………

>convert(cos(x),sincos) ;…………………………………………………………………………………

> convert(9, binary); ……………………………………………………………………………...

> convert(Pi, degrees); ……………………………………………………………………………...

> convert(1.23456, rational); ……………………………………………………………………………

> convert(1/8, float, 3); ……………………………………………………………………………...

> convert(22, units, inches, m); …………………………………………………………………………

> convert("XI", arabic); ……………………………………………………………………………...

> convert([1, 2, 3, 4], `+`);……………………………………………………………………………...

> f := seq(x[i]^i, i = 1 .. 4); ……………………………………………………………………………...

> convert([f], `*`);……………………………………………………………………………...

> f := (x^3+x)/(x^2-1); ……………………………………………………………………………...

> s := series(f, x, 4); ……………………………………………………………………………...

Page 2 sur 10
> convert(s, polynom); ……………………………………………………………………………...

>convert (sec (sec(x)*coth(a))*tan(b), sincos, {a, b}) ;…………………………………………………

>convert(sin(x),exp) ;…………………………………………………………………………………….

>convert(exp(x^2)-2*sinh(x^2),exp) ;……………………………………………………………………

>convert(arcsin(x),ln) ;…………………………………………………………………………………...

>convert(cot(x),expsincos) ;……………………………………………………………………………...

Voir aussi: convert/base, convert/decimal, convert/hex, convert/octal

4. expand (expr, expr1, .., exprn)

La commande expand développe une expression. Les paramètres optionnels servent à préserver
certaines expressions du développement. Tapez :

>restart ;

> help(expand); …………………………………………………………….

> expand((x+1)*(x+2)); …………………………………………………………….

> expand((x+1)/(x+2)); …………………………………………………………….

> expand(sin(x+y)); …………………………………………………………….

> expand(ln(x/(1-x)^2)); …………………………………………………………….

> assume(x, real); …………………………………………………………….

> expand(ln(x/(1-x)^2)); …………………………………………………………….

> restart;

> ee := (a+b)*z+sin(a+b)+exp(a+b); …………………………………………………………….

> expand(ee); ……………………………………………………………….

> expand(ee, sin(a+b)); ……………………………………………………………….

>e1 :=(x+y+z)^2-(x+y)^2 ;………………………………………………………………………………

>expand(e1) ;……………………………………………………………………………………………..

>e2 :=(x-y)*sin(x+y)-(x-y)^2+(x-2*y)^2 ;……………………………………………………………….

Page 3 sur 10
>expand(e2) ;……………………………………………………………………………………………..

>expand (e2, sin(x+y)) ;…………………………………………………………………………………..

>expand (e2, sin(x+y), x-y) ;……………………………………………………………………………..

5. factor (expr,K)

Cette commande factorise l’expression. Attention factor n’est pas tout à fait la réciproque de expand.
Le paramètre K indique le corps dans lequel on factorise (real, complexe). Tapez :

> help(factor); ……………………………………………………………………………

> restart;

> factor(1/(sqrt(3)-sqrt(2))); ……………………………………………………………………………

> factor(a^3+b^3); ……………………………………………………………………………

> expand((x^2-1)*(x+3)); ……………………………………………………………………………

> factor(%);……………………………………………………………………………

> factor(x^4+1); ……………………………………………………………………………

> factor(x^4+1, complex); ……………………………………………………………………………

> factor(x^4+1, real); ……………………………………………………………………………

6. normal (expr)

Cette commande met l’expression rationnelle sous forme canonique, en exécutant des simplifications
simples.

Tapez :

>restart ;

>e1 :=(x+(x-1)^2+x^2-1)/((x^2+2*x-3)*(x+2)) ;………………………………………………………

>normal (e1) ;…………………………………………………………………………………………….

>factor (e1) ;……………………………………………………………………………………………

>e1 :=1/x+1/x^2+1/(x+1) ;……………………………………………………………………………….

>normal (e1) ;…………………………………………………………………………………………….

Page 4 sur 10
 7. simplify (expr, noms, {pte})

la fonction simplify simplifie l’expression expr, selon la propriété (ln, polar, power, radical, sqrt, trig)
si cette commande optionnelle est rajoutée.

Tapez :

>restart ;

>simplify ((cos(x))^2+ (sin(x))^2) ;……………………………………………………………………...

>simplify (a^3, {a^2=1}) ;………………………………………………………………………………..

>simplify ((x^a)^b+4^ (1/2), power) ;……………………………………………………………………

>simplify (ln(x^3), ln);…………………………………………………………………………………..

>simplify (ln(x*y)) ;……………………………………………………………………………………...

>simplify (ln (exp(x)), ln) ;……………………………………………………………………………. ...

>simplify (ln(y^n),ln) ;…………………………………………………………………………………...

>assume (n,even) ;

>assume(x,real) ;

>assume (y<0) ;

>simplify(ln(x^3),ln) ;……………………………………………………………………………………

>simplify(ln(x*y)) ;………………………………………………………………………………………

>simplify(ln(exp(x))) ;……………………………………………………………………………………

>simplify(ln(y^3),ln) ;……………………………………………………………………………………

>simplify(ln(y^n),ln) ;……………………………………………………………………………………

>e :=[24^(1/3), 24^(-1/3), (-24)^(1/3)] ;………………………………………………………………….

>simplify(e, radical) ;…………………………………………………………………………………….

>e :=[6^(1/3)+25^(1/3), 6^(1/3)+15^(1/3)];...............................................................................................

>simplify(e, radical) ;…………………………………………………………………………………….

>e :=(8*b^3*a)^(1/3) ;……………………………………………………………………………………

Page 5 sur 10
>simplify(e, radical) ;…………………………………………………………………………………….

>simplify(e, radical, symbolic) ;…………………………………………………………………………

Cette commande de simplification est la plus puissante, mais aussi la plus difficile à manipuler.

Tapez > ?simplify

II. les polynômes :

1) Manipulation de base :
1.1) Evaluation :

> p:=x**2-6; ……………………………………………………………………………………………

Il existe trois possibilités pour l’évaluation d’une expression polynômiale :

• Substitution de l’indéterminé x :

> subs(x=2, p);……………………………………………………………………………………………

• Transformation en une fonction polynômiale :

> fp:=unapply(p,x);……………………………………………………………………………………….

>fp(2) ;……………………………………………………………………………………………………

• Affectation de l’indéterminé x :

>x :=2 ; p ;………………………………………………………………………………………………...

1.2) Modification de l’écriture :

Développement

> restart;

>p:=(x+3*y^2)^5;………………………………………………………………………………………

> expand(p);………………………………………………………………………………………………

> q:=(x+a)^4+2*(x -y)^2-7*y^5;…………………………………………………………………………

Regroupement de termes : (développement partiel)

> collect(q,y);……………………………………………………………………………………………..

> collect(q,x);……………………………………………………………………………………………..

Page 6 sur 10
> sort(p);………………………………………………………………………………………………….

Tri d’un polynôme:

Le polynôme à trier doit être sous sa forme développée.

> sort (expand(p));………………………………………………………………………………………

> sort (expand(p),x);……………………………………………………………………………………...

> sort (expand(p),y);……………………………………………………………………………………...

1.3) Degré :

> restart;

> p:=6*x^3-2*x;…………………………………………………………………………………………..

Plus haut degré:

>degree(p);………………………………………………………………………………………………..

Plus bas degré (lower degree):

> ldegree (p);……………………………………………………………………………………………...

> q:=x^4*y^5-6*x^8+5*y^2*x;…………………………………………………………………………..

> degree (q);………………………………………………………………………………………………

> degree (q,y);…………………………………………………………………………………………….

> degree (q,x);…………………………………………………………………………………………….

> ldegree (q);……………………………………………………………………………………………...

> ldegree (q,y);…………………………………………………………………… ……………………...

> ldegree (q,x);……………………………………………………………………………………………

1.4) Coefficients :

> restart;

> p:=(x^2-3*y)^3;………………………………………………………………………………………...

> expand (p);……………………………………………………………………………………………...

Page 7 sur 10
> coeff (p,x,4);……………………………………………………………………………………………

>coeff (p,x^4);……………………………………………………………………………………………

Le coefficient dominant est donné par la commande lcoeff (leading coefficient):

> lcoeff (p,y);……………………………………………………………………………………………..

> lcoeff (p,x);……………………………………………………………………………………………..

Le coefficient dominant est donné par la commande lcoeff (leading coefficient):

> tcoeff (p,x);……………………………………………………………………………………………..

> tcoeff (p,y);… ………………………………………………………………………………………….

Tous les coefficients de p sont donnés par la commande coeffs (uniquement si le polynôme est sous
sa forme développée):

> coeffs (p,x);……………………………………………………………….. …………………………...

> coeffs (expand(p),x);…………………………………………………………………………………...

> coeffs (expand(p),y);…………………………………………………………………………………...

2) Quelques opérations arithmétiques :

> restart;

> b:=x^2-1; ……………………………………………………………………………… ………………

> a:=2*x^3-2;…………………………………………………………………………… ……………….

Le pgcd:

> gcd (a,b);………………………………………………………………………………………………..

Le ppcm:

> lcm(a,b);………………………………………………………………………………………………...

Quotient de la division euclidienne de 2 polynômes :

> quo (a,b,x);……………………………………………………………………………………………...

Reste de la division euclidienne de 2 polynômes :

Page 8 sur 10
>rem (a,b,x);……………………………………………………………………………………………...

Divisibilité de 2 polynômes :

> divide (a,b);……………………………………………………………………………………………..

> divide(x^2-1, x+1); …………………………………………………………………………………….

REMARQUE:

> quo (a,b,x,q);………………………………………………………………………………………….

> q; #la variable q, ajoutée à la commande quo contient le quotient.

……………………………………………………………………………………………………………

> rem (a,b,x,r);……………………………………………………………………………………………

> r; #la variable r, ajoutée à la commande rem contient le reste.

> divide(x^2-1, x+1, k);…………………………………………………… ……………………………

> k; #la variable k, ajoutée à la commande divide contient le quotient.

Factorisation d’un polynôme

> factor (x^3+x^2+x+1);………………………………………………………………………………….

Normalisation:

> normal ((4*x-3)^2+x-1);……………………………………………… ……………………………….

III. Fraction rationnelles :

> F:=(2*x^2+x-3)^2/(x^4-1);numer(F) ; denom (F);

> simplify (F);……………………………………………………………………………………………

Factorisation sur IR:

> factor (F);……………………………………………………………………………………………….

Factorisation sur C:

> factor (F, I);……………………………………………………………………………………………

Retour à la forme normale:

Page 9 sur 10
> normal (%,expanded);…………………………………………………………………………………

Décompose en éléments simples la fraction rationnelle F en l'indéterminée x :

Décomposition sur IR:

> convert (F,parfrac,x);…………………………………………………………………………………...

Décomposition sur C:

> convert (F,parfrac,x,I);…………………………………………………………………………………

Référence :

S. Gaâliche, "TP N°2 : Simplification d’expressions, polynômes et fractions rationnels," Classe : Prépa
PC1-MP1, Faculté des Sciences de Monastir, Tunisie.

Page 10 sur 10