MathLabs
TheoremProved

The graph of a linear function is a straight line

Statement

Let x1≠x2x_1\ne x_2 be any two inputs of the linear function y=ax+by=ax+b, with outputs y1=ax1+by_1=ax_1+b and y2=ax2+by_2=ax_2+b. Then the slope computed between any two points of the graph is always the same constant aa: a=y2−y1x2−x1a=\dfrac{y_2-y_1}{x_2-x_1}

Why is it true?

A constant slope between every pair of points is exactly the geometric definition of "straight" — the direction never bends.

Proof sketch

Compute the rise and run between the two points on the graph: rise =y2−y1=(ax2+b)−(ax1+b)=a(x2−x1)=y_2-y_1=(ax_2+b)-(ax_1+b)=a(x_2-x_1), using the fact that both points satisfy the same rule y=ax+by=ax+b.

Since x1≠x2x_1\ne x_2, we may divide both sides by the run 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.

This computation used only the values x1,x2x_1,x_2 and the rule y=ax+by=ax+b, and the bb term canceled out completely — so the ratio equals aa regardless of which two points (x1,y1),(x2,y2)(x_1,y_1),(x_2,y_2) were chosen. A curve on which the slope between every pair of points is the same fixed number is, by the geometric definition of straightness, a line; hence the graph of y=ax+by=ax+b is a straight line of slope aa.

Conversely, given any non-vertical line with slope aa passing through a point (x0,y0)(x_0,y_0), setting b=y0−ax0b=y_0-ax_0 produces a linear function y=ax+by=ax+b whose graph is exactly that line, which establishes the converse direction of the correspondence between linear functions and non-vertical lines.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.