正比例函数的定义