This discussion board is a place to discuss our Daily Challenges and the math and science
related to those challenges. Explanations are more than just a solution — they should
explain the steps and thinking strategies that you used to obtain the solution. Comments
should further the discussion of math and science.

When posting on Brilliant:

Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .

Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.

Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.

Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

Markdown

Appears as

*italics* or _italics_

italics

**bold** or __bold__

bold

- bulleted - list

bulleted

list

1. numbered 2. list

numbered

list

Note: you must add a full line of space before and after lists for them to show up correctly

Lemma : For any equation $f(x)$ of degree $n$ to have all it's roots real , it must be true that all the roots of $f^{r}(x)$ must also have it's all roots real , where $1 \leq r \leq n$. BUT THE CONVERSE IS NOT TRUE.

Proof : If you see this graphically . we observe that if all the roots of $f(x)$ of degree $n$ are real , then it must be true that the graph of the polynomial must take turns $n-1$ times or we can say that $f^{'}(x)$ must be $0$ for $n-1$ values including multiplicity of roots.

So proceeding this way leads us to the desired result.

So, if the equation in the question has all it's roots real , then it's third derivative must also have all it's roots real i.e. $60x^2 +24ax + 6b = 0$ has all it's roots real.

$\Rightarrow D \geq 0 \Rightarrow \boxed{2a^2 \geq 5b}$.

But the conditions provided in the question are contrary to what is an essential for all the roots to be real.Hence , all the roots of the equation can't be real.

@Ankit Kumar Jain
–
We can actually find it... See the wiki. I found this.

For a polynomial $P(x)=a_n x^n+a_{n-1} x^{n-1}+\cdots+a_1 x+a_0$ having roots $x_1,x_2,\ldots,x_n$ (counting multiplicity), its discriminant is:
$\Delta=a_n^{2n-2}\prod_{1 \leq i < j \leq n} (x_i-x_j)^2$

Using Vieta's Relations : $\displaystyle \sum_{i=1}^{5} x_i = a , \displaystyle \sum_{1 \leq i < j \leq 5} x_ix_j = b$

Therefore , we get $\boxed{2a^2 \geq 5b}$.

But the condition given in the question is just the contrary to what is an essential for all roots to be real..Hence the equation can't have all it's roots real under the given condition of $2a^2 < 5b$

@Rahil Sehgal I have fixed a minor issue here...The symbol should be greater than equal to in that box..I had earlier mentioned a strict inequality there.

@Rahil Sehgal
–
You can try this ...Inequality is back..I have posted that today itself.
And even this Algebraic Manipulation ..you can see that discussion link in the contributions tab in my profile.

Are you assuming that $x_i$ are all real roots here? If that's not the case, then you cannot apply AM-GM at all as ${x_i}^2$ can be negative. I'm assuming this is a proof by contradiction but for that first you need to highlight the point $x_i$ are all real.

Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

`*italics*`

or`_italics_`

italics`**bold**`

or`__bold__`

boldNote: you must add a full line of space before and after lists for them to show up correctlyparagraph 1

paragraph 2

`[example link](https://brilliant.org)`

`> This is a quote`

Remember to wrap math in`\(`

...`\)`

or`\[`

...`\]`

to ensure proper formatting.`2 \times 3`

`2^{34}`

`a_{i-1}`

`\frac{2}{3}`

`\sqrt{2}`

`\sum_{i=1}^3`

`\sin \theta`

`\boxed{123}`

## Comments

Sort by:

TopNewestLet $x_{1},x_{2} \cdots x_{5}$ be the real roots of the polynomial $P(x)$

Then $x_{1} + x_{2} + \cdots + x_{5} = S = -a$

Let $\sum x_{1} \cdot x_{2} = T$

Then you can directly prove by applying AM -GM twice

Log in to reply

Exactly..You got it correct..By the way..There is an algebraic proof also..I mean a proof using no inequalities.

Log in to reply

I will try to prove it without inequalities....

Btw nice question. Have u made it yourself?

Log in to reply

Log in to reply

I have summarized your solution as solution 1 to the problem ..See that..

Log in to reply

Thanks... I was thinking to post it but a hint is actually enough.

Log in to reply

Log in to reply

SOLUTION 2:

Lemma : For any equation $f(x)$ of degree $n$ to have all it's roots real , it must be true that all the roots of $f^{r}(x)$ must also have it's all roots real , where $1 \leq r \leq n$.

BUT THE CONVERSE IS NOT TRUE.Proof : If you see this graphically . we observe that if all the roots of $f(x)$ of degree $n$ are real , then it must be true that the graph of the polynomial must take turns $n-1$ times or we can say that $f^{'}(x)$ must be $0$ for $n-1$ values including multiplicity of roots.

So proceeding this way leads us to the desired result.

So, if the equation in the question has all it's roots real , then it's third derivative must also have all it's roots real i.e. $60x^2 +24ax + 6b = 0$ has all it's roots real.

$\Rightarrow D \geq 0 \Rightarrow \boxed{2a^2 \geq 5b}$.

But the conditions provided in the question are contrary to what is an essential for all the roots to be real.Hence , all the roots of the equation can't be real.

Log in to reply

Thank you very much (+1)

Log in to reply

:) :)

Log in to reply

@Rahil Sehgal Here is an inequality problem..

Log in to reply

Do we need to find the discriminant (D) of the equation to prove this?

If D ≥ 0 then only roots are real.

Log in to reply

But there is no discriminant for a degree 5 equation ..as far as I know..Tell me if I am wrong.

Log in to reply

For a polynomial $P(x)=a_n x^n+a_{n-1} x^{n-1}+\cdots+a_1 x+a_0$ having roots $x_1,x_2,\ldots,x_n$ (counting multiplicity), its discriminant is: $\Delta=a_n^{2n-2}\prod_{1 \leq i < j \leq n} (x_i-x_j)^2$

Log in to reply

Log in to reply

Log in to reply

this

SeeLog in to reply

this

SeeLog in to reply

Log in to reply

You can use this ...Consider that all the roots of the equation are real..Then try to introduce some inequalities to get the desired result.

Log in to reply

SOLUTION 1:

Suppose that the roots of the equation are $x_1,x_2,x_3,x_4,x_5$ , all $\in \mathbb{R}$

By AM-GM Inequality , we have $x_i^2+x_j^2 \geq 2x_ix_j$ .

Writing similarly and adding for all pairs of $(i,j)$ such that $1 \leq i < j \leq 5$.

We get $4\displaystyle \sum_{i=1}^{5} x_{i}^2 \geq 2\displaystyle \sum_{1 \leq i < j \leq 5} x_ix_j$

Adding $8\displaystyle \sum_{1 \leq i < j \leq 5} x_ix_j$ both sides we get

$4\left(\displaystyle \sum_{i=1}^{5} x_i\right)^2 \geq 10\displaystyle \sum_{1 \leq i < j \leq 5} x_ix_j$

Using Vieta's Relations : $\displaystyle \sum_{i=1}^{5} x_i = a , \displaystyle \sum_{1 \leq i < j \leq 5} x_ix_j = b$

Therefore , we get $\boxed{2a^2 \geq 5b}$.

But the condition given in the question is just the contrary to what is an essential for all roots to be real..Hence the equation can't have all it's roots real under the given condition of $2a^2 < 5b$

Log in to reply

Can you please post the solution 2 ( without inequalities).

This method is actually the elaboration of my solution.

Log in to reply

Oh..yes sorry..I used the wrong word 'summarized' , it should be 'elaborated'.

Log in to reply

@Rahil Sehgal I have fixed a minor issue here...The symbol should be greater than equal to in that box..I had earlier mentioned a strict inequality there.

Log in to reply

Thanks... I didn't notice that much.

Log in to reply

Log in to reply

Log in to reply

Are you assuming that $x_i$ are all real roots here? If that's not the case, then you cannot apply AM-GM at all as ${x_i}^2$ can be negative. I'm assuming this is a proof by contradiction but for that first you need to highlight the point

$x_i$ are all real.Log in to reply

Thanks!...I have edited the solution. :)

Log in to reply

@Md Zuhair @Aditya Narayan Sharma @Anirudh Sreekumar@Brian Charlesworth@Pi Han Goh Please post your solutions!

It will help everyone know alternate solutions to the problem,

Log in to reply

@Tapas Mazumdar@Kushal Bose@Akshat Sharda Post your solutions guys.

Log in to reply