5

"Suppose that $f(x), g(x)$ are arbitrary polynomials in $\mathbb{R}[x]$, that are not both zero, and $d(x) = \gcd[f(x), g(x)]$. Explain why there are polynomials $p(x), q(x) \in \mathbb{R}[x]$ so that $f(x) = p(x)d(x), g(x) = q(x)d(x)$ and gcd$[p(x), q(x)] = 1$. "

My attempt:

"If $d(x) = \gcd[f(x), g(x)]$ then $d(x)\mid f(x)$ and $d(x)\mid g(x)$

Hence $f(x) = p(x)d(x)$ and $g(x) = q(x)d(x)$ for $p(x), q(x) \in \mathbb{R}[x]$

Suppose for a contradiction that $\gcd[p(x), q(x)] \not = 1$

Hence $\exists$ $a(x),s(x),t(x)$ with $\deg(a(x))\geq 1$ such that $p(x) = a(x)s(x)$ and $q(x)=a(x)t(x)$

Hence $f(x) = a(x)s(x)d(x)$ and $g(x) = a(x)t(x)d(x)$

Thus $\gcd[f(x), g(x)] = a(x) \not = 1 $"

I'm not sure if this is on the right track.

M47145
  • 4,106
maths123
  • 541
  • $\gcd[p(x),q(x)]\neq 1$ does not mean that $p(x)=a(x)q(x)$ for some $a(x)\in \Bbb R[x]$. It means that there are $a(x), s(x), t(x)$ with the degree of $a(x)$ greater than or equal to $1$ such that $p(x)=a(x)s(x)$ and $q(x)=a(x)t(x)$. – Arthur Jun 17 '16 at 22:08
  • Look at the line after "Suppose for a contradiction $\dots$". It is not the case that if follows that $p(x)=a(x)q(x)$ for some $a(x)$. – André Nicolas Jun 17 '16 at 22:08
  • That being said, you are definitely on the right track. You just haven't succeeded entirely in putting the correct words and arguments to your ideas. – Arthur Jun 17 '16 at 22:12
  • Thanks very much for your help - I have corrected my working above :) – maths123 Jun 17 '16 at 22:20

2 Answers2

1

The technique is essentially what you see in my answer to this question except that polynomials rather than integers are used.

0

You are on the right track, and almost done. However, the last line isn't going anywhere.

"Hence $f(x) = a(x)s(x)d(x)$ and $g(x) = a(x)t(x)d(x)$
Thus $\gcd[f(x), g(x)] = a(x) \not = 1 $"

The conclusion should be that $a(x)d(x)|f(x)$ and $a(x)d(x)|g(x)$, thus by the definition of $\gcd$ for polynomials we have that $\deg(a(x)d(x))\leq \deg(d(x))$. This is a contradiction since $$\deg(a(x)d(x))=\deg(a(x))+\deg(d(x))=1+\deg(d(x))>\deg(d(x)).$$

It follows that $\gcd(p(x),q(x))=1$.

M47145
  • 4,106