高中数学的抽象函数模型都是怎么推导来的?比如,正比例函数f(x)=kx(k不等于0)可以抽象为f(x+y)=f(x)+f