０≦|a+b|≦|a|+|b|
故に|a+b|^2≦(|a|+|b|)^2となる
(|a|+|b|)^2 -|a+b|^2
=2(|a||b|-ab)≧0
等号成立はab≧０