The BezoutMatrix(P, Q) command constructs the Bezout Matrix of the univariate polynomials P and Q in the same indeterminate.

The BezoutMatrix(P, Q, x) command is used when P and Q are multivariate polynomials; the main indeterminate of P and Q can be specified by using the optional parameter x.

Let $P=\sum _{i=0}^n{p}_i{x}^i$ and $Q=\sum _{j=0}^m{q}_j{x}^j$ where $m\le n$.  Then $B=\mathrm{BezoutMatrix}\left(P\,Q\,x\right)$ has entries

If the option method=symmetric is given, then the matrix B is returned such that $\frac{P\left(x\right)Q\left(\mathrm{\eta }\right)-P\left(\mathrm{\eta }\right)Q\left(x\right)}{x-\mathrm{\eta }}\&equals;<\cdots \&comma;{\mathrm{\eta }}^2\&comma;\mathrm{\eta }\&comma;1\&gt;\cdot B\cdot <\cdots \&comma;x^2\&comma;x\&comma;1{\&gt;}^{\&plus;}$.

If the option methodoptions=increasing_degree is given, the ordering of the vectors in this quadratic form are reversed.

If degree(Q) > degree(P), then BezoutMatrix(Q, P, x) is constructed.

The determinant of the Bezout Matrix is equal to $\mathrm{resultant}\left(P\&comma;Q\&comma;x\right)$.

If the option method=symmetric is given, then the determinant of the Bezout Matrix is a multiple of $\mathrm{resultant}\left(P\&comma;Q\&comma;x\right)$.

The constructor options provide additional information (readonly, shape, storage, order, datatype, and attributes) to the Matrix constructor that builds the result. These options may also be provided in the form outputoptions=[...], where [...] represents a Maple list.  If a constructor option is provided in both the calling sequence directly and in an outputoptions option, the latter takes precedence (regardless of the order).

$\mathrm{with}\left(\mathrm{LinearAlgebra}\right)\&colon;$

$p≔a+bx+c{x}^2$

$p≔c{x}^2+bx+a$

$q≔d+ex+f{x}^3$

$q≔f{x}^3+ex+d$

$A≔\mathrm{BezoutMatrix}\left(p\&comma;q\&comma;x\right)$

$A≔\left[\begin{array}{ccc}af-ec& -eb-dc& -db\\ bf& af-ec& -dc\\ c& b& a\end{array}\right]$

$\mathrm{Determinant}\left(A\right)$

$a^3{f}^2-2a^{2}cef+a{b}^{2}ef+3abcdf+a{c}^2{e}^2-b^{3}df-b{c}^{2}de+c^3{d}^2$

$\mathrm{resultant}\left(p\&comma;q\&comma;x\right)$

$a^3{f}^2-2a^{2}cef+a{b}^{2}ef+3abcdf+a{c}^2{e}^2-b^{3}df-b{c}^{2}de+c^3{d}^2$

$B≔\mathrm{BezoutMatrix}\left(p\&comma;q\&comma;x\&comma;\mathrm{method}=\mathrm{symmetric}\right)$

$B≔\left[\begin{array}{ccc}-fc& -bf& -af\\ -bf& -af+ec& dc\\ -af& dc& -ea+db\end{array}\right]$

$\mathrm{MatrixOptions}\left(B\&comma;'\mathrm{shape}'\right)$

$\left[\mathrm{symmetric}\right]$

$B≔\mathrm{BezoutMatrix}\left(p\&comma;q\&comma;x\&comma;\mathrm{method}=\mathrm{symmetric}\&comma;\mathrm{shape}=\mathrm{rectangular}\right)$

$B≔\left[\begin{array}{ccc}-fc& -bf& -af\\ -bf& -af+ec& dc\\ -af& dc& -ea+db\end{array}\right]$

$\mathrm{MatrixOptions}\left(B\&comma;'\mathrm{shape}'\right)$

$\mathrm{normal}\left(\frac{\mathrm{Determinant}\left(B\right)}{\mathrm{resultant}\left(p\&comma;q\&comma;x\right)}\right)$

$f$