Proving that a nth degree polynomial is > (or < etc.) some constant.

Click For Summary

Homework Help Overview

The discussion revolves around proving that a polynomial expression, specifically \(x^4 - 8x^3 + 24x^2 - 32x + 16\), is greater than or equal to zero for \(x > 2\). The subject area includes polynomial functions and their properties.

Discussion Character

  • Conceptual clarification, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants explore the structure of the polynomial and consider a proof by cases. There is discussion about rewriting the polynomial in terms of \((x-2)^4\) and its implications for positivity. Questions arise regarding how to formally express the proof and the significance of the equality at \(x = 2\).

Discussion Status

Some participants have identified that the polynomial can be expressed as \((x-2)^4\), leading to the conclusion that it is non-negative for \(x \geq 2\). There is ongoing exploration of how to articulate this proof and the relevance of the derivative for \(x > 2\.

Contextual Notes

Participants note that the original question may have been incomplete, and there is some uncertainty about the necessary details for the proof. The discussion also highlights that the case for \(x \leq 2\) is not required for the proof.

QuarkCharmer
Messages
1,049
Reaction score
3

Homework Statement


Let [itex]x\in[/itex]R,
Prove that if x>2 then [itex]x^4 - 8x^3+24x^2-32x+16[/itex]

Homework Equations

The Attempt at a Solution


So far I have only learned proofs involving even and odd numbers, that sort of thing. I'm not really sure how to approach this one. I was thinking that a proof by cases would suffice, so:

Proof:
Case I: Assume that x>2, and let S = (0,[itex]\infty[/itex]). If follows that,
x = (m+2) for some m[itex]\in[/itex]S.

And so,
[itex]x^4 - 8x^3+24x^2-32x+16 = (m+2)^4 - 8(m+2)^3+24(m+2)^2-32(m+2)+16[/itex]

but now I see the problem becoming too difficult. We haven't learned about epsilon-delta et al. yet. I can see that the conclusion is ALWAYS true, so really the proof is trivial, but I am not sure how to say that.
 
Physics news on Phys.org
QuarkCharmer said:

Homework Statement


Let [itex]x\in[/itex]R,
Prove that if x>2 then [itex]x^4 - 8x^3+24x^2-32x+16[/itex].

Your question looks incomplete. Is that supposed to be [itex]x^4 - 8x^3+24x^2-32x+16 > 0[/itex]?

What's ##(x-2)^4##? How does that help in your question?
 
Thank you for the reply,

Sorry, yes the whole equation should be greater than zero, or equal to/less than something, I just made the question up as an example.

I see that (x-2)^4 is in fact equal to that polynomial. Therefor, for it is always going to be greater than zero because it is to an even power (and there is the case where x is 2, and then it IS equal to zero). I don't know how I am supposed to write this though? I'm aware that the conclusion is true for all x, but how would I even prove that:

[itex](x-2)^4 > 0[/itex], for some x[itex]\in[/itex]R

Edit:

Oh wait, I think I see what you are getting at...
 
Last edited:
QuarkCharmer said:
Thank you for the reply,

Sorry, yes the whole equation should be greater than zero, or equal to/less than something, I just made the question up as an example.

I see that (x-2)^4 is in fact equal to that polynomial. Therefor, for it is always going to be greater than zero because it is to an even power (and there is the case where x is 2, and then it IS equal to zero). I don't know how I am supposed to write this though? I'm aware that the conclusion is true for all x, but how would I even prove that:

[itex](x-2)^4 > 0[/itex], for some x[itex]\in[/itex]R

That should be ##(x-2)^4 \geq 0## for some ##x \in \mathbb{R}##. Equality occurs at x = 2. These little details are important.

You don't even need to bother with the case ##x \leq 2## since the question didn't ask for it.

Sketch the curve, and just make the appropriate arguments.

To prove the function is always increasing beyond x = 2, what can you say about the derivative for any x greater than 2?
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 18 ·
Replies
18
Views
6K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
Replies
9
Views
3K
Replies
4
Views
2K
Replies
4
Views
2K