7. Let ABCD be a cyclic quadrilateral (i.e., the vertices lie in a circle). Express the length of the diagonal AC in terms of the lengths of the four sides of ABCD Do the same for BD. (One could give a proof of Ptolemy's Theorem, Exercise