Geometry

Elements

The fundamental element of geometry is the point — a location in space with no length, width, or depth. All geometric forms are built upward from the point.

Hierarchy of Forms

Platonic Solids

The five Platonic solids are the ideal forms of three-dimensional geometry — convex polyhedra where all faces are identical regular polygons and the same number of faces meet at every vertex:

Axiomatic Construction

Euclid built all of geometry from five postulates — minimal, self-evident assertions about space. The first four are simple; the fifth (the parallel postulate) is the structural hinge of Euclidean space.

1. A straight line segment can be drawn between any two points.
2. Any segment can be extended indefinitely.
3. A circle can be drawn with any center and radius.
4. All right angles are equal.
5. Parallel postulate: Through a point not on a line, exactly one parallel line exists.

Key Theorems

From these postulates, all of plane geometry follows:

• Pythagorean theorem: $a^2 + b^2 = c^2$ for a right triangle.
• Angle sum: The angles of any triangle sum to $180°$.
• Triangle congruence: SSS, SAS, and ASA each uniquely determine a triangle.

Denying the fifth postulate yields non-Euclidean geometries — spherical (positive curvature) and hyperbolic (negative curvature) — each internally consistent, each geometrically distinct.

Constructions and Procedures

The algorithmic lens views geometry as a set of constructive procedures — finite sequences of steps using only compass and straightedge.

Perpendicular Bisector of a Segment

1. Place compass at $A$; draw an arc of radius $r > AB/2$.
2. Place compass at $B$; draw an arc with the same radius.
3. Connect the two intersection points — this line is the perpendicular bisector.

Triangle Congruence Testing

• SSS — compare all three sides
• SAS — two sides and the included angle
• ASA — two angles and the included side
• AAS, RHS — right-triangle specific cases

Measurement Formulas

$\text{Area of triangle} = \tfrac{1}{2}bh, \qquad \text{Volume of sphere} = \tfrac{4}{3}\pi r^3$

Trigonometric processes extend the toolkit: the law of cosines $c^2 = a^2 + b^2 - 2ab\cos C$ generalizes Pythagoras to any triangle.

Geometry as a System

Viewed systemically, geometry is an ordered arrangement of spatial elements governed by transformation dynamics:

• Elements (stocks): points — the indivisible spatial units
• Forms (structures): lines, polygons, circles, solids — organized assemblies of points
• Transformations (processes): reflection, rotation, translation, dilation — operations that map forms to forms

Transformation Types

Congruence is the equilibrium of rigid transformations: two figures are congruent when one maps exactly onto the other. Similarity is the weaker equilibrium — shapes with the same angles but scaled distances.

Spatial Reasoning as Engineering

The engineering lens treats geometry as the measurement and construction toolkit for solving real spatial problems.

• Measuring: degrees, radians, Pythagorean theorem, trigonometric ratios, arc lengths ($s = r\theta$)
• Constructing: perpendicular bisectors, angle bisectors, regular polygons — each with a finite compass-and-straightedge procedure
• Computing area and volume: from simple formulas to integration for irregular shapes

Limits of the Tool

Three classical problems proved impossible with compass and straightedge alone:

• Squaring the circle — constructing a square equal in area to a given circle
• Trisecting an arbitrary angle
• Doubling the cube

These are not failures of ingenuity but proved impossibilities derived from the algebraic structure of constructible numbers.