In a cyclic quadrilateral ABCD, AC.AD = AB.CD + BC.AD, i.e. product of the diagonals = sum of the products of the lengths of the opposite sides.