F(X)在R上有定义,且满足:F(X+Y)=F(X)+F(Y),任意X,Y在R上;F(0)=1;F'(0)存在.