next up previous contents index
suivant: Résultant de deux polynômes monter: Arithmétique des polynômes précédent: Suites de Sturm :   Table des matières   Index


Matrice de Sylvester de deux polynômes : sylvester

sylvester a comme arguments deux polynômes.
sylvester renvoie la matrice S de Sylvester des deux polynômes.
Pour deux polynômes A(x) = $ \sum_{{i=0}}^{{i=n}}$aixi et B(x) = $ \sum_{{i=0}}^{{i=m}}$bixi, la matrice S de Sylvester est une matrice carrée de dimensiom m+n dont les m=degree(B(x)) premières lignes sont composées à partir des coefficients de A(x) :

$\displaystyle \left(\vphantom{\begin{array}{ccccccc}
s_{11}=a_n & s_{12}=a_{n-1...
...ots & s_{m(n+1)}=a_{m-1} & s_{m(n+2)}=a_{m-2} & \cdots&a_0
\end{array}}\right.$$\displaystyle \begin{array}{ccccccc}
s_{11}=a_n & s_{12}=a_{n-1}& \cdots & s_{1...
...}=0& \cdots & s_{m(n+1)}=a_{m-1} & s_{m(n+2)}=a_{m-2} & \cdots&a_0
\end{array}$$\displaystyle \left.\vphantom{\begin{array}{ccccccc}
s_{11}=a_n & s_{12}=a_{n-1...
...ots & s_{m(n+1)}=a_{m-1} & s_{m(n+2)}=a_{m-2} & \cdots&a_0
\end{array}}\right)$

et les n=degree(A(x)) lignes suivantes sont composées de la même façon à partir des coefficients de B(x) :

$\displaystyle \left(\vphantom{\begin{array}{ccccccc}
s_{(m+1)1}=b_m & s_{(m+1)2...
...}=0& \cdots & s_{(m+n)(m+1)}=b_{n-1} & b_{n-2} &\cdots&b_0
\end{array}}\right.$$\displaystyle \begin{array}{ccccccc}
s_{(m+1)1}=b_m & s_{(m+1)2}=b_{m-1}& \cdot...
..._{(m+n)2}=0& \cdots & s_{(m+n)(m+1)}=b_{n-1} & b_{n-2} &\cdots&b_0
\end{array}$$\displaystyle \left.\vphantom{\begin{array}{ccccccc}
s_{(m+1)1}=b_m & s_{(m+1)2...
...}=0& \cdots & s_{(m+n)(m+1)}=b_{n-1} & b_{n-2} &\cdots&b_0
\end{array}}\right)$

On tape :
sylvester(x^3-p*x+q,3*x^2-p,x)
On obtient :
[[1,0,-p,q,0],[0,1,0,-p,q],[3,0,-p,0,0], [0,3,0,-p,0],[0,0,3,0,-p]]
On tape :
det([[1,0,-p,q,0],[0,1,0,-p,q],[3,0,-p,0,0], [0,3,0,-p,0],[0,0,3,0,-p]])
On obtient :
-4*p^3-27*q^2



Documentation de giac écrite par Renée De Graeve