Problema del final feliz

El problema del final feliz: Para todo conjunto de 5 puntos en posición general, contiene los vértices de un cuadrilátero convexo.

En matemática, el problema del final feliz (nombrado así por Paul Erdős porque dio a la relación y posterior matrimonio entre George Szekeres y Esther Klein) es el siguiente enunciado:

Cualquier conjunto de 5 puntos en el plano en posición general (no colineales) tiene un subconjunto de 4 puntos que son los vértices de un cuadrilátero convexo.

Éste es uno de los resultados que dio inicio al desarrollo de la teoría de Ramsey.

El problema de final feliz puede ser probado por un simple análisis de casos:

• Si los cinco puntos forman los vértices de un pentágono convexo, pueden ser elegidos 4 puntos cualquiera.
• Si una configuración de puntos forma un triángulo con dos puntos interiores; los dos puntos interiores y dos vértices del triángulo pueden ser elegidos.
• Si una configuración de puntos forma un cuadrílatero con un punto interior,este cuadrílatero es convexo.

La conjetura de Erdős-Szekeres es la extensión entre el número de puntos en un conjunto de puntos de posición general y su polígono convexo más grande construible. Aun no se tiene una solución general, pero se manejan casos particulares y cotas superiores e inferiores.

Enlaces externos

• «Happy ending problem» (en inglés). PlanetMath. Consultado el 19 de agosto de 2009. 
• «Ramsey-theoretic proof of the Erdős-Szekeres theorem» (en inglés). PlanetMath. Consultado el 19 de agosto de 2009. 
• Eric W. Weisstein. «Happy End Problem» (en inglés). MathWorld.