Русская Википедия:Теорема Эрдёша — Эннинга
Теорема Эрдёша — Эннинга — утверждение о том, что бесконечное множество точек на плоскости может иметь целые расстояния между точками множества только в том случае, когда все точки лежат на одной прямой. Названа по именам Пала Эрдёша и Шаблон:Нп2, опубликовавших её доказательство в 1945 году[1].
Рациональное расстояние
Хотя не существует бесконечного множества точек, имеющих целые взаимные расстояния, существует бесконечное множество точек, не лежащих на одной прямой, расстояния между которыми являются рациональными числами.
Например, на единичной окружности множество <math>S</math> точек <math>(\cos\theta,\sin\theta)</math>, для которых <math>\tan\frac{\theta}{4}</math> — рациональное число. Для любых таких точек и <math>\sin\frac{\theta}{2}</math>, и <math>\cos\frac{\theta}{2}</math> рациональны. Пусть <math>\theta</math> и <math>\phi</math> определяют две точки в <math>S</math>, тогда расстояние <math>\left|2\sin\frac{\theta}{2}\cos\frac{\phi}{2}-2\sin\frac{\phi}{2}\cos\frac{\theta}{2}\right|</math> рационально.
Известно, что окружность радиусом <math>\rho</math> содержит плотное множество точек с рациональными взаимными расстояниями тогда и только тогда, когда <math>\rho^2</math> рационально[2].
Для любого конечного множества точек <math>S</math> со взаимными рациональными расстояниями, можно найти подобное множество точек с целыми взаимными расстояниями, растянув <math>S</math> (умножив расстояния на наименьшее общее кратное знаменателей расстояний). Таким образом, существует как угодно большое множество точек на плоскости с целыми расстояниями. Однако добавление точек в множество <math>S</math> может привести к увеличению множителя растяжения, так что такая конструкция не дает возможность перевести бесконечное множество точек с рациональными расстояниями в бесконечное множество точек с целыми расстояниями.
Остается неизвестным, существует ли множество точек с рациональными взаимными расстояниями, являющееся плотным подмножеством евклидовой плоскости[2].
По состоянию на начало 2022 года было неизвестно, существует ли хотя бы 8 точек на плоскости, никакие 4 из которых не лежат на одной окружности и никакие 3 из которых не лежат на одной прямой, все попарные расстояния между которыми целые. Пример на 7 точек построен [Kreizel — Kurz, 2008].
Доказательство теоремы
Пусть множество точек <math>S</math> на плоскости имеет целочисленные взаимные расстояния и содержит три точки <math>A</math>, <math>B</math> и <math>C</math>, не лежащие на одной прямой, взаимные расстояния между которыми не превосходят <math>\delta</math>. Покажем, что число точек в множестве <math>S</math> не превосходит <math>4(\delta+1)^2</math>.
Пусть <math>d(A,B)</math>, <math>d(A,C)</math>, и <math>d(B,C)</math> — расстояния между точками <math>A</math>, <math>B</math> и <math>C</math>. Пусть <math>X</math> — любая другая точка из <math>S</math>. Из неравенства треугольника следует, что <math>|d(A,X)-d(B,X)|</math> — неотрицательное целое число, не превосходящее <math>\delta</math>. Для каждого целого числа <math>i</math> из интервала между 0 и <math>\delta</math>, геометрическое место точек, удовлетворяющее равенству <math>|d(A,X)-d(B,X)|=i</math>, формирует гиперболу с <math>A</math> и <math>B</math> в фокусах. Точка <math>X</math> должна лежать на одной из этих <math>\delta+1</math> гипербол.
Из соображений симметрии, <math>X</math> должна лежать также на одной из <math>\delta+1</math> гипербол, имеющих <math>B</math> и <math>C</math> в фокусах. Каждая из пар различных гипербол, одна заданная точками <math>A</math> и <math>B</math>, а вторая — точками <math>B</math> с <math>C</math>, могут пересекаться максимум в четырёх точках, а каждая точка из <math>S</math> (включая <math>A</math>, <math>B</math> и <math>C</math>) является одной из точек пересечения. Имеется максимум <math>4(\delta+1)^2</math> точек пересечения пар гипербол, а следовательно, максимум <math>4(\delta+1)^2</math> точек в множестве <math>S</math>.
Таким образом, множество точек на плоскости, не лежащих на одной прямой и имеющих целые взаимные расстояния, можно дополнить только конечным числом точек. Множество точек с целыми координатами и целыми расстояниями, к которому нельзя добавить точки сохраняя оба свойства, называется графом Эрдёша — Диофанта.
Примечания
Ссылки
