Source — Euclid's Elements, encoded as an rrxiv paper

. Join

,

. By I.5, the base angles of the isoceles

are equal:

. By I.16, the exterior angle at any interior point

of

is greater than either remote interior angle; pursuing the inequalities (Heath's argument) forces

for

inside

, contradicting the assumption. Hence every point of

lies within the circle.