Euclid's Elements, Book I
Full dependency graph of all 48 propositions. Dependencies from David E. Joyce, Clark University. Split into five views for clarity.
Definitions 1–23 — Point, line, surface, angle, circle, triangle, parallel
Propositions 1–5 — Equilateral triangle, SAS, base angles (with definitions)
Propositions 1–10 — Foundations, SAS, SSS, bisections, perpendiculars
Propositions 11–20 — Right angles, straight lines, vertical angles, triangle exterior, triangle inequality
Propositions 21–30 — Lines within triangle, construct triangle/angle, parallel lines
Propositions 31–41 — Parallelograms, triangles, areas
Propositions 42–48 — Constructions, Pythagorean theorem