Proof Exercise II: Real Numbers and Squares

  • Thread starter Thread starter reenmachine
  • Start date Start date
  • Tags Tags
    Exercise Proof
Click For Summary

Homework Help Overview

The discussion revolves around a proof exercise concerning the properties of positive real numbers, specifically examining the relationship between two positive real numbers, ##x## and ##y##, under the condition that ##x < y## and how this implies ##x^2 < y^2##.

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants explore the implications of the inequality ##x < y## and discuss the mathematical reasoning behind the proof. Some question the necessity of explaining why certain terms are strictly positive, while others suggest alternative approaches to the proof.

Discussion Status

The discussion is active, with participants providing feedback on the original proof attempt and suggesting alternative methods. There is an exchange of ideas regarding the clarity of certain steps and the implications of the properties of positive numbers.

Contextual Notes

Participants note the assumption that ##x## and ##y## are positive real numbers, which is central to the discussion. There is also mention of the need for clarity in explaining certain mathematical properties, indicating a focus on rigor in the proof process.

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
hi reenmachine! :wink:

yes, that looks fine :smile:

(alternatively, you could factor y2 - x2)
 
You only need to know that if ##x>0##, ##y>0## and ##x<y## then ##x+y>0## and ##x-y<0##.

Also, if ##a>0## and ##b<0## then ##ab<0##.
 
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!
 

Similar threads

Replies
8
Views
2K
Replies
14
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
1K
Replies
2
Views
1K
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K