MathLabs
定理已证明

一次函数的图象是一条直线

命题陈述

设 x1≠x2x_1\ne x_2 是一次函数 y=ax+by=ax+b 的任意两个输入,输出为 y1=ax1+by_1=ax_1+b、y2=ax2+by_2=ax_2+b。那么在图象任意两点之间算出的斜率始终是同一个常数 aa:a=y2−y1x2−x1a=\dfrac{y_2-y_1}{x_2-x_1}

为什么成立?

每一对点之间斜率恒定,正是"直线"的几何定义——方向永不弯折。

证明思路

计算图象上两点之间的升与跑:升 =y2−y1=(ax2+b)−(ax1+b)=a(x2−x1)=y_2-y_1=(ax_2+b)-(ax_1+b)=a(x_2-x_1),这里用到两点都满足同一规则 y=ax+by=ax+b。

由于 x1≠x2x_1\ne x_2,可以两边同除以跑 x2−x1≠0x_2-x_1\ne 0:y2−y1x2−x1=a(x2−x1)x2−x1=a.\dfrac{y_2-y_1}{x_2-x_1}=\dfrac{a(x_2-x_1)}{x_2-x_1}=a.

此计算只用到了 x1,x2x_1,x_2 的值和规则 y=ax+by=ax+b,而 bb 项完全抵消——所以无论选取哪两个点 (x1,y1),(x2,y2)(x_1,y_1),(x_2,y_2),该比值都等于 aa。一条曲线若在任意两点间的斜率都是同一个固定数,按直线性的几何定义,它就是一条直线;因此 y=ax+by=ax+b 的图象是斜率为 aa 的直线。

反过来,给定任意一条过点 (x0,y0)(x_0,y_0)、斜率为 aa 的非竖直直线,令 b=y0−ax0b=y_0-ax_0,就得到一个一次函数 y=ax+by=ax+b,其图象恰好就是该直线,这就建立了一次函数与非竖直直线之间对应关系的反方向。

用到此定理的主题

分步证明

该定理暂无分步证明。