已知y与x成正比例,且函数值y随着x的增大而减小,此函数的图像又经过A(4,-a),B(a,-1)两点,解析式为