All four 顶点 sh是one 中心 且one 半径.
From definiti上的 P P P, PA=PB PA=PB PA=PB 且 PC=PD PC=PD PC=PD; together 满足 PA=PC PA=PC PA=PC, 所有four 顶点 是上圆 中心ed 在 P P P. 因此 ABCD ABCD ABCD 是cyclic.