$|a + b|^2 = (a+b)^2 = a^2 + 2ab + b^2$
$(|a| + |b|)^2 = |a|^2 + |b|^2 + 2|a||b| = a^2 + 2|ab| + b^2$
Với a, b trái dấu, ta có: $2ab < 0 ==> 2ab < 2|a||b|$
Với a, b cùng dấu, ta có $2ab = 2|ab|$
Suy ra $2ab <= 2|ab|$
Nên $a^2 + 2ab + b^2 <= a^2 + 2|ab| + b^2$
Hay $|a+b|^2 <= (|a|+|b|)^2$
Mà $|a+b|$ và $|a| + |b|$ đều không âm nên
$|a+b| <= |a|+|b|$