Можно ли на плоскости из каждой точки с рациональными координатами выпустить луч так, чтобы никакие два луча не имели общей точки и при этом среди прямых, содержащих эти лучи, никакие две не были бы параллельны?
(П. Кожеников)
Решение. Достаточно найти такую точку O, что на любой прямой, проходящей через O, лежит не более одной рациональной точки. Тогда, проведя из O всевозможные лучи во все рациональные точки и удалив у каждого луча начало (от O до соответствующей рациональной точки), получим искомый набор непересекающихся непараллельных лучей. Найти точку O можно разными способами.
Первый способ. Можно указать точку O явно — например, подойдёт точка Пусть на прямой, проходящей через эту точку, есть две рациональные точки (a, b) и (c, d) (где a, b, c, d — рациональные). Тогда вектора
и
пропорциональны, откуда
откуда
Возводя в квадрат и перенося заведомо рациональные слагаемые в левую часть, получим, что будет рациональным число что возможно только при
или
Но из равенства (*) видим, что если выполнено хоть одно из равенств
то выполнено и второе, откуда точки (a, b) и (c, d) совпадают.
Второй способ. Можно поступить иначе — доказать существование такой точки O. Проведём всевозможные прямые через пары рациональных точек. Таких прямых будет счётное количество. Так как всего направлений на плоскости несчётное количество, на ней найдётся прямая l, не параллельная ни одной из проведённых прямых. Проведённые прямые высекают на l счётное число точек, а всего на l точек несчётное количество, поэтому там ещё останутся точки, любая из них подойдёт в качестве O.
Ответ: можно.
Приведем другое решение.
Заметим, что если прямая задаётся уравнением где k — иррациональное, то на ней лежит не более одной рациональной точки. Действительно, пусть лежит хотя бы две: (x1, y1) и (x2, y2). Тогда
— рациональное. Противоречие.
Так как всего рациональных чисел счётное множество, то рациональных точек тоже счётное множество. Занумеруем их: Назовём набор из N лучей хорошим, если лучи имеют начала в точках
причём никакие два луча не имеют общей точки и не лежат на параллельных или совпадающих прямых, а направляющие векторы у всех лучей имеют положительные координаты (то есть угол между каждым лучом и положительным направлением оси Ox лежит в интервале от 0° до 90°.
Докажем по индукции следующее утверждение: если существует хороший набор из N лучей, то к нему можно добавить ещё один луч так, что снова получится хороший набор.
База: Проведём через
прямую с угловым коэффициентом
и лучом будет «верхняя половина» этой прямой.
Пусть проведены нужные нам лучи через точки Рассмотрим точку aN. Проведём через неё горизонтальный и вертикальный лучи (рис. 1).
Среди всех проведённых лучей найдём луч с минимальным углом наклона к оси Ox (пусть это k0). Попробуем выпустить из aN луч с положительным иррациональным угловым коэффициентом, меньшим k0. Тогда прямая, содержащая этот луч, не параллельна ни одной из прямых, содержащих предыдущие лучи (и не совпадает с этими прямыми). Такой луч может не подойти, только если он пересекает какой-то другой уже построенный луч с началом am и угловым коэффициентом km (рис. 2).
Выберем тогда такой иррациональный коэффициент что k меньше всех коэффициентов, бо́льших km и выпустим из aN луч с этим коэффициентом (на рисунке 3 он будет подыматься «круче» пунктирного луча с коэффициентом km). Его не могут пересечь лучи с коэффициентами, меньшими k — они пересекли бы тогда и луч, выходящий из am, что противоречит предположению индукции. Поэтому он не подойдёт, только если его пересекает луч с ещё бо́льшим угловым коэффициентом kl. Тогда, аналогично предыдущему, выпустим из aN луч с коэффициентом, большим kl и меньшим всех коэффициентов, больших kl, и так далее. Так как всего проведённых лучей конечное число, найдётся момент, когда мы сможем провести луч, не пересекающий остальные лучи. Переход доказан.
Взяв объединение всех хороших наборов для (каждый луч берём один раз), получим искомые лучи.
Ответ: можно.
PDF-версии: 