** Introduction:**
Given two univariate and coprime integer polynomials $f(x), g(x)$, we can always write
\begin{equation}
u(x)f(x)+v(x)g(x)=c
\end{equation}
for a unique pair of integer polynomials $u(x), v(x)$, and a unique positive integer $c$, such that $\deg u<\deg g$ and $\deg v<\deg f$. (This is a consequence of cancellation in the denominators in Bezout's identity, applied to $f$ and $g$ as elements of $\mathbb{Q}[x]$ and $c$ is the $lcm$ of the denominators of the unique pair of rational polynomials determined by Bezout's identity).

However, the positive integer $c$ need not be the minimal integer satisfying such a relation—there may be integer polynomials $p(x)$ and $ q(x)$ of arbitrary degrees such that $$ p(x)f(x)+q(x)g(x)=d $$ with $d<c$.

**As an example**, consider $f(x)=2x+1$, $g(x)=2x+17$, for which Bezout's identity gives $c=16$:
$$
\frac{1}{16}(2x+17)-\frac{1}{16}(2x+1)=1 \Leftrightarrow (2x+17)-(2x+1)=16;
$$
while for $p(x)=-(x^4 + 8 x^3 - 4x^2 + 2 x - 1)$, $q(x)=x^4$, we obtain $d=1$:
$$
(2 x + 17) (x^4)-(2 x + 1) (x^4 + 8 x^3 - 4x^2 + 2 x - 1)=1.
$$
(This example is cited in *On resultants,* Proc Amer Math Soc 89 (1983) 419-420, G. Myerson.)

The minimal positive integer $c$ satisfying such a relation $p(x)f(x)+q(x)g(x)=c$, for $p(x), q(x)$ integer polynomials, is by definition called the **reduced resultant** of $f,g$ (see The resultant and the ideal generated by two polynomials in $\mathbb{Z}[x]$). As I understand it, if $f$ and $g$ are both monic (see Reduced resultant of monic polynomials), then this minimal positive integer (that is, the reduced resultant), can be found by applying the extended Euclidean algorithm, obtaining the Bezout's identity, and then clearing denominators.

** Now the question:** For any pair of coprime, integer polynomials $f$ and $g$, how can we find polynomials $p(x)$ and $q(x)$—of suitable degrees—together with the minimal positive integer $c$, such that
$$
p(x)f(x)+q(x)g(x)=c.
$$

** P.S.:** Given two coprime integer polynomials $f,g$, by Bezout's identity in $\mathbb{Q}[x]$, we know that all other pairs of rational polynomials, satisfying the relation $A(x)f(x)+B(x)g(x)=1$ are of the form
$$
A(x)=\frac{1}{c}u(x)+g(x)w(x), \ \ \ B(x)=\frac{1}{c}v(x)-f(x)w(x)
$$
for arbitrary $w(x)\in\mathbb{Q}[x]$. Notice also, that in the preceding example, by long-division we get:
$$
B(x)=q(x)=x^4 + 8 x^3 - 4 x^2 + 2 x - 1=\left(-\frac{1}{16}+\frac{x}{8}-\frac{x^2}{4}+\frac{x^3}{2}\right) (2 x+17) +\frac{1}{16}
$$
and:
$$
A(x)=p(x)=x^4=\left(-\frac{1}{16}+\frac{x}{8}-\frac{x^2}{4}+\frac{x^3}{2}\right) (2 x+1)+\frac{1}{16}
$$
for: $w(x)=\left(-\frac{1}{16}+\frac{x}{8}-\frac{x^2}{4}+\frac{x^3}{2}\right)$.

Thus, the problem amounts to deciding, whether we can determine a suitable rational polynomial $w(x)$, such that $A(x)$, $B(x)$ have $lcm$ of their denominators less than $c$.

2more comments