■ハッピーエンド問題とアンハッピーエンド問題(その3)

[1]平面上に5つの点をどう配置しても必ず凸四角形をなす4点を選ぶことができる.

[2]平面上に9つの点をどう配置しても必ず凸五角形をなす5点を選ぶことができる.

[3]平面上に17の点をどう配置しても必ず凸八角形をなす8点を選ぶことができる.

 この問題は戦前のブダペストでエシュテルによって提示された問題である.その会に出席していたエルデシュとジョルジーはその本質的な理由を考えた.その3年後,エシュテルとジョルジーは結婚.エルデシュにより,この問題は「ハッピーエンド問題」と呼ばれることになった.

 エルデシュは

[4]平面上に71の点をどう配置しても必ず凸六角形をなす6点を選ぶことができる.

ことを証明した.

 彼の仕事はどんなnについても、ある数g(n)が存在して

[5]平面上にg(n)個の点をどう配置しても必ず凸n角形をなすn点を選ぶことができる.

ことを証明した.しかし,なぜ常にそうなるのか本質的な理由はまだ解明されていない.何をどうやって証明すればいいのだろうか?

 今日,71は改良され,

  17≦g(n)≦37

という結果が得られている.これはハッピーエンドにはなっていないのである.

===================================