Now a quadrilateral is cyclic if and only if the product of the diagonals equals the sum of the products of the opposite sides (see Ptolemy's Theorem and its converse [2]). Referring to Figure 2 (but ignoring the semicircle) we must show that rs ? ad + ab.