Prove |a|=|b| $\Rightarrow$ a=b or a=-b

  • Thread starter Thread starter ver_mathstats
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary

Homework Help Overview

The discussion revolves around proving the statement that if |a| = |b| for real numbers a and b, then it follows that a = b or a = -b. Participants are exploring the logical structure of this proof and the implications of absolute values.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • Some participants suggest breaking the proof into cases based on the signs of a and b, while others argue for a direct approach without case analysis. There is a discussion about the necessity of certain properties of absolute values, such as |x| = |-x| and |x| = √(x²).

Discussion Status

The discussion is ongoing, with differing opinions on the best approach to the proof. Some participants have provided hints and suggestions, but there is no clear consensus on the method to be used.

Contextual Notes

Participants are considering the implications of breaking the proof into multiple cases versus using a direct method, and there is some uncertainty regarding the foundational properties of absolute values that may be assumed or need to be proven.

ver_mathstats
Messages
258
Reaction score
21

Homework Statement


Let a, b ∈ ℝ. Prove that:

If |a| = |b|, then a = b or a = -b.

Homework Equations

The Attempt at a Solution


[/B]
I am having difficulties with beginning this proof.

Would it make sense to have: Case 1: b≥0 and Case 2: b≤0?
 
Physics news on Phys.org
You don't need to break this into cases. A direct solution is best here.

Here's a hint to help you get started: |x| = |-x| = √(x2)
 
ver_mathstats said:

Homework Statement


Let a, b ∈ ℝ. Prove that:

If |a| = |b|, then a = b or a = -b.

Homework Equations

The Attempt at a Solution


[/B]
I am having difficulties with beginning this proof.

Would it make sense to have: Case 1: b≥0 and Case 2: b≤0?

Indeed, it is a very good idea to split in cases (better 4 instead of 2 though), depending on the sign of ##a## and ##b##.

(1) ##a \geq 0, b \geq 0##
(2) ...
(3) ...
(4) ...
 
Last edited by a moderator:
jack476 said:
You don't need to break this into cases. A direct solution is best here.

Here's a hint to help you get started: |x| = |-x| = √(x2)

"No need to break this into cases". Maybe, if you have already proven that ##|x| = |-x|## and ##|x| = \sqrt{x^2}##. Proving this will ultimately rely on breaking up in cases... I think introducing unnecessary square roots obscures things, but that's just my opinion.
 
Math_QED said:
"No need to break this into cases". Maybe, if you have already proven that ##|x| = |-x|## and ##|x| = \sqrt{x^2}##. Proving this will ultimately rely on breaking up in cases... I think introducing unnecessary square roots obscures things, but that's just my opinion.

Yes, if you're not already given that ##|x| = |-x|##. Actually, I kind of thought that that was true by definition.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 9 ·
Replies
9
Views
6K