The Empty Hexagon Theorem

  • Authors:
  • Carlos M. Nicolas

  • Affiliations:
  • Department of Mathematics, University of Kentucky, Lexington, KY 40506, USA

  • Venue:
  • Discrete & Computational Geometry
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Let P be a finite set of points in general position in the plane. Let C(P) be the convex hull of P and let CiP be the ith convex layer of P. A minimal convex set S of P is a convex subset of P such that every convex set of P ∩ C(S) different from S has cardinality strictly less than |S|. Our main theorem states that P contains an empty convex hexagon if C1P is minimal and C4P is not empty. Combined with the Erdos-Szekeres theorem, this result implies that every set P with sufficiently many points contains an empty convex hexagon, giving an affirmative answer to a question posed by Erdos in 1977.