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
SUMMARY

The discussion centers on proving the statement: If |a| = |b| for a, b ∈ ℝ, then a = b or a = -b. Participants suggest that while breaking the proof into cases based on the signs of a and b may seem beneficial, a direct approach is more effective. Key hints include the relationships |x| = |-x| and |x| = √(x²), which are essential for the proof. Ultimately, the consensus is that a direct solution is preferable to case analysis.

PREREQUISITES
  • Understanding of absolute value properties
  • Familiarity with real numbers (ℝ)
  • Basic knowledge of mathematical proofs
  • Concept of square roots and their properties
NEXT STEPS
  • Study the properties of absolute values in depth
  • Learn about mathematical proof techniques, especially direct proofs
  • Explore case analysis in mathematical proofs
  • Review the definitions and properties of square roots
USEFUL FOR

Students of mathematics, particularly those studying real analysis or proof techniques, as well as educators looking to clarify concepts related to absolute values and their implications in proofs.

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
1K
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
1K
  • · Replies 9 ·
Replies
9
Views
6K