Undefined Terms: Point, Line, Plane
In geometry we start with three ideas so basic that we do not even define them. We describe them instead.
- Point — a single exact location. It has no size. We draw a dot and name it with a capital letter, like .
- Line — a straight path of points that goes on forever in both directions. Name it by any two of its points with a line symbol, , or by a lowercase letter, .
- Plane — a perfectly flat surface that goes on forever. Name it with a capital script letter or by three points that are not all on one line, like plane .
Collinear points lie on the same line. Coplanar points lie on the same plane.
Geometry starts with three terms it does not define — point, line, plane — and a few axioms about them: two points determine exactly one line, and three points not on one line determine exactly one plane. Nothing is lost by leaving them undefined: every later definition (segment, ray, angle, circle) is built from these words, and every proof ends up leaning on the axioms. That is why vocabulary here is precise — a proof is only as good as the words it is made of.
The points , , and below are collinear because they all lie on one line. That line can be named , , , or simply .
Naming a line by two points that are not on it, or treating a ray as the same as . A ray's first letter is its endpoint.
In the figure, , , and lie on line , so they are collinear. Point is off the line, so , , and are not collinear. All four points, however, lie on the same flat page, so they are coplanar.
Tip: Any two points determine exactly one line. Any three non-collinear points determine exactly one plane.
Points , , lie on one line, and point is not on that line. How many planes contain , and ? How many contain , and ?
Show the answerHide the answer
, , are three points not on one line, so exactly one plane contains them. , , are collinear, so they pin down only a line — and infinitely many planes contain a line (think of pages of a book turning about the spine).
Segments, Rays, and Opposite Rays
- A segment is the part of a line between two endpoints and , including both endpoints. It has a definite length.
- A ray starts at endpoint and goes forever through . Order matters: and point opposite ways.
- Opposite rays are two rays with the same endpoint that together form a straight line.
Notation: names the segment (a figure); with no bar means its length (a number).
The notation carries the picture: the bar over has no arrows because the segment stops at both ends; has one arrow because the ray stops at and runs on forever through ; has two. Because a ray starts at its first letter, and are different rays — they point in opposite directions and share only the segment between them.
Here and share endpoint and form a straight line, so they are opposite rays. The segment is the piece between and .
Calling and opposite rays. Opposite rays must share their endpoint; these two start at different points (and overlap along ). The opposite ray of here is .
Remember: A bar means a figure (, , ); no bar means a number ( the length).
Points , , lie on a line in that order. Name a pair of opposite rays, and decide whether and are the same ray.
Show the answerHide the answer
and are opposite rays: both start at and together make the line. and are not the same: the first starts at and runs through to the left forever; the second starts at and runs through and to the right.
Measuring Segments & the Segment Addition Postulate
If point lies on (between and ), then the two shorter lengths add to the whole:
This lets you find any one of the three lengths when you know the other two.
This is a postulate, not a theorem: it is part of what we mean by length on a line. Put a ruler along the line with at ; if is between, it sits at and sits at , and the gap from to is the difference. The word between is doing real work — if is off the segment, the two pieces overshoot, and for a point off the line, (a triangle's two sides are longer than the third).
Point is between and with and . Then
If and with between and , then
is between and , with , and . Find and both pieces.
The postulate turns the picture into one equation:
So and . Check: . ( happens to be the midpoint.)
Stopping at . The question asks for lengths; is not a length here, is. A second slip: setting when nothing says is the midpoint — "between" only means the pieces add up.
Tip: The point named in the middle of the sentence (“ is between and ”) is the one that splits the segment. It appears on both short pieces.
is between and . , and . Find .
Show the answerHide the answer
Segment addition: , so and . Then (and ; check ).
Congruent Segments & Midpoints
Two segments are congruent () when they have equal length (). We mark congruent segments with matching tick marks.
The midpoint of is the point exactly halfway between and . It splits the segment into two congruent halves:
Congruent segments are simply segments with the same length, so every congruence statement about segments is really an equation between numbers. A midpoint exists and is unique for every segment — on a ruler it is the average of the two end readings — and it is exactly the point where and hold together, which is why each half is .
is the midpoint of and . Then each half is
The tick marks show the two halves are congruent.
is the midpoint of , with and . Find .
A midpoint makes the halves equal, so set them equal (not either one equal to the whole):
Each half is , so .
Setting a half equal to the whole: writing when is . Decide first whether each expression names a half or the whole segment, then use half half or whole half.
Remember: A midpoint makes two equal halves, so if you know the whole, halve it; if you know a half, double it.
is the midpoint of . and . Find .
Show the answerHide the answer
is half of , so : , giving . (Check: too, and .)
Midpoint Formula & Distance Formula
For points and :
The midpoint averages the coordinates. The distance formula is the Pythagorean Theorem in disguise.
Both formulas come from looking along each axis separately. Halfway from to is , and the same for — so the midpoint averages. For distance, the horizontal and vertical gaps are the legs of a right triangle whose hypotenuse is the segment, so the Pythagorean Theorem gives .
Find the midpoint of and .
Find the distance from to .
This is the famous -- right triangle: the horizontal leg is , the vertical leg is , and the segment is the hypotenuse.
Subtracting in the midpoint formula or adding in the distance formula. For and : is half the change, not the midpoint . And is the length of the two legs, not the distance — square, add, then take one root.
Tip: In the distance formula the subtractions are squared, so it does not matter which point you call first — a negative squared is positive. Just be careful and neat with the arithmetic.
Find the midpoint and the length of the segment from to .
Show the answerHide the answer
Midpoint: . Length: , , so (a -- triangle).
Segment Bisectors & Basic Constructions
A segment bisector is any line, ray, or segment that passes through the midpoint of a segment, cutting it into two congruent halves. A line that bisects a segment and meets it at a right angle is a perpendicular bisector.
Line passes through , the midpoint of , and meets it at . So (equal tick marks) and is the perpendicular bisector of .
The same picture proves the Perpendicular Bisector Theorem: every point on is equidistant from and . Triangles and have , a shared side , and right angles at , so they are congruent by SAS, and .
Changing the compass opening between the arc from and the arc from . With radii and , the crossing points are from but from — no longer equidistant — and the line through them misses the midpoint.
Copying a segment : Draw a ray with endpoint . Open your compass to the length . Without changing that opening, place the point on and swing a small arc across the ray; label the crossing . Then .
Bisecting a segment : Open the compass wider than half of . From , draw arcs above and below the segment; from with the same opening, draw two more arcs. Connect the two crossing points. That line is the perpendicular bisector, and where it meets is the midpoint.
Why the construction works: each crossing point was drawn with the same compass opening from and from , so it is the same distance from both. The points equidistant from and are exactly the points of the perpendicular bisector (a point with makes two congruent triangles and by SSS, which forces equal right angles at ). Two such points determine the line, so the ruler only has to join them.
Remember: Good constructions never measure with a ruler — they use only a compass and straightedge. Keep the compass opening unchanged for each step.
Line is the perpendicular bisector of , and is a point on with and . Find .
Show the answerHide the answer
Every point on the perpendicular bisector is equidistant from and , so , giving and . Then (and ).
Going Deeper: Advanced Ideas
The midpoint splits a segment in the ratio . To find a point that divides in any ratio (so that ), with and , use the section formula:
Notice the “cross” pattern: the weight (nearest to ) multiplies the -coordinates, and multiplies the -coordinates. Setting recovers the midpoint formula, since each coordinate becomes a plain average.
Find the point on with and such that . Here and , so :
Check: is closer to than to , as expected when the first part of the ratio () is the smaller one.
Attaching each weight to the wrong endpoint. For with , , the "obvious" is steps from — the ratio . The weight next to in the ratio multiplies 's coordinates: .
A point in space needs three coordinates, . The plane formulas simply grow a -term:
This is still just the Pythagorean Theorem, applied twice: once in the base plane and once up the vertical direction.
Find the distance from to .
Because is not a perfect square, we leave the answer as the exact radical (about ).
When points and lines are in “general position” (no needless overlaps), the counts follow neat patterns. For points with no three collinear, the number of distinct lines through pairs of them is
For points with no four coplanar, the number of distinct planes through triples of them is
And lines drawn in a plane, no two parallel and no three meeting at one point, cut the plane into
regions — each new line adds one more region than the line before it.
The region count grows because each new line is cut by the earlier ones. The -th line crosses the lines already drawn at different points, which chop it into pieces, and each piece splits one old region into two — so line adds regions. Starting from the region of the empty plane, lines give .
Take points, no three collinear and no four coplanar. The number of lines is
and the number of planes is
To find the shortest path from point to a line and then on to point (both and on the same side of ), reflect one point across the line. If is the mirror image of across , then for any point on the line . So the bent path has the same length as , which is shortest when , , and are collinear. Draw the straight segment ; where it crosses is the best point .
A concrete case: , , and is the -axis. Reflecting gives . The segment rises over a run of , so it crosses the axis where , at . The shortest path has length ; any other point on the line gives by the triangle inequality.
A locus is the set of all points that satisfy a given condition, and nothing else. Two rules of thumb turn everyday shapes into loci:
- The locus of points a fixed distance from a point is a circle of radius centered at .
- The locus of points equidistant from two fixed points and is the perpendicular bisector of .
To describe a locus, ask: what shape do all the qualifying points trace out?
Prove that the point equidistant from and with -coordinate is the midpoint. A point is equidistant when , so :
Subtracting from both sides gives , so . Thus , which is exactly the midpoint . This is a coordinate proof: by placing the figure on convenient axes, an algebra step settles a geometric claim.
Remember: Coordinate proofs work best when you place a key point at the origin and a key segment along an axis — the zeros make the distance and midpoint arithmetic short and clean.
Find the point one quarter of the way from to .
Show the answerHide the answer
One quarter of the way means . With , :
Check by steps: the whole change is ; a quarter of it is , and .
Why It Works
The midpoint formula averages coordinates because the midpoint is equally far from both ends along each axis: halfway from to is . Segment addition ( when is between) is an axiom about lengths on a line, and it is what lets algebra enter geometry: an unknown length becomes a variable in an equation.
Do not read a proof the way you read a rule. Cover the last line, ask what the previous line forces, and only then uncover it. If a step feels like magic, that is the step to work by hand with a concrete number.
Formulas, Proofs & Tips
What it means. The straight-line distance between two points, and the point exactly halfway between them.
Example. to : , midpoint .
Why it works. The two points are opposite corners of a right triangle with legs and ; the distance is the hypotenuse, so Pythagoras gives the formula. The midpoint is just the average of the coordinates, since averaging lands halfway along each axis.
Tip. Distance is the Pythagorean theorem in disguise. Squaring removes any sign worry, so you never need absolute values here.
What it means. Any two sides of a triangle must together exceed the third.
Example. Sides cannot form a triangle since .
Why it works. The straight path between two vertices is the shortest one, so going via the third vertex can only be longer.
Tip. To test whether three lengths form a triangle, just check the two shortest against the longest.