Straight Lines – Advanced University‑Level Notes
Author: Expert Mathematics Teacher
Course: Mathematics (GUJCET) – Straight Lines
Target Audience: MIT‑level undergraduate students (or self‑studying graduate students)
Goal of the notes – Build a rigorous, first‑principles understanding of straight lines in the plane and in higher dimensions, explore their algebraic, geometric and projective properties, and provide tools for advanced applications.
1. Foundations
1.1 What is a “straight line”?
Definition (Affine Geometry).
A straight line in (\mathbb{R}^n) is a one‑dimensional affine subspace, i.e. a set of the form [ \ell = {, \mathbf{p} + t\mathbf{v}\mid t\in\mathbb{R},}, ] where (\mathbf{p}\in\mathbb{R}^n) is a fixed point (called a point on the line) and
(\mathbf{v}\in\mathbb{R}^n\setminus{\mathbf{0}}) is a fixed non‑zero vector (called the direction vector).
Key properties
- Uniqueness: For any two distinct points (\mathbf{p}_1,\mathbf{p}_2) there exists a unique line containing them.
- Parallelism: Two lines (\ell_1=\mathbf{p}_1+t\mathbf{v}_1) and (\ell_2=\mathbf{p}_2+s\mathbf{v}_2) are parallel iff (\mathbf{v}_1) and (\mathbf{v}_2) are collinear (i.e. (\mathbf{v}_1=\lambda\mathbf{v}_2) for some (\lambda\neq0)).
- Coincidence: The lines are identical iff they are parallel and share a point.
Remark – In the plane ((n=2)) we will write (\mathbf{x}=(x,y)), (\mathbf{p}=(x_0,y_0)), (\mathbf{v}=(a,b)).
2. Algebraic Forms of a Line in (\mathbb{R}^2)
| Form | Equation | Parameters | When it is convenient |
|---|---|---|---|
| Parametric | (\displaystyle \mathbf{x}=\mathbf{p}+t\mathbf{v}) | (\mathbf{p}\in\mathbb{R}^2), (\mathbf{v}\ne\mathbf{0}) | When we have a point and a direction. |
| Slope‑Intercept | (y=y_0+m(x-x_0)) | (m\in\mathbb{R}\cup{\infty}) | For non‑vertical lines. |
| Standard (Two‑point) | (\displaystyle \frac{y-y_1}{y_2-y_1} = \frac{x-x_1}{x_2-x_1}) | Points ((x_1,y_1)), ((x_2,y_2)) | When two points are given. |
| Normal (Cartesian) | (a x + b y = c) | ((a,b)\ne(0,0)) | When a normal vector ((a,b)) is known. |
| Homogeneous (Projective) | (a x + b y + c z = 0) | ((a,b,c)\ne(0,0,0)) | For projective geometry, including lines at infinity. |
Note – In the “slope‑intercept” form the slope (m) is undefined for vertical lines; these are better represented by (x=x_0).
3. Derivation from First Principles
3.1 From Two Points
Given two distinct points (P_1=(x_1,y_1)) and (P_2=(x_2,y_2)):
- Direction vector: (\mathbf{v}=