LA RESOLUTION DEQUATIONS ET

DE SYSTEMES DEQUATIONS SIMULTANEES

Une fois les fonctions mathmatiques f
j
[x
1
,..,x
i
,..,x
n
] et g
j
[x
1
,..,x
i
,..,x
n
] dfinies dans
Mathematica , les quations et systmes dquations simultanes scrivent alors suivant le
modle ci-dessous. On a :

f
0
[{f
1
[x
1
,..,x
i
,..,x
n
]==g
1
[x
1
,..,x
i
,..,x
n
], ... ,f
m
[x
1
,..,x
i
,..,x
n
]==g
m
[x
1
,..,x
i
,..,x
n
]},{x
1
,..,x
i
,..,x
n
}] (3)

Aprs la fonction symbolique Solve (f
0
=Solve) ou la fonction numrique NSolve
(f
0
=Solve), quivalente la fonction imbrique N[Solve], figurent, entre crochets, la liste
entre accolades des quations puis la liste entre accolades des variables x
i
utilises (sauf si
la variable est unique, i=1 n). Chaque quation j (j=1 m) comprend successivement la
fonction f
j
suivie de sa (ses) variable(s) entre crochets, un double signe dgalit == et la
fonction g
j
suivie de sa (ses) variable(s) entre crochets. Dans ce cadre gnral, les quations et
systmes dquations simultanes se prsentent respectivement sous la forme symbolique et
sous la forme numrique comme

Solve[{f
1
[x
1
,..,x
i
,..,x
n
]==g
1
[x
1
,..,x
i
,..,x
n
],..,f
m
[x
1
,..,x
i
,..,x
n
]==g
m
[x
1
,..,x
i
,..,x
n
]},{x
1
,.,x
i
,.,x
n
}]
et
NSolve[{f
1
[x
1
,..,x
i
,..,x
n
]==g
1
[x
1
,..,x
i
,..,x
n
],..,f
m
[x
1
,..,x
i
,..,x
n
]==g
m
[x
1
,..,x
i
,..,x
n
]},{x
1
,.,x
i
,.x
n
}]

Si le systme dquations se rsume une quation (m=1) comprenant la fonction univoque
f
1
[x] (n=1 et x=x
1
) et la fonction g
1
[x] gale la constante c
1
, les expressions symbolique et
numrique prcdentes scrivent alors respectivement, avec loption de prsentation
TableForm , sous la forme
Solve [{f
1
[x]= = c
1
},x] // TableForm
et
NSolve [{f
1
[x]= = c
1
},x] // TableForm

puisque les accolades rassemblant les variables slectionnes ne sont pas obligatoires en cas
de variable unique. Ainsi, par dexemple, nous avons dfini la fonction polynomiale de degr
trois f
1
[x] la ligne dentre n67 de la copie dcran ci-aprs. Puis, nous avons extrait les
racines associes lquation f
1
[x]=0 aux lignes dopration n68 et n69 en utilisant
successivement la fonction symbolique Solve et la fonction empirique NSolve .

Mathematica ne se limite pas cependant la seule extraction des racines entires,
rationnelles et relles. Le logiciel peut galement extraire des racines complexes. A partir de
la fonction polynomiale de degr deux f
2
[x] dfinie la ligne dopration n70, nous avons
ainsi extrait sans difficult les racines complexes 2I et 2+I de lquation f
2
[x]=0 la ligne
dopration suivante. Si le systme dquations comprend plusieurs quations (m2) avec des
fonctions f
j


(j=1 m) comprenant plusieurs variables x
i
(i=1 n2) et des fonctions
g
j
comprenant uniquement une constante c
j
, les systmes dquations simultanes
scrivent alors respectivement sous leur forme symbolique et sous leur forme numrique
comme
Solve[{f
1
[x
1
,..,x
i
,..,x
n
]==c
1
,. ..,f
m
[x
1
,..,x
i
,..,x
n
]==c
m
},{x
1
,.,x
i
,.,x
n
}]
et
NSolve[{f
1
[x
1
,..,x
i
,..,x
n
]==c
1
,..,f
m
[x
1
,..,x
i
,..,x
n
]==c
m
},{x
1
,.,x
i
,.x
n
}]
Jean-Franois Gueugnon Copyright Juillet 2001
2

Telnet moliere.u-paris10.fr VT
Connexion Edition Terminal
In[67] : = f1[x_]:=-20*(x^3) 42*(x^2) + 63*x 27
In[68] : = Solve [f1[x] == 0,x] // TableForm
Out[68] // TableForm = x -> 3 / 4
x -> 3 / 2
x -> 3
In[69] : = NSolve [f1[x] == 0,x] // TableForm
Out[69] // TableForm = x -> 0.75
x -> 1.50
x -> 3.
In[70] : = f2[x_]:= x^2 4*x + 5
In[71] : = Solve [f2[x] == 0,x] // TableForm
Out[71] // TableForm = x -> 2 I
X -> 2 + I
In[72] : = h1[x1_,x2_,x3_]:=(x1^2) + (x2^2) +( x3^2)
In[73] : = h2[x1_,x2_,x3_]:=4*x1*x2 (x3^2)
In[74] : = h3[x1_,x2_,x3_]:=x1 + x2 (p*x3)
In[75] : = p=1
In[76] : = Solve[{h1[x1,x2,x3]==1,h2[x1,x2,x3]==0,h3[x1,x2,x3]==0},{x1,x2,x3}]

Out[76] = { { ]
3
2
Sqrt[ - x3
Sqrt[6]
1
( - x2 )
Sqrt[6]
1
( - x1 , ) , },


{ ]
3
2
Sqrt[ x3
Sqrt[6]
1
x2
Sqrt[6]
1
, , x1 },


{ ]
3
2
Sqrt[ - x3
Sqrt[6]
1
( - x2 )
Sqrt[6]
1
( - , ) , x1 },


{ ]
3
2
Sqrt[ x3
Sqrt[6]
1
x2
Sqrt[6]
1
, , x1 } }




Pour le systme dquations ci-dessous, muni du paramtre p , comprenant les trois
quations suivantes (m=3) trois inconnues x
1
, x
2
et x
3
(n=3)

h
1
[x
1
,x
2
,x
3
] = x
1
2
+ x
2
2
+ x
3
2
= 1
h
2
[x
1
,x
2
,x
3
] = 4.x
1
. x
2
x
3
2
= 0
h
3
[x
1
,x
2
,x
3
] = x
1
+ x
2
- p.x
3
= 0

nous avons dabord dfini respectivement les fonctions h
1
[x
1
,x
2
,x
3
], h
2
[x
1
,x
2
,x
3
] et h
3
[x
1
,x
2
,x
3
]
aux lignes dentre n72, n73 et n74 figurant dans la copie dcran ci-avant. Puis, aprs
avoir attribu la valeur unitaire au paramtre p la ligne dopration n75, nous avons
rsolu, la ligne dopration suivante, le systme dquations simultanes en ajoutant, aprs
les trois quation h
j
[x
1
,x
2
,x
3
]=c
j
entre accolades (j=1 3), la liste entre accolades des trois
variables x
1
, x
2
et x
3
ici utilises (
1
).

1
Le systme dquations originel peut aussi tre rsolu sans donner de valeur au paramtre p .
Jean-Franois Gueugnon Copyright Juillet 2001