C'est expliqué ici.

Des points du plan sont dits cocycliques s'ils appartiennent à un même cercle. Deux points, trois points non alignés sont cocycliques. Quatre points A,B,C,D non alignés sont cocycliques si et seulement si :
cocyclique1.gif