Inequality proof (Spivak 1.6-b)

  • Thread starter Thread starter carlosbgois
  • Start date Start date
  • Tags Tags
    Inequality Proof
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 2K views
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.