组合数学之Ramsey应用之一多边形问题.docVIP

Ramsey数的应用之凸多边形问题 Solve a problem about convex polygon by Ramsey Number 姓名：李静（08应数 Li Jing(Mathematics and Applied Mathematics ) 所在单位：安徽大学 数学科学学院 Unit：Anhui University Mathematical Sciences 摘要： 利用Ramsey定理证明有关于凸多边形的一个问题 设m是大于或等于3的整数，则存在正整数N，使得当nN时，在平面上任何三点都不共线的n个点中，必有m个点是凸m边形的顶点 Summary: Prove a problem about convex polygon by Ramsey Suppose m is?integer greater than or equal to 3,then there exists a positive integer N,nN such that when any three points not in the plane of the n-collinear points,there must be m points is a convex m-gon vertex 中图分类号：O157.5 CLC:O157.5 关键词: Ramsey数的应用，凸多边形问题 Keywords: Application of Ramsey numbers, Convex polygon problem 引言: 1930年，英国逻辑学家F.P.Ramsey将鸽巢原理做了深刻推广，即Ramsey定理。随着人类不断的往前发展，Ramsey定理得到了广泛的应用，无论是学习、科研、生活，Ramsey定理帮助人类优化解决多种难题，尤其学科上，Ramsey定理使得其更具系统化。下例说明Ramsey定理在几何中的一个应用。 正文： 引理1 若平面上有任何3点都不共线的5个点，则其中必有4点是凸四边形的顶点。 （证明：把这5个点连上线可得10条直线段，其最外边的周界一定是一个凸多边形。如果是凸五边形或凸四边形，则引理1已然成立。如果是三角形，则5点中余下两点必定在这个三角形的内部。用一条直线把这两个点连起来，必有三角形的两个顶点位于此直线的同侧。于是同侧的这两个顶点和两个内点是一个凸四边形的顶点，如下如所示凸四边形EBCD） 引理2, 若平面上有任何三个点都不共线的m个点，并且这m个点中的任意四个点都是凸四边形的顶点，则此m个点是凸m边形的顶点。 （证明：将m点两两连线，共得=条边，选取最外围周界组成一个凸q边形，其顶点为，，….如果原先的m个点中，有一个在此凸q边形的内部，则它必存在q-2个三角形：,,…的某一个内。但这样就要出现一个凸四边形，与假设矛盾。故在凸q边形之内不可能再有m个点中的任何一个点。所以q=m，即这m个点是凸m边形的顶点） 凸多边形问题 设m是大于或等于3的整数，则存在正整数N，使得当nN时，在平面上任何三点都不共线的n个点中，必有m个点是凸m边形的顶点。 证明： 对于m=3，命题显然成立； 设m4，并令nr（5，m；4）。再把这n个点的所有“四点子集”形成的四边形按凸和凹分为两类，根据Ramsey定理，在这n个点中或者至少有5个点，其一切“四点子集”组成的四边形全是凹的。或者至少有m个点，其一切“四点子集”组成的四边形全是凸的。由引理1知道第一种情形不可能，因此后一结论成立。再根据引理2知道，这m个点必然组成一个凸m边形。 参考文献： 组合计算方法及其应用，科学出版社 1981 组合数学及其应用，北京理工大学出版社 1992 组合数学引论，中国科学技术大学出版社 1999