Proof Exercise II: Real Numbers and Squares

  • Thread starter Thread starter reenmachine
  • Start date Start date
  • Tags Tags
    Exercise Proof
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
5 replies · 2K views
reenmachine
Gold Member
Messages
514
Reaction score
9

Homework Statement



Suppose ##x## and ##y## are positive real numbers.If ##x < y## , then ##x^2 < y^2##.

Homework Equations



Assume ##x<y## with ##x,y \in ℝ^+##.This implies that ##\exists z \in ℝ^+## such that ##x+z=y##.We have ##y^2 = (x+z)^2 = x^2 + 2xz + z^2## , and this proves that if ##x < y## with ##x,y \in ℝ^+## , then ##x^2 < y^2##.

any thoughts on that one? Thank you!
 
Last edited:
Physics news on Phys.org
You need to explain why [itex]2xz + z^2[/itex] is strictly positive. It is obvious, but then so is the result you're trying to prove.

An alternative proof is that if [itex]0 < x < y[/itex] then, since multiplying by a positive number preserves inequalities, we have [itex]x^2 < xy[/itex] on multiplying by [itex]x[/itex] and [itex]xy < y^2[/itex] on multiplying by [itex]y[/itex]. Putting these together we have [itex]x^2 < xy < y^2[/itex].
 
tiny-tim said:
hi reenmachine! :wink:

yes, that looks fine :smile:

(alternatively, you could factor y2 - x2)

Hi! :)

thank you for taking the time to respond!
 
pasmith said:
You need to explain why [itex]2xz + z^2[/itex] is strictly positive. It is obvious, but then so is the result you're trying to prove.

An alternative proof is that if [itex]0 < x < y[/itex] then, since multiplying by a positive number preserves inequalities, we have [itex]x^2 < xy[/itex] on multiplying by [itex]x[/itex] and [itex]xy < y^2[/itex] on multiplying by [itex]y[/itex]. Putting these together we have [itex]x^2 < xy < y^2[/itex].

I thought the fact that [itex]2xz + z^2[/itex] is positive was obvious from the fact x and z are in ##R^+##...

I like your way of doing it , pretty good road to the proof.

thank you!