Inequality proof (Spivak 1.6-b)

  • Thread starter Thread starter carlosbgois
  • Start date Start date
  • Tags Tags
    Inequality Proof
Click For Summary
SUMMARY

The discussion centers on proving the inequality that if x < y and n is odd, then x^n < y^n. The proof is divided into three cases: Case 1 establishes the inequality for non-negative x and y using the properties of positive numbers and polynomial expansion. Case 2 addresses the scenario where x is non-positive and y is positive, demonstrating that x^n is negative while y^n is positive. Case 3, which involves both x and y being negative, is suggested to be resolved by applying the insights from Case 1 and recognizing the behavior of odd powers.

PREREQUISITES
  • Understanding of polynomial expansion and properties of inequalities
  • Knowledge of odd and even powers in mathematics
  • Familiarity with the concept of closure in real numbers
  • Basic understanding of mathematical proofs and case analysis
NEXT STEPS
  • Study polynomial inequalities and their proofs
  • Learn about the properties of odd and even functions
  • Explore closure properties in real number systems
  • Practice mathematical proof techniques, particularly case analysis
USEFUL FOR

Mathematics students, educators, and anyone interested in understanding inequalities and proof techniques in real analysis.

carlosbgois
Messages
66
Reaction score
0

Homework Statement



Prove that if x < y, and n is odd, then x[itex]^{n}[/itex]< y[itex]^{n}[/itex]

The Attempt at a Solution



My attempt was to solve three different cases:

Case 1: If 0 [itex]\leq[/itex] x < y, we have

y-x > 0
y*y*...*y > 0 (closure of the positive numbers under multiplication)
x*x*...*x [itex]\geq[/itex] 0

y[itex]^{n}[/itex]-x[itex]^{n}[/itex] = (y-x)(y[itex]^{n-1}[/itex] + y[itex]^{n-2}[/itex]x +...+ yx[itex]^{n-2}[/itex] + x[itex]^{n-1}[/itex])

So, as every piece of the second member of this last equation is positive, their sums and multiplications are also positive, hence proving that y[itex]^{n}[/itex] > x[itex]^{n}[/itex]


Case 2: If x[itex]\leq[/itex] 0 < y, we have: x[itex]^{j}[/itex] [itex]\leq[/itex] 0 (j is odd), and also y[itex]^{j}[/itex] > 0, which is the same as -y[itex]^{j}[/itex] < 0. Now, as we have closure under sum, then x[itex]^{n}[/itex] + (-y[itex]^{n}[/itex]) < 0, so y[itex]^{n}[/itex] > x[itex]^{n}[/itex]


Case 3: If x < y [itex]\leq[/itex] 0 ... ?


------------------------------------------------------------------------


Are my proofs of case 1 and 2 ok? What should I do in case 3?
Thanks
 
Physics news on Phys.org
For (2), if x< 0< y, for odd n, if [itex]x^n< 0[/itex] and [itex]0< y^n[/itex]. That's all you need to say.

For (3), if x< y< 0, then -x> -y> 0. And, of course, for n odd, [itex](-x)^n= -x^n[/itex]. Use (1) that you have already proved.
 
Thanks! It's actually simple, but sometimes I find hard to have these insights.
 

Similar threads

  • · Replies 23 ·
Replies
23
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
7
Views
2K
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
8
Views
5K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
4
Views
3K