The Central Idea
Spatial mathematics begins with a small collection of basic objects that let us describe location, extension, connection, and flatness.
- A point represents a location.
- A line extends infinitely in two opposite directions.
- A ray has one endpoint and extends infinitely in one direction.
- A segment has two endpoints and a finite length.
- A plane is a flat two-dimensional surface extending indefinitely.
These are not merely shapes drawn on paper. They are mathematical objects. A drawing represents them, but the mathematical object is idealized and may extend farther, be thinner, or be more exact than any physical drawing can show.
Geometry Uses Idealized Objects
A pencil dot has width. A drawn line has thickness. A sheet of paper has edges and a small amount of thickness.
Mathematical geometry idealizes these physical representations.
- A geometric point has location but no physical size.
- A geometric line has length but no thickness.
- A geometric plane has two-dimensional extent but no thickness.
This distinction between a mathematical object and its drawing is important. The diagram helps us reason about the object, but the diagram is not the object itself.
Points
A point identifies a location in space.
Points are usually named with capital letters such as
\[ A,\qquad B,\qquad C. \]A point has no length, width, area, or volume. It tells us where, not how large.
In a diagram, we represent a point with a visible dot because an object with no size could not otherwise be seen.
Points as Locations
The idea of a point appears whenever we specify a precise position.
On a number line, a point may be identified by one coordinate:
\[ x=4. \]In a coordinate plane, a point may be identified by an ordered pair:
\[ P=(3,2). \]In three-dimensional coordinate space, a point may be identified by an ordered triple:
\[ Q=(2,-1,5). \]The coordinate representation changes with the space, but the central idea remains the same: a point identifies a location.
Points as Primitive Objects
In elementary geometry, a point is often treated as a primitive or undefined term.
This does not mean that points are mysterious or meaningless. It means that a formal geometric system must begin somewhere. Rather than defining every object in terms of an earlier object forever, geometry begins with a few basic ideas and states rules describing how they behave.
Lines and planes are also commonly treated as primitive objects in axiomatic geometry.
Lines
A line is a straight one-dimensional object that extends indefinitely in two opposite directions.
If distinct points \(A\) and \(B\) lie on a line, the line may be named
\[ \overleftrightarrow{AB}. \]The double arrow indicates that the line continues beyond both \(A\) and \(B\).
A line may also be named with a lowercase letter such as
\[ \ell. \]A Line Has No Endpoints
A line does not stop at the labeled points used to name it.
If \(A\) and \(B\) lie on line \(\ell\), the points help us identify the line, but they are not its endpoints.
Symbolically,
\[ \overleftrightarrow{AB} \]extends beyond \(A\) in one direction and beyond \(B\) in the other.
Because a line extends indefinitely, it has no finite total length.
Two Distinct Points Determine a Line
In Euclidean geometry, exactly one line passes through any two distinct points.
If \(A\neq B\), then there is one and only one line containing both points:
\[ \boxed{\overleftrightarrow{AB}}. \]This simple principle is foundational. Two distinct locations are enough to determine a unique straight line.
Many Points Can Lie on the Same Line
A line contains infinitely many points.
If points \(A\), \(B\), and \(C\) all lie on the same line, then they are called collinear.
For example, the notations
\[ \overleftrightarrow{AB},\qquad \overleftrightarrow{AC},\qquad \overleftrightarrow{BC} \]may all name the same line when \(A\), \(B\), and \(C\) are distinct collinear points.
Collinearity will be developed more fully later in this section.
Rays
A ray begins at one endpoint and extends indefinitely in one direction.
The ray that begins at \(A\) and passes through \(B\) is written
\[ \overrightarrow{AB}. \]The first letter names the endpoint. The second letter identifies the direction in which the ray travels.
Therefore, the order of the letters matters.
The Order of Ray Names Matters
In general,
\[ \overrightarrow{AB}\neq\overrightarrow{BA}. \]The ray \(\overrightarrow{AB}\) begins at \(A\) and passes through \(B\).
The ray \(\overrightarrow{BA}\) begins at \(B\) and passes through \(A\).
If both points lie on the same line, these two rays point in opposite directions unless the geometric context produces some special coincidence.
Opposite Rays
Suppose \(A\), \(B\), and \(C\) are collinear and \(B\) lies between \(A\) and \(C\).
Then
\[ \overrightarrow{BA} \]and
\[ \overrightarrow{BC} \]begin at the same endpoint \(B\) and extend in opposite directions. They are called opposite rays.
Together, opposite rays form the entire line through the three points.
Line Segments
A line segment, usually shortened to segment, is the part of a line between two endpoints.
The segment with endpoints \(A\) and \(B\) is written
\[ \overline{AB}. \]Unlike a line or a ray, a segment is bounded at both ends.
A segment therefore has a finite length.
Segment Names Can Be Reversed
A segment has the same two endpoints regardless of the order in which they are named.
Therefore,
\[ \boxed{\overline{AB}=\overline{BA}}. \]This differs from ray notation, where changing the first point changes the endpoint and usually changes the ray.
A Segment and Its Length Are Different
It is useful to distinguish the geometric object from its numerical measurement.
The notation
\[ \overline{AB} \]refers to the segment itself.
The notation
\[ AB \]commonly refers to the length of that segment.
Thus, \(\overline{AB}\) is an object, while \(AB\) is a number representing distance.
Segments Have Interior Points
If point \(C\) lies on \(\overline{AB}\) and is different from both endpoints, then \(C\) is an interior point of the segment.
When \(C\) lies between \(A\) and \(B\), the segment-addition relationship is
\[ \boxed{AC+CB=AB}. \]This equation concerns lengths. It expresses the idea that the whole segment is composed of its adjacent parts.
Midpoints
A midpoint divides a segment into two segments of equal length.
If \(M\) is the midpoint of \(\overline{AB}\), then
\[ AM=MB. \]Since
\[ AM+MB=AB, \]each half has length
\[ \boxed{AM=MB=\frac{AB}{2}}. \]Lines, Rays, and Segments Are Closely Related
A line, ray, and segment may all lie along the same straight path, but their extent is different.
- A line extends infinitely in two directions.
- A ray extends infinitely in one direction.
- A segment extends only between two endpoints.
Their notation records this difference:
\[ \overleftrightarrow{AB}, \qquad \overrightarrow{AB}, \qquad \overline{AB}. \]Learning to read the arrow and bar notation accurately prevents many later geometric errors.
Planes
A plane is a flat two-dimensional object that extends indefinitely in all directions within its own two-dimensional space.
A plane has length and width in the geometric sense, but no thickness.
In a drawing, a plane is often represented by a slanted parallelogram or another finite patch. The edges of that patch are only part of the diagram. The mathematical plane continues beyond them.
Naming a Plane
A plane may be named with a script or capital letter, depending on the convention being used.
It may also be named using three noncollinear points lying in the plane.
If \(A\), \(B\), and \(C\) do not all lie on one line, then they determine a plane that may be called
\[ \text{plane }ABC. \]The requirement that the three points be noncollinear is essential.
Three Noncollinear Points Determine a Plane
In Euclidean geometry, exactly one plane passes through any three noncollinear points.
Thus, if \(A\), \(B\), and \(C\) are not all on the same line, they determine a unique plane.
Three collinear points do not determine a unique plane because infinitely many planes can contain the same line.
Other Ways to Determine a Plane
Several common configurations determine a unique plane in Euclidean geometry.
- Three noncollinear points determine a plane.
- A line and a point not on that line determine a plane.
- Two intersecting lines determine a plane.
- Two distinct parallel lines determine a plane.
These facts become useful when reasoning about three-dimensional figures and determining whether objects lie in the same plane.
Coplanar Objects
Points, lines, segments, rays, or other geometric objects are coplanar when they lie in the same plane.
For example, all points drawn on an ordinary coordinate plane are coplanar within that model.
In three-dimensional geometry, however, objects need not lie in the same plane.
Coplanarity will be studied more directly in the later lesson on parallel, perpendicular, collinear, and coplanar relationships.
Dimensions of the Basic Objects
One useful way to compare these objects is by dimension.
- A point is zero-dimensional.
- A line, ray, and segment are one-dimensional.
- A plane is two-dimensional.
Dimension describes the number of independent directions available within the object.
A point has no direction of movement inside itself. A line allows movement along one direction. A plane allows independent movement in two directions.
Finite and Infinite Extent
The basic spatial objects also differ in whether their extent is bounded.
- A point has no positive spatial extent.
- A segment has finite one-dimensional extent.
- A ray is unbounded in one direction.
- A line is unbounded in two opposite directions.
- A plane is unbounded in its two-dimensional directions.
Later, the distinction between finite and infinite spatial objects will be examined in its own lesson.
Containment
Spatial objects can contain smaller-dimensional objects.
For example:
- a line contains points;
- a ray contains its endpoint and infinitely many additional points;
- a segment contains its endpoints and all points between them;
- a plane contains points, lines, rays, segments, curves, and regions.
This language of containment will later be developed together with incidence, intersection, and separation.
Incidence
When a point lies on a line, or a line lies in a plane, geometry often uses the language of incidence.
For example, if point \(P\) lies on line \(\ell\), we may say:
- \(P\) lies on \(\ell\);
- \(\ell\) passes through \(P\);
- \(P\) and \(\ell\) are incident.
These statements describe the same basic spatial relationship from different perspectives.
Coordinates Give Points Numerical Addresses
Coordinate geometry combines spatial objects with algebra.
In the Cartesian plane, a point
\[ P=(x,y) \]has two coordinates.
The first gives horizontal position and the second gives vertical position.
For example,
\[ P=(4,-2) \]means move \(4\) units horizontally from the origin and \(2\) units in the negative vertical direction.
A Line Can Be Represented Algebraically
In a coordinate plane, a geometric line can often be represented by a linear equation.
For example,
\[ y=2x+1 \]represents all points \((x,y)\) satisfying that equation.
The geometric line therefore contains infinitely many coordinate points, including
\[ (0,1),\qquad (1,3),\qquad (2,5). \]This is an early example of algebraic and spatial descriptions referring to the same mathematical object.
Segments in Coordinates
Suppose
\[ A=(x_1,y_1) \]and
\[ B=(x_2,y_2). \]The segment \(\overline{AB}\) contains the points lying between \(A\) and \(B\) on the line through them.
Its length is given by the distance formula:
\[ \boxed{AB=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2}}. \]The segment is the geometric set of points. The distance formula measures its length.
The Midpoint Formula
The midpoint of the segment joining
\[ A=(x_1,y_1) \]and
\[ B=(x_2,y_2) \]is
\[ \boxed{ M= \left( \frac{x_1+x_2}{2}, \frac{y_1+y_2}{2} \right) }. \]Each coordinate of the midpoint is the average of the corresponding endpoint coordinates.
Points and Lines in Three Dimensions
The same ideas continue beyond the coordinate plane.
A point in three-dimensional Cartesian space may be written
\[ P=(x,y,z). \]A line through a point \(P_0\) in a direction represented by a vector \(\mathbf{v}\) can be described parametrically by
\[ \mathbf{r}(t)=\mathbf{r}_0+t\mathbf{v}. \]As the parameter \(t\) ranges through the real numbers, the expression generates the points of the line.
This is an advanced notation, but the underlying idea is familiar: a line is determined by a location together with a direction.
Planes in Three-Dimensional Coordinates
In three-dimensional Cartesian space, a plane can often be represented by an equation of the form
\[ \boxed{ax+by+cz=d}, \]where \(a\), \(b\), and \(c\) are not all zero.
Every point \((x,y,z)\) satisfying the equation lies in the plane.
For example,
\[ x+y+z=6 \]describes a plane in three-dimensional space.
Later courses develop these representations in much greater detail.
Drawings Are Finite Representations of Infinite Objects
A common source of confusion is that an infinite object must be drawn inside a finite page or screen.
A line may appear as a short stroke with arrowheads, but the arrowheads mean that the line continues.
A ray may appear to stop at the edge of a diagram, but mathematically it continues indefinitely in its indicated direction.
A plane may appear as a bounded parallelogram, but its drawn edges do not represent actual boundaries of the plane.
Notation Is Part of the Meaning
Compare:
\[ AB,\qquad \overline{AB},\qquad \overrightarrow{AB},\qquad \overleftrightarrow{AB}. \]These symbols are related, but they do not mean the same thing.
- \(AB\) usually represents a numerical distance.
- \(\overline{AB}\) represents a segment.
- \(\overrightarrow{AB}\) represents a ray beginning at \(A\).
- \(\overleftrightarrow{AB}\) represents the entire line through \(A\) and \(B\).
Small notation marks carry structural information.
Common Error: Treating a Drawing as the Exact Object
A diagram may make two lengths look equal, two lines look perpendicular, or a point look centered.
Unless those relationships are given, marked, or proved, appearance alone is not sufficient evidence.
Diagrams support reasoning, but geometric conclusions must come from stated information and valid relationships.
Common Error: Giving a Line Endpoints
If a drawing labels points \(A\) and \(B\) on a line, those points do not become endpoints of the line.
The notation
\[ \overleftrightarrow{AB} \]means that the object continues beyond both points.
Only a segment has two endpoints.
Common Error: Reversing a Ray Name
The ray
\[ \overrightarrow{AB} \]begins at \(A\).
Writing
\[ \overrightarrow{BA} \]changes the endpoint to \(B\).
For rays, always read the first letter as the endpoint.
Common Error: Confusing a Segment with Its Length
The statement
\[ \overline{AB}=7 \]mixes a geometric object with a numerical measurement.
A more precise statement is
\[ \boxed{AB=7}. \]The segment is \(\overline{AB}\); its length is \(AB\).
Common Error: Thinking the Drawn Plane Has Edges
A plane is often drawn as a parallelogram so that we can see it on a page.
Those visible sides are not boundaries of the mathematical plane.
A plane extends indefinitely in all directions within its own two-dimensional space.
A Reliable Identification Procedure
When identifying one of these basic spatial objects, ask:
- Does the object represent only a location? If so, it is a point.
- Does it lie along a straight one-dimensional path?
- Does it have two endpoints? If so, it is a segment.
- Does it have exactly one endpoint? If so, it is a ray.
- Does it extend infinitely in both directions? If so, it is a line.
- Does it represent an entire flat two-dimensional space? If so, it is a plane.
This procedure separates the objects by dimension, straightness, endpoints, and extent.
A Compact Comparison
| Object | Dimension | Endpoints | Extent | Typical notation |
|---|---|---|---|---|
| Point | 0 | Not applicable | Location only | \(A\) |
| Line | 1 | 0 | Infinite in two directions | \(\overleftrightarrow{AB}\) |
| Ray | 1 | 1 | Infinite in one direction | \(\overrightarrow{AB}\) |
| Segment | 1 | 2 | Finite | \(\overline{AB}\) |
| Plane | 2 | 0 | Infinite within two dimensions | plane \(ABC\) |
Practice 1: Identify the Object
Name the geometric object that has two endpoints and contains all points on the straight path between them.
Practice 2: Read the Notation
What object is represented by
\[ \overrightarrow{PQ}? \]Which point is its endpoint?
Practice 3: Reverse the Name
Are
\[ \overline{AB} \]and
\[ \overline{BA} \]the same segment? Explain.
Practice 4: Compare Rays
Are
\[ \overrightarrow{AB} \]and
\[ \overrightarrow{BA} \]necessarily the same ray? Explain.
Practice 5: Segment Addition
Point \(C\) lies between \(A\) and \(B\). If
\[ AC=7 \]and
\[ CB=11, \]find \(AB\).
Practice 6: Midpoint
\(M\) is the midpoint of \(\overline{AB}\). If \(AB=24\), find \(AM\) and \(MB\).
Practice 7: Coordinate Distance
Find the length of the segment joining
\[ A=(1,2) \]and
\[ B=(4,6). \]Practice 8: Coordinate Midpoint
Find the midpoint of the segment joining
\[ A=(-2,5) \]and
\[ B=(6,-1). \]Practice 9: Determine a Plane
Do three distinct collinear points determine a unique plane? Explain.
Practice 10: Object or Measurement?
In the statements
\[ \overline{CD} \]and
\[ CD=9, \]identify which notation represents the geometric object and which represents its length.
Practice Answers
Practice 1
The object is a line segment.
Practice 2
\(\overrightarrow{PQ}\) is the ray that begins at \(P\) and passes through \(Q\). Its endpoint is \(P\).
Practice 3
Yes.
\[ \boxed{\overline{AB}=\overline{BA}}. \]Both names refer to the same segment with endpoints \(A\) and \(B\).
Practice 4
No. In general,
\[ \overrightarrow{AB}\neq\overrightarrow{BA}, \]because the first begins at \(A\) while the second begins at \(B\).
Practice 5
By segment addition,
\[ AB=AC+CB=7+11=\boxed{18}. \]Practice 6
A midpoint divides a segment into equal halves:
\[ AM=MB=\frac{24}{2}=\boxed{12}. \]Practice 7
Use the distance formula:
\[ AB= \sqrt{(4-1)^2+(6-2)^2} = \sqrt{9+16} = \sqrt{25} = \boxed{5}. \]Practice 8
Average the corresponding coordinates:
\[ M= \left( \frac{-2+6}{2}, \frac{5+(-1)}{2} \right) = \boxed{(2,2)}. \]Practice 9
No. Three distinct collinear points lie on one line, and infinitely many planes can contain that line. Three noncollinear points determine a unique plane in Euclidean geometry.
Practice 10
\(\overline{CD}\) represents the segment itself.
\(CD=9\) states that the length of the segment is \(9\) units.
What to Remember
- A point represents a location and has no size.
- A line extends infinitely in two directions and has no endpoints.
- A ray has one endpoint and extends infinitely in one direction.
- A segment has two endpoints and finite length.
- A plane is flat, two-dimensional, and extends indefinitely.
- Two distinct points determine a unique line in Euclidean geometry.
- Three noncollinear points determine a unique plane in Euclidean geometry.
- \(\overline{AB}\) is a segment, while \(AB\) commonly denotes its length.
- Ray names are directional: the first letter names the endpoint.
- A diagram is a representation of a geometric object, not the object itself.
These basic objects provide the vocabulary needed to describe more complex spatial structures.
Where We Go Next
Points, lines, rays, segments, and planes establish the simplest building blocks of spatial geometry. The next step is to examine objects whose shape, bending, enclosure, and dimensional extent become more visible.
The next lesson, Angles, Curves, Surfaces, Regions, and Solids, expands the spatial vocabulary from basic locations and straight extensions to turning, curved paths, two-dimensional boundaries and regions, and three-dimensional objects.