正比例函数的解析式为
y=kx (1)
(k为常数,且k≠0),其中x为自变量,y为x的函数.
由自变量取值增加7,函数值相应减少4可得
y-4=k(x+7) (2)
从而由（1）（2）可得 k=-4/7
所以当x=4时,y=-4/7*4=-16/7.