Difference between revisions of "Triangle inequality"
m (Alec moved page Triangle Inequality to Triangle inequality without leaving a redirect: To keep with naming conventions) |
m |
||
Line 1: | Line 1: | ||
− | The triangle inequality takes a few common forms | + | The triangle inequality takes a few common forms, for example: <math>d(x,z)\le d(x,y)+d(y,z)</math> (see [[Metric space|metric space]]) of which <math>|x-z|\le|x-y|+|y-z|</math> is a special case. |
− | Another common way of writing it is <math>|a+b|\le |a|+|b|</math>, notice if we set {{M|a=x-y}} and {{M|b=y-z}} then we get <math>|x-y+y-z|\le|x-y|+|y-z|</math> which is just <math>|x-z|\le|x-y|+|y-z|</math> | + | Another common way of writing it is <math>|a+b|\le |a|+|b|</math>, notice if we set {{M|1=a=x-y}} and {{M|1=b=y-z}} then we get <math>|x-y+y-z|\le|x-y|+|y-z|</math> which is just <math>|x-z|\le|x-y|+|y-z|</math> |
+ | |||
+ | ==Definition== | ||
+ | The triangle inequality is as follows: | ||
+ | * <math>|a+b|\le |a|+|b|</math> | ||
+ | |||
+ | ===Proof=== | ||
+ | '''Style: ''' case analysis | ||
+ | |||
+ | {{Todo|Take time to write it out}} | ||
==Reverse Triangle Inequality== | ==Reverse Triangle Inequality== |
Revision as of 12:06, 14 April 2015
The triangle inequality takes a few common forms, for example: d(x,z)≤d(x,y)+d(y,z)
Another common way of writing it is |a+b|≤|a|+|b|
Contents
[hide]Definition
The triangle inequality is as follows:
- |a+b|≤|a|+|b|
Proof
Style: case analysis
TODO: Take time to write it out
Reverse Triangle Inequality
This is |a|−|b|≤|a−b|
Proof
Take |a|=|(a−b)+b|
|(a−b)+b|≤|a−b|+|b|
Note
However we see |b|−|a|≤|b−a|
That is both:
- |a|−|b|≤|a−b|
- |b|−|a|≤|a−b|
Full form
There is a "full form" of the reverse triangle inequality, it combines the above and looks like: |a−b|≥| |a|−|b| |
It follows from the properties of absolute value, I don't like this form, I prefer just "swapping" the order of things in the abs value and applying the same result