Contents / Geometry / Foundations of Geometry

Chapter 1

Foundations of Geometry

Points, lines, planes, angles, axioms, Euclid's Elements, and the parallel postulate.

Introduction

Points, lines, planes, angles, axioms, Euclid's Elements, and the parallel postulate.

Geometry is the branch of mathematics concerned with the properties and relations of points, lines, surfaces, and solids in space. From measuring land in ancient times to designing modern architecture and video games, geometry provides the language and tools to describe, analyze, and construct the shapes that make up our world.

This topic introduces the big picture: what geometry studies, its historical roots, core building blocks, and why its methods of proof and visualization remain indispensable today. Later topics will dive deeper into specific figures and theorems.

1.1What Is Geometry?

Geometry (from Greek "geo" for earth and "metron" for measure) originally meant measuring the earth. Today the subject is broader.

Definition 1.1 (Geometry). Geometry is the study of spatial relationships, figures, and transformations.

It asks questions such as: How do shapes fit together? What remains unchanged when we move or resize a figure? How can we prove two figures are the same?

At its core, geometry combines intuition about space with rigorous logical deduction. It bridges the concrete (drawing figures) and the abstract (proving statements that hold for all such figures).

Intuition. Geometry is like learning the rules of a giant connect-the-dots game in space. You start with simple dots (points) and sticks (lines) and discover what pictures you can build and what rules those pictures must obey.

Just as grammar tells you how words form valid sentences, geometry tells you how points and lines form valid shapes and why some constructions are impossible.

Example 1.2. Consider a unit square (side $1$ , area $1$ ) drawn on paper. Using only an unmarked straightedge and compass (no measuring numbers), can you construct a square with exactly twice the area?

Solution.

A square of area $2$ must have side $s$ with $s^{2} = 2$ , so $s = 2$ .
Where does a length of $2$ come from? It is exactly the diagonal of the original unit square: by the Pythagorean theorem the diagonal has length $1^{2} + 1^{2} = 2$ .
So the construction is easy — draw the diagonal of the given square, then build a new square on that diagonal as its side. Sanity check: side $2$ gives area $(2)^{2} = 2$ , twice the original. ✓
This "doubling the square" is constructible. It is worth contrasting it with the genuinely impossible classical problem, doubling the cube: constructing a cube of twice the volume needs a side of $32$ , and $32$ provably cannot be built with straightedge and compass. This illustrates how geometry quickly leads to deep questions about which lengths are and are not constructible.

□

Exercises for §1.1 →

1.2Core Building Blocks

Definition 1.3 (Point, line, and plane). The primitive notions in most geometric systems are point, line, and plane. These are left undefined (or described intuitively) and then related by axioms.

A point has position but no size.
A line is a perfectly straight, one-dimensional figure that extends forever in both directions. (In Euclidean geometry it also turns out to be the shortest path between any two of its points, but that is a property that follows from the axioms, not the primitive description.)
A plane is a flat surface with no thickness that extends forever.

From these we define segments, rays, angles, polygons, circles, and all higher figures. Other primitives sometimes include "betweenness" and "congruence."

Intuition. Points are like tiny invisible specks that only say "I am here." Lines are perfectly straight highways with no beginning or end. Planes are infinite tabletops with no edges or thickness.

You cannot "see" a mathematical point; any dot you draw has size, but we treat it as if it does not.

Example 1.4. Let us build a triangle from the primitives and check that each piece is legitimate.

Solution.

Choose three points $A$ , $B$ , $C$ that are not collinear (they do not all lie on one line). Non-collinearity is the hypothesis that makes the figure a genuine triangle rather than a degenerate one.
Join them pairwise. Each pair of distinct points determines a unique segment, so we get three segments $A B$ , $BC$ , $C A$ . The figure they bound is the triangle $A BC$ .
The three (non-collinear) points determine exactly one plane, so the whole triangle lives in a single flat surface.
Any further point $D$ of that plane is classified as inside, on, or outside the triangle. One concrete test: shoot a ray from $D$ in any direction and count how many of the three sides it crosses — an odd count means $D$ is inside, an even count means outside.
Sanity check on Step 1: if $C$ were on line $A B$ , the "triangle" would collapse to a segment with zero area — which is why the non-collinear condition is not optional. ✓

□

Exercises for §1.2 →

1.3Axioms, Postulates, and Theorems

Definition 1.5 (Axiom). An axiom (or postulate) is a statement we accept as true without proof.

Euclid listed five postulates plus common notions. From them he deduced hundreds of propositions (theorems).

Examples of postulates:

A straight line can be drawn between any two points.
All right angles are equal.
Through a point not on a given line exactly one parallel can be drawn (the famous parallel postulate).

Definition 1.6 (Theorem and proof). A theorem is a statement proved from the axioms and previously proved theorems. A proof is a logical chain showing why the theorem must be true.

Intuition. Axioms are the "rules of the game" you agree to before playing. You do not prove the rules; you use them to prove everything else.

Once the rules are set, clever reasoning (proofs) lets you discover surprising facts that follow necessarily, like "the angles in any triangle add to 180°."

Example 1.7. Euclid's Proposition 1 (Book I): Given a segment $A B$ , construct an equilateral triangle with side $A B$ .

Solution. Draw the circle centered at $A$ with radius $A B$ (Postulate 3). Draw the circle centered at $B$ with radius $B A$ , the same length (Postulate 3). The two circles intersect; pick one intersection point and call it $C$ . Join $A$ to $C$ and $B$ to $C$ (Postulate 1). Now compare the three sides. Since $C$ lies on the circle centered at $A$ , the segment $A C$ is a radius of that circle, so $A C = A B$ . Since $C$ lies on the circle centered at $B$ , the segment $BC$ is a radius of that circle, so $BC = B A$ . Thus $A C = A B$ and $BC = A B$ . By Common Notion 1 (things equal to the same thing are equal to one another), $A C = BC$ . Combining, $A B = A C = BC$ , so the triangle is equilateral.

Sanity check: every equality used came either from the definition of a circle (all radii equal) or from a common notion — no measuring numbers appear, and the construction uses only Postulates 1 and 3. ✓□

Exercises for §1.3 →

1.4Why Geometry Matters

Geometry trains spatial reasoning, logical proof, and visualization. It underpins:

Architecture and engineering (stability of structures)
Computer graphics and game design (transformations, clipping)
Physics (trajectories, optics, relativity uses geometry)
Art and design (perspective, symmetry)
Navigation and surveying

Modern fields such as algebraic geometry, differential geometry, and topology grew from classical roots.

Intuition. Learning geometry is like getting a superpower for seeing hidden patterns in the world. Once you know why triangles are rigid, you understand why bridges use triangular trusses.

Proofs teach you to argue carefully: "because of this rule, that must follow."

Example 1.8. A carpenter wants a tabletop that will not wobble. A three-legged stool is inherently stable because three points determine a unique plane (any three non-collinear points fix a plane). Adding a fourth leg requires the floor and all four feet to be coplanar, which is rarely true in real rooms. Hence the wobble.

Exercises for §1.4 →

Common Mistakes

"Geometry is just drawing pictures": Pictures help intuition but never replace proof. A diagram can be misleading; the logic must hold independently of the drawing.
Treating undefined terms as having everyday size: A "point" has no width; a "line" has no thickness. Real drawings are approximations.
Assuming the parallel postulate is obvious: It feels natural on flat paper but fails on curved surfaces; changing it produces entirely different geometries (hyperbolic, elliptic).
Confusing "prove" with "check with numbers": Plugging in one example shows consistency but never proves a general statement.
Ignoring that some things are impossible: Not every construction or length is achievable with given tools; impossibility proofs are as important as existence proofs.

Euclidean geometry is the geometry of flat space as codified by Euclid around 300 BCE in his thirteen-book work Elements. For over two thousand years it was the geometry; only in the 19th century did mathematicians discover consistent alternatives by altering one key assumption.

This topic covers the axiomatic foundation, the five postulates, the common notions, and the flavor of the deductive system Euclid built. Understanding Euclidean geometry is prerequisite for seeing exactly where and why non-Euclidean geometries diverge.

1.5Euclid's Axiomatic Method

Euclid begins with a small list of definitions, five postulates (specific to geometry), and five common notions (more general logical principles). From these he derives propositions in a strict logical order, each step justified by an earlier result or an axiom.

Method 1.9 (The axiomatic method).

State the assumptions clearly.
Prove only what follows from them.
Organize the results so that later propositions rest on earlier ones.

This became the model for all of mathematics.

Intuition. Imagine writing a video-game rulebook. You list the absolute rules first (postulates), then show every new ability or object must follow from those rules. No "because it feels right" is allowed.

Euclid's Elements is the oldest surviving example of a complete deductive system in mathematics.

Example 1.10. Let us trace one short deductive link to see the method in action: proving that vertical angles are equal (Euclid I.15), using only an earlier result.

Solution.

Setup: two straight lines cross at a point, forming four angles. Call two opposite (vertical) angles $α$ and $β$ , and let $γ$ be the angle adjacent to both of them (the one between $α$ and $β$ ).
$α$ and $γ$ sit on one straight line, so together they make a straight angle: $α + γ = 18 0^{\circ}$ (this "angles on a line sum to two right angles" is the earlier Proposition I.13).
$β$ and $γ$ also sit on a straight line, so $β + γ = 18 0^{\circ}$ .
Both sums equal $18 0^{\circ}$ , so $α + γ = β + γ$ . Subtract the common $γ$ from each side (Common Notion 3, "equals subtracted from equals leave equals") to get $α = β$ .
Sanity check: the conclusion never used a specific number of degrees for $α$ — it holds for any crossing lines, which is exactly the generality Euclid demands. Once I.15 is proved this way, it may be cited freely in every later proof, and the whole chain of propositions in the Elements rests on the initial axioms.

□

Exercises for §1.5 →

1.6The Five Postulates

Definition 1.11 (Euclid's five postulates). Euclidean plane geometry is the geometry of the following five assumptions.

A straight line segment can be drawn joining any two points.
Any straight line segment can be extended indefinitely in a straight line.
Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center.
All right angles are congruent to one another.
If two lines are drawn which intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect each other on that side if extended far enough. (Parallel postulate, in Playfair's equivalent form: through a point not on a given line exactly one parallel can be drawn.)

The first four are "obvious" and local; the fifth is global and non-obvious.

Intuition. Postulates 1–4 let you draw lines and circles and say that corners that look the same really are the same.

Postulate 5 is the "no weird bending at infinity" rule. On a flat table it feels true; on a sphere or a saddle surface it fails.

Example 1.12. First, read the fifth postulate quantitatively. A "right angle" is $9 0^{\circ}$ , so "the sum of the inner angles on one side is less than two right angles" means that sum is less than $18 0^{\circ}$ .

Solution.

Worked instance: a transversal crosses two lines, and on one side the two interior angles measure $8 5^{\circ}$ and $8 8^{\circ}$ . Their sum is $8 5^{\circ} + 8 8^{\circ} = 17 3^{\circ}$ , which is less than $18 0^{\circ}$ . The postulate therefore guarantees the two lines meet on that side if extended far enough. On the other side the interior angles are $9 5^{\circ}$ and $9 2^{\circ}$ (each supplementary to its partner), summing to $18 7^{\circ} > 18 0^{\circ}$ — so the lines do not meet on that side. The lines are parallel exactly in the borderline case where both sums equal $18 0^{\circ}$ .
Now the deeper point: using only the first four postulates one can prove a great deal, but the statement "the angle sum of every triangle equals $18 0^{\circ}$ " is not among them — it requires the parallel postulate (or an equivalent). Euclid places that proof in Book I, Proposition 32, only after developing the theory of parallels.

□

Exercises for §1.6 →

1.7Common Notions

Definition 1.13 (Euclid's common notions). The five common notions are general principles of equality and magnitude:

Things equal to the same thing are equal to one another.
If equals are added to equals, the wholes are equal.
If equals are subtracted from equals, the remainders are equal.
Things that coincide with one another are equal.
The whole is greater than the part.

These are essentially axioms of an equality relation and of ordering.

Intuition. "If A = C and B = C then A = B" is Common Notion 1. It lets Euclid treat congruence as an equivalence.

"The whole is greater than the part" prevents weird infinite regressions and justifies inequalities.

Example 1.14. Suppose two segments $A B$ and $C D$ are each equal to a third segment $EF$ ; that is, $A B = EF$ and $C D = EF$ .

Solution.

Both $A B$ and $C D$ equal the same segment $EF$ .
By Common Notion 1, things equal to the same thing are equal to one another, so $A B = C D$ .
This transitivity is used constantly when transferring lengths with a compass: you set the compass to $EF$ , mark off $A B$ , then mark off $C D$ , and conclude the two copies are equal without ever laying $A B$ against $C D$ directly. Notice we combined two given equalities into a new one using only a common notion — a good illustration of how the equality axioms do real work in proofs.

□

Exercises for §1.7 →

1.8The Flavor of Euclid's Propositions

Method 1.15 (The shape of a proposition). State the claim generally ("In any triangle..."), describe a diagram, prove the claim using previous results only, and close with "QED" (which Euclid wrote as "which was to be proved").

Many propositions are constructions ("to construct...") or existence statements. The style is synthetic: pure geometry without coordinates or numbers.

Intuition. Each proposition is a tiny puzzle solved using only the tools and rules introduced so far. No calculator, no algebra shortcuts.

The diagrams are aids; the words carry the proof.

Example 1.16. Book I Proposition 5 (pons asinorum, "the bridge of asses"): In an isosceles triangle the base angles are equal.

Solution.

Let $A BC$ be isosceles with $A B = A C$ ; we want to show the base angles at $B$ and $C$ are equal. Here is the short modern proof (the reasoning pattern Euclid follows, streamlined with the SAS congruence criterion he proves as I.4):
Compare triangle $A BC$ with the same triangle relabelled as $A CB$ — that is, match vertex $A \leftrightarrow A$ , $B \leftrightarrow C$ , $C \leftrightarrow B$ .
Check the SAS (side-angle-side) data for this matching. Side $A B$ corresponds to side $A C$ , and $A B = A C$ by hypothesis. Side $A C$ corresponds to side $A B$ , again equal. The included angle at $A$ corresponds to itself, so it equals itself (Common Notion 4).
By SAS (I.4) the two matchings give congruent triangles, so corresponding angles are equal. The angle at $B$ corresponds to the angle at $C$ , hence $∠ B = ∠ C$ .
Sanity check: the argument used only the given side equality and the shared apex angle — no measured numbers — so it is valid for any isosceles triangle. (Euclid's own I.5 predates I.4's convenient use here and instead builds larger auxiliary triangles by extending $A B$ and $A C$ ; the logical skeleton — manufacture congruent triangles, then read off equal angles — is identical.)

□

Exercises for §1.8 →

1.9Significance and Limitations

Euclidean geometry dominated mathematical thought until the 1800s. It influenced philosophy (Spinoza modeled his Ethics on the Elements), education, and science (Newton's Principia is written in Euclidean style).

Its great limitation is the parallel postulate.

Theorem 1.17 (Changing the fifth postulate). Replacing the parallel postulate with "more than one parallel" yields hyperbolic geometry; replacing it with "no parallels" yields elliptic geometry. Both replacements give consistent geometries.

Both have important applications: hyperbolic geometry in special relativity models, elliptic geometry on the sphere.

Intuition. Euclidean geometry is the "flat world" rulebook. Once you accept its rules you can build an enormous castle of theorems.

When mathematicians realized you could change one rule and still have a sensible world, they discovered that "truth" in mathematics depends on which axioms you choose.

Example 1.18. On a sphere (elliptic geometry) the sum of angles in a triangle is greater than 180°. A triangle formed by two meridians and the equator on Earth can have three 90° angles, sum 270°. This is impossible in Euclidean geometry and shows concretely why the parallel postulate matters.

Exercises for §1.9 →

Common Mistakes

Thinking Euclid invented geometry: Geometry was practiced for centuries before Euclid; he organized and axiomatized existing knowledge.
"All geometry is Euclidean": Many real-world surfaces (Earth, curved space) require non-Euclidean models. GPS calculations include corrections from both spherical and relativistic geometry.
Confusing postulates with theorems: The parallel postulate is not proved in the Elements; it is assumed. Attempts to prove it from the first four eventually produced non-Euclidean geometry.
Modern coordinate shortcuts hide the synthetic method: Using numbers and algebra often conceals the pure geometric insight Euclid achieved without them.
Assuming diagrams are part of the proof: A diagram can suggest a proof but cannot substitute for it; Euclid's logic must work even if the figure is drawn badly.

A point is the most fundamental object in geometry. It represents an exact location in space but has no size, no length, no area, and no volume. All other geometric figures are built from points.

Although we draw points as tiny dots, a mathematical point is dimensionless. The concept appears in Euclid's first definition and remains primitive (undefined) in modern axiomatic treatments.

1.10Definition and Intuition

Definition 1.19 (Point). Euclid defined a point as "that which has no part." In modern terms, a point is a primitive notion whose only property is position. In coordinate geometry a point is an ordered tuple of numbers $(x, y)$ or $(x, y, z)$ .

Points are the atoms of geometry. Lines, planes, and figures are collections or sets of points satisfying certain conditions.

Intuition. A point is like the smallest possible dot that still tells you "I am exactly here" and nothing else. It has no width you can measure.

When you tap a pencil on paper you make a dot that stands for a point, but the real point is the ideal location the dot represents.

Example 1.20. The statement "the three vertices of a triangle are distinct points" means we can label them A, B, C and no two have the same location. If two vertices coincided the figure would degenerate into a line segment, not a triangle with positive area.

Exercises for §1.10 →

1.11Incidence and Order

Definition 1.21 (Incidence and betweenness). Points participate in incidence relations: a point may lie on a line or in a plane. Betweenness (" $B$ is between $A$ and $C$ ") is another primitive or defined relation in some systems.

Theorem 1.22 (Determination by points). Two distinct points determine a unique line (Euclid Postulate 1). Three non-collinear points determine a unique plane.

Intuition. Incidence is just fancy talk for "belongs to." "Point P lies on line L" is the basic membership relation.

Betweenness lets us talk about order on a line without numbers: A–B–C means B is strictly between A and C.

Example 1.23. Given two distinct points $A$ and $B$ , there is exactly one line through them (Postulate 1). Let us test collinearity and coplanarity with concrete coordinates.

Solution.

Take $A = (0, 0, 0)$ and $B = (2, 2, 2)$ . The line $A B$ consists of all points $(t, t, t)$ for real $t$ (scaling the direction $⟨ 1, 1, 1 ⟩$ from $A$ ).
Is $D = (5, 5, 5)$ on line $A B$ ? Setting $t = 5$ gives $(5, 5, 5)$ , so yes — $D$ is collinear with $A$ and $B$ .
Is $C = (1, 0, 0)$ on line $A B$ ? It would need $t = 1$ (from the first coordinate) but then the point would be $(1, 1, 1) \neq = (1, 0, 0)$ . So $C$ is not on the line, and $A$ , $B$ , $C$ are three non-collinear points that therefore determine a unique plane.
Sanity check: betweenness respects order along the line — since $A$ is at $t = 0$ , $B$ at $t = 2$ , $D$ at $t = 5$ , we have $A$ – $B$ – $D$ , i.e. $B$ is between $A$ and $D$ . ✓

□

Exercises for §1.11 →

1.12Coordinates and Representation

Definition 1.24 (Coordinates of a point). In analytic geometry a point in the plane is an ordered pair $(x, y)$ of real numbers.

Distance between $(x_{1}, y_{1})$ and $(x_{2}, y_{2})$ is given by the distance formula. This representation lets us translate geometric statements into algebra.

Intuition. Coordinates turn "somewhere on the map" into exact numbers you can plug into equations. (3,4) is a different point from (4,3).

The origin (0,0) is just a convenient reference point; the plane looks the same everywhere.

Example 1.25. The points (0,0), (1,0), (0,1) form a right triangle with legs of length 1. Their distances are 1, 1, and √2. Moving all three points by adding (5,2) to each coordinate gives a congruent triangle (5,2), (6,2), (5,3) — translation preserves all distances.

Exercises for §1.12 →

Common Mistakes

Drawing points with size: Every physical dot has area. Students sometimes think "a point is a small circle" and then worry about its radius; the ideal point has zero size.
Confusing a point with its label: The label "A" is a name; the point itself is the location. Two different labels can name the same point.
Assuming points must have integer coordinates: In the real plane points exist at irrational locations (√2, π) just as readily as at (0,0).
Thinking 'no part' means 'nothing': A point is not 'empty'; it carries positional information that determines all higher figures.

A line is a straight one-dimensional figure that extends infinitely in both directions. It is determined by any two distinct points and contains infinitely many points.

Lines are the simplest curves in geometry. In Euclidean geometry they are the shortest paths between points (geodesics). In coordinate geometry a line is the solution set of a linear equation.

1.13Definition and Postulates

Definition 1.26 (Line, segment, ray). Euclid defines a line as "breadthless length": it has no thickness and no endpoints. A line segment is the part of a line between two points (it has endpoints). A ray starts at one point and extends infinitely in one direction.

Postulate 1 says a straight line can be drawn between any two points; Postulate 2 says it can be extended indefinitely.

Intuition. Think of a laser beam that goes on forever in both directions and is perfectly straight and infinitely thin.

A segment is a piece of string with two ends; a ray is a flashlight beam starting at your hand and going forever.

Example 1.27. Given points $A$ and $B$ , the line through them is unique. Let us pin down the three related figures with coordinates on the number line, taking $A = 0$ and $B = 4$ .

Solution. The line $A B$ is all real numbers $x$ , from $- \infty$ to $+ \infty$ — no endpoints. The segment $A B$ is ${x : 0 \leq x \leq 4}$ , the points between $A$ and $B$ inclusive. It has two endpoints and finite length $4$ . The ray from $A$ through $B$ is ${x : x \geq 0}$ : it starts at $A = 0$ , contains $B = 4$ , and continues forever in the direction of increasing $x$ . It has exactly one endpoint.

Worked check: is the point $x = 6$ on the segment, the ray, and the line? Segment: $6 > 4$ , so no. Ray: $6 \geq 0$ , so yes. Line: every real number qualifies, so yes. This shows how the same point can belong to a line and its ray but fall outside the bounded segment. ✓□

Exercises for §1.13 →

1.14Properties of Lines

Theorem 1.28 (Incidence properties of lines).

Any two distinct points determine exactly one line.
Two distinct lines intersect in at most one point (unless coincident).
A line divides the plane into two half-planes.
Lines are infinite; their length is not a number in the usual sense.

In Euclidean geometry, lines are straight; curvature belongs to other curves.

Intuition. Two different straight highways can cross at most once. If they cross twice they must be the same highway.

A line has no "ends" so you can never walk off the edge of it.

Example 1.29. Suppose line L1 contains points (0,0) and (1,1). Its equation is y = x. Any other point on L1 satisfies the same equation. A second line through (0,0) with different slope, say y = 2x, intersects L1 only at the origin. This illustrates the "at most one intersection" property.

Exercises for §1.14 →

1.15Lines in Coordinate Geometry

Definition 1.30 (Equation of a line). In the Cartesian plane a non-vertical line has equation

y = m x + b (slope-intercept) or a x + b y + c = 0 (general form),

where the slope is

m = \frac{y _{2} - y _{1}}{x _{2} - x _{1}}

for any two points on the line. Vertical lines have undefined slope and equation $x = k$ .

Intuition. The equation is a rule: every point on the line obeys the rule, and every point obeying the rule lies on the line.

Slope tells you how fast y changes when x changes by 1 — like the steepness of a ramp.

Example 1.31. The line through (1,3) and (4,9) has slope (9-3)/(4-1) = 6/3 = 2. Using point-slope form with (1,3): y − 3 = 2(x − 1) ⇒ y = 2x + 1. Checking the second point: 2*4 + 1 = 9, yes.

Exercises for §1.15 →

1.16Parallel and Perpendicular Lines

Definition 1.32 (Parallel and perpendicular lines). Two lines are parallel if they have the same slope (or are both vertical) and never intersect; they are perpendicular if the product of their slopes is $- 1$ (when defined):

m_{1} = m_{2} (parallel), m_{1} m_{2} = - 1 (perpendicular) .

Euclid's parallel postulate guarantees that given a line and a point not on it there is exactly one parallel through the point.

Intuition. Parallel lines are like railroad tracks: they stay the same distance apart forever and never meet.

Perpendicular lines form perfect corners (90°).

Example 1.33. Line y = 2x + 1 has slope 2. A parallel line through (0,0) is y = 2x. A perpendicular line through (0,0) has slope −1/2, so y = (−1/2)x. Their intersection is only at origin; the angles at crossing are 90° because 2 * (−1/2) = −1.

Exercises for §1.16 →

Common Mistakes

Drawing finite segments and calling them lines: A segment has ends; a true line does not. Always extend your mental picture to infinity.
Assuming all lines have equations with numbers: In pure geometry we talk about lines without coordinates. Algebra is a convenient tool, not the definition.
Confusing 'parallel' with 'never crossing in the drawing': In Euclidean geometry parallels never meet anywhere; in drawings they may appear to converge due to perspective (projective geometry).
Vertical lines have 'infinite slope' not 'no slope': They simply do not fit the y = mx + b form; their direction is vertical.

A plane is a flat, two-dimensional surface that extends infinitely in all directions. It has no thickness. In Euclidean geometry the plane is the ambient space in which points, lines, triangles, and circles live.

Any three non-collinear points determine a unique plane. The plane is the setting for all of classical plane geometry.

1.17Definition and Intuition

Definition 1.34 (Plane). Euclid describes a plane as "a surface which lies evenly with the straight lines on itself." In modern terms a plane is a flat 2-dimensional affine space.

Theorem 1.35 (What determines a plane). A plane is determined by:

Three non-collinear points,
A line and a point not on the line, or
Two intersecting or parallel lines.

Intuition. Imagine an infinite, perfectly flat tabletop with no edges and no thickness. You can slide a ruler anywhere on it and it always lies perfectly flat.

The surface of a still lake on a windless day is a good mental picture of a small piece of a plane.

Example 1.36. Take points A(0,0,0), B(1,0,0), C(0,1,0) in 3-space. They are not collinear and determine the xy-plane whose equation is z = 0. Any point with z = 0 lies in this plane; a point with z = 1 does not.

Exercises for §1.17 →

1.18Incidence and Dimension

Theorem 1.37 (Incidence of lines and planes).

A line lies entirely in a plane or intersects it in at most one point (if the line is not contained in the plane).
Two distinct planes intersect in a line (or not at all if parallel in 3-space).

A plane has two dimensions: you need two independent directions to move around inside it.

Intuition. If your ruler lies flat on the table it is contained in the plane. If you tilt it up, it pokes through the table at only one point.

You can describe any location on the table with two numbers (how far forward, how far sideways). One number is not enough; three are too many.

Example 1.38. A line with direction vector <1,0,0> lying in the plane z=0 stays inside z=0 for all parameters. The same direction vector starting at (0,0,1) is parallel to the plane but never enters it. A line <0,0,1> through (0,0,0) intersects the plane only at the origin.

Exercises for §1.18 →

1.19Coordinate Representation

Definition 1.39 (Equation of a plane). A plane in 3D is the solution set of a linear equation

a x + b y + cz + d = 0.

In 2D we simply use the Cartesian plane with two coordinates.

Vectors lying in the plane are linearly independent pairs that span all directions within it.

Intuition. The equation ax+by+cz+d=0 is the rule that every point in the plane obeys. It is the 3D version of the line equation.

Choosing two perpendicular directions inside the plane gives you an x-y coordinate grid on that plane.

Example 1.40. The plane x + y + z = 1 contains (1,0,0), (0,1,0), (0,0,1). The vectors <−1,1,0> and <−1,0,1> both satisfy the homogeneous equation and are linearly independent, so they span directions inside the plane.

Exercises for §1.19 →

1.20Planes in Higher Dimensions and Applications

In linear algebra a plane through the origin is a 2-dimensional subspace. In computer graphics planes are used for clipping, reflection, and collision. In physics, equipotential surfaces or wave fronts can be planar.

Intuition. Even though we live in 3D space, many problems (maps, blueprints, screens) are solved by pretending everything happens on a flat plane.

When a ball bounces off a flat wall, the wall is locally a piece of a plane.

Example 1.41. In 3D graphics, the equation of a plane is used to decide on which side of a polygon a point lies (the sign of ax+by+cz+d tells inside/outside). This is the basis of back-face culling and clipping algorithms.

Exercises for §1.20 →

Common Mistakes

Thinking a plane must be horizontal: Planes can be tilted at any angle; "flat" means no curvature, not level with the ground.
Confusing plane with disk or square: A mathematical plane has no boundary and is infinite.
Assuming two planes always intersect in a line: In 3D they may be parallel and never meet, or coincide.
Forgetting that a line may miss a plane entirely: In 3D a line can be parallel to a plane without lying in it.

An angle is the figure formed by two rays (or line segments) that share a common endpoint called the vertex. Angles measure the amount of rotation or "opening" between the two sides.

Angles are fundamental to trigonometry, navigation, architecture, and almost every geometric theorem involving triangles or circles.

1.21Measuring Angles

Definition 1.42 (Degree and radian measure). The size of an angle is measured in degrees ( $360°$ in a full turn) or radians ( $2 π$ radians in a full turn). A right angle is $90°$ or $π /2$ radians.

Definition 1.43 (Acute, right, obtuse, straight, reflex). An acute angle is greater than $0°$ and less than $90°$ ; a right angle is exactly $90°$ ; an obtuse angle is greater than $90°$ and less than $180°$ ; a straight angle is exactly $180°$ ; and a reflex angle is greater than $180°$ and less than $360°$ .

Intuition. Imagine two clock hands. The angle tells you how far one hand has turned from the other. A right angle is a perfect corner like the corner of a piece of paper.

Degrees are like slicing a pizza into 360 tiny equal slices; radians use the radius as the "slice width" around the circle.

Example 1.44. Convert 45° to radians: 45 × (π/180) = π/4 radians.

Solution.

Convert π/3 radians to degrees: (π/3) × (180/π) = 60°.
These are the angles in an equilateral triangle (60°) and in an isosceles right triangle (45°).

□

Exercises for §1.21 →

1.22Types of Angles and Relations

Definition 1.45 (Adjacent, vertical, complementary, supplementary). Adjacent angles share a side. Vertical angles are the opposite pair formed when two lines cross. Complementary angles add to $9 0^{\circ}$ ; supplementary angles add to $18 0^{\circ}$ .

Theorem 1.46 (Vertical and transversal angles). Vertical angles are always equal. When a transversal crosses two parallel lines, corresponding angles are equal and alternate interior angles are equal.

The second half of the theorem uses the parallel postulate; the statement about vertical angles does not.

Intuition. Vertical angles are the "X" pairs that look the same when lines cross.

If two angles make a perfect corner together they are complementary (like 30° and 60°).

Example 1.47. Two lines cross forming angles of 35° and 145° adjacent. The vertical angle to the 35° is also 35°. The adjacent 145° is supplementary to 35° (35+145=180).

Exercises for §1.22 →

1.23Angles in Triangles and Polygons

Theorem 1.48 (Angle sums). The sum of the interior angles in any triangle is $18 0^{\circ}$ . For an $n$ -sided polygon the sum is

(n - 2) \times 18 0^{\circ} .

An exterior angle equals the sum of the two remote interior angles.

Intuition. Tear the corners off a paper triangle and rearrange them; they form a straight line (180°).

A square has four 90° corners: 4×90 = 360° = (4−2)×180.

Example 1.49. In △ABC, ∠A = 40°, ∠B = 60°. Then ∠C = 180° − 40° − 60° = 80°. An exterior angle at C equals 40° + 60° = 100°.

Exercises for §1.23 →

Common Mistakes

Measuring the reflex angle instead of the interior one: Always check which region the angle is in; diagrams may be ambiguous.
Forgetting that vertical angles are equal: Many students think adjacent angles are equal.
Using 360° for triangle sum: That is the sum around a point or for a quadrilateral.
Confusing radians and degrees in calculations: Always convert when mixing trig functions that expect radians in some software.

An axiom (or postulate) is a statement that is accepted as true without proof. Axioms are the foundation stones from which all other statements in a mathematical system are logically derived.

In geometry, choosing different axioms produces different geometries. The choice of axioms determines what can be proved and what the "space" looks like.

1.24Role of Axioms in Mathematics

Axioms are not "obvious truths" in an absolute sense; they are assumptions we agree to for the purpose of building a theory.

Definition 1.50 (Consistent, independent, complete). An axiom system is consistent when no contradiction can be derived from it, independent when no axiom is redundant, and complete enough when the desired theorems all follow.

Euclid's Elements is the classic example of an axiomatic development.

Intuition. An axiom is like the rule "kings move one square in any direction" in chess. You do not prove the rule; you accept it so the game can begin. All strategy flows from the rules.

Without agreed starting points, every proof would have to go back to "what is a number?" forever.

Example 1.51. Consider the claim "two distinct points determine exactly one line." One might try to prove it — but from what? Any proof would need some still-more-basic fact about lines and points, which would itself need proof, and so on without end. Euclid stops this regress by simply listing it as Postulate 1: accepted, not proved.

Solution.

Trace how it then earns its keep: in the equilateral-triangle construction (Prop. I.1) the step "join $A$ to $C$ " is justified by citing Postulate 1; in the vertical-angles proof the very existence of the two crossing lines rests on it. Every construction that draws a line between two named points cites this one postulate (or a theorem that itself used it). This is the payoff of an axiom: one accepted statement, reused hundreds of times, with no circular justification.

□

Exercises for §1.24 →

1.25Euclid's Postulates vs Common Notions

Definition 1.52 (Postulates and common notions). Euclid distinguished two kinds of assumption:

Postulates — geometric statements specific to space (lines, circles, right angles, parallels).
Common notions — general logical principles about equality and magnitude that apply beyond geometry.

Modern treatments often lump them together as "axioms."

Intuition. Postulates are the geometry-specific rules of your world (flat or curved).

Common notions are the "fair play" rules of equality that let you move pieces around in proofs.

Example 1.53. Suppose while transferring lengths with a compass we have established two facts: segment $A B = C D$ and segment $C D = EF$ , where the three segments sit in different corners of the diagram.

Solution.

Both $A B$ and $EF$ are equal to the same thing, namely $C D$ .
Common Notion 1 ("things equal to the same thing are equal to one another") applies directly, giving $A B = EF$ .
This is exactly transitivity of equality, and note it is a common notion, not a postulate: it says nothing about lines or circles specifically — it would work equally for equal numbers or equal areas. That generality is precisely why Euclid classified it apart from the geometry-specific postulates.

□

Exercises for §1.25 →

1.26Independence and Alternative Axioms

The famous example is the parallel postulate. For centuries mathematicians tried to prove it from the other four.

Theorem 1.54 (Independence of the parallel postulate). The parallel postulate cannot be derived from Euclid's other four postulates: assuming "many parallels" instead produces a consistent geometry, hyperbolic geometry.

This was settled in the 1800s by Gauss, Bolyai, and Lobachevsky. Riemann later developed elliptic geometry with "no parallels."

Intuition. Changing one rule of chess (e.g., pawns move backward too) creates a new but perfectly playable game. The new game is not "wrong"; it is just different.

The parallel postulate is independent; you can have consistent geometries with or without it.

Example 1.55. In hyperbolic geometry, the sum of angles in a triangle is always less than 180°. There is no contradiction with the first four Euclidean postulates; only the fifth is replaced. Models such as the Poincaré disk realize this geometry inside ordinary Euclidean space.

Exercises for §1.26 →

1.27Modern Axiom Systems

Hilbert's axioms (1899) made Euclid's system fully rigorous by adding axioms of order, congruence, continuity, and completeness. Other systems (Birkhoff, School Mathematics Study Group) use distance and angle measure as primitives.

Intuition. Euclid left a few gaps (e.g., betweenness was implicit). Hilbert plugged every logical hole so that every theorem really follows from the listed axioms with no hidden assumptions.

Different textbooks choose different primitives; the resulting geometry is the same Euclidean plane.

Example 1.56. Here is a gap Hilbert's continuity axioms fill. In Euclid's Prop. I.1 we drew two circles and simply assumed they meet at a point $C$ . But why must two overlapping circles actually share a point rather than "pass through each other" between the discrete locations we can name?

Solution.

Set up coordinates. Circle centered at $A = (0, 0)$ of radius $1$ : $x^{2} + y^{2} = 1$ . Circle centered at $B = (1, 0)$ of radius $1$ : $(x - 1)^{2} + y^{2} = 1$ .
Subtract the equations: $x^{2} - (x - 1)^{2} = 0 \Rightarrow 2 x - 1 = 0 \Rightarrow x = \frac{1}{2}$ .
Substitute back: $(\frac{1}{2})^{2} + y^{2} = 1 \Rightarrow y^{2} = \frac{3}{4} \Rightarrow y = \pm \frac{3}{2}$ .
The intersection points are $(\frac{1}{2}, \pm \frac{3}{2})$ . Crucially, $\frac{3}{2}$ is an irrational coordinate. It exists only because the number line has no gaps — exactly what Hilbert's axiom of continuity (the Archimedean property plus completeness) guarantees. Euclid needed this fact but never stated it; Hilbert made it explicit so that "the circles meet" is a theorem, not an unspoken assumption.

□

Exercises for §1.27 →

Common Mistakes

"Axioms are self-evident truths": They are convenient assumptions. In non-Euclidean geometry the parallel postulate is not true, yet the system is consistent and useful.
Trying to prove an axiom: By definition an axiom is not proved inside the system. You can only show it is independent or derive consequences.
Assuming all axiom systems are equivalent: Different choices (incidence geometry, ordered geometry, metric geometry) emphasize different aspects and may prove different statements.
Forgetting that consistency must be checked: An inconsistent axiom set (one that lets you prove both P and not-P) is useless; it proves everything and therefore nothing.

Euclid's Elements is a mathematical and geometric treatise consisting of 13 books written around 300 BCE. It is one of the most influential works in the history of mathematics, presenting a systematic, axiomatic treatment of geometry and number theory that remained the standard textbook for nearly 2,000 years.

The work compiles and organizes results known to earlier Greek mathematicians (Eudoxus, Theaetetus, etc.) into a single deductive chain.

1.28Structure and Content

Books I–VI: Plane geometry (triangles, parallels, areas, similarity, Pythagorean theorem).

Books VII–X: Number theory (divisibility, primes, irrationality, continued fractions).

Books XI–XIII: Solid geometry (polyhedra, spheres, and the construction of the five Platonic solids).

Each book builds on previous ones; propositions are numbered and cross-referenced.

Intuition. Think of it as the ultimate "how-to" manual written as a giant proof tree. You start at the roots (axioms) and every new leaf (theorem) has a clear path back to the roots.

It is the original "open source" math book: every step is explained so anyone can check the reasoning.

Example 1.57. Book I contains 48 propositions. Prop. I.47 is the Pythagorean theorem (in geometric form: squares on the sides). Its proof uses previous congruence and area results and is one of the most famous single proofs in history. Book XIII ends with the construction and properties of the regular dodecahedron and icosahedron.

Exercises for §1.28 →

1.29The Deductive Style

Method 1.58 (Anatomy of a proposition in the *Elements*).

Enunciation: the statement, in general terms.
Setting-out: the particular figure the argument will use.
Definition: what is given and what is to be shown.
Construction: the lines and circles added to the figure.
Proof: the logical steps, each citing an earlier result.
Conclusion: the enunciation restated as proved.

Diagrams are described but the logic is independent of any particular drawing.

Intuition. It is like a legal argument: "Given these facts (enunciation), we construct the following (construction). Because of rule X from earlier, this equals that. Therefore the claim holds."

No hand-waving is allowed; every equality or congruence must be justified by a numbered prior result.

Example 1.59. In the proof of Prop. I.5 (base angles of isosceles triangle equal), Euclid constructs auxiliary points and circles, then uses SAS congruence on two larger triangles, then subtracts common parts (common notions) to reach the base angles. The proof is longer than modern textbook versions but self-contained within the Elements.

Exercises for §1.29 →

1.30Influence and Legacy

The Elements shaped Western mathematics, philosophy, and education. It was translated into Arabic, Latin, and every major language. Newton wrote the Principia in Euclidean style. Spinoza's Ethics is modeled on it (definitions, axioms, propositions).

It was the first major work to demonstrate the power of the axiomatic method.

Intuition. For two millennia, if you wanted to learn serious math you read Euclid. It taught not only geometry but how to think rigorously.

When non-Euclidean geometry was discovered, people realized the Elements described one possible world among several consistent ones.

Example 1.60. The parallel postulate (Postulate 5) is used sparingly at first but is essential for the later theory of parallels and the angle sum of a triangle. Attempts to "fix" Euclid by proving the postulate from the others ultimately failed and instead produced hyperbolic geometry (Lobachevsky 1829, Bolyai 1832).

Exercises for §1.30 →

Common Mistakes

Believing Euclid discovered all the theorems himself: He organized and proved existing results; many individual theorems predate him by centuries.
Thinking the diagrams are rigorous: Euclid warns that the proof, not the picture, carries the logic. Bad drawings can suggest false conclusions.
Assuming the Elements is only about geometry: Half the books are number theory; the theory of incommensurables (irrationals) is treated geometrically.
Overlooking gaps: Euclid assumes some continuity and betweenness properties without explicit axioms; these were later supplied by Hilbert and others.

The parallel postulate is Euclid's fifth postulate. It is the only one of the five that is not local and "obvious," and it is the key assumption that distinguishes Euclidean geometry from hyperbolic and elliptic geometries.

In its original form it is a statement about lines that, when extended, must meet if interior angles sum to less than two right angles.

1.31Euclid's Original Statement

Definition 1.61 (The parallel postulate). "If two lines are drawn which intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect each other on that side if extended far enough."

Playfair's equivalent form, more commonly used today: "Through a point not on a given straight line, exactly one line can be drawn that never meets the given line."

Intuition. On a flat piece of paper, if you have one line and a point off to the side, there is exactly one direction you can draw another line that will never cross the first one, no matter how far you go.

The postulate is a global statement about what happens "at infinity."

Example 1.62. Given line L and point P not on L, construct the unique parallel through P: drop a perpendicular from P to L meeting at Q, then erect a perpendicular to PQ at P. The resulting line M is parallel to L (alternate interior angles are both 90°). Any other line through P will tilt and eventually cross L.

Exercises for §1.31 →

1.32Attempts to Prove It

For over 2000 years, mathematicians tried to prove the parallel postulate from the first four postulates, believing it was a theorem. Many "proofs" contained hidden assumptions equivalent to the postulate itself (e.g., assuming the angle sum of a triangle is 180°).

These failed attempts were valuable: they clarified exactly what the postulate adds.

Intuition. People kept trying to show that "the flat paper rule" must follow from the other drawing rules. They kept sneaking the flat-paper assumption back in without noticing.

The long struggle showed that the rule is truly independent.

Example 1.63. One common circular "proof" assumes that the angle sum in a triangle is 180° (which itself requires the parallel postulate) to "prove" the parallel postulate. The circularity was not obvious until non-Euclidean examples existed.

Exercises for §1.32 →

1.33Birth of Non-Euclidean Geometry

Definition 1.64 (Hyperbolic and elliptic geometry). Hyperbolic geometry keeps Euclid's first four postulates and replaces the fifth by: through a point $P$ not on a line $L$ there are at least two lines parallel to $L$ . Elliptic geometry replaces it by: there are no parallels at all, so every pair of lines meets.

Hyperbolic geometry was developed in the early 19th century by János Bolyai, Nikolai Lobachevsky, and (privately) Carl Friedrich Gauss; elliptic geometry is due to Bernhard Riemann.

Theorem 1.65 (Relative consistency). Both systems are consistent if and only if Euclidean geometry is consistent.

Intuition. Imagine living on a giant saddle surface (hyperbolic): many "straight" paths from a point will never meet a given line. Or on a sphere (elliptic): every great-circle "line" eventually meets every other.

These are not "weird" or broken; they are perfectly logical worlds with their own theorems.

Example 1.66. In hyperbolic geometry the angle sum of every triangle is less than 180°. The defect (180° minus sum) is proportional to the area of the triangle. Larger triangles have larger angle defect. This is impossible in Euclidean geometry where the sum is always exactly 180° regardless of size.

Exercises for §1.33 →

1.34Modern Understanding and Models

Definition 1.67 (The Poincaré models). The Poincaré disk and upper half-plane models realize hyperbolic geometry inside ordinary Euclidean space, taking as "straight lines" the circular arcs orthogonal to the boundary and using a distance function that stretches near that boundary.

In these models Euclid's first four postulates hold, but the parallel postulate fails.

Intuition. You can draw a perfectly good picture of hyperbolic geometry on a flat piece of paper if you agree that "lines" are curved arcs of a special kind and distances get stretched near the edge.

The model shows consistency: if Euclidean geometry had a contradiction, the model would reveal it.

Example 1.68. In the Poincaré disk, two "lines" (arcs) through an interior point P that are asymptotic (approaching the same boundary point) are parallel in the hyperbolic sense: they never meet inside the disk. Many such arcs exist, violating Playfair's form.

Exercises for §1.34 →

Common Mistakes

"The parallel postulate is obviously true": It is true in the geometry of flat paper and local experience, but not in the geometry of the sphere or of curved space-time. "Obvious" depends on the space you live in.
Thinking non-Euclidean geometry is only for tiny or huge scales: While relativity uses curved geometry at cosmic scales, the mathematics is useful at any scale once you choose the right model.
Confusing 'parallel' in Euclidean sense with 'parallel' in affine geometry: In some abstract geometries parallels are defined via direction rather than non-intersection.
Believing Euclid's original wording is the only form: Many equivalent statements exist (Playfair, angle sum = 180°, rectangle exists, etc.). Any one can be taken as the axiom.

About the practice questions. They check that you can carry out this chapter's computations correctly, and each one is graded on a single answer. They are not proof exercises: working through them confirms the mechanics, not that you could prove the results yourself. For that, re-read the statements above and try to reconstruct their proofs with the page closed.

Practice this chapter