Abstract:We study convex cyclic polygons, that is, inscribed n-gons. Starting from P. Schreiber’s idea, published in 1993, we prove that these polygons are not constructible from their side lengths with straightedge and compass, provided n is at least five. They are non-constructible even in the particular case where they only have two different integer side lengths, provided that n ≠ 6. To achieve this goal, we develop two tools of separate interest. First, we prove a limit theorem stating that, under reasonable conditions, geometric constructibility is preserved under taking limits. To do so, we tailor a particular case of Puiseux’s classical theorem on some generalized power series, called Puiseux series, over algebraically closed fields to an analogous theorem on these series over real square root closed fields. Second, based on Hilbert’s irreducibility theorem, we give a rational parameter theorem that, under reasonable conditions again, turns a non-constructibility result with a transcendental parameter into a non-constructibility result with a rational parameter. For n even and at least six, we give an elementary proof for the non-constructibility of the cyclic n-gon from its side lengths and, also, from the distances of its sides from the center of the circumscribed circle. The fact that the cyclic n-gon is constructible from these distances for n = 4 but non-constructible for n = 3 exemplifies that some conditions of the limit theorem cannot be omitted.

Theorem Discovery Amongst Cyclic Polygons

Geometric constructibility of cyclic polygons and a limit theorem

A program to create new geometry proof problems

A Structural Theorem for Sets With Few Triangles

On the Generalized Turán Problem for Odd Cycles

Automated Discovering and Proving for Geometric Inequalities.

Almost Congruent Triangles

A Hanani-Tutte Theorem for Cycles

Arithmetic Polygons and Sums of Consecutive Squares

Geometric Combinatorics of Polynomials I: The Case of a Single Polynomial

Some Polynomial Conditions of Cyclic Quadrilaterals, Tilted Kites and Other Quadrilaterals

Automated Discovering And Proving For Geometric Inequalities

Generalized Andrásfai--Erdős--Sós theorems for odd cycles

Counting symmetry classes of dissections of a convex regular polygon

New four-vertex type theorems for spherical polygons

Dowker-type theorems for disk-polygons in normed planes

Discrete Cycloids from Convex Symmetric Polygons

Binary Cyclic Transversal Polytopes

On the Circuit Diameter Conjecture for Counterexamples to the Hirsch Conjecture

A unified half‐integral Erdős–Pósa theorem for cycles in graphs labelled by multiple abelian groups

When Four Cyclic Antipodal Pairs Are Ordered Counterclockwise in Euclidean and Hyperbolic Geometry