Proving roots using mean value theorem

Click For Summary

Homework Help Overview

The problem involves proving that the equation x^4 + 4x + c = 0 has at most two real roots. The original poster explores this by assuming the existence of three real roots and seeks to derive a contradiction using the Mean Value Theorem (MVT).

Discussion Character

  • Exploratory, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to apply the MVT to demonstrate that having three real roots leads to a contradiction by analyzing the derivative of the function. Some participants question the necessity of finding specific values of c and suggest focusing on the number of stationary points instead.

Discussion Status

The discussion is active, with participants providing hints and clarifications regarding the number of stationary points of the function. There is an exploration of the implications of having only one stationary point in relation to the assumption of three distinct roots.

Contextual Notes

Participants note that the value of c does not affect the number of stationary points, which is central to the argument being developed.

Jeff Ford
Messages
154
Reaction score
2
Prove [tex]x^4 + 4x + c = 0[/tex] has at most two real roots

My thinking is that to prove this I would assume that it has three real roots and look for a contradiction.

So I set [tex]f(x) = x^4 + 4x + c[/tex] and assume three real roots [tex]x_1, x_2, x_3[/tex] such that [tex]f(x_1) = f(x_2) = f(x_3) = 0[/tex]

By MVT I know that there must exist [tex]c_1[/tex] on the interval [tex](x_1, x_2)[/tex] such that [tex]f'(c_1) = 0[/tex] and [tex]c_2[/tex] on the interval [tex](x_2, x_3)[/tex] such that [tex]f'(c_2) = 0[/tex] and [tex]c_3[/tex] on the interval [tex](x_1, x_3)[/tex] such that [tex]f'(c_3) = 0[/tex]

Now I'm a little confused. Do I try to find three values of c that will satisfy [tex]f'(x) = 4x^3 + 4 = 0[/tex]? Only the value x = -1 would make this true, so is that my contradiction? That MVT predicts three values and only one exists?

Thanks
Jeff
 
Last edited:
Physics news on Phys.org
Hint:
How many STATIONARY points does the function have?
 
Only one, at (-1, 5+c). Since the derivative is negative to the left of that point and positive to the right, it must be a minimum of the function.
 
Last edited:
I assume you orden x1 < x2 < x3. It could be the case that f'(c3) equals f'(c1) or f'(c2), so according to the MVT you'll get at least 2 points where f' is zero. You've shown there's only one, so the assumption of three distinct roots is false. Not sure why you want to find particular values of c to make f' zero. The value of c is irrelevant to the problem.
 
Thanks for the clarification
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
Replies
14
Views
2K
  • · Replies 9 ·
Replies
9
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K