We begin with visual proofs of two lemmas, which will reduce the proof of the
theorem to elementary algebra. Lemma 1 is the well-known relationship for the
area of a triangle in terms of its circumradius and three side lengths; and Lemma 2
expresses the ratio of the diagonals of a cyclic quadrilateral in terms of the lengths
of the sides.