Клетчатая решётка (координатная плоскость) и точки, отрезки, прямые на ней
Ошибка.
Попробуйте повторить позже
При каких натуральных существует выпуклый
-угольник с вершинами в узлах целочисленной решётки, у которого все стороны равны
Подсказка 1
Все стороны многоугольника будем рассматривать как вектора с некоторыми координатами. Тогда эти координаты x, y удовлетворяют равенству x² + y² = 100². Как могут быть получены все такие вектора?
Подсказка 2
Верно! Умножением на 20 векторов (±3,±4), умножением векторов (±7,±24) на 4 и как (0,±100) и (±100,0). Теперь попробуем учесть, что фигура должна быть замкнутой и выпуклой! Что это означает?
Подсказка 3
Верно! Сумма векторов должна быть нулевой, а угол при обходе против часовой стрелки с начальным должен строго возрастать. Из предыдущей подсказки мы получили, что у нас есть 20 возможных различных векторов. Тогда всего сторон не больше 20! А можно ли доказать, что при нечетных n ничего не выйдет?
Подсказка 4
Конечно! Если разделить все вектора и условие замкнутости на 4, получим, что нечетная сумма первых компонент векторов должна быть нулевой — противоречие. А можно ли для всех остальных n просто построить пример?
Каждая сторона многоугольника задаётся вектором с целыми координатами, удовлетворяющими условию:
Все целочисленные решения, полученные рассмотрением пифагоровых троек
Всего векторов.
Фигура составленная из векторов обязана быть замкнутой и выпуклой.
- 1.
-
Замкнутость: Сумма векторов сторон должна быть нулевой:
- 2.
-
Выпуклость: При обходе против часовой стрелки угол каждого вектора с начальным должен строго возрастать.
Из полученных условий имеем ограничения на Из условия на углы получаем, что каждый вектор используется в качестве стороны не
более одного раза
Разделим полученные векторы на
Заметим, что у любого из данных векторов одна компоненты четна, вторая нечетна. Условие замкнутости поделим на
получим:
что не возможно при нечетном Для все четных
построим искомый выпуклый многоугольник. Если
делится на
то
возьмем векторы с неотрицательными координатами, кроме
“выстроим” их по возрастанию угла, это построит четверть фигуры,
затем из четырех таких частей получим всю фигуру.
Если не делит на
построение такое: аналогично первому пункту встроим вектора, используя в начале
Затем
отразим все векторы, кроме
относительно прямой
а затем всю фигуру отразим относительно верхней
границы.
При всех четных
Ошибка.
Попробуйте повторить позже
Дан треугольник с вершинами в узлах целочисленной решётки и узлы
и
такие, что внутри отрезков
и
поровну узлов. Докажите, что можно выбрать узел
так, чтобы внутри треугольников
и
было поровну
узлов.
Подсказка 1
Нарежем решетку на прямые, параллельные сторонам AB и A'B'. Попробуем теперь рассмотреть аффинное преобразование, переводящее AB в A'B'. Как можно определить точку C'?
Подсказка 2
Верно! Можно определить C' как образ C при этом преобразовании. Остается показать, что условие задачи выполняется! Легко видеть, что площади двух треугольников ABC и A'B'C' совпадают. А какая формула связывает узлы решетки и площади треугольников?
Подсказка 3
Верно, формула Пика! Заметим, что целочисленные точки с границы треугольника ABC перешли на границу треугольника A'B'C'. Что тогда получается?
Давайте нарежем решётку на прямые, параллельные сторонам и
Тогда рассмотрим аффинное преобразование, которое
переводит
в
а прямые направления
в соответствующие прямые направления
Если допустим, что оба вектора
и
не параллельны сторонам решётки, тогда нужно совместить
и
а потом посмотреть, на какое расстояние мы сместились по
горизонтали из
(в точку
а потом, сколько шагов мы сделали по целым точкам вдоль вектора
и сделать аналогичные шаги.
Если вектор горизонтальный, то идём сначала по вертикали. Тогда рассмотрим как точку
образ точки
Получаем, что
площади полученных треугольников совпадают, поскольку расстояние между прямыми уменьшилось в
раз, а основание
увеличилось в
раз. При этом все точки на сторонах исходного треугольника теперь на сторонах получившегося по
построению (если есть точка на стороне, то можно провести через неё параллельную
прямую, которая аналогично
перейдёт в параллельную
. Значит, по формуле Пика и количество внутренних узлов сохранилось, что и требовалось
доказать.
Ошибка.
Попробуйте повторить позже
В пространстве введена прямоугольная декартова система координат. Верно ли, что у любого прямоугольного параллелепипеда объема
вершины которого расположены в точках с целыми координатами, ребра параллельны осям координат?
Подсказка 1
Пусть стороны данного параллелепипеда не параллельны осям, тогда каждая из них — квадратный корень из суммы квадратов целых чисел. Тогда объем параллелепипеда в квадрате — произведение трех сумм квадратов. Какой вывод можно сделать?
Подсказка 2
Верно! Тогда квадрат объема — сумма квадратов целых чисел. Пусть эти числа — m и n. Могут ли они не делиться на 1999?
Подсказка 3
Верно, не могут! Ведь тогда мы получим из малой теоремы Ферма, что 1 и -1 сравнимы по модулю 1999. Тогда равенство m² + n² = 1999⁴ можно разделить на 1999²! А нельзя ли еще раз проделать то же самое и получить какое-нибудь противоречие?
Пусть стороны данного параллелепипеда не параллельны осям, тогда они имеют длины вида откуда
Пусть не делятся на
тогда из
получаем противоречие с малой теоремой Ферма. Поделим тождество на получим
аналогично заключаем, что делятся на
— противоречие.
Верно
Ошибка.
Попробуйте повторить позже
Докажите, что для любого существует окружность, внутри которой лежит ровно
целочисленных точек.
Подсказка 1
Любая точка внутри окружности — тоже точка некоторой окружности. Тогда для того, чтобы контролировать количество точек внутри окружности, можно попробовать выбрать такую точку A, чтобы любая окружность с центром в этой точке содержала на себе не более одной целочисленной точки. Существует ли такая A?
Подсказка 2
Верно, существует! Например, в качестве такой точки можно взять A = (√2, 1/3). Тогда каким бы ни был радиус окружности с центром в точке A, на ней будет не более одной целочисленной точки. А внутренность любой окружности — объединение всех окружностей, лежащих внутри данной. Как тогда построить окружность с радиусом R и центром в точке A, чтобы внутри нее было не более n целочисленных точек?
Докажем сначала, что на окружности с центром не может лежать более одной целочисленной точки. Если
и
— целые
числа, то
где Поэтому из равенства
следует, что По теореме Виета сумма корней уравнения
равна
поэтому лишь один корень может быть
целочисленным. Расположим теперь радиусы окружностей с центром
проходящих через целочисленные точки, в порядке возрастания:
Если
то внутри окружности радиуса
с центром
лежит ровно
целочисленных
точек.
Ошибка.
Попробуйте повторить позже
В парке, имеющем форму круга радиуса с центром в начале координат, деревья радиуса
посажены во всех вершинах квадратной
сетки со стороной
кроме центра. Пусть
— минимальное целое число, не меньшее
представимое в виде суммы
квадратов двух целых взаимно-простых чисел. Докажите, что вид из центра полностью заслонен тогда и только тогда, когда
Подсказка 1
Сначала покажем, что если радиус дерева маленький, то всю плоскость закрыть не удастся. Естественно рассмотреть именно ту точку, расстояние до которой l, и использовать соображения площади.
Подсказка 2
Теперь покажем, что если радиус достаточно большой, то вся плоскость будет закрыта. Мы знаем, что lr≥1, так что площадь прямоугольника со сторонами 2l и 2r хотя бы 4. Это намекает на теорему Минковского.
Подсказка 3
Вот мы нашли целую точку в прямоугольнике, если она в круге, то мы уже победили. Тогда если она снаружи, и её координаты взаимно просты, то она обязательно находится на расстоянии l от начала координат.
Подсказка 4
Осталось доказать, что на самом деле мы уже заслонили часть плоскости, которую заслоняет точка на расстоянии l.
Докажем, что при обзор не будет заслонен. Для этого достаточно предъявить точку вне круга, видимую из центра.
Пусть покажем, что точку
с координатами
видно из центра. Пусть это не так, тогда существует точка
такая, что
где
— расстояние от точки
до прямой
Последнее равенство может быть выполнено, если но в таком случае, так как
то
и
в таком случае
то есть такая точка
вне парка — противоречие.
Теперь покажем, что при все целые точки на решётке будут не видны. Будем считать
(иначе уменьшим радиус, а если
то задача не имеет смысла). Тогда покажем, что можно считать, что
Будем расширять радиус, возможно, к нам
добавятся какие-то новые точки
, но тогда их координаты будут не взаимно просты, значит, найдётся точка
внутри круга,
координаты которой будут пропорциональны координатам
Но тогда если до какой-то прямой
то и
то есть если в новом круге найдётся подходящая точка, то и в исходном тоже была. Теперь внутри нашего круга лежат все
точки, расстояние до которых от начала координат меньше
Пусть есть точка
которую видно из начала координат.
Рассмотрим прямоугольник со сторонами
и
c центром в
и сторона
которого параллельна
Тогда
прямоугольник центрально-симметричный, замкнутый и имеет площадь хотя бы
Тогда по теореме Минковского в
нём есть целая точка. Ясно, что расстояние от этой целой точки до прямой
если эта точка оказалась не в той
полуплоскости, то рассмотрим симметричную ей. Итак, мы нашли в прямоугольнике точку, расстояние от которой до луча
Тогда посмотрим, что это могла быть за точка. Самая далёкая от
— это вершина прямоугольника. Она находится на
расстоянии
Поскольку
и сумма квадратов координат целая, эта точка
или на расстоянии
или внутри
круга. Если она внутри круга, то мы уже победили, так что предположим, что она на расстоянии
Тогда покажем,
что вся окружность точки
радиуса
уже закрыта. Рассмотрим какой-нибудь треугольник
где
лежит в
круге (для начала, например,
Допустим, этот треугольник оказался простым, то есть не содержит целых точек
на сторонах и внутри. Тогда его площадь
а с другой стороны она
где
— расстояние от
до
Тогда
то есть дерево как минимум касается прямой
Если же треугольник оказался не простым, то рассмотрим
в нём ближайшую к
точку
и заменим
на неё. Точка
точно внутри круга (по определению
), площадь
треугольника строго уменьшилась. Так мы найдём точки в обеих полуплоскостях относительно
деревья которых
как минимум касаются
Заметим, что эти две окружности вместе целиком перекрывают окружность точки
так
что если точка
закрывала обзор для
то найдётся и точка в круге, которая закроет обзор, что и требовалось
доказать.
Ошибка.
Попробуйте повторить позже
Вершины многоугольника (не обязательно выпуклого) расположены в узлах целочисленной решетки. Внутри него лежит узлов решетки,
а на границе
узлов. Докажите, что его площадь равна
Каждому многоугольнику с вершинами в узлах целочисленной решётки поставим в соответствие число
где
суммирование ведётся по всем узлам решётки, принадлежащим
а
— угол, под которым виден многоугольник
из
соответствующего узла. Например, для внутренней точки
для точки на границе (не являющейся вершиной)
А сумма
углов по вершинам многоугольника — это
тогда легко видеть, что:
Остаётся проверить, что совпадает с площадью
Если многоугольник
разрезан на части
и
с вершинами в
узлах решётки, то
так как углы в узлах складываются. Следовательно, если формула верна для
и
она
верна и для
Рассмотрим прямоугольник со сторонами и
параллельными осям решётки. Внутренних узлов:
граничных узлов:
Тогда:
Формула верна для прямоугольников. Разрежем прямоугольник диагональю на два треугольника. Для каждого треугольника
что совпадает с его площадью.
Любой многоугольник можно триангулировать непересекающимися диагоналями. Поскольку формула аддитивна и верна для
треугольников, она верна и для всего многоугольника. Таким образом,
Ошибка.
Попробуйте повторить позже
Сколько точек пространства с целочисленными координатами принадлежат треугольнику с вершинами ,
,
? Точка
на вершинах и сторонах тоже считаются.
Источники:
Подсказка 1
Давайте немного упростим задачу и сдвинем одну из вершин в начало координат, чтобы числа стали попроще, для этого можно сделать параллельный перенос на вектор (-3;-4;-5), а как можно посчитать кол-во целочисленных точек на стороне?
Подсказка 2
Верно, кол-во целых точек (включая концы) на отрезке (x₁,y₁,z₁), (x₂,y₂,z₂), это НОД(|x₁-x₂|, |y₁-y₂|, |z₁-z₂|) + 1, итак, когда мы знаем кол-во точек на периметре треугольника, давайте перейдём к его внутренности, если взять произвольную целочисленную точку, можно ли получить какое-то следствие, которое было бы легче проверить, но оно бы оставило нам пару точек для перебора?
Подсказка 3
Да, можно сказать, что если точка A была подходящей, то точка A' полученная проецированием её на одну из плоскостей тоже будет подходить, а значит можно спроецировать весь треугольник, например, на плоскость Oxy и найти возможных кандидатов там, а потом проверить только их
Подсказка 4
Для проверки наших кандидатов можно составить систему уравнений из двух векторов, образующих стороны, с положительными коэффициентами, сумма которых меньше 1, чтобы получить точку внутри треугольника, остаётся проверить, что найдутся целые решения, которые бы удовлетворяли полученной системе
Подсказка 5
Для удобства можно выразить из первых двух уравнений коэффициенты и подставить их в третье уравнение, тогда останется лишь условие на координаты точек, но предыдущие ограничения всё ещё следует проверить
Перенесём треугольник одной вершиной в начало координат. Тогда его можно представлять как точку , из которой выходят вектора
и
.
Тогда внутренность треугольника можно представить как где
— действительные числа,
и
Вопрос о целых точках на треугольнике, получается, стоит так: при каких целых система:
имеет решения , удовлетворяющие условиям выше.
Мы выделили внутренность, потому что стороны легче рассмотреть отдельно. Три целочисленные вершины лежат в треугольнике по
определению. На сторонах точки подсчитать тоже просто — стороны это вектора и третья сторона
.
Получить целочисленную точку можно только на середине вектора
, а у остальных сторон нет общих делителей координат, и через целые
точки они не проходят. Значит, на периметре лежат
точки.
Переходим к внутренней части треугольника. Конечно, нет гарантий, что там будет хотя бы одна целочисленная точка —
но если такая есть, то её проекции на координатные плоскости тоже будут целочисленные. Поэтому давайте рассмотрим
проекцию треугольника на плоскость , и отберём на ней потенциально подходящие пары
а после выкинем
лишние.
Проецируем треугольник на — получается треугольник на плоскости с вершинами
Внутрь него точки попадут
такие:
Решаем систему, состоящую из двух первых уравнений:
Получаем следующие решения:
Полученные значения подставляются в третье уравнение
, и если
оказывается целым — точка найдена. После
подстановки получается выражение:
то есть должна быть чётной. Из
кандидатов подойдут только
.
Плюс точки на сторонах, и всего точек на треугольнике
Ошибка.
Попробуйте повторить позже
Лес представляет собой координатную плоскость, в некоторых узлах которой растут ёлки. Всего ёлок больше миллиона. Докажите, что можно срубить более 100000 ёлок так, чтобы расстояние между любыми двумя срубленными ёлками было больше 3. (Узлом называется точка, обе координаты которой целые; ёлки считаем точками.)
Источники:
Подсказка 1
Когда нас просят доказать, что что-либо возможно, то один из вариантов решения это просто привести пример. Так и в этой задаче, нам нужно придумать пример вырубки ёлок, удовлетворяющей условию.
Подсказка 2
Получается, нам нужно выбрать больше 100000 ёлок так, чтобы расстояние между любыми двумя из них было больше 3. Может быть не понятно, по какому принципу их вообще выбирать. В таких случаях полезно каким-либо образом разбить ёлки на группы так, чтобы одна из групп была искомой. Но на какое количество групп разбивать?
Подсказка 3
Вспомним принцип Дирихле и посмотрим на числа. Заметим, что если разбить ёлки на 10 групп, то в одной из них точно будет больше 100000 штук. Тогда нам нужно, чтобы внутри каждой группы расстояния между любыми двумя ёлками было более 3.
Подсказка 4
Если не получается придумать разбиение, попробуйте посмотреть на эту задачу по-другому. Например, попытаться разбивать не ёлки, а узлы. Так же не забывайте про количество групп, попробуйте использовать остатки при делении на 10.
Раскрасим узлы в 10 цветов так, чтобы узлы одного цвета образовывали сетку из квадратов со стороной . Например, пусть цвет узла с
координатами (
) определяется остатком от деления числа
на 10 (считаем, что деревья растут в центрах
квадратов):
0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 0 |
7 | 8 | 9 | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |
4 | 5 | 6 | 7 | 8 | 9 | 0 | 1 | 2 | 3 | 4 |
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 0 | 1 |
8 | 9 | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
5 | 6 | 7 | 8 | 9 | 0 | 1 | 2 | 3 | 4 | 5 |
2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 0 | 1 | 2 |
9 | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
6 | 7 | 8 | 9 | 0 | 1 | 2 | 3 | 4 | 5 | 6 |
3 | 4 | 5 | 6 | 7 | 8 | 9 | 0 | 1 | 2 | 3 |
0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 0 |
По принципу Дирихле, в какой-то из десяти цветов окрасились более 100 тысяч ёлок. Тогда все эти ёлки можно срубить, поскольку
расстояние между любыми двумя из них не меньше .
Ошибка.
Попробуйте повторить позже
Существует ли функция из шара в круг, не уменьшающая расстояния?
Без ограничения общности будем считать, что в трехмерный шар вписывается куб с ребром единичной длины. Разобьем каждое ребро на
равных частей и построим кубическую решетку, в которой
узлов. Расстояние между двумя любыми узлами не менее
Рассмотрим образ этой решетки при отображении. Расстояние между двумя любыми точками из образа должно быть так же не меньше
Пусть диаметр круга равен . Впишем круг в квадрат и разобьем его стороны на
равных частей так, чтобы длина каждой части
была меньше
То есть должно выполняться
можно взять
Тогда большой квадрат разобьется на
квадратиков.
Диагональ каждого квадратика равна Значит, никакие два узла кубической решетки после отображения не могут
попасть в один квадратик. Найдется достаточно большее
такое что
Получается, найдутся две точки в
шаре, расстояние между которыми не меньше
а расстояние между их образами в круге меньше
Значит нужного отображения не
существует.
Ошибка.
Попробуйте повторить позже
На координатной плоскости дан параллелограмм с вершинами в точках ,
и
Найдите количество пар
точек
и
с целыми координатами, лежащих в этом параллелограмме (возможно, на границе) и таких, что
Источники:
Подсказка 1
Сначала может показаться, что задача какая-то жуть. Нужно находить количество пар точек, подходящие под какое-то странное условие... Но давайте понемногу "причёсывать" задачу и понимать, что от нас хотят. Попробуем хорошо преобразовать условие, данное на точки A и B. Какое действие хочется сделать, увидев в одной части координаты и точки A, и точки B?
Подсказка 2
Да, давайте перенесём координаты A в правую часть, а точки B — в левую. Число 33 тоже перенесём влево. Так как координаты у нас целые, то слева и справа получаются тоже какие-то целые значения. Пусть это будет целое число k. Что же теперь означает наше условие на координаты после того, как мы переписали их в удобном виде?
Подсказка 3
Верно, это две параллельные прямые, где вместо x и y мы подставляем координаты точек A и B. То есть мы можем записать уравнение прямых в общем виде с k. Что же нам теперь нужно сделать? Не забудем, что у нас есть ограничение на прямые самой границей параллелограмма. Идейная часть закончилась, теперь уже можно реализовывать техническую часть решения. Вспоминая вопрос задачи, что нам нужно теперь найти?
Подсказка 4
Верно, нам нужно найти в принципе количество целых точек x на прямых вида y=-3x+b. Это с помощью рассмотрения случаев, когда b делится на 3 и не делится, решается несложно(учитывая, конечно, снова ограничение по параллелограмму). Найдя уже до этого ограничения на k, остаётся только дело за комбинаторикой. То есть нам нужно для каждого k, выбрать на прямых нужные нам целые точки.
Запишем исходное условие на координаты точек и
в виде
Так как координаты точек и
являются целыми числами, то левая и правая части этого равенства могут принимать только целочисленные значения
Пара точек
и
с целочисленными координатами удовлетворяет условию тогда и только тогда, когда они лежат на
параллельных прямых
соответственно. Найдём подходящие значения параметра
Стороны и
параллелограмма лежат на прямых
поэтому они параллельны прямым, на которых лежат точки и
Эти прямые пересекают параллелограмм
при
|
Выясним количество точек с целочисленными координатами на каждой из прямых вида
Рассмотрим несколько вариантов:
Если
кратно трём (т.е.
то получаем прямую
При любом целом получится целое значение
а чтобы точка оказалась в параллелограмме нужно, чтобы
При любом этому неравенству удовлетворяет
целых значений
Если
не делится на 3, т.е. при
где
имеем
Учитывая, что получаем
Значит, этому неравенству удовлетворяет целочисленных значений.
Если (таких значений
то на каждой из двух прямых
можно выбрать по точек — всего
пар.
Если (таких значений
то на каждой из двух прямых можно выбрать по
точек — имеем
пар.
Итого получаем
Ошибка.
Попробуйте повторить позже
Найдите все пары ненулевых (не обязательно положительных) рациональных чисел обладающие следующим свойством: любое
положительное рациональное число можно представить в виде
с положительным рациональным
Подсказка 1
Давайте для начала причешем задачу. Если r - рациональное и положительное, то x,y - просто целые, так как можно построить явную биекцию между решениями при просто рациональных x,y и целых. Также, можно заметить, что если мы уберем целую часть числа r , то отношение из условия останется таким же, а значит, можно сказать, что 0 < r < 1 . А тогда можно сказать, что {(1 - r)x} = {-rx}, аналогично с y. Значит, можно считать, что y - натуральное, а х - целое. Значит, у нас, существенно, два случая - когда наша дробь - положительное число, и когда отрицательное. Попробуйте теперь найти такую дробь, которая не может быть представлена в таком виде как мы описали, и с теми условиями, которые мы доказали.
Подсказка 2
Сейчас будет приведено совсем не строгое, но тем не менее, наталкивающее на мысли, объяснение, почему нужно брать конкретную дробь, при разборе случая , когда дробь - положительное число. Давайте распишем {rx} как rx - [rx], {ry} как ry - [ry]. Тогда, для некоторого n/k = {rx}/{ry}, выполнено, что n*{ry} = k*{rx}. Значит, nry - n*[ry] = krx + k*[rx]. Что мы из этого можем получить? Если мы хотим прийти к противоречию, то можно попытаться взять какие - то k и n, такие, чтобы что-то в этом равенстве стало плохо. Сейчас целое число слева равно целому справа, а что можно подставить, чтобы слева, после преобразований, стало нецелое, а справа целое?
Подсказка 3
Возьмем n = x + 1, k = y. Тогда, во первых, сократятся rxy и rxy слева и справа, а в итого, останется уравнение {ry} = x * [ry] - y * [rx]. А значит, слева будет что - то между 0 и 1, а справа что-то целое. Пришли к противоречию. То есть, случай, когда дробь больше нуля разобран. Осталось подумать над случаем, когда наша дробь отрицательна. Можно попытаться найти контрпример, однако сразу непонятно как его строить, рассуждения из прошлого пункта непримиримы. Тогда скажем, что наша дробь равна некоторому a/b, где а - отрицательное и попытаемся доказать, что для любых а и b такое r найдется. И кажется, что в такой непонятной конструкции, как дробная часть, могут спасти только оценки значений. Попробуйте их применить(само собой, после избавления от знаменателей).
Подсказка 4
После избавления от знаменателей, у нас получается выражение brx - b*[rx] = ary - a[ry]. А значит, r - одно из решений уравнения r(bx - ay) = n, для некоторого целого n. При этом, мы можем сказать, что (без ограничения общности) х < 0, а значит, по нашим рассуждениям из первой подсказки, {rx} = 1 - {r|x|}. Подставьте это значение в наше уравнение и попробуйте подумать над максимальным и минимальным значением нецелое части.
Подсказка 5
Получим, что b = a{ry} + b{r|x|}. При r бесконечно близком к нулю, получается, что правая часть будет стремиться к нулю, что меньше b. При r бесконечно близким к 1, но меньшим ее, правая часть будет стремиться к a+b, что больше b. Значит, найдется промежуточное значение, при котором в нашем выражении будет достигаться равенство. А значит, для любой пары а и b из второго случая, мы привели пример. Значит, только для xy<0 выполнено требуемое.
Первое решение.
Разобьём плоскость на единичные квадраты линиями целочисленной решетки. Проведем прямую через начало координат
и точку
Поскольку
она имеет рациональный угловой коэффициент и проходит через какой-то узел решетки. Точка вида
— это любая рациональная точка этой прямой. Проведем прямую через такую точку и левый нижний угол той клетки, в которую попала эта
точка. Угловой коэффициент этой прямой равен как раз
Совместим между собой все единичные квадраты, в которых есть точки прямой В полученном квадрате прямая
отобразится
конечным количество отрезков, параллельных исходной прямой.
Предположим, что и
одного знака. Тогда полученные отрезки имеют положительный угловой коэффициент. Один из них выходит
из левого нижнего узла квадрата. Ясно, что из этого узла можно провести луч с положительным рациональным коэффициентом
который пересечет правую сторону квадрата, не встретив по дороге точек ни одного из наших отрезков. Это число
нельзя представить в
нужном виде.
Пусть, наоборот, числа и
разного знака. Тогда наши отрезки имеют отрицательный угловой коэффициент. Один из них выходит из
левого верхнего узла квадрата. Несложно понять, что один из этих отрезков соединяет точку на левой стороне квадрата с точкой на его
нижней стороне. На рациональных точках этого отрезка реализуются все возможные положительные рациональные угловые
коэффициенты!
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение.
Так как в качестве можно взять любое положительное рациональное число, можно считать, что числа
и
целые. В этом случае
замена числа
на его дробную часть не изменит отношения
значит, можно дополнительно считать, что
Наконец, замена
r на
соответствует смене знаков чисел
и
поскольку
Таким образом, достаточно рассмотреть лишь случай, когда — натуральное число.
Пусть также является натуральным числом. Покажем, что уравнение
не имеет решений относительно Домножив на знаменатели и выразив дробную часть через целую, получим уравнение
или, что то же самое,
Но это уравнение не может иметь решений, поскольку левая часть положительна и меньше а правая часть целая. Следовательно, если
числа
и
одного знака, то требуемое
не найдётся.
Пусть является отрицательным целым числом. Достаточно показать, что уравнение
для любых натуральных чисел и
имеет вещественное решение
Тогда
и, значит, является решением линейного уравнения
для некоторого целого и, в частности, должно быть рациональным числом. Домножив уравнение
на знаменатели и
воспользовавшись тем, что
получим уравнение
При правая часть равна нулю и поэтому меньше левой. А при
близких к
обе дробные части также будут
близки к
поэтому правая часть будет близка к
и, в частности, будет больше левой. Следовательно, при некотором
промежуточном
правая часть будет равна левой. Поэтому если числа
и
разных знаков, то требуемое
обязательно
найдётся.
подходят все пары, в которых
Ошибка.
Попробуйте повторить позже
На координатной плоскости дан прямоугольник с целочисленными координатами вершин, отличный от квадрата. Докажите, что можно провести несколько прямых, параллельных сторонам прямоугольника, так, что прямоугольник разобьется на квадраты с целочисленными координатами вершин.
Источники:
Подсказка 1
Давайте сначала "причешем" задачу, чтобы нам было удобнее её решать. Нам дали произвольный прямоугольник с вершинами в целых точках. Тогда как, не умаляя общности, можно его представить на координатной плоскости?
Подсказка 2
Верно, можно изобразить прямоугольник с одной из вершин в начале координат O, потому что иначе сделаем сдвиг на соответствующий вектор, и ничего не поменяется. Давайте теперь решать задачу на языке векторов. Введите обозначения для координат вершин прямоугольника. Как теперь можно записать условие перпендикулярности смежных сторон с точкой O?
Подсказка 3
Ага, на языке векторов это будет значить, что их скалярное произведение равно 0. Отлично, уже что-то! Теперь нужно как-то воспользоваться целостностью координат. Попробуем разобрать два случая, когда координаты точек взаимно просты и когда это не так. Давайте сначала рассмотрим первый случай. Почему в этом случае можно сказать, что наш исходный прямоугольник это квадрат?
Подсказка 4
Пусть координаты вершин были (p;q) и (m;n). Тогда из прошлой подсказки мы знаем, что pm + qn = 0, а из взаимной простоты получаем, что p = ±n, q = ±m. В этом случае всё понятно. Пусть теперь НОД(p;q) = k. Тогда какие координаты точек на одной стороне хорошо бы рассмотреть? Аналогично с другими координатами.
Подсказка 5
Верно, давайте рассмотрим координаты точек (pi;qi), где i = 1, 2, 3,..., k-1, и проведём через них прямые, параллельные стороне OB. Они пересекут в каких-то точках противоположную сторону прямоугольника, причём для них выполняется определённое равенство для векторов. Теперь если же m и n взаимно просты, то проделайте те же действия. Осталось только понять, почему это решает задачу и аккуратно довести её до конца.
Пусть — данный прямоугольник. Без ограничения общности можно считать, что
— начало координат: иначе сместим начало
координат в точку
а в конце сделаем сдвиг на целочисленный вектор
Обозначим векторы
где
,
— целые числа. Поскольку
и
взаимно перпендикулярны, их скалярное произведение равно нулю, т.е.
(этот факт также следует из соотношения для угловых коэффициентов перпендикулярных прямых
и
).
Рассмотрим сначала случай, когда и
не взаимно просты. Тогда
НОД(
В этом случае рассмотрим
на стороне
промежуточные точки
где
Проведём через точки
прямые,
параллельные стороне
Они пересекут сторону
в точках
где
Таким образом, точки и
имеют целочисленные координаты и тем самым, прямые
разбивают прямоугольник
на
прямоугольников с целочисленными вершинами. Назовем это разбиением первого
типа.
Аналогично, если и
не взаимно просты, то прямыми, параллельными стороне
разобьем
на меньшие
прямоугольники с целочисленными вершинами. Назовем это разбиением второго типа; прямые этого разбиения проходят через
промежуточные точки
на стороне
где
а
— наибольший общий делитель
и
Заметим, что в случае, когда одновременно
и
прямые первого и второго разбиений разбивают
прямоугольник
на
равных прямоугольников с вершинами в точках
где
т.е. все вершины имеют целочисленные координаты.
Итак, приходим к случаю, когда координаты каждого из векторов взаимно просты. Но тогда из равенства
получим, что
(действительно, из этого равенства следует, что
делится на
и, в то же время,
делится на
значит,
аналогично,
с учетом знака в данном равенстве). В этом случае стороны прямоугольника
равны:
и наш прямоугольник квадрат.
Ошибка.
Попробуйте повторить позже
На клетчатой плоскости нарисован целый выпуклый многоугольник Ни одна из его сторон не идёт по вертикали или горизонтали.
Докажите, что сумма длин вертикальных отрезков линий сетки, заключённых внутри
равна сумме длин горизонтальных отрезков линий
сетки внутри
Докажем, что каждая из рассматриваемых величин равна площади многоугольника Проверим это для суммы длин
горизонтальных отрезков. Проведём эти отрезки. Тогда
разобьётся на два треугольника и несколько трапеций, причём высоты
этих фигур будут равны
Осталось выразить площади этих фигур через основания и высоты по известной формуле и
сложить. Видно, что каждый горизонтальный отрезок войдёт в сумму два раза, то есть с коэффициентом единица, что и
требовалось.
Ошибка.
Попробуйте повторить позже
На клетчатой плоскости отмечены узлы клетчатого прямоугольника (всего отмечено
узлов). Множество параллельных
прямых называется удачным, если на каждой из прямых этого множества лежит хотя бы один отмеченный узел и каждый отмеченный узел
лежит на прямой этого множества. Дано удачное множество из
прямых, параллельных некоторой прямой
Найдите количество
элементов в множестве удачных прямых, перпендикулярных
Заметим, что какая-то прямая пересекает прямоугольник хотя бы по двум точкам. Тогда угловой коэффициент всех прямых рационален. Не
нарушая общности, можно считать, что он положителен (иначе можно просто сделать симметрию относительно оси ординат). Пусть он
равен где
— натуральные числа, и
Обозначим через
количество прямых из нашего множества, которые пересекают
прямоугольник ровно по
целым точкам. Тогда нам известно, что
Мы знаем, что
Заметим, что если прямая проходит через
целых точек прямоугольника, то она проходит ровно через
пару соседних
целых точек прямоугольника (то есть точек
таких, что
,
). Заметим, что всего
таких пар точек в нашем прямоугольнике ровно
(можно считать, что меньшая сторона прямоугольника
параллельна оси ординат). Но с другой стороны из нашего наблюдения следует, что их ровно
Тогда имеем
равенства
вычитая равенства, получаем, что
откуда причем
и
Тогда возможны варианты
или
Тогда либо
или
По аналогичным соображениям мы знаем, что количество прямых в
удачном множестве, перпендикулярном данному, равно
Тогда в множестве может быть либо
прямых, либо
прямых.
или
прямых
Ошибка.
Попробуйте повторить позже
Прямая на координатной плоскости не параллельна осям координат. При каком наименьшем
можно утверждать, что расстояние от
некоторой точки с целыми координатами до прямой
не превосходит
Прямая образует с одной из осей координат угол, не превосходящий
поскольку сумма углов между прямой
и осями координат
равна
Пусть для определённости угол с осью абцисс не превосходит
обозначим его через
Нарисуем сетку,
образованную прямыми
и
при всех целых
Она разбивает плоскость на единичные квадратики. Рассмотрим
квадратик, который пересекает прямая
Тогда она пересекает одну из горизонтальных сторон. Их точка пересечения
делит сторону на две части. Рассмотрим меньшую из них, соответствующую ей вершину квадратика обозначим через
Тогда Расстояние от точки
до прямой
равно длине перпендикуляра, опущенного из точки
на
значит, оно равно
Легко видеть, что расстояние от любой точки с целыми координатами до прямой не меньше
Этот пример подтверждает
точность полученной оценки.
при
Ошибка.
Попробуйте повторить позже
В выпуклом многоугольнике на плоскости содержится не меньше точек с целыми координатами. Докажите, что в нём найдутся
точек с целыми координатами, которые лежат на одной прямой.
Источники:
Подсказка 1
Ясно, что надо использовать принцип Дирихле. Попробуем использовать пары остатков по модулю m. Всего таких m². Какой вывод можно сделать?
Подсказка 2
Точно! Найдутся две пары остатков, в которых первые и вторые компоненты сравнимы по модулю m. То есть можно найти в многоугольнике пары (x,y), (z,w) такие, что (x-z) и (y-w) делятся на m. Как теперь получить нужное количество точек на прямой?
По принципу Дирихле среди точек с целыми координатами найдутся такие две точки
и
что
и
Тогда точки
имеют целые координаты и лежат на одном отрезке между точками и