Lines
Forms
| Property | Statement |
|---|---|
| Slope-intercept | y=mx+b |
| Point-slope | y−y₁=m(x−x₁) |
| Standard | Ax+By=C |
Examples
Example 1. Line through (2,3) with slope 4.
Solution. y−3=4(x−2) → y=4x−5.
In Depth
A line is an infinite, straight, one-dimensional figure extending in both directions. In Euclidean geometry, two distinct points determine a unique line. Lines are the simplest geometric objects and the building blocks of all polygonal geometry.
In the coordinate plane, a line is described by a linear equation \(ax+by=c\). The slope \(m=(y_2-y_1)/(x_2-x_1)\) measures steepness. Parallel lines have equal slopes; perpendicular lines have slopes satisfying \(m_1m_2=-1\).
The distance from a point \((x_0,y_0)\) to the line \(ax+by+c=0\) is \(d=|ax_0+by_0+c|/\sqrt{a^2+b^2}\). This formula is derived by finding the foot of the perpendicular from the point to the line.
In 3D, a line is described parametrically: \((x,y,z)=(x_0+at, y_0+bt, z_0+ct)\) where \((a,b,c)\) is the direction vector. Two lines in 3D may be parallel, intersecting, or skew (neither parallel nor intersecting). The distance between skew lines uses the cross product.
Projective geometry extends Euclidean geometry by adding 'points at infinity' where parallel lines meet. In projective geometry, any two distinct lines intersect (in exactly one point), simplifying many theorems. Projective transformations (homographies) are used in computer vision for perspective correction.
Key Properties & Applications
Pencils of lines (all lines through a point) and pencils of planes (all planes through a line) are fundamental in projective geometry. Cross-ratio, a projective invariant, measures the relative position of four collinear points and is preserved by all projective transformations.
In computational geometry, line segment intersection is a fundamental problem. The Bentley–Ottmann algorithm finds all \(k\) intersections among \(n\) segments in \(O((n+k)\log n)\) time using a sweep line. This is used in GIS, VLSI design, and computational topology.
Duality in projective geometry exchanges points and lines: every theorem about points and lines has a dual theorem obtained by swapping the words 'point' and 'line'. Desargues' theorem and its converse are dual to each other.
Further Reading & Context
The study of line geometry connects to many areas of mathematics and its applications. Understanding the foundational definitions and theorems provides the basis for advanced work in analysis, algebra, and applied mathematics.
Historical development: most mathematical concepts evolved over centuries, with contributions from mathematicians across many cultures. The modern axiomatic treatment provides rigor, while computational tools enable practical application.
In modern mathematics, this topic appears in graduate courses and research across pure and applied mathematics. Connections to computer science, physics, and engineering make it a versatile and important area of study. Mastery of the core results and techniques opens doors to research in number theory, analysis, geometry, and beyond.
Recommended next steps: work through the standard theorems with full proofs, explore the connections to related topics listed above, and practice with a variety of problems ranging from computational exercises to theoretical proofs. The interplay between different areas of mathematics is one of the subject's greatest rewards.