下证:
f(x)->0 as x->a 则 a=0
反证法:假设a不等于0,则根据极限定义有,对任意的e>0,存在d>0,当 |x-a|<d 时,有 |f(x)|<e
然而取 e=|a|/2,对任意的d>0,在区间(a-d,a+d)之内总能找一个有理数x,使得|x|>|a|,于是
|f(x)|=|x|>|a|>e
矛盾,故 a=0
对任意无理数 r 存在一个有理数序列 {q[n]} 使得当n->+inf 时,q[n]->r
令(1)式 x=-q[n] ,y=r 则有 f(-q[n](f(r)-q[n]))=-q[n]r+q[n]^2
n->inf 时, q[n]->r,f(-q[n](f(r)-q[n]))->0
故 -q[n](f(r)-q[n]) ->0
f(r)-q[n]->0
故 f(r)=r