|z1|,|z2|,|z1+z2|构成一个三角形的三条边(可以是退化的三角形),根据两边和大于等于第三边,两边之差小于等于第三边得证.