定理已证明
一次函数的图象是一条直线
命题陈述
设 x1=x2 是一次函数 y=ax+b 的任意两个输入,输出为 y1=ax1+b、y2=ax2+b。那么在图象任意两点之间算出的斜率始终是同一个常数 a:a=x2−x1y2−y1
为什么成立?
每一对点之间斜率恒定,正是"直线"的几何定义——方向永不弯折。
证明思路
计算图象上两点之间的升与跑:升 =y2−y1=(ax2+b)−(ax1+b)=a(x2−x1),这里用到两点都满足同一规则 y=ax+b。
由于 x1=x2,可以两边同除以跑 x2−x1=0:x2−x1y2−y1=x2−x1a(x2−x1)=a.
此计算只用到了 x1,x2 的值和规则 y=ax+b,而 b 项完全抵消——所以无论选取哪两个点 (x1,y1),(x2,y2),该比值都等于 a。一条曲线若在任意两点间的斜率都是同一个固定数,按直线性的几何定义,它就是一条直线;因此 y=ax+b 的图象是斜率为 a 的直线。
反过来,给定任意一条过点 (x0,y0)、斜率为 a 的非竖直直线,令 b=y0−ax0,就得到一个一次函数 y=ax+b,其图象恰好就是该直线,这就建立了一次函数与非竖直直线之间对应关系的反方向。