Given a cubic and quadratic share a root, prove $(ac-b^{2})(bd-c^{2})\geq 0$

We begin by using a single step of the Euclidean algorithm. Let $f(x) = ax^3 + 3bx^2 + 3cx + d$ and $g(x) = ax^2 + 2bx + c$. If $f$ and $g$ share a common root, then the polynomial $$ h(x) \;=\; f(x) - xg(x) \;=\; bx^2 + 2cx + d $$ must share that root as well. Now, the roots of $g(x)$ are real when $ac-b^2 \leq 0$, and complex when $ac-b^2 > 0$. Similarly, the roots of $h(x)$ are real when $bd-c^2 \leq 0$, and complex when $bd-c^2 > 0$. If these two polynomials share a common root, it follows that $ac-b^2$ and $bd-c^2$ are either both positive or both nonpositive, and therefore $(ac-b^2)(bd-c^2)\geq 0$.


Hint: Notice anything coincidental about the derivative of the cubic?

Suppose that $\phi$ is the common root. Let $f(x)=ax^3+3bx^2+3cx+d$ and let $g(x)=ax^2+2bx+c$. Notice that $f^'(x)=3g(x)$ so that $f'(\phi)=0$ as well. Hence $\phi$ is a double root of $f$. Since $f$ is a cubic, and complex roots come in pairs, it follows that $\phi$ is real, and hence all the roots of these polynomials are real.

In particular this implies something a bit stronger, that both $c^2-bd\geq 0$ and $b^2-ac\geq 0$. (To get $b^2-ac\geq 0$, look at the discriminant. I leave showing that $c^2-bd\geq 0$ to you. (I have a solution if you really want.))

Hope that helps,

Edit: Why do we have $c^2-bd\geq 0$? Here is the immediate brute force way, there is probably a nicer solution. The cubic has $\phi$ as a root with multiplicity $2$, and a third root, call it $\gamma$. Then since $c=a \frac{\phi^2 +\phi\gamma+\phi\gamma}{3}$, $b=-a\frac{\phi+\phi+\gamma}{3}$ and $d=-a\phi^2\gamma$ it follows that $c^2 - bd \geq 0$ is equivalent to $$\phi^2 \gamma \left(\frac{\phi+\phi+\gamma}{3}\right)\leq\left(\frac{\phi^2+\phi \gamma+ \phi\gamma}{3}\right)^2.$$ Dividing by $\phi^2$ and multiplying by $9$, we get $$3\gamma (2\phi + \gamma) \leq (\phi+2\gamma)^2,$$ which is then equivalent to $$0\leq\phi^2 -2\phi\gamma+\gamma^2.$$ This last line clearly holds since it is a square.