證明：充分性：如果xy=0，那么，①x=0，y≠0②x≠0，y=0③x=0，y=0于是|x+y|=|x|+|y|明顯成立．
如果xy＞0即x＞0，y＞0或x＜0，y＜0
當x＞0，y＞0時，|x+y|=x+y=|x|+|y|，
當x＜0，y＜0時，|x+y|=-x-y=（-x）+（-y）=|x|+|y|，
總之，當xy≥0時，|x+y|=|x|+|y|．
必要性：由|x+y|=|x|+|y|及x，y∈R
得（x+y）²=（|x|+|y|）²即x²+2xy+y²=x²+2|xy|+y²
得|xy|=xy所以xy≥0故必要性成立，
綜上，原命題成立．
故結(jié)論成立．