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

and

. Join

. By III.3 applied to chord

(since

is the centre and

bisects

at

),

. Applied to

, the same line

is

. But the perpendicular from

to a line is unique (I.11), so

and

must coincide — contradiction with their being two distinct chords.