复数模的三角形不等式?希望证明等号成立条件是幅角主值相等?