The polynomial
f ( x ) = 8 x 4 − 2 4 x 3 + 2 7 x 2 − b x + c
has 4 real roots.
What is the value of b ?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Good explanation that begins to work towards the solution.
The explanation of "geometric intuition" however could use some work. For example, if the quartic that we were working with was of the form x 2 ( x − a ) 2 , then we could have the line y = 0 , (or y = + ϵ ), which would touch it in 4 places. As such, you have to fully explain what is really going on at that point x = 4 3 .
Just plug a hole in Aditya's argument,where he relied on AM-RMS inequality and the extra condition that all roots are positive.
Instead of using AM-RMS inequality, we could use the following inequality
3 ∗ ∑ i = 1 4 α 2 ≥ 2 ∗ ∑ i = 1 4 α ∗ β
Which is true for all real numbers of α and β , no need for them to be positive, the equality holds when all numbers are equal. Since both sides of this inequality equal 4 2 7 in our case, we deduce that all roots are equal, and the rest just follows Aditya's reasoning.
That is a nice approach. Almost any inequality which holds for real numbers, and the equality condition is all variables are equal, should work.
E.g. showing that ∑ ( α − 4 3 ) 2 = 0 , would allow us to conclude that the real roots must all be 4 3 .
Log in to reply
True, that summation works too!
Thanks for the excellent problem, and the effort to keep this community running!
Consider g ( x ) = 2 f ( x ) − ( 2 x − 3 / 2 ) 4 = ( 2 7 − 2 b ) x + ( 2 c − 1 6 8 1 ) .
When f ( x ) = 0 , this implies that ( 2 x − 3 / 2 ) 4 = − ( 2 7 − 2 b ) x − ( 2 c − 1 6 8 1 ) .
How can a perfect 4th power intersect a line at 4 points, even if we include multiplicity?
One way is for the line to be tangential to the vertex of the 4th power, which will give us 4 roots. In this case, we must have − ( 2 7 − 2 b ) x − ( 2 c − 1 6 8 1 ) = 0 , or that b = 1 3 . 5 .
If the line is not tangential to the vertex of the 4th power, consider the following:
1. The line cannot intersect the 4th power at 4 or 3 points.
2. If the line intersects the 4th power at 2 points, then neither of these points are tangent, and hence the maximum number of real roots is 2.
3. If the line intersects the 4th power at 1 point that is not the vertex, then the number of multiplicities is at most 2. Hence the maximum number of real roots is 2.
Hence, the only possible scenario gives us b = 1 3 . 5 , and all of the roots are equal.
This expression gives 2 c - 81/ 16 which becomes zero with c = 81/ 32.
Then f (x) = 0.5 (2 x - 3/ 2)^4 = 0 that the 4 real roots are 3/ 4 for x.
Nevertheless, it has already been clear enough with only b mentioned where c is not precisely stated.
Log in to reply
My point is that you can use my approach to justify that b = 13.5 is the only possible solution.
Hint:
What kind of polynomial is
2
f
(
x
)
−
(
2
x
−
3
/
2
)
4
?
For this kind of polynomials, how can it have 4 real roots?
Log in to reply
f (x) = 0.5 (2 x - 3/ 2)^4 = 0 was doing what you suggested. I have just corrected my typing mistake before this.
I shall think about this again. Right now, I am thinking of solving many others which are also interesting.
You are right, Calvin. Only if the line intersects with the power 4 curve at its vertex can have 4 real roots. In this way, only then we can conclude that b = 13.5 is the only possibility for having all real roots. This make our solution to this question complete and firm. Thanks for your clarifications.
Log in to reply
Thanks. See Wei Chen's solution above for another approach.
Log in to reply
The AM-RMS to specify for a = b = c = d is the correct proof.
We count roots up to multiplicity.
For the equation to have 4 real roots, f'(x) should have 3 real roots. And for f'(x) to have 3 real roots, f''(x) should have 2 real roots.
f ′ ( x ) = 3 2 x 3 − 7 2 x 2 + 5 4 x − b
f ′ ′ ( x ) = 9 6 x 2 − 1 4 4 x + 5 4 . Observe that this quadratic expression has a repeated root at x = 0 . 7 5 .
This tells us that f ′ ( x ) = A ( x − 0 . 7 5 ) 3 + B , where A , B are some constants. In order for f ′ ( x ) to have 3 real roots, we must have B = 0 .
Then, with A = 3 2 , we can calculate that b = 1 3 . 5 .
It remains to verify that f ( x ) = 0 indeed has 4 real roots, and this is because f ( x ) = 8 ( x − 0 . 7 5 ) 4 .
This solution was incomplete, and failed to establish why b = 1 3 . 5 had to be the only solution. I've added in the explanation to fill in the gaps.
Ooooh, that's a really nice interpretation!
well i know that if f(x) has a repeated root then f'(x) will also have that root but its opposite need not to be true so how did you conclude that 0.75 will be repeated root of both equations(original one and its derivative)?
I felt really bad for using calculus somehow....
If f```x has a root 0.75 why must it be a root of f (x) Too?
But it doesn't have '4 real roots', unless you count repeating roots.
Log in to reply
That's a valid concern.
I edited the solution and filled in the missing gaps.
Please explain the line ....In order for f'(x) to have 3 reaal roots , we must have B =0
Log in to reply
Consider the function g ( x ) = x 3 + B . Under what conditions does g ( x ) have 3 real roots, counted with multiplicity? By looking at the graph, you should be able to convince yourself that:
Apparently, any change in b or c would cause some of the real roots to vanish. This is only possible if f has a minimum or maximum at a root with multiplicity at least 3.
Therefore I have good hopes that this quartic is of the form f ( x ) = a ( x − r ) 4 . Of course we choose a = 8 and r = 4 3 : 8 ( x − 4 3 ) 4 = 8 x 4 − 2 4 x 3 + 2 7 x 2 − 1 3 2 1 x + 3 2 8 1 . Bingo! We get immediately b = 1 3 2 1 .
I was just simply trying out a few things to see if I can solve this, and I stumbled upon this solution:
For a quartic polynomial to have 4 real roots, its derivative must have 3 real roots ( Reference )
The derivative, f ′ ( x ) = 3 2 x 3 − 7 2 x 2 + 5 4 x − b
The discriminant for the cubic derivative,
Δ = b 2 c 2 − 4 a c 3 − 4 b 3 d − 2 7 a 2 d 2 + 1 8 a b c d = ( − 7 2 ) 2 ( 5 4 ) 2 − 4 ( 3 2 ) ( 5 4 ) 3 − 4 ( − 7 2 ) 3 ( − b ) − 2 7 ( 3 2 ) 2 ( − b ) 2 + 1 8 ( 3 2 ) ( − 7 2 ) ( 5 4 ) ( − b ) = 1 5 1 1 6 5 4 4 − 2 0 1 5 5 3 9 2 − 1 4 9 2 9 9 2 b + 2 2 3 9 4 8 8 b − 2 7 6 4 8 b 2 = − 5 0 3 8 8 4 8 + 7 4 6 4 9 6 b − 2 7 6 4 8 b 2 = − 6 9 1 2 ( 4 b 2 − 1 0 8 b + 7 2 9 ) = − 6 9 1 2 ( 2 b − 2 7 ) 2
For all values of b :
( 2 b − 2 7 ) 2 ≥ 0 − 6 9 1 2 ( 2 b − 2 7 ) 2 ≤ 0 Δ ≤ 0
For a cubic polynomial to have 3 real roots, Δ ≥ 0 . This implies that we have only one possible discriminant value
Δ = 0 − 6 9 1 2 ( 2 b − 2 7 ) 2 = 0 ( 2 b − 2 7 ) 2 = 0 2 b − 2 7 = 0 b = 1 3 . 5
Bonus:
You can then use the quartic polynomial discriminant to show that for b = 1 3 . 5 , the polynomial either has 4 equal real roots, 2 real roots or no real roots at all (though I seriously do not recommend you to try this)
To understand this section, refer to this Wikipedia page
Δ = 4 ( 3 2 c − 8 1 ) 3 P = 0 Q = 0 Δ 0 = 3 ( 3 2 c − 8 1 ) D = 1 0 2 4 ( 3 2 c − 8 1 )
For c < 3 2 8 1 , Δ < 0 , f ( x ) has 2 real roots
For f ( x ) to have 4 real roots, c ≥ 3 2 8 1
If c > 3 2 8 1 , then Δ > 0 , D > 0 , which implies that f ( x ) has no real roots
Therefore, c can only have one value: 3 2 8 1
When c = 3 2 8 1 , Δ = 0 , Δ 0 = 0 , D = 0 , which implies that f ( x ) has 4 equal real roots: x = − 4 a b = 4 3
The polynomial is f ( x ) = 8 x 4 − 2 4 x 3 + 2 7 x 2 − 2 2 7 + 3 2 8 1 = 3 2 1 ( 4 x − 3 ) 4
Great approach!
Log in to reply
Well, to be honest, I sort of cheated for the bonus section. I used Mathway to factorize the quartic discriminant
There's something missing in the question and it is that all roots are positive.
We now see that if roots are α , β , γ , δ , then we have
∑ α = 3 , ∑ α β = 8 2 7 .
Here ∑ α = α + β + γ + δ ∑ α β = α β + β γ + δ γ + α δ + β δ + α γ
We know that ( ∑ α ) 2 = ∑ α 2 + 2 ∑ α β , hence we have
3 2 = ∑ α 2 + 2 × 8 2 7
∴ ∑ α 2 = 9 − 4 2 7 = 4 9
If the roots are all positive, by the A.M.-R.M.S inequality, we have
4 α 2 + β 2 + γ 2 + δ 2 ≥ 4 α + β + γ + δ
And equality occurs only when α = β = γ = δ .
From the question, 4 α 2 + β 2 + γ 2 + δ 2 = 4 9 / 4 = 1 6 9 = 4 3
and 4 α + β + γ + δ = 4 3
AM=RMS ⟹ α = β = γ = δ = 4 3 .
This proves f ( x ) = 8 × ( x − 4 3 ) 4 , giving b = 1 3 . 5
This is not a solution as it makes the extra assumption that all roots are positive.
No need of that condition @Aditya Raut !
By Descartes' Rule of Signs, , the given polynomial can have maximum 4 positive real roots & no negative real roots.Also it is given in the question that all roots are real.Hence each root is positive.
Log in to reply
You are then making the assumption that b and c are positive (non-negative) numbers, which is not given.
For a fourth degree polynomial, it may only have 1 repeated root.
I don't think the condition is missing. More accurately, you added in your own assumption. As such, this is not a solution for the question as posed.
Well ... can this be done without the condition that the roots are all positive?
IE Is there another value of b , c that would result in 4 real roots (even possibly negative)?
Log in to reply
I used the discriminant of cubic and quartic polynomials to prove that if f ( x ) has 4 real roots, then there is only one unique ordered pair ( b , c ) that can be used. My solution is written below
Oh i think they should be different, but if b = c = 0 the function also has 4 real roots
Log in to reply
If b=c=0, then the function is f ( x ) = x 2 ( 8 x 2 − 2 4 x + 2 7 ) . The discriminant of the quadratic is 2 4 2 − 4 × 8 × 2 7 < 0 , so it has 2 complex roots.
Please see Wei Chen's solution above. The main difference is that he used an inequality which applies to all real numbers, which would allow us to reach the conclusion.
The takeaway is that you need to choose the "correct tool" for the job.
Let x = y + k and substitutes into the polynomial given,
With k = 3/ 4, terms of y^3 and y^2 becomes zero,
8 y^4 + (27/ 2 - b) y + [243/ 32 - (3/ 4) b + c]
Again, with b = 27/ 2,
8 y^4 + [225/ 32 + c]
Such y can easily be real with proper c.
Hence, x = y + 3/ 4 are also real.
So, b = 13.5 gives 4 real roots.
{My computing solver is faulty and doesn't give 4 real roots with these anyway.}
Can you show that b=13.5 is the only possible solution?
Log in to reply
From 8 y^4 + (27/ 2 - b) y + [243/ 32 - (3/ 4) b + c] = 0, it hasn't shown that b = 27/ 2 is the only possible solution. But since the question asks in the way it is, we can just find an obvious case as thought as it shall only be true. Showing that b = 13. 5 is the only possible solution shall be out of question. Upon being asked after all, I think unless the question is faulty, we may not answer.
Log in to reply
So yes, 13.5 is a possible answer to the problem. Part of writing a solution would also involve showing that this is indeed the only possible answer, else the question would be badly phrased.
Ideally, we should ignore the artificial constraints placed on this problem as a "only 1 real value", and instead strive to prove our statements factually.
My Solution shows that...
Problem Loading...
Note Loading...
Set Loading...
8 x 4 − 2 4 x 3 + 2 7 x 2 = b x − c We want to find a line y = b x − c that intercepts the curve y = 8 x 4 − 2 4 x 3 + 2 7 x 2 at four points. Why would there only be one possible gradient of such a line? Could we not just tilt it very slightly? We are free to adjust the value of c , the y-intercept, all we like. A little geometrical intuition tells us that this is only possible if it is a quadruple root. Indeed, differentiating y = 8 x 4 − 2 4 x 3 + 2 7 x 2 gives a cubic with an infection at the point x = 3 / 4 : that is, its own derivative is a quadratic with a double root at x = 3 / 4 . This is the point where our line must touch. Put x = 3 / 4 in the cubic we had to find the gradient of the quartic at that point (and thus the gradient of the tangent line y = b x − c ) as 13.5.