xy ≦ |xy| If either is 0, or both have the same sign, equality holds. If one is negative and the other positive the left side is negative and the right side positive. Thus this inequality holds in all cases Multiply both sides by 2 2xy ≦ 2|xy| Add x² + y² to both sides: x² + 2xy + y² ≦ x² + 2|xy| + y² Factor both sides: (x + y)² ≦ (|x| + |y|)² Take non-negative square roots of both sides: |x + y| ≦ |x| + |y| Edwin