a/ Giả sử: |x| + |y| < |x + y| => ( |x| + |y| )2 < ( |x + y|2) => x2 + 2 . |x| . |y| + y2 < x2 + 2xy + y2 => |x| . |y| < xy (Vô lý)
=> |x| + |y| \(\ge\) |x + y|
b/ Giả sử: |x| - |y| > |x - y| => ( |x| - |y| )2 > ( |x - y|2) => x2 - 2 . |x| . |y| + y2 < x2 - 2xy + y2 => - |x| . |y| > -xy (Vô lý)
=> |x| - |y| \(\le\) |x - y|
Cách 2:
a/ Giả sử: |x| + |y|\(\ge\)|x + y| => ( |x| + |y| )2 \(\ge\) ( |x + y|2) => x2 + 2 . |x| . |y| + y2 \(\ge\) x2 + 2xy + y2 => |x| . |y| \(\ge\) xy (Bất đẳng thức đúng)
Vậy |x| + |y| \(\ge\) |x + y|
b/ Giả sử: |x| - |y| \(\le\)|x - y| => ( |x| - |y| )2 \(\le\)( |x - y|2) => x2 - 2 . |x| . |y| + y2 \(\le\)x2 - 2xy + y2 => - |x| . |y| \(\le\) -xy (Bất đẳng thức đúng)
Vậy |x| - |y| \(\le\) |x - y|