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

to

at some point

. In right triangle

(right-angled at

),

is the hypotenuse, so by I.19,

. But

lies on the tangent

, which has no point inside the circle (Definition III.2); so

radius. The two inequalities contradict. Hence

and

.