Giả sử: \(|A+B|\) > \(|A|\) + \(|B|\)
<=> \(\left(|A+B|\right)^2\) > \(\left(|A|+|B|\right)^2\)
<=> \(A^2\) + \(2AB\) + \(B^2\) > \(A^2\) + \(2|AB|\) + \(B^2\)
<=> 2AB > \(2|AB|\)
<=> AB > \(|AB|\) (Vô lí)
=> Bất đẳng thức \(|A+B|\) \(\le\) \(|A|\) + \(|B|\) đúng.
Dấu "=" xảy ra khi AB \(\ge\) 0