🧠Thinking Like a Mathematician Unit 8 Review

Euclidean geometry provides the framework for understanding shapes, angles, and spatial relationships in mathematics. It's also where you'll first encounter the power of axiomatic reasoning: starting from a small set of accepted truths and building an entire logical structure from them. This section covers everything from foundational axioms through coordinate geometry, transformations, proofs, and connections to non-Euclidean systems.

Foundations of Euclidean geometry

Euclidean geometry is built on an axiomatic system, meaning everything follows logically from a handful of basic assumptions. This structure is what makes it such a good training ground for mathematical thinking: you learn to reason deductively, moving step by step from what you know to what you can prove.

Axioms and postulates

Axioms (or postulates) are statements accepted as true without proof. They're the starting point for everything else. Euclid's five postulates define the rules of plane geometry:

Through any two points, there exists exactly one straight line.
Any straight line segment can be extended indefinitely in a straight line.
Given a line segment, a circle can be drawn with that segment as the radius and one endpoint as the center.
All right angles are equal to one another.
The parallel postulate: If a line intersects two other lines so that the interior angles on one side sum to less than 180°, those two lines will eventually meet on that side.

That fifth postulate is the interesting one. It's more complex than the others, and for centuries mathematicians tried to prove it from the first four. They couldn't, and modifying it is exactly what gives rise to non-Euclidean geometries (covered later in this guide).

Points, lines, and planes

These are the undefined terms of Euclidean geometry. You don't prove what they are; you describe how they behave.

Points represent locations in space with no dimension (no length, width, or height).
Lines extend infinitely in both directions with no thickness.
Planes are flat surfaces extending infinitely in all directions.

Key relationships to know:

Two points determine a unique line.
Three non-collinear points (not all on the same line) determine a unique plane.
Two lines in a plane are either parallel (never intersecting) or they intersect at exactly one point.
Perpendicular lines intersect at 90° angles.

Angles and their properties

An angle is formed by two rays sharing a common endpoint called the vertex. Angles are measured in degrees or radians.

Classifications by measure:

Acute: less than 90°
Right: exactly 90°
Obtuse: between 90° and 180°
Straight: exactly 180°

Important angle relationships:

Complementary angles sum to 90°.
Supplementary angles sum to 180°.
Vertical angles (formed by two intersecting lines) are always congruent.

When a transversal crosses two parallel lines, several angle pairs are congruent: corresponding angles, alternate interior angles, and alternate exterior angles. These relationships show up constantly in proofs and problem-solving.

Triangles in Euclidean space

Triangles are the simplest polygons, and they're everywhere in geometry. Many proofs about more complex shapes work by breaking them down into triangles. The properties of triangles also form the basis for trigonometry.

Triangle congruence criteria

Two triangles are congruent if they have exactly the same shape and size. You don't need to check all six measurements (three sides, three angles). Instead, any of these criteria is sufficient:

SSS (Side-Side-Side): All three pairs of corresponding sides are equal.
SAS (Side-Angle-Side): Two sides and the included angle (the angle between them) are equal.
ASA (Angle-Side-Angle): Two angles and the included side are equal.
AAS (Angle-Angle-Side): Two angles and a non-included side are equal.
HL (Hypotenuse-Leg): For right triangles only, the hypotenuse and one leg are equal.

One common mistake: SSA (Side-Side-Angle) is not a valid congruence criterion in general. It can produce two different triangles (the "ambiguous case").

Special triangles

Right triangles have one 90° angle and satisfy the Pythagorean theorem: $a^2 + b^2 = c^2$ , where $c$ is the hypotenuse.
Isosceles triangles have two equal sides, and the angles opposite those sides are also equal.
Equilateral triangles have all three sides equal and all three angles equal to 60°.

Two special right triangles appear so often that their side ratios are worth memorizing:

30-60-90 triangle: sides in the ratio $1 : \sqrt{3} : 2$
45-45-90 triangle: sides in the ratio $1 : 1 : \sqrt{2}$

Triangle inequality theorem

The triangle inequality states that the sum of any two sides of a triangle must be strictly greater than the third side. For a triangle with sides $a$ , $b$ , and $c$ :

$a + b > c$ , $b + c > a$ , $a + c > b$

This gives you a quick test: can the lengths 3, 5, and 9 form a triangle? No, because $3 + 5 = 8$ , which is not greater than 9.

Polygons and circles

Properties of quadrilaterals

Quadrilaterals are four-sided polygons. They form a hierarchy where each type inherits properties from the one above it:

Parallelogram: Opposite sides are parallel and congruent; opposite angles are equal.
Rectangle: A parallelogram with four right angles. Diagonals are equal in length.
Rhombus: A parallelogram with all four sides congruent. Diagonals bisect each other at right angles.
Square: Both a rectangle and a rhombus. All sides congruent, all angles 90°.
Trapezoid: Exactly one pair of parallel sides (called the bases).
Kite: Two pairs of adjacent sides are congruent. One diagonal bisects the other.

Regular polygons

A regular polygon has all sides and all angles congruent. The number of sides determines the shape: pentagon (5), hexagon (6), octagon (8), and so on.

Useful formulas for a regular polygon with $n$ sides:

Interior angle: $\frac{(n-2) \times 180°}{n}$
Exterior angle: $\frac{360°}{n}$
Area (with side length $s$ ): $A = \frac{1}{4} n s^2 \cot\left(\frac{\pi}{n}\right)$

For example, a regular hexagon ( $n = 6$ ) has interior angles of $\frac{4 \times 180°}{6} = 120°$ each.

Circle theorems

Circles have a rich set of theorems. Here are the most important ones:

Thales' theorem: Any angle inscribed in a semicircle is a right angle (90°).
Inscribed angle theorem: An inscribed angle is half the central angle that subtends the same arc. So if a central angle is 80°, the inscribed angle on the same arc is 40°.
Tangent-radius relationship: A tangent to a circle is perpendicular to the radius at the point of tangency.
Power of a point: For two chords, two secants, or a secant and tangent through the same external point, the products of their segment lengths are equal.
Cyclic quadrilateral theorem: Opposite angles in a quadrilateral inscribed in a circle sum to 180°.
Ptolemy's theorem: In a cyclic quadrilateral, the product of the diagonals equals the sum of the products of opposite sides.

Geometric constructions

Geometric constructions are about building precise figures using limited tools. The constraints force you to think carefully about why constructions work, not just how.

Compass and straightedge methods

Classical constructions use only two tools: an unmarked straightedge and a compass. No measuring allowed. Despite these limitations, you can accomplish a lot:

Perpendicular bisector of a segment: Open the compass to more than half the segment length, draw arcs from each endpoint, and connect the intersection points.
Angle bisector: Draw an arc from the vertex to mark equal distances on both rays, then draw arcs from those points. The line through their intersection and the vertex bisects the angle.
Parallel line through a point: Use the corresponding-angles approach by copying an angle formed with a transversal.
Regular polygons: Equilateral triangles, squares, and regular hexagons can all be constructed with compass and straightedge.
Inscribed and circumscribed circles: Constructed by finding the incenter (intersection of angle bisectors) or circumcenter (intersection of perpendicular bisectors) of a triangle.

Axioms and postulates, geometry - Is the proof of Proposition 2 in Book 1 of Euclid's elements a bit redundant ...

Impossible constructions

Three famous problems from antiquity were proven impossible with compass and straightedge alone (using results from abstract algebra, centuries later):

Squaring the circle: Constructing a square with the same area as a given circle. Impossible because $\pi$ is transcendental.
Doubling the cube: Constructing a cube with twice the volume of a given cube. This requires constructing $\sqrt[3]{2}$ , which is not compass-and-straightedge constructible.
Trisecting an arbitrary angle: While some specific angles can be trisected, a general method for any angle is impossible.

Also, regular polygons with certain numbers of sides (like 7, 9, or 11) cannot be constructed. Gauss proved that a regular polygon is constructible only if its number of sides is a product of a power of 2 and distinct Fermat primes.

Modern construction techniques

Today, the ideas behind geometric construction extend into technology:

Dynamic geometry software like GeoGebra lets you build and manipulate constructions interactively, which is great for exploring how changing one element affects the whole figure.
CAD software uses Euclidean geometry for precise engineering and architectural design.
3D printing and CNC machining turn geometric models into physical objects.

Euclidean transformations

A Euclidean transformation (also called an isometry or rigid motion) moves a figure without changing its size or shape. Distances and angles are preserved.

Translations, rotations, reflections

These are the three basic rigid motions:

Translation: Every point moves the same distance in the same direction. Think of sliding a shape across the plane. In coordinates, translating by $(a, b)$ sends $(x, y)$ to $(x + a, y + b)$ .
Rotation: Every point turns around a fixed center by a specified angle. A 90° counterclockwise rotation about the origin sends $(x, y)$ to $(-y, x)$ .
Reflection: Every point flips across a line of reflection. Reflecting over the y-axis sends $(x, y)$ to $(-x, y)$ .

You can compose these transformations (apply one after another) to create more complex motions. For instance, a glide reflection is a translation followed by a reflection.

Symmetry in geometry

Symmetry describes when a figure looks the same after a transformation.

Reflectional symmetry (line symmetry): The figure can be folded along a line so both halves match. A square has 4 lines of symmetry; an equilateral triangle has 3.
Rotational symmetry: The figure looks the same after rotation by less than 360°. A regular hexagon has rotational symmetry of order 6 (it maps onto itself every 60°).
Point symmetry: Every point has a matching point on the opposite side of the center, at the same distance. This is equivalent to 180° rotational symmetry.

At a more advanced level, symmetry groups classify figures by their full set of symmetries. Cyclic groups ( $C_n$ ) capture pure rotational symmetry, while dihedral groups ( $D_n$ ) capture both rotational and reflectional symmetry. Frieze patterns (repeating in one direction) and wallpaper patterns (repeating in two directions) extend these ideas to infinite designs.

Similarity and congruence

Congruent figures have the same shape and size. Any rigid motion maps one onto the other.
Similar figures have the same shape but possibly different sizes. One can be mapped onto the other by a rigid motion combined with a dilation (scaling).

The scale factor is the ratio of corresponding side lengths in similar figures. If two triangles are similar with a scale factor of 3, every side in the larger triangle is 3 times the corresponding side in the smaller one.

Congruence is just similarity with a scale factor of 1. For similar triangles, corresponding angles are congruent and corresponding sides are proportional.

Area and volume

Area formulas for polygons

Rectangle: $A = l \times w$
Triangle: $A = \frac{1}{2} \times b \times h$
Parallelogram: $A = b \times h$ (height is perpendicular to the base, not the slant side)
Trapezoid: $A = \frac{1}{2}(b_1 + b_2) \times h$ , where $b_1$ and $b_2$ are the parallel sides
Regular polygon: $A = \frac{1}{2} \times \text{perimeter} \times \text{apothem}$ (the apothem is the distance from the center to the midpoint of a side)
Circle: $A = \pi r^2$

Surface area of solids

Cube: $SA = 6s^2$
Rectangular prism: $SA = 2(lw + lh + wh)$
Cylinder: $SA = 2\pi r^2 + 2\pi rh$ (two circular bases plus the lateral surface)
Sphere: $SA = 4\pi r^2$
Cone: $SA = \pi r^2 + \pi r s$ , where $s$ is the slant height (not the vertical height)

Volume calculations

Cube: $V = s^3$
Rectangular prism: $V = l \times w \times h$
Cylinder: $V = \pi r^2 h$
Sphere: $V = \frac{4}{3}\pi r^3$
Cone: $V = \frac{1}{3}\pi r^2 h$
Pyramid: $V = \frac{1}{3} \times \text{base area} \times h$

Notice the pattern: cones and pyramids are exactly $\frac{1}{3}$ the volume of the corresponding prism or cylinder with the same base and height.

Coordinate geometry

Coordinate geometry connects algebra and geometry by placing figures on a number plane. This lets you use equations to describe geometric objects and algebraic techniques to solve geometric problems.

Cartesian coordinate system

The standard setup is two perpendicular axes (x and y) crossing at the origin $(0, 0)$ . Every point in the plane is described by an ordered pair $(x, y)$ .

The four quadrants are numbered counterclockwise: Quadrant I has both coordinates positive, Quadrant II has negative x and positive y, and so on.

This extends to three dimensions with a z-axis, where points are written as $(x, y, z)$ . An alternative 2D system is polar coordinates, where a point is described by its distance from the origin $r$ and angle $\theta$ from the positive x-axis.

Distance and midpoint formulas

The distance formula comes directly from the Pythagorean theorem. The distance between $(x_1, y_1)$ and $(x_2, y_2)$ is:

$d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}$

In 3D, you just add the z-term: $d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2 + (z_2 - z_1)^2}$

The midpoint is the average of the coordinates:

$M = \left(\frac{x_1 + x_2}{2}, \frac{y_1 + y_2}{2}\right)$

Axioms and postulates, Euclidean plane and its relatives

Equations of lines and circles

Lines can be written in several forms:

Slope-intercept: $y = mx + b$ , where $m$ is the slope and $b$ is the y-intercept
Point-slope: $y - y_1 = m(x - x_1)$ , useful when you know a point and the slope
General form: $Ax + By + C = 0$

Key facts about slopes: parallel lines have equal slopes, and perpendicular lines have slopes that are negative reciprocals (if one slope is $m$ , the other is $-\frac{1}{m}$ ).

The standard equation of a circle with center $(h, k)$ and radius $r$ is:

$(x - h)^2 + (y - k)^2 = r^2$

Non-Euclidean geometries

Non-Euclidean geometries arise when you replace Euclid's parallel postulate with a different assumption. The results are consistent geometric systems that describe curved spaces.

Spherical geometry

Spherical geometry takes place on the surface of a sphere. "Straight lines" are great circles (circles whose center is the center of the sphere, like the equator or lines of longitude).

The sum of angles in a spherical triangle is greater than 180°. The excess depends on the triangle's area.
There are no parallel lines: any two great circles intersect at two points.
The shortest path between two points is along a great circle arc, which is why airplane routes on a flat map often look curved.
Area of a spherical triangle: $A = R^2(A + B + C - \pi)$ , where $R$ is the sphere's radius and $A, B, C$ are the angles in radians.

Hyperbolic geometry

Hyperbolic geometry describes surfaces with constant negative curvature. It's often visualized using the Poincaré disk model, where the entire hyperbolic plane is mapped inside a circle.

The sum of angles in a hyperbolic triangle is less than 180°.
Through a point not on a given line, infinitely many lines pass that never intersect the given line (infinitely many parallels).
Area of a hyperbolic triangle: $A = R^2(\pi - A - B - C)$ , where the "deficit" from 180° determines the area.

Euclidean vs non-Euclidean

The three geometries differ in what happens with parallel lines:

Euclidean (zero curvature): Exactly one parallel through an external point. Angle sum of a triangle = 180°.
Spherical (positive curvature): No parallels. Angle sum > 180°.
Hyperbolic (negative curvature): Infinitely many parallels. Angle sum < 180°.

Spherical geometry applies directly to navigation and astronomy (Earth's surface is approximately spherical). Hyperbolic geometry appears in Einstein's general relativity and in modeling certain types of networks. The fact that non-Euclidean geometries are logically consistent was a major development in 19th-century mathematics, showing that Euclid's parallel postulate is truly independent of the other four.

Applications of Euclidean geometry

Architecture and design

The golden ratio (approximately 1.618) appears in proportions considered aesthetically pleasing, from the Parthenon to modern design.
Triangular structures like trusses are used in bridges and roofs because triangles are rigid (they don't deform under pressure the way quadrilaterals can).
Geodesic domes use networks of triangles to create strong, lightweight curved structures.
Tessellations (tilings with no gaps or overlaps) appear in floor designs, mosaics, and decorative art. Only three regular polygons tessellate the plane on their own: equilateral triangles, squares, and regular hexagons.

Triangulation determines an unknown position by measuring angles from two known points. This is the basis of traditional surveying.
GPS systems calculate your position using distances from multiple satellites, relying on the geometry of intersecting spheres.
Map projections transform the spherical Earth onto a flat surface, and every projection introduces some distortion (of area, shape, distance, or direction). The Mercator projection preserves angles but distorts area near the poles.

Computer graphics

Vector graphics represent images using geometric primitives (points, lines, curves), allowing them to scale without losing quality.
3D modeling applies translations, rotations, and scaling to manipulate objects in virtual space.
Ray tracing simulates realistic lighting by calculating how light rays interact with surfaces using geometric principles.
Collision detection in video games checks whether geometric shapes (bounding boxes, spheres) overlap.

Proofs in Euclidean geometry

Writing proofs is where you practice thinking like a mathematician most directly. A proof is a logical argument that establishes why a statement must be true, starting from known facts.

Direct proofs

A direct proof starts with given information and moves step by step to the conclusion. Each step is justified by a definition, postulate, or previously proven theorem.

Typical structure:

State what is given.
State what you want to prove.
Build a chain of logical statements, each following from the previous ones.
Arrive at the conclusion.

Direct proofs are the most common type. You'll use them for proving triangle congruence (by showing SSS, SAS, etc.), properties of parallel lines cut by a transversal, and circle theorems.

Indirect proofs

An indirect proof (proof by contrapositive) proves a statement "if P, then Q" by instead proving the equivalent statement "if not Q, then not P." These two statements are logically identical.

For example, to prove "if a triangle is equilateral, then it is equiangular," you could equivalently prove "if a triangle is not equiangular, then it is not equilateral." This approach is useful when the direct path forward isn't obvious.

Proof by contradiction

Proof by contradiction works differently from an indirect proof:

Assume the opposite of what you want to prove.
Reason logically from that assumption.
Arrive at a contradiction (something impossible or inconsistent).
Conclude that the original assumption must have been wrong, so the statement is true.

A classic example: proving that $\sqrt{2}$ is irrational. You assume it is rational (can be written as $\frac{a}{b}$ in lowest terms), then show this leads to both $a$ and $b$ being even, contradicting the assumption that the fraction was in lowest terms.

This technique is especially powerful for proving that something doesn't exist or that something is unique.

🧠Thinking Like a Mathematician Unit 8 Review