Points, lines, angles and geometric definitions

Start with a setting and distinguish the jobs of mathematical statements

We work in a Euclidean plane: the ideal flat setting for straight lines and ordinary distance and angle measurement. A pencil dot represents a location, but the mathematical point has no length, width or thickness. A drawn stroke represents a line or part of one; its ink thickness and the paper's edges are not properties of the ideal object. Keep the object separate from the marks used to show it.

In an axiomatic treatment, point, line and plane can be primitive terms: their relationships are specified by assumptions rather than by an endless chain of definitions. A definition introduces a meaning, such as a segment having two endpoints and all points between them. An axiom or postulate is an assumption of the chosen system. A theorem is a statement justified from the assumptions and previously established results. Calling a statement obvious does not replace identifying its role.

For this lesson, use the Euclidean assumptions that two distinct points determine exactly one straight line and that a straight segment can be extended in its line. We also use ordinary angle measurement, in which a full turn is 360° and adjoining parts of a selected angle add to that angle's measure. Euclid's presentation distinguishes definitions, postulates and common notions, but its historical use of 'line' need not mean our modern infinite line. The conventions below state the meanings we will use.

Two distinct points determine one line; one point does not

For distinct points A and B, the line through A and B is the unique straight line containing both. It extends without endpoints in both directions. We can name it line AB, line BA or a lowercase letter such as ℓ. Reversing the two point names does not change this set of points. The uniqueness condition concerns distinct locations, not merely two different letter labels.

If A and B coincide, both labels refer to the same point. Many lines pass through that point, so 'line AA' does not determine a unique line. Do not assign a direction by pretending that the zero displacement from A to itself points somewhere. A clipped drawing of line AB also does not make the line end at the visible labels or at the graph window's boundary.

The unique-line assumption gives a useful theorem: two distinct lines have at most one common point. If two lines shared distinct points P and Q, each would have to be the unique line through P and Q, so the lines would coincide. Therefore distinct lines that intersect do so at exactly one point. The argument uses two distinct shared points; it does not forbid two lines from sharing one point.

Endpoints and direction distinguish a segment, a ray and a line

For distinct A and B, segment AB consists of A, B and every point of their line between them. Both endpoints are included, and segment AB is the same object as segment BA. Its length is a nonnegative distance, which is a number with a length unit when units are supplied. The segment itself is a set of points, not that number. We explicitly allow the degenerate segment AA to be the single point A, with length zero.

Ray AB starts at A, contains B and continues indefinitely beyond B in that direction; A is included. Its first named point is the endpoint. For distinct A and B, ray BA starts elsewhere and points in the opposite direction, so it is a different set. A ray can have different second names when those points lie in the same direction from its fixed endpoint: if A, B and C are collinear and B and C lie on the same side of A, rays AB and AC coincide. Repeated points alone do not define a unique ray AA.

Coordinates give exact membership descriptions when A ≠ B. Write P = A + t(B − A), where t is real. The line allows every real t; the segment requires 0 ≤ t ≤ 1; ray AB requires t ≥ 0. Conversely, those conditions describe every point of the corresponding object. A point not on the line has no such t. With A = B, this expression is just A for every t and cannot certify a line or ray direction.

Being on one line is different from being in one plane

Points are collinear when one line contains all of them. Points or lines are coplanar when one plane contains them all. Every object under discussion in our chosen plane is coplanar with the others, but its points need not be collinear. For example, the three planar points (0, 0), (1, 0) and (0, 1) are not collinear: the unique line through the first two has y = 0 and does not contain the third.

Collinearity alone does not specify which point is between the others. If B lies strictly between distinct A and C, then the segment lengths satisfy AB + BC = AC. The strict-between condition makes both smaller lengths positive. If B instead lies beyond C, the order and the corresponding sum change. Coordinates along the line, or an explicitly stated order, decide which segment is the whole; the spacing of printed labels is not evidence of that order.

The plane condition matters when describing lines. In three-dimensional Euclidean space, lines can fail to meet while also failing to share a plane; such lines are called skew. They are not parallel under the coplanar definition used here. Our planar line classifications therefore have an explicit setting. This distinction prevents importing a planar conclusion into an unstated spatial situation.

Compare the whole lines, including their coincidence and right-angle cases

Two lines in one plane are coincident if they are the same complete set of points. Two distinct lines are intersecting if they share a point, which is unique by the previous theorem. They are parallel if they are distinct, coplanar and share no point even when extended indefinitely. These alternatives classify the complete planar lines. Two visible segments missing each other in a cropped sketch need not have parallel supporting lines.

The coordinate equations y = 1 and y = −2 describe parallel lines: no point has both y values. The equations y = 1 and 2y = 2 describe coincident lines, not two distinct parallels. The lines y = 1 and x = 3 intersect at the single point (3, 1). Coordinate equivalence, incompatibility or a unique simultaneous solution justifies these classifications without relying on the drawing.

Two lines are perpendicular when they intersect at a right angle, measured as 90°. For distinct lines meeting in the plane, their opposite rays create four ordinary sectors; if one sector is 90°, the others are also 90° by the linear-pair and opposite-angle reasoning developed below. Horizontal and vertical lines provide one example, not the whole definition: rotating the entire configuration preserves perpendicularity. Use an explicitly given right-angle mark or proved measure rather than an L-like appearance.

Name the vertex in the middle and state which angle is intended

Two rays with common endpoint O are the arms of an angle, and O is its vertex. If A is a point other than O on one arm and B is a point other than O on the other, the three-letter name is ∠AOB. The middle letter identifies the vertex. Additional points farther along the same arms can rename the same selected angle; changing a ray's direction changes the angle. Arm lengths on the page do not determine its measure.

Two arms usually bound two sectors. In this lesson an unqualified three-letter angle name refers to the ordinary nonreflex angle with measure from 0° to 180°. A reflex angle or a directed turn must be explicitly marked or described. Under the ordinary convention, ∠AOB and ∠BOA have the same measure. Reversing a specified directed turn can instead select the other route, so the three letters alone must not silently choose a reflex sector.

Writing ∠O is useful only when the intended angle at O is unambiguous. With several rays at O, use three letters and, where needed, a marked sector. The angle object, its chosen sector or turn and its numerical degree measure are related but distinct pieces of information. A full turn includes a turn record: its final arm agrees with its initial arm, just as for zero turn, but the amount of turning differs.

Degrees measure turning, with explicit boundary conventions

One degree, written 1°, is one three-hundred-and-sixtieth of a full turn. Thus a full turn is 360°, a half turn is the straight angle 180°, and a quarter turn is the right angle 90°. Equal angles have equal turn measures regardless of their position or the displayed length of their arms. Rotating a whole configuration preserves its angle measures; stretching one drawing direction can change its apparent angles.

Our modern convention includes zero angles and explicitly recorded full turns in the table. Acute means strictly between 0° and 90°, and obtuse means strictly between 90° and 180°. Reflex means strictly between 180° and 360°; neither straight nor full-turn is reflex. Coincident arms can show 0° with no turn or 360° after one full turn, so their final positions alone cannot distinguish the two records. Negative or multiple turns require additional conventions that are outside this lesson.

To measure an ordinary angle with a protractor, put its centre at the vertex, align one arm with the baseline's zero mark, and read the other arm using the scale that starts from that zero. If both arms lie within the same measured semicircle without baseline alignment, take the absolute difference of their readings on the same scale. For an explicitly selected reflex sector, measure its smaller counterpart and subtract from 360°. Physical readings have limits; a given exact measure or a mathematical proof has a different role from an estimate taken from a sketch.

Adjacent angles form a linear pair only with opposite outer rays

Here proper adjacent angles are positive ordinary angles that share a vertex and one arm, with disjoint interiors on opposite sides of that common arm. They need not have equal measures and need not fill a half turn. For example, adjoining sectors of 28° and 28° fill 56°, so equal adjacent angles need not be right angles. Sharing only a vertex, or sharing an arm while one selected interior overlaps the other, does not meet the definition.

A proper linear pair is a pair of adjacent angles whose noncommon arms are opposite rays. Those outer rays give a straight angle, partitioned by the common arm, so the two measures sum to 180°. Conversely, two proper adjacent ordinary angles summing to 180° have a combined straight sector and therefore opposite noncommon rays. This converse uses their adjacency and nonoverlap, not merely a numerical sum supplied at unrelated positions.

If a ray lies strictly inside a selected straight sector, it produces the two positive angles of a proper linear pair. A boundary ray instead gives measures 0° and 180°; their sum is still 180°, but this degenerate construction is not a proper linear pair under our convention. If the positive pair is also equal, 2θ = 180° gives θ = 90° and perpendicular supporting lines. Apply the position conditions before writing the equation.

Complementary and supplementary describe sums, not placement

Two angle measures are complementary when their sum is 90° and supplementary when their sum is 180°. These are numerical relationships; the angles can be at different vertices. A 37° angle has complementary measure 53° and supplementary measure 143°. The corresponding explicitly selected reflex measure is 323°, obtained from 360° − 37°; it is neither the complement nor the supplement.

With our nonnegative ordinary measures, the complementary measure 90° − θ is available for 0° ≤ θ ≤ 90°, and the supplementary measure 180° − θ for 0° ≤ θ ≤ 180°. Boundary answers can be zero because we have explicitly included the zero-angle convention. If both angles are required to be positive, use strict bounds instead. A negative calculation such as 90° − 120° = −30° is not a complementary angle in this convention.

Every proper linear pair is supplementary, but a supplementary pair need not be adjacent or form a line at one vertex. For example, 40° and 140° at separate vertices sum to 180° without constituting a linear pair. Likewise, a complementary sum does not say that two given supporting lines intersect at a right angle unless the stated arrangement joins the angles into that right sector. Separate the measure equation from the position facts needed for a geometric conclusion.

Opposite angles are equal because both supplement the same angle

Let distinct lines AB and CD meet at O, with O strictly between A and B and strictly between C and D. Their four rays occur around O as OA, OC, OB, OD, after choosing the orientation of the labels. The ordinary angles ∠AOC and ∠BOD are vertically opposite, as are ∠COB and ∠DOA. 'Vertical' here names an opposite position; the lines do not need to be upright or horizontal.

Put α = m∠AOC, β = m∠COB and γ = m∠BOD, where m denotes degree measure. Because OA and OB are opposite rays, α + β = 180°. Because OC and OD are opposite rays, β + γ = 180°. Subtracting β gives α = γ. The same argument proves the other opposite pair equal. Thus the four measures are α, 180° − α, α, 180° − α, with 0° < α < 180° for distinct crossing lines, and their sum is 360°.

This proof explains the equality for every permitted crossing, rather than checking a few measured pictures. At α = 90° the two lines are perpendicular. At α = 0° or 180°, the purported line directions coincide and do not give the four proper sectors of distinct intersecting lines. Coincident lines have a whole line of common points and no unique crossing point selected by the two lines alone. An opposite-looking pair of angles without opposite ray pairs is not enough to invoke the theorem.

Use the explorer to inspect conditions while the reasoning supplies the result

The incidence scene lets you choose line, segment or ray, distinct endpoints A = (−2, −1), B = (2, 1) or coincident endpoints A = B = (−2, −1), and a fixed-coordinate test point. In the distinct case, exact coordinate collinearity and the real parameter in P = A + t(B − A) determine membership. A point beyond B belongs to the line and forward ray, but not to the segment; a point behind A belongs only to the line. The endpoint A belongs to all three.

In the coincident case the segment is the singleton {A}, while the two labels alone leave line and ray directions undetermined. A collinearity expression that becomes zero because B − A is zero does not make every point lie on a uniquely defined line. The angle scene separately offers the given turns 0°, 60°, 90°, 120°, 180°, 270° and 360°, plus one distinct-crossing scene with four alternating 60° and 120° sectors. Reflex and full-turn scenes explicitly trace counterclockwise turning; the zero scene records no turn.

The graph uses equal scales and shows only a bounded window. Its arrowheads indicate indefinite continuation, not endpoints of the complete line or ray. Exact coordinates and given degree measures justify the displayed conclusions; the drawn arcs illustrate the selected measures rather than measuring them from pixels. The ordinary supplementary construction gives a proper linear pair only for 0° < θ < 180°; the zero and straight boundaries are degenerate. These selected cases support inspection, while the definitions and general proofs above establish the broader relationships.

Worked examples

Try it yourself

1. In the axiomatic approach used here, classify point and plane; the meaning of ray AB; the statement that two distinct points determine a unique line; and the statement that two distinct lines share at most one point. Explain why a pencil dot's visible diameter does not give a mathematical point a positive width.

   Show the answer and reasoning

   Point and plane are primitive terms. The meaning of ray AB is a definition, the unique-line statement is an assumption, and the at-most-one-common-point statement is a theorem derived from that assumption. The dot is a representation of an ideal location with no width.

   A definition states how a term will be used, while an assumption supplies a property of the selected geometric system. If two distinct lines shared distinct P and Q, uniqueness of the line through P and Q would make them the same line, a contradiction. That argument proves the theorem. Physical marks let us locate the ideal objects but do not change their mathematical properties.

2. On y = 0 let A = (−1, 0), B = (2, 0), C = (5, 0) and D = (−3, 0). Describe line AB, segment AB, ray AB and ray BA completely. Which of C and D belongs to each? Are rays AB and AC the same, and does ray AA determine a direction?

   Show the answer and reasoning

   Line AB has every real first coordinate. Segment AB has −1 ≤ q ≤ 2, ray AB has q ≥ −1, and ray BA has q ≤ 2. Both C and D are on the line and neither is on the segment. Only C is on ray AB; only D is on ray BA. Rays AB and AC coincide; ray AA has no uniquely determined direction.

   The first-coordinate order is −3 < −1 < 2 < 5. Segment membership includes its two endpoints but excludes points beyond them. A ray includes its endpoint and only one direction of the supporting line. B and C lie in the same direction from A, so the second ray names coincide. Repeating A produces zero displacement, which cannot choose a line or ray direction.

3. Classify the planar line pairs y = 1 with y = −2, y = 1 with x = 3, and y = 1 with 2y = 2. Are (0, 0), (1, 0) and (0, 1) collinear or coplanar? Why is 'the visible segments do not meet' insufficient to prove parallel supporting lines?

   Show the answer and reasoning

   The first pair is parallel, the second perpendicular with intersection (3, 1), and the third coincident. The three points are coplanar but not collinear. Missing a crossing within the visible segments does not rule out a crossing of the complete lines.

   The two different fixed y values are incompatible. A horizontal and a vertical line meet at a right angle at their simultaneous solution. Dividing 2y = 2 by 2 gives the same equation y = 1, so it does not define a distinct line. The first two points determine y = 0, which excludes (0, 1), though all three lie in the given coordinate plane. Parallelism concerns distinct coplanar lines extended indefinitely.

4. Classify selected measures 0°, 27°, 90°, 143°, 180°, 213° and 360°. Give the reflex counterpart of the ordinary 27° angle. Explain why coincident initial and final rays do not distinguish zero turn from a full turn, and identify the vertex in ∠PQR.

   Show the answer and reasoning

   The types are zero, acute, right, obtuse, straight, reflex and full turn, respectively. The reflex counterpart of 27° is 333°. A turn record distinguishes 0° from 360° despite the same final ray; Q is the vertex of ∠PQR.

   Use the exact strict classification bounds: acute lies between 0 and 90, obtuse between 90 and 180, and reflex between 180 and 360. The larger sector is 360° − 27° = 333°. Returning an arm after one complete rotation records 360°; leaving it unchanged records zero. The middle letter always identifies the vertex, so the arms in ∠PQR are QP and QR.

5. Two proper adjacent angles each measure 28°. Must they be right angles or form a linear pair? Can 40° and 140° at different vertices form a linear pair? Finally, an actual proper linear pair has measures (4s + 8)° and (5s + 10)°. Find s and verify both measures.

   Show the answer and reasoning

   The two 28° angles are neither right angles nor a linear pair; they sum to 56°. The separate-vertex 40° and 140° angles are supplementary but not a linear pair. In the actual linear pair, s = 18 and the measures are 80° and 100°.

   Equal adjacency alone does not provide opposite noncommon arms. A linear pair requires a shared vertex and arm, disjoint interiors and opposite outer rays. With those conditions explicitly given for the final pair, (4s + 8) + (5s + 10) = 180 gives 9s + 18 = 180 and s = 18. Substitution gives 80 and 100, both positive ordinary measures and summing to 180.

6. Find complementary and supplementary measures for an ordinary 37° angle, and its explicitly selected reflex counterpart. Do 37° and 53° at different vertices remain complementary? Under this lesson's zero-angle convention, when are 90° − θ and 180° − θ valid nonnegative ordinary measures, and is −30° a complement of 120°?

   Show the answer and reasoning

   The complement is 53°, the supplement 143° and the reflex counterpart 323°. Separate-vertex 37° and 53° are still complementary. The bounds are 0° ≤ θ ≤ 90° for a nonnegative complement and 0° ≤ θ ≤ 180° for a nonnegative supplement. −30° is not a complement in this convention.

   Subtract from the stated totals: 90 − 37 = 53, 180 − 37 = 143 and 360 − 37 = 323. Complementary and supplementary specify sums rather than positions. The inclusive bounds allow zero at an endpoint because zero angles are explicitly included here; requiring both angles positive makes the bounds strict. A negative result is outside the chosen ordinary-angle convention, so it cannot be accepted merely because the arithmetic sum is 90.

7. At a crossing of two distinct planar lines, a pair of vertically opposite ordinary angles measures (6r + 1)° and (3r + 43)°. Find r and all four sector measures. Are the lines perpendicular? Explain why the same four-sector reasoning cannot be assigned to two coincident lines.

   Show the answer and reasoning

   r = 14. The opposite pair measures 85° each and the other opposite pair 95° each. The lines are not perpendicular. Coincident lines do not define four proper crossing sectors or a unique intersection point.

   Opposite equality gives 6r + 1 = 3r + 43, hence 3r = 42 and r = 14. Substitution gives 85 for both original measures; their adjacent supplements are 180 − 85 = 95. All four are positive and below 180, their adjacent sums are 180 and their total is 360. Perpendicularity would require 90° sectors. Coincident lines have the same complete point set, so the distinct-line hypothesis of the opposite-angle theorem fails.

What to carry forward

• Choose the Euclidean setting and distinguish primitive terms, definitions, assumptions and theorems. A drawing represents ideal objects without supplying all their properties.
• Two distinct points determine one complete line; repeated point labels do not. The uniqueness assumption proves that two distinct lines can share at most one point.
• A segment includes both endpoints, while a ray includes its first endpoint and one direction. For distinct A and B, real parameters describe the complete line, segment and ray; segment AA is a singleton and line or ray direction remains undetermined.
• Collinear means contained in one line and coplanar means contained in one plane. Classify complete planar lines as coincident, distinct intersecting or distinct parallel; perpendicular lines meet at right angles.
• The middle letter names an angle's vertex. State the selected sector or directed turn, keep degree boundaries strict where required, and distinguish a recorded full turn from zero even when the terminal rays agree.
• Adjacency is positional, a proper linear pair additionally has opposite outer rays, and complementary or supplementary relationships specify numerical sums. A sum alone does not supply a missing geometric arrangement.
• At a crossing of distinct lines, opposite-angle equality follows from two linear-pair equations. Preserve positive-sector and distinct-line conditions, and use exact givens and reasons rather than the apparent size of a drawing.