>>133
|A+B|+|B|≧|A| の両辺から|B|を引く

>>130
の不等式はa,bが実数(複素数)であるとき成立する。
a,bが実数(複素数)であるときa+bは実数(複素数)である。