０≦|a+b|≦|a|+|b|である。
故に|a+b|^2≦(|a|+|b|)^2を示せば良い

(|a|+|b|)^2 -|a+b|^2
=2(|a||b|-ab)≧0
よって示された
等号成立はab≧０


書き方が悪かったね。これでよろし？