正比例函数怎么求?定义?