Euclid’s Elements is one of the most influential mathematical texts ever written. Its power is not just the theorems,
but the method: start from a small set of accepted statements (definitions, postulates, and common notions),
then build results using careful logical steps. A “proof assistant” for Euclid-style geometry tries to make those steps explicit:
you see what is given, what is constructed, which previously known fact is invoked, and what must be concluded.
In this calculator, the focus is on two families of very early results from Book I:
vertical angles (angles opposite each other when two lines intersect) and
parallel line angle relations (angles formed when a transversal crosses two parallel lines).
These are foundational because they appear everywhere: triangle proofs, polygon angle chasing, similarity, and circle theorems.
Vertical angles (Euclid I.15). When two straight lines intersect, they form four angles around the intersection point.
Two pairs are “vertical” (opposite) and two pairs are “adjacent.” A key supporting idea is the linear pair rule:
adjacent angles on a straight line sum to two right angles, which we measure as \(180^\circ\).
If one angle is \(\theta\), then the adjacent angle is \(180^\circ-\theta\). Each of the two vertical angles is a supplement of the same
adjacent angle, and therefore they must be equal. In modern language, “supplements of the same angle are equal,” which matches Euclid’s
common notions about equals.
Parallel lines and a transversal (Euclid I.29). If a straight line (a transversal) falls on two parallel lines, Euclid proves
several angle facts at once: alternate interior angles are equal, corresponding angles are equal (often derived using vertical-angle equality),
and the interior angles on the same side of the transversal (co-interior angles) sum to two right angles (\(180^\circ\)).
These statements are the engine behind much of classical geometry: they let you transfer information from one intersection to the other.
For example, if you know one marked angle is \(\theta\), then an alternate interior angle is also \(\theta\), while a co-interior partner
is \(180^\circ-\theta\).
The diagram in this tool is interactive so you can pan and zoom without losing orientation, and it highlights the angle relationship that the
proof text is using. This mirrors how Euclid’s arguments work: a picture suggests a relationship, but the proof justifies it through definitions,
postulates, and previously established propositions. Once you recognize these “basic moves,” you can reuse them to prove much bigger theorems
with confidence and clarity.
