proven method get your x back
October 31st, 2007
No comments

demonstrate that: (ABS (x)-abs (y)) <= abs (xy)?
| | X | – | y | | <= | x – y | Use the method from A to Z fields (from core).
| | Z | – | w | | ≤ | z – w |, for all z, w ∈ IR. I assume the triangle inequality First | z | = | (Z – w) + w | ≤ | z – w | + | w |, for all z, w ∈ IR, so | z | – | W | ≤ | z – w |, for all z, w ∈ IR. Secondly, | w | = | (w – z) + z | | ≤ w – z | + | z | = | z – w | + | z |, for all z, w ∈ IR, therefore | w | – | Z | ≤ | z – w |, for all z, w ∈ IR. The combination of these two statements to obtain the desired result | | z | – | w | | ≤ | z – w |, for all z, w ∈ IR.