Deriving Triangle Inequality: Formal Definition of Absolute Value Method

  • Thread starter Thread starter Taylor_1989
  • Start date Start date
  • Tags Tags
    Inequality
Click For Summary
The discussion revolves around the derivation of the triangle inequality using the formal definition of absolute value. The initial method presented was incorrect, particularly in the manipulation of inequalities, which led to confusion about the validity of the steps taken. After receiving feedback, the individual corrected their approach by applying the triangle inequality correctly and reformulating the proof. The final attempt successfully demonstrated that |a| - |b| ≤ |a - b|, indicating a proper understanding of the concept. Overall, the discussion highlights the importance of accurately applying mathematical principles in proofs.
Taylor_1989
Messages
400
Reaction score
14

Homework Statement


Hi guys, I would just like someone to go over my method for this derivation/proof ( not sure of the right word to use here). Anyway I think this is right method, but just feel like I am missing something. Could someone please check my method. Thanks in advance.

Homework Equations


$$|x|= x\geq 0 , -x < 0 $$

$$|a-b|\leq|a|-|b|$$

The Attempt at a Solution


By using the formal definition of the absolute value I get this:
[/B]
1.$$-|a|\leq a\leq |a|$$
2.$$-|b|\leq b\leq |b|$$

1-2: $$-(|a|-|b|)\leq a-b \leq |a|-|b| $$

Therefore I get: $$|a-b|\leq|a|-|b|$$

Is this correct? Is there any improvements that anyone could share. I do have a couple more variations of the triangle inequality to go through but want to try the first before posting.

 
Physics news on Phys.org
Taylor_1989 said:

Homework Statement


Hi guys, I would just like someone to go over my method for this derivation/proof ( not sure of the right word to use here). Anyway I think this is right method, but just feel like I am missing something. Could someone please check my method. Thanks in advance.

Homework Equations


$$|x|= x\geq 0 , -x < 0 $$

$$|a-b|\leq|a|-|b|$$

This is incorrect. Look at the case ##a=1, b=2##, or better still, the case ##a=1, b=-2##.
 
The first line under "relevant equations" looks odd and the second one is wrong.

You cannot subtract inequalities like that. As an example, 4<5 and 3<7, but 4-3 < 5-7 is wrong.
 
  • Like
Likes Buffu
I wish the section for the problem statement were filled out explicitly.
 
  • Like
Likes SammyS
@mfb and @Ray Vickson have already pointed out your mistakes. I just want to add a bit to mfb's reply.

Inequalities with same "symbol" can be added and inequalities with "different symbol" can be subtracted from one another and not the other way around.
Like ## 13 < 42## and ## -42 < -1 ## can be added to produce ##-29 < 41## and ## 42 > 13 ## and ## -42 < -1 ## can be subtracted to produce ##84 > 14##.
When subtracting the symbol of inequality from which the other is subtracted will be the symbol of the resultant inequality.
 
You can make an addition out of the subtraction:

##-42 < -1## is equivalent to (edit: fixed) ##42 > 1## (reverse the sign on both sides, reverse the direction of the inequality), and that can be added to ##42>13## to ##84>14##.

And if you don't like the first step, split it in substeps:
##a<b##
subtract a on both sides
##0 < b-a##
subtract b on both sides
##-b < -a##
Now write it in the other direction:
## -a > -b##.
 
Last edited:
First thanks for the response and I see the error I made. I have also notice that I put the inequity the wrong way round sorry. So I have had another attempt at the solution which is below:

Prove: $$|a|-|b|\leq|a-b|$$

Attempt:$$a=a-b+b$$
$$|a|=|a-b+b|$$

Using triangle inequity

$$|a|\leq|a-b|+|b|$$
$$|a|-|b|\leq|a-b|$$
 
Taylor_1989 said:
First thanks for the response and I see the error I made. I have also notice that I put the inequity the wrong way round sorry. So I have had another attempt at the solution which is below:

Prove: $$|a|-|b|\leq|a-b|$$

Attempt:$$a=a-b+b$$
$$|a|=|a-b+b|$$

Using triangle inequity

$$|a|\leq|a-b|+|b|$$
$$|a|-|b|\leq|a-b|$$
Looks good.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
11
Views
2K
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K