I recently stumbled across this great problem which is a must-try-to-solve problem if you want to practice your algebraic manipulation abilities. Αnd in case you are interested in advanced classical inequalities there are some useful identities it highlights such that \[\begin{cases} ab+bc+ca = \dfrac{(a+b+c)^2-a^2-b^2-c^2}{2} \\ (a+b+c)^3 = a^3+b^3+c^3+3(a+b)(b+c)(c+a) \\ (a+b+c)(ab+bc+ca) = (a+b)(b+c)(c+a)+abc \\ a^3+b^3+c^3-3abc = (a+b+c)(a^2+b^2+c^2-ac-bc-ca) \end{cases}\] However the subtle lie of the problem is that despite the numbers \((a+b+c)\),\((a^2+b^2+c^2)\), \((ab+bc+ca)\), \((a+b)(b+c)(c+a)\), \((a^3+b^3+c^3)\) and \((abc)\) are all real, it can be shown that for the given values it is impossible for all \(a\), \(b\) and \(c\) to be real. Now I need to focus your attention specifically in those 3 real numbers: \((a+b+c)\), \((ab+bc+ca)\), and \((abc)\). Do they remind you anything? No? Anything related with polynomials?

Well consider a third degree polynomial \(P(x) = (x-a)(x-b)(x-c)\) where \(a\), \(b\), \(c\) are its roots (either real or not). Then you can rewrite the polynomial as \(P(x) = x^3 -(a+b+c)x^3 +(ab+bc+ca)x -abc\). So \(-(a+b+c)\), \((ab+bc+ca)\), and \(-abc\) are the real coefficients of each term of a third degree polynomial!

I also though of Newton's Inequality (I'll try to explain it the best I can) which states that \(S_{k-1}\cdot S_{k+1} \leq S_{k}^2 \quad \forall \text{ integers } k \in (0,n)\) where \(S_i\) represent the elementary symmetric polynomial divided by \(\binom{n}{i}\) and \(n\) is the number of variables. Therefore for \(n=3\) we obtain \(S_0=1, S_1=\dfrac{x_1+x_2+x_3}{3}, S_2=\dfrac{x_1x_2+x_2x_3+x_3x_1}{3}, S_3=x_1x_2x_3\) where \(x_i\) is a real number. Thus according to Newton's Inequality for \(k=2\) it is \(x_1x_2x_3\cdot \dfrac{x_1+x_2+x_3}{3} \leq \dfrac{(x_1x_2+x_2x_3+x_3x_1)^2}{9} \quad (*) \)

Now assume that \(P(x)\) has all its roots being real numbers. Then by substituting in \((*)\) \(x_1=a, x_2=b, x_3=c\) we obtain \(abc \cdot \dfrac{a+b+c}{3} \leq \dfrac{(ab+bc+ca)^2}{9} \quad (**) \)

If \((**)\) is not satisfied we can conclude that some of the roots are not real numbers.

Taking the values of the problem we can create the polynomial \(P(x) = x^3-7x^2+13x-89\). Let all its roots be real numbers, then by Newton's Inequality it should be \(89\cdot \dfrac{7}{3} \leq \big(\dfrac{13}{3}\big)^2 \Leftrightarrow 1700 \leq 0\) Contradiction! Thus \(P(x)\) has two imaginary roots.

We can use this method of the ATTEMPT to determine the real roots of a polynomial, for all the polynomials of degree greater or equal to 3. For example for a fourth degree polynomial \(Q(x)=x^4-(a+b+c+d)x^3+(ab+bc+cd+da+ac+bd)x^2-(abc+abd+acd+bcd)x+adcd\) if either one OR more of the following inequalities do not hold then some of its roots are not real. \(1\cdot \dfrac{ab+bc+cd+da+ac+bd}{6}\leq \dfrac{(a+b+c+d)^2}{16} \\ \dfrac{a+b+c+d}{4}\cdot \dfrac{abc+abd+acd+bcd}{4} \leq \big(\dfrac{ab+bc+cd+da+ac+bd}{6}\big)^2 \\ \dfrac{ab+bc+cd+da+ac+bd}{6}\cdot abcd \leq \big(\dfrac{abc+abd+acd+bcd}{4}\big)^2\)

(Generally if \(δ\) is the degree of the given polynomial then you are able to check \((δ-1)\) inequalities)

Caution! If the inequalities hold then we cannot conclude that the roots of a polynomial are real. My observation is that if at least one of the inequalities does not hold then the polynomial has imaginary roots :)

## Comments

Sort by:

TopNewestHmmmm, even your 4th inequality needs to have a constraint of POSITIVE reals. (See the pdf again, page 2, Theorem 10).

Looking over your note again (especially the paragraph above) shows that you didn't realize that the roots must be

positivereal as well. So your paragraph should end withSimilarly, your last paragraph should be changed to

Overall, I think what you have (for identifying roots of cubic polynomials) is an eye-opener, which works well when it's applied alongside Descartes' Rule of sign. Thanks for teaching me something new!

In the meantime, I'm still working on polynomials of degree 4 and higher. I'll report back if I found something interesting.

On an unrelated note, your writeup is very long, yet it's very easily understood! Have you considered writing articles? I think you will be great at it. – Pi Han Goh · 1 year ago

Log in to reply

Anyway, I thought only Maclaurin's Inequality (between those two) holds for positive real numbers. But despite the fact that the fourth inequality derives from Newton's Inequality, it happens that it holds for all real numbers as well. Actually the inequality in question is the following \(\dfrac{(r_1r_2+r_2r_3+r_3r_1)^2}{9} \ge r_1r_2r_3 \dfrac{r_1+r_2+r_3}{3}\) which is equivalent with \((r_1r_2+r_2r_3+r_3r_1)^2 \ge 3(r_1^2r_2r_3+r_1r_2^2r_3+r_1r_2r_3^2)\), let \(r_1r_2=x, r_2r_3=y, r_3r_1=z\) then \((x+y+z)^2 \ge 3(xy+yz+zx)\) which is true for all real numbers.

Note that the second inequality can be expressed as Newton's Inequality since it is \(S_1^2\ge S_0S_2\) where \(S_0=1\), but holds for all real numbers too.

Update: In Wikipedia's page for Newton's Inequality it is mentioned that the inequality holds for all real sequences but I guess that either Wikipedia is not trustworthy or the writer of the pdf forgot to emphasize the difference in their attempt to gather the two inequalities (Newton's and Maclaurin's) together. The first seems more likely. – Chris Galanis · 1 year ago

Log in to reply

In the meantime, I couldn't really create any nice inequalities for the 4th degree polynomial, they all turn out to be very messy. I will continue my research in the following week. – Pi Han Goh · 1 year ago

Log in to reply

For even \(n\):\[\dfrac{-a_{n-1}}{\binom{n}{1}}\ge \sqrt{\dfrac{a_{n-2}}{\binom{n}{2}}}\ge \sqrt[3]{\dfrac{-a_{n-3}}{\binom{n}{3}}}\ge \dots \ge \sqrt[n-2]{\dfrac{a_{2}}{\binom{n}{n-2}}}\ge \sqrt[n-1]{\dfrac{-a_{1}}{\binom{n}{n-1}}}\ge \sqrt[n]{\dfrac{a_{0}}{\binom{n}{n}}} \]

For odd \(n\):\[\dfrac{-a_{n-1}}{\binom{n}{1}}\ge \sqrt{\dfrac{a_{n-2}}{\binom{n}{2}}}\ge \sqrt[3]{\dfrac{-a_{n-3}}{\binom{n}{3}}}\ge \dots \ge \sqrt[n-2]{\dfrac{-a_{2}}{\binom{n}{n-2}}}\ge \sqrt[n-1]{\dfrac{a_{1}}{\binom{n}{n-1}}}\ge \sqrt[n]{\dfrac{-a_{0}}{\binom{n}{n}}} \] But think that the greater \(n\) is, the more useless the above gets, since "most" of the polynomials have negative or non-real roots too. – Chris Galanis · 1 year ago

Log in to reply

Actually I don't feel done with cubic polynomials. Let me show you my work so far:

Let the cubic monic polynomial \(P(x)\) and its depressed polynomial \(Q(x)\). If \(Q(x)\) has three real roots then so does \(P(x)\). Let \(Q(x)=x^3-ax^2+bx-c\) for some real \(a,b,c\) where \(a=0\) have three real roots \(r_1, r_2, r_3\). Then we obtain \(a=r_1+r_2+r_3, b=r_1r_2+r_2r_3+r_3r_1, c=r_1r_2r_3\). Applying twice Newton's Inequality (which in this cases holds for all real numbers) we get: \[S_1^2\ge S_0S_2 \Leftrightarrow \dfrac{(r_1+r_2+r_3)^2}{9}\ge 1\cdot \dfrac{r_1r_2+r_2r_3+r_3r_1}{3} \Leftrightarrow \dfrac{a^2}{9}\ge b \stackrel{a=0}{\Leftrightarrow} b\le 0 \\ S_2^2\ge S_1S_3 \Leftrightarrow \dfrac{(r_1r_2+r_2r_3+r_3r_1)^2}{9}\ge r_1r_2r_3\cdot \dfrac{r_1+r_2+r_3}{3} \Leftrightarrow \dfrac{b^2}{9}\ge \dfrac{a}{3}c \stackrel{a=0}{\Leftrightarrow} b^2\ge 0 \quad \text{(Not helpful at all)}\] Thus we conclude that \(b\) should be negative for \(Q(x)\) to have all its roots real numbers. (Obviously since in other case \(Q(x)\) would be a strictly increasing function, therefore would have at most one real root.)

But this is not enough. By observing the graph of \(Q(x)\) and by "playing" with the values of \(b, c\) we can see that the variable \(c\) plays a crucial role in determining the number of real roots of \(Q(x)\). Actually for a fixed negative \(b\), \(c\) should belong to an interval of the form \([-k,k]\) (for some positive \(k\)) for \(Q(x)\) to have three real roots.

In my unsuccessful attempts to find an inequality of the form \(c^2\le k^2\) (or any inequality that determines the value of \(k\)), I used the cubic discriminant and concluded that the following inequality should hold \[Δ=-4b^3-27c^2\ge 0 \\ \Leftrightarrow 4(r_1r_2+r_2r_3+r_3r_1)^3+27(r_1r_2r_3)^2\le 0 \quad (*) \] My problem is that I cannot understand why \((*)\) holds for all real numbers given the conditions \(r_1+r_2+r_3=0\) and \(r_1r_2+r_2r_3+r_3r_1\le 0\).But we can conclude that \(-2\bigg(\dfrac{|b|}{3}\bigg)^{\frac{3}{2}}\le c \le 2\bigg(\dfrac{|b|}{3}\bigg)^{\frac{3}{2}}\). :) – Chris Galanis · 1 year ago

Log in to reply

– Pi Han Goh · 11 months, 2 weeks ago

I'm just letting you know that I haven't forgotten about this conversation. I got some errands that I need to take care of. I will come back to you soon (another week or two).Log in to reply

This is very nice! And here I am only thinking about Descartes' Rule of Sign...

Your Newton's inequality follows from another important classical inequalities. Here's the link for the interested users (page 2).

Let me see if there is any other additional insight. Will report back if I've found something else. – Pi Han Goh · 1 year ago

Log in to reply

I'm currently investigating the cubic equation \(x^3-ax^2+bx-c=0\). If there are 3 real roots then the following inequalities should hold. \[\begin{cases} a^3\ge 27c \quad \text{ since } (r_1+r_2+r_3)^3\ge 27r_1r_2r_3 \quad \text{for } r_i\ge 0 \\ a^2 \ge 3b \quad \text{ since } (r_1+r_2+r_3)^2 \ge 3(r_1r_2+r_2r_3+r_3r_1) \\ b^3 \ge 27 c^2 \quad \text{ since } (r_1r_2+r_2r_3+r_3r_1)^3 \ge 27 (r_1r_2r_3)^2 \quad \text{for } r_i\ge 0 \\ b^2 \ge 3ac \quad \text{ because of Newton's Inequality}\end{cases}\] I am also thinking how the above inequalities are connected with Cardano's Method. – Chris Galanis · 1 year ago

Log in to reply

My first thought after reading your second paragraph is cubic discriminant. Not sure if you have thought about it....

And regarding Cardano's Method, I find it much easier to simplify the working if you depress the polynomial from the very beginning!

I think you're up to something fascinating; I will work on this even further during the weekends. – Pi Han Goh · 1 year ago

Log in to reply

– Chris Galanis · 1 year ago

I'm sorry but in the second paragraph of my comment, the 1st and the 3rd inequality should hold if the roots are positive real...Really thanks for your thoughts though!!! I'll check if the depressed polynomial helps more!Log in to reply

Awesome work!

This reminded me of my past attempt to find the maximum value and minimum value of abc with some constraints.

I am posting my work, if there is any mistake, please let me know thanks!

@Pi Han Goh @Chris Galanis

– Harsh Shrivastava · 11 months, 3 weeks agoLog in to reply

– Harsh Shrivastava · 11 months, 3 weeks ago

I don't know weather it has been found before or not.Log in to reply

That's similar to Calvin's comment in my solution. – Pi Han Goh · 11 months, 2 weeks ago

It's a fairly common technique.Log in to reply