已知函数f(x)定义域为[0,+正无穷],且对任意非负实数x,y都有f(x+y)=f(x)+f(y