Cả 2 vế của bất đẳng thức không âm nên bình phương 2 vế ta được:
|x + y|2 ≤ (|x| + |y|)2
<=> (x+y)(x+y) ≤(|x| + |y|). (|x| + |y|)
<=> x2 + 2xy + y2 ≤ x2 + 2.|x| . |y| + y2
<=> xy ≤ |xy|
Vậy |x + y| ≤ |x| + |y| (dấu = xảy ra \(\Leftrightarrow\) x và y cùng dấu)