# Thread: A Novel Bound for Polynomials?

1. ## A Novel Bound for Polynomials?

True or false:

Let f, g, and h $\in\mathbb{C}[x]$ be non-constant, relatively prime polynomials such that f + g = h. Then

$\max (\deg f, \deg g, \deg h) \leq n_0(fgh) - 1,$

where $n_0(f)$ denotes the number of distinct roots of f.

2. Ok, I have not found an elegant way to approach this but with some intuitive guesses I have found a counterexample showing the claim to be false. Now clearly, from being relatively prime and nonconstant, $n_0(fgh)\geq 3$, so the first hope for a counter example would be $\max (\deg f, \deg g, \deg h)=3, n_0(fgh) =3,$ in which case the inequality fails. For this to work, each polynomial must be either a perfect square or perfect cube of a linear term. It is not difficult to show that we cannot sum two perfect cubes to another perfect cube by considering the resulting system of equations of the coefficients.

My solution was constructed by assuming $f(x)=(x-a)^3, g(x)=(b-x)^3$ and $f(x)+g(x)=h(x)=w(x-c)^2$, and considering the systems of equations from the coefficients. One set of solutions is $a=1, b=\sqrt{3}+2, w=3(\sqrt{3}+3), c=-\sqrt{3}-1$, giving the counterexample:

$f(x)=(x+1)^3=x^3+3x^2+3x+1$
$g(x)=(\sqrt{3}+2-x)^3=-x^3+3(\sqrt{3}+2)x^2-3(4\sqrt{3}+7))x+(15\sqrt{3}+26)$

$h(x)=f(x)+g(x)=3(\sqrt{3}+3)x^2-3(4\sqrt{3}+6))x+(15\sqrt{3}+27)=$ $3(\sqrt{3}+3)*(x^2-(\sqrt{3}+1)x+(\sqrt{3}+2))=3(\sqrt{3}+3)(x-(\sqrt{3}+1)/2)^2$

So these polynomials, being nonconstant and sharing no roots, satisfy the requirements. However, $(fgh)(x)=3(\sqrt{3}+3)(x-(\sqrt{3}+1)/2)^2(x+1)^3(\sqrt{3}+2-x)^3$ has three distinct roots, thus $3=\max (\deg f, \deg g, \deg h)=\leq n_0(fgh)-1=3-1=2$ which is absurd.

3. Without giving away the answer to the OP, I will say that I am afraid your argument does not work, siclar, though it was a noble effort!

In general, we have $n_0(fg)\leq n_0(f) + n_0(g),$ where the equality holds if $f$ and $g$ are relatively prime. So I think your initial step was the problem...

4. Originally Posted by AlephZero
True or false:

Let f, g, and h $\in\mathbb{C}[x]$ be non-constant, relatively prime polynomials such that f + g = h. Then

$\max (\deg f, \deg g, \deg h) \leq n_0(fgh) - 1,$

where $n_0(f)$ denotes the number of distinct roots of f.
see Mason-Stothers theorem.

5. Originally Posted by AlephZero
Without giving away the answer to the OP, I will say that I am afraid your argument does not work, siclar, though it was a noble effort!

In general, we have $n_0(fg)\leq n_0(f) + n_0(g),$ where the equality holds if $f$ and $g$ are relatively prime. So I think your initial step was the problem...
Hm, I'm afraid I don't see how this changes anything I wrote, seeing as I explicitly calculated $n_0$, or rather constructed my polynomials to give it a specific value.

Having googled NCA's suggestion, I see I must be wrong but I can't figure out where my logic falls apart. I double checked my arithmetic on the polynomial computations and that all seems fine
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 24, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}