The most useful forms for writing the equation of a line are those that make the geometric meaning of the parameters visible — the slope tells you how steeply the line rises, and specifying two points pins down the line uniquely.
Slope and Angle of Inclination
📐Definition — Slope of a Line
The slope (or gradient) of a non-vertical line ℓ is the number
k=tgα
where α is the angle of inclination — the angle measured counterclockwise from the positive x-axis to the line, with 0°≤α<180° and α=90°.
Equivalently, for any two distinct points (x1,y1) and (x2,y2) on ℓ with x1=x2:
k=x2−x1y2−y1("rise over run")
Sign of the slope:
k>0: the line rises from left to right (0°<α<90°)
k<0: the line falls from left to right (90°<α<180°)
k=0: the line is horizontal (α=0°)
Vertical lines have no slope (undefined, α=90°)
Slope-Intercept Form
⚡Theorem — Slope-Intercept Form (Theorem 12.1)
Every non-vertical line with slope k and y-intercept b (the point where it crosses the y-axis) has equation:
y=kx+b
Conversely, every equation of this form represents a non-vertical line with slope k and y-intercept b.
Proof. A line with slope k passing through (0,b): for any point (x,y) on it (with x=0), the slope condition gives x−0y−b=k, so y−b=kx, i.e., y=kx+b. When x=0: y=b✓. ◀
Point-Slope Form
If a line has slope k and passes through a known point (x0,y0), then any other point (x,y) on the line satisfies:
y−y0=k(x−x0)
This follows immediately from the definition of slope. Expanding gives y=kx+(y0−kx0), i.e., slope-intercept form with b=y0−kx0.
Two-Point Equation
⚡Theorem — Two-Point Equation (Theorem 12.2)
The line through two distinct points A(x1,y1) and B(x2,y2) with x1=x2 has equation:
y2−y1y−y1=x2−x1x−x1
Proof. A point P(x,y) lies on line AB if and only if AP and AB are collinear (parallel), i.e., their slopes are equal:
x−x1y−y1=x2−x1y2−y1
Cross-multiplying gives the two-point equation. ◀
Note: If x1=x2 (vertical line), the equation is simply x=x1.
Parallel and Perpendicular Lines
⚡Theorem — Parallelism and Perpendicularity (Theorem 12.3)
Let ℓ1 and ℓ2 be two non-vertical lines with slopes k1 and k2. Then:
ℓ1∥ℓ2 (parallel, distinct) ⟺k1=k2 (and the lines have different y-intercepts)