Brahmagupta's formula for cyclic quadrilaterals