Алгебраические текстовые задачи на Высшей пробе
Ошибка.
Попробуйте повторить позже
Через будем обозначать точку с координатами
(все такие лежат на окружности радиуса 1 с центром в
начале координат). Выбрали произвольный угол
и провели хорды
(на шаге
номер
проводится хорда
Если хорда уже была проведена — она не проводится второй раз.
Оказалось. что все проведенные хорды не пересекаются иначе чем по концам. Докажите, что всего проведено конечное число
хорд.
Источники:
Подсказка 1
Давайте введем функцию, выражающую расстояние между двумя точками на окружности.
Подсказка 2
Обозначим целую часть числа x за {x} и введем функцию <x>. При {x} ≤ 1/2: <x> = {x}. При {x} > 1/2: <x> = 1 - {x}. Тогда, например, если длина дуги между точками a и b равна φ, то длина дуги между 2022a и 2022b равна <2022φ>. Теперь подумайте, какому условию должны удовлетворять наши точки.
Подсказка 3
Для краткости будем обозначать точку P(2022ⁿφ) за Pₙ. Заметьте, что точки не могут повторяться.
Подсказка 4
Действительно, если m > n и Pₘ = Pₙ, то выполнялось бы Pₘ₊₁ = Pₙ₊₁, Pₘ₊₂ = Pₙ₊₂ и т.д.. Получилось бы, что число хорд — конечно. Поэтому будет считать, что каждая новая точка попадает строго между ранее поставленными.
Подсказка 5
Введем понятие активной дуги n-го шага. Для натурального n = 1 будем ей считать ту из двух дуг P₀P₁, на которую попадает P₂. Заметьте, что тогда все точки Pₙ лежат на активной дуге первого шага.
Подсказка 6
Действительно, пусть все точки от 2 до m лежат на активной дуге первого шага, а (m + 1)-я — не лежит. Тогда хорды P₀P₁ и PₘPₘ₊₁ пересекаются. Теперь предположим, что мы индукцией по n доказали, что все точки Pₘ попадают на активную дугу n-го шага при m > n. Попробуйте определить активную дугу (n + 1)-го шага.
Подсказка 7
Pₙ₊₁ лежит на n-ой активной дуге, значит, делит ее на 2 части. На одну из этих частей попадает точка Pₙ₊₂ — эту часть и будем называть активной дугой (n + 1)-го шага. Что нам осталось для того, чтобы индукция сработала?
Подсказка 8
Все точки Pₘ должны лежать на этой дуге при m ≥ n + 2.
Подсказка 9
Концы дуги - это какие-то из предыдущих точек P, следовательно, есть фрагмент ломаной, соединяющий их. Какой вывод можно сделать?
Подсказка 10
Если Pₘ еще лежит на дуге, а Pₘ₊₁ — уже нет, и Pₘ₊₂ не совпадает ни с одной из предыдущих точек P, то PₘPₘ₊₁ пересекается с указанным фрагментом ломаной. А что можно сказать про отношение между активными дугами?
Подсказка 11
Каждая следующая активная дуга является подмножеством предыдущей. Давайте обозначим через φₙ длину активной дуги, а через ψₙ — длину дуги Pₙ₋₁Pₙ (той, которая лежит внутри активной). Что можно сказать про отношение этих величин?
Подсказка 12
Или φₙ = ψₙ, или φₙ = φₙ₋₁ - ψₙ. Что можно сказать о последовательности {φₙ}?
Подсказка 13
Это невозрастающая последовательность положительных чисел, следовательно, имеет предел. Докажите, что это невозможно. Что если, например, предел равен нулю?
Подсказка 14
Тогда нулю будет равен и предел {ψₙ}, так как ψₙ ≤ φₙ₋₁. Заметьте, что ψₙ₊₁ = <2022ψₙ>.
Подсказка 15
Если ψₙ ≤ 1/4044, то ψₙ₊₁ = 2022ψₙ. Кроме того, ψₙ всегда не равно нулю. Почему?
Подсказка 16
Потому что иначе две точки бы совпали. Какой ε можно выбрать, чтобы доказать, что 0 не является пределом?
Подсказка 17
Если ε = 1/4044, то в последовательности встречаются члены, большие ε, со сколь угодно большими номерами. Теперь предположим, что предел равен положительному числу а.
Подсказка 18
Так как φₙ равно ψₙ или φₙ₋₁ - ψₙ, последовательность ψₙ разбивается на две подпоследовательности. Чему равны их пределы?
Подсказка 19
Их пределами будут 0 и a. Кроме того, по доказанному ранее, вторая (у которой предел — a) будет иметь бесконечное число членов.
Подсказка 20
Попробуйте рассмотреть некоторое преобразование (в нем используется <x>) и сделать вывод о точке а.
Подсказка 21
Для преобразования ψ → <2022ψₙ> a будет неподвижной точкой. Запишите отношение между a, ψₙ и ψₙ₊₁.
Подсказка 22
Если |ψₙ - a| ≤ 1/4044, то |ψₙ₊₁ - a| = 2022|ψₙ - a|. Будем думать о 0 и a как о двух пределах. Надо вновь подобрать ε.
Подсказка 23
Что, если взять ε < a/2022?
Подсказка 24
Начиная с некоторого номера, ψₙ должны будут попадать в ε-окрестность одного из пределов. А что случится при переходе от ψₙ к ψₙ₊₁?
Нам будет полезен аналог целой части выражающий для двух чисел с разностью
расстояние по окружности между образами
этих чисел, если намотать числовую прямую на единичную окружность: будем говорить, что
при
и
при
(здесь
обозначает обычную целую часть числа
). Тогда, например, если длина дуги между точками
и
равна
то длина дуги между
и
равна
Для краткости точку будем обозначать просто
Заметим, что точки не повторяются: если бы оказалось, что
при
то выполнялось бы
и т.д., тогда число хорд было бы конечным. Итак, каждая новая точка
попадает строго между ранее поставленными.
Определим по индукции понятие активной дуги -го шага. Для натурального
будем ей считать ту из двух дуг
на
которую попадает
. Заметим, что тогда все точки
лежат на активной дуге первого шага. В самом деле, пусть
все точки от 2 -й до
-й лежат на активной дуге 1 -го шага, а
-я там не лежит. Тогда хорды
и
пересекаются.
Теперь предположим, что мы уже индукцией по доказали, что все точки
попадают на активную дугу
-го шага при
Определим активную дугу
-го шага.
лежит на
-й активной дуге, значит, делит ее на две части. На одну из этих частей
попадает точка
— эту часть и будем называть активной дугой
-го шага. Тогда чтобы индукция работала нам осталось доказать,
что все точки
лежат на этой дуге при
Понятно, что концы дуги — это какие-то из предыдущих точек
значит есть
фрагмент ломанной, соединяющий их. Значит, если
еще лежит на дуге, а
— уже нет, и
не совпадает ни
с одной из предыдущих точек
(что упоминалось ранее) — значит,
пересекается с указанным фрагментом
ломаной.
Как легко видеть, каждая следующая активная дуга является подмножеством предыдущей. Более того, обозначим
через длину активной дуги, а через
— длину дуги
(той из двух, которая лежит внутри активной). Тогда
или
(1) |
Поскольку — невозрастающая последовательность положительных чисел, она имеет предел. Докажем, что этого не может
быть.
Если предел равен нулю, то нулю же равен и предел последовательности поскольку
Но заметим, что
То есть если
то
Кроме того,
всегда не равно нулю (иначе две точки совпали).
Значит, для
в последовательности встречаются члены, большие
со сколь угодно большими номерами — ноль не является
пределом.
Пусть предел равен положительному числу Тогда по
последовательность
разбилась на две подпоследовательности,
предел одной равен нулю, предел другой —
, причем, по доказанному выше, вторая содержит бесконечное число членов.
Заметим, что
— неподвижная точка преобразования
Тогда аналогично
если
Выберем будем говорить о числах 0 и
как о двух пределах. Начиная с какого-то номера все
должны попадать в
-окрестность одного из двух пределов. Но тогда при переходе от
к
расстояние до предела будет расти в 2022
раза - рано или поздно
выскочит из
-окрестности текущего предела и еще не дотянется до
-окрестности другого
предела.
Ошибка.
Попробуйте повторить позже
Дано несколько вещественных чисел, по модулю не превосходящих Сумма всех чисел равна
Докажите, что из них можно выбрать
несколько чисел так, чтобы при некотором натуральном
сумма выбранных чисел отличалась от
не более чем на
Источники:
Подсказка 1
Обозначим данные k чисел за x₁, x₂, ... , x_k. Давайте, например, поймем, что нам дает условие на модуль.
Подсказка 2
Можно без ограничения общности считать, что сумма чисел у нас положительная. Хорошо, нас просят выбрать несколько чисел, а какие это могут быть числа? Важен ли нам их порядок?
Подсказка 3
Нам ведь могут от примера к примеру мешать числа, как угодно, давайте тогда для удобства рассматривать подряд идущие. Как можно переформулировать условие задачи? Какие числа мы ищем?
Подсказка 5
У нас n - натуральное, давайте рассмотрим наименьшие индексы m_1, m_2, ... , m_99, такие, что x₁ + x₂ + ... + xₘ_₁ ≥ S/100, x₁ + x₂ + ... + xₘ_₂ ≥ 2*S/100 и так далее. Как они могут нам помочь в оценке? Может, нам чего-то еще не хватает? Вспомните, что мы хотим доказать.
Подсказка 6
Доопределим разность суммы каждой последовательности и соответствующей ей оценки: aᵢ = x₁ + x₂ + ... + xᵢ - i*S/100. Кстати, все ли они определены? А можем ли мы как-то оценить величину каждой aᵢ?
Подсказка 7
mᵢ и aᵢ определены, так как по крайней мере для k при любом i выполняется x₁ + x₂ + ... + x_k = S ≥ i*S/100. Давайте формально доопределим m₀ = 0 и a₀ = 0. Выбранные нами индексы были первыми для своего условия, а также все xᵢ по модулю не превосходят 1, следовательно, значения aᵢ лежат в отрезке [0;1]. А можем ли мы сжать этот отрезок для удобства и попробовать оценить разницу между какими-нибудь aᵢ и aⱼ, где i ≠ j? Какое неравенство мы хотим получить по условию задачи?
Подсказка 8
Преобразуйте неравенство и подумайте, какое n можно взять, чтобы получившаяся последовательность была искомой.
Подсказка 9
Несколько ранее мы предположили, что отрезок величин aᵢ можно сжать для получения искомой оценки, а если для некоторого i a_i попадает в отрезанный кусок? Какое множество чисел может быть искомым?
Подсказка 10
Подумайте, как доказать, что в таком случае набор чисел x₁, x₂, ... , x_(m_i-1) нам подойдет.
Обозначим данные чисел через
Без ограничения общности будем считать, что
Если это не так, то будем
доказывать утверждение задачи для чисел
с положительной суммой. Из него будет следовать утверждение исходной
задачи.
Докажем, что среди данных чисел существует набор из подряд идущих, удовлетворяющих неравенству из условия. То есть найдутся
такие натуральные и
что подмножество
— искомое.
Обозначим через первый индекс, для которого
через — первый индекс, для которого
и так далее:
по всем от
до
Рассмотрим также разности
Заметим, что и
определены, поскольку по крайней мере для
выполняется неравенство
для любого Формально доопределим:
и
Заметим теперь, что так как выбранные нами индексы
были первыми для своего условия и так как все числа
по модулю не превосходят
то все
лежат на отрезке
Предположим, все лежат на отрезке
Тогда, так как чисел
всего
(для
от
до
найдутся два индекса
и
для которых
Без ограничения общности
Тогда
по определению чисел
Получаем:
или, что то же самое,
Заметим, что можно взять поскольку
и
Тем самым, числа
—
искомые.
Пусть теперь для некоторого разность
попала на полуинтервал
Докажем, что в этом случае подмножество
— искомое. Для этого достаточно показать, что
Второе неравенство следует из определения ведь
— это первый индекс, для которого сумма стала не меньше
Первое
неравенство равносильно следующему:
Но
и это больше так как
и