A Characterization of the Convexity of Cyclic Polygons in Terms of the Central Angles

Abstract

Let P be a cyclic n-gon with n\ge3, the central angles þ_0,...,þ_{n-1} in (-π,π], and the winding number w:=(þ_0+...+þ_{n-1})/(2π). The vertices of P are assumed to be all distinct from one another. It is then proved that P is convex if and only if one of the following four conditions holds: (I) w=1 and þ_0,...,þ_{n-1}>0; (II) w=-1 and þ_0,...,þ_{n-1}<0; (III) w=0 and exactly one of the angles þ_0,...,þ_{n-1} is negative; (IV) w=0 and exactly one of the angles þ_0,...,þ_{n-1} is positive.