Существование выпуклых многоугольников с вершинами в боль­ших множествах точек общего положения.

Теорема. Пусть п >; 3 — натуральное число. Существует натуральное число Е(п), зависящее только от п, такое что если на плоскости выбрано множество точек, находящихся в общем положении, состоящее из N > Е(п) точек, то существует выпуклый n-угольиик, все вершины которого принадлежат вы­бранному множеству.

Напомним, что N точек находятся в общем положении, если никакие три из них не лежат на одной прямой.

Доказательство. Пусть S — множество точек общего положения на плоско­сти. Разобьем множество P₄(S) подмножеств множества S, состоящих из четы­рех элементов, в объединение двух подмножеств Q₁ и Q₂ следующим образом.

Четверка F точек из S попадает в множество Q₁, если точки из F являются вершинами выпуклого четырехугольника, и она попадает в Q₂, если это не так, т.е. если одна из точек множества F лежит внутри треугольника, обра­зованного остальными точками множества F. Пусть число точек множества S больше числа Е(п) = R₂(4;n,5). По теореме Рамсея существуют те точек множества S, любые 4 из которых являются вершинами выпуклого четырех­угольника, или 5 точек из S, никакие 4 из которых не являются вершинами выпуклого четырехугольника. Теорема вытекает теперь непосредственно из двух лемм, первая из которых утверждает, что второй случай невозможен, а вторая — что n- угольник, получающийся в первом случае, выпуклый.

Лемма 1. Из любых 5 точек общего положения на плоскости найдутся че­тыре, лежащие в вершинах выпуклого четырехугольника.

Лемма 2. Пусть любые четыре из n точек общего положения на плоскости являются вершинами выпуклого четырехугольника. Тогда эти те точек пред­ставляют собой вершины выпуклого п-угольпика.

Доказательства обеих лемм используют понятие выпуклой оболочки конеч­ного множества точек S. Под выпуклой оболочкой множества S мы понима­ем выпуклый многоугольник с вершинами из S, содержащий все точки из S. Существует лишь конечное число несамопересекающихся многоугольников с вершинами в конечном множестве S точек общего положения на плоскости; выберем из них многоугольник Р наибольшей площади. Если бы многоуголь­ник Р не был выпуклым или если бы не все точки множества S содержались в нем, то, как нетрудно видеть, площадь многоугольника Р можно было бы увеличить, а это противоречит выбору Р. Итак, Р — выпуклая оболочка множества S. Тем самым, мы доказали, что выпуклая оболочка конечного множества точек общего положения на плоскости всегда существует.

Доказательство леммы 1. Пусть заданы пять точек общего положения на плоскости. Их выпуклая оболочка может быть 5-угольником, 4-угольником или треугольником. В первых двух случаях какие-то четыре из точек — вер­шины выпуклого четырехугольника; поэтому остается рассмотреть случай, когда выпуклая оболочка является треугольником, а две из точек D и Е лежат внутри этого треугольника. Проведем через точки D и Е прямую; по­скольку она пересекает границу треугольника, одна из его вершин А лежит по одну сторону от прямой, а две другие В и С — по другую. Один из четырех­угольников BCDE, BCED несамопересекающийся и ясно, что он выпуклый.

Доказательство леммы 2. Достаточно доказать, что выпуклая оболочка n точек плоскости, удовлетворяющих требованиям леммы, является n -угольником. Пусть эта выпуклая оболочка A₁ A₂ …A_m представляет собой выпуклый m -угольник с m < n сторонами. В нашем множестве, состоящем из n точек, найдется хотя бы еще одна точка В, отличная от вершин A₁, А₂,..., А_т выпуклой оболочки. Она лежит внутри многоугольника А₁ А₂... А_т и потому попадает внутрь одного из треугольников A₁ A₂ A₃, A₁ A₃ A₄,...,A₁ A_n-1 A_n. Пусть точка В лежит внутри треугольника A₁ A_i A_i+1, 2 ≤ i ≤ n — 1; тогда точки А₁, A_i, A_i+1, В не могут быть вершинами выпуклого четырехугольника, а это противоречит предположению леммы 2. Лемма доказана.

3. "Одноцветные" решения уравнения х + у = z.

Теорема. Пусть множество натуральных чисел N разбито в объединение r подмножеств Qi,..., Q_r (т.е. множество N "раскрашено в п различных цве­тов"). Тогда существуют числа х, у, z, принадлежащие одному и тому же из множеств Q_i и такие, что х + у = z (иначе говоря, существует "одноцветные" решения уравнения х + у = z).

Доказательство. Разобьем множество пар натуральных чисел в объединение r подмножеств U₁,..., U_r, считая, что {i,j} ∈ U_i тогда и только тогда, когда абсолютная величина разности этих чисел | i — j | принадлежит множеству Q_{i j} = 1,2 ,…,r. По теореме Рамсея, если N > R_r( 2;3,3,...3), то среди нату­ральных чисел 1,2,..., N найдется такая тройка чисел, все 2-подмножества которой принадлежат одному и тому же из множеств U_i. Пусть а <b,с — эта тройка чисел; тогда все числа х = b — а, у = с — b, z = c — а принадлежат множеству Q_i, и х + у = (b — а) + (с — b) = с — а = z.