\(\left|a+b\right|\le\left|a\right|+\left|b\right|\) \(\left(1\right)\)
\(\Leftrightarrow\left(\left|a+b\right|\right)^2\le\left(\left|a\right|+\left|b\right|\right)^2\)
\(\Leftrightarrow a^2+2ab+b^2\le a^2+2\left|ab\right|+b^2\)
\(\Leftrightarrow ab\le\left|ab\right|\) \(\left(2\right)\)
Bất đẳng thức \(\left(2\right)\) đúng \(\Rightarrow\) bất đẳng thức \(\left(1\right)\) đúng
Dấu ''='' xảy ra \(\Leftrightarrow ab=0\)