Perpendicular Lines

Definition

Perpendicular lines are two lines that intersect to form congruent adjacent angles. By definition, these adjacent angles are right angles ($90^\circ$). The symbol for perpendicularity is $\perp$ (e.g., $l \perp m$).

• How to read: “The angle is ninety degrees; the line l is perpendicular to the line m.”
• Meaning: Lines meet at right angles—maximum directional independence in the plane.

Why It Matters

Perpendicularity is the definition of “balance.” In architecture, if walls aren’t perpendicular to the ground, gravity will eventually pull them down. In mathematics, perpendicularity (orthogonality) is the only thing that allows us to treat $x$ and $y$ as independent—without it, a change in one would always cause an unplanned change in the other. It is the geometric requirement for “clean” navigation and structural integrity in both the physical and abstract worlds.

Core Concepts

• Right Angle Formation: If two lines are perpendicular, they meet to form four right angles.
• Existence and Uniqueness: Through a point not on a given line, there is exactly one line perpendicular to the given line.
• Perpendicular Bisector: A line that is perpendicular to a segment at its midpoint. Every point on the perpendicular bisector of a segment is equidistant from the segment’s endpoints.
• Slopes in Analytic Geometry: Two non-vertical lines are perpendicular if and only if the product of their slopes is $-1$ (i.e., their slopes are negative reciprocals: $m_1 = -1/m_2$).
  • How to read: “The product of the first slope and the second slope is equal to negative one, or the first slope is equal to negative one divided by the second slope.”
  • Meaning / when to use: Slope test for perpendicularity—multiply slopes to get $-1$.

Connected Concepts

• Parallel Lines
• Angle Classification
• Slope
• Lines
• Right Triangles
• Orthogonal Trajectories