A relation for cyclic quadrilaterals

A theorem states that for a cyclic quadrilateral $ABCD$, the product of the diagonals equals the sum of the products of opposite sides: $AC \cdot BD = AB \cdot CD + AD \cdot BC$. This result is named after which ancient astronomer and mathematician from Alexandria?