Claudi Alsina and Rogen B. Nelsen, On the diagonals of a cyclic
Forum Geometricorum, 7 (2007) 147--149.
Abstract: We present visual proofs of two lemmas that reduce the proofs of
expressions for the lengths of the diagonals and the area of a cyclic quadrilateral
in terms of the lengths of its sides to elementary algebra.