1）必要性：显然a=b,则a-b=0,
故|a-b|=00,则取e=t/2
则|a-b|=t>e
与任取e>0,有|a-b|