17/12/12 15:47:53.16 O8SYnJpl.net
>>714
|a| - |b| ≦ | a - b |
|b| - |a| ≦ | b-a | = | a - b |
| |a| - |b| | = max(|a|-|b|, |b|-|a|) ≦ | a - b |
17/12/12 15:47:53.16 O8SYnJpl.net
>>714
|a| - |b| ≦ | a - b |
|b| - |a| ≦ | b-a | = | a - b |
| |a| - |b| | = max(|a|-|b|, |b|-|a|) ≦ | a - b |