ЮМШ - задания по годам → .02 ЮМШ 2020
Ошибка.
Попробуйте повторить позже
На карточках написали по
чисел, сумма на каждой карточке равна
. Оказалось, что любой набор из
неотрицательных чисел с
суммой 1 можно получить, уменьшив некоторые числа на одной из карточек (наборы неупорядоченные). Пусть
— наименьшее
,
при котором это возможно.
2. Докажите, что найдется такое, что
.
4. Ограничена ли последовательность ?
Источники:
1. Пример: наборы ( ) и (
).
Оценка. Ясно, что должен быть набор, содержащий 1, чтобы мажорировать ( ), и набор, в котором оба числа больше
, чтобы
мажорировать
. Если это одна и та же пара, то сумма уже
. Если разные, то посмотрим на набор
: чтобы набор
мажорировал его, должно быть
, а чтобы набор с парой чисел, больших
мажорировал — это должен быть набор, как минимум
. Легко видеть также, что указанный набор подходит.
_________________________________________________________________________________________________________________________________________________________________________________
2. Рассмотрим все возможные способы записать число в виде суммы положительных рациональных дробей со
знаменателем
(не обязательно несократимых). Очевидно, что это количество конечно, его и обозначим за
— записав все
соответствующие наборы на карточки, убедимся, что такой набор карточек подходит. Действительно, рассмотрим любой набор с
единичной суммой. Заменим в нём каждое число на ближайшую сверху дробь со знаменателем
. При таком округлении
сумма увеличится не более, чем на
, значит получится один из наших наборов или аналогичный
набор с меньшей суммой. Произвольно увеличив числители некоторых дробей так, чтобы сумма стала равной
,
мы превратим набор в числа на одной из карточек, которая, таким образом, мажорирует исходный набор с единичной
суммой.
_________________________________________________________________________________________________________________________________________________________________________________
3. Рассмотрим, например, следующую пару наборов:
Сумма в каждом равна , это даже меньше,чем 1,71 , а
. Проверим, что эта пара наборов мажорирует все
нужные четвёрки. Ясно (*), что в упорядоченной тройке с суммой
среднее число - не больше, чем
, а малое - не
больше, чем
; аналогичное верно для четвёрок. Действительно, если максимальное число в четвёрке больше
, то
второе по величине - не больше,чем
, третье не больше
а самое маленькое не больше
, значит такая четверка
мажорируется вторым набором. Аналогично, если максимальное число не больше, чем
, то оно мажорируется первым
набором.
_________________________________________________________________________________________________________________________________________________________________________________
4. Вычислим . Как уже отмечалось, для всякого
должна быть карточка, в которой
-ое по величине число не
меньше, чем
. Если карточка всего одна, то сумма на этой карточке, таким образом, не меньше
. С другой
стороны, карточка
, очевидно, подходит, т.к. в наборе с единичной суммой
-ое по величине число не больше
, так что
. Теперь рассмотрим произвольную пару натуральных чисел
, соотношение
между которыми мы уточним позднее, и предъявим два набора, вдвоём мажорирующих все наборы с единичной суммой: а
именно
и
Действительно, рассмотрим любой упорядоченный по убыванию набор ( ) с единичной суммой. Ясно, что
при любом
и поэтому первая карточка мажорирует любой набор с единичной суммой, в котором все числа не превосходят
.
Пусть, напротив, . Тогда для любого
имеем
Поэтому любой набор с мажорируется второй из наших карточек.
Осталось убедиться, что разность между и максимумом из сумм в этих двух наборах может быть сделана (при
подходящем выборе
и
) сколь угодно большой. Действительно, сумма на первой карточке отличается от
на
и эта величина при достаточно больших может быть сделана, как известно, сколь угодно большой. Теперь зафиксируем произвольное
и посмотрим на вторую карточку: сумма чисел на ней меньше, чем
, на
Поскольку выражение в скобках при фиксированном и неограниченном
может быть сделано сколь угодно большим, то можно
выбрать
так, что эта разность будет больше разности между
и первой суммой, которая одним лишь выбором
может
быть сделана сколь угодно большой для произвольного
. Утверждение доказано, последовательность из условия не
ограничена.
Ошибка.
Попробуйте повторить позже
Две окружности, вписанные в угол с вершиной , пересекаются в точках
и
. Через
проведена прямая, пересекающая меньшую
окружность в точке
, а большую — в точке
. Оказалось, что
.
1. Пусть и
совпали с точками касания окружностей и угла. Докажите, что угол
прямой.
2. Пусть и
совпали с точками касания окружностей и угла. Чему может быть равен угол
?
3. Докажите, что если прямой, то
и
совпадают с точками касания окружностей и угла.
4. Какие значения может принимать угол , где
— центр меньшей окружности?
Источники:
1. Треугольник прямоугольный (медиана — половина гипотенузы). Значит, сумма дуг
и
соответствующих
окружностей равна
, а сумма соответствующих углов между хордой и касательной
, поэтому
.
_________________________________________________________________________________________________________________________________________________________________________________
2. Треугольник равносторонний
и
по симметрии. Отсюда симметричные отрезки
образуют со сторонами углы, равные
и этому же равен
(т.к.
).
_________________________________________________________________________________________________________________________________________________________________________________
3. Выполним инверсию относительно окружности с центром в
и радиусом
. Имеем
, и наши две
окружности превращаются в прямые
, образующие прямой угол, а стороны исходного угла - в пару окружностей, вписанных в этот
угол, перпендикулярных друг другу (как и соответствующие прямые до инверсии) и пересекающихся в точках
.
Вычислим отношение их радиусов — это легко делается применением теоремы Пифагора к треугольнику
со сторонами
(здесь
— центры новых окружностей,
- радиусы). Получается
; будем считать
.
Введём связанную с нашим прямым углом систему координат, тогда центры имеют координаты и
, а точки
касания —
. Середина
— это
, и, считая расстояния от неё до
и
, убеждаемся, что это точка пересечения наших окружностей,как и середина
. Значит, эти середины — точки
.
Поскольку
не лежит на биссектрисе угла, то прямая, из которой наш угол высекает отрезок с серединой
, единственна, так что
соответствующая пара точек
совпадает с парой
.
_________________________________________________________________________________________________________________________________________________________________________________
4. Исполним ту же самую инверсию, что и в предыдущем пункте, вновь получим прямой угол и вписанную в него пару окружностей.
Прямая пересекает стороны угла под 45 градусов, значит, то же делает эта же прямая
с исходными
окружностями. Поэтому и угол
(
— центр меньшей окружности) равен
.
Ошибка.
Попробуйте повторить позже
В этом сюжете разрешается использовать (без обоснования) так называемую малую теорему Ферма, гласящую, что для всякого целого числа
и простого натурального числа
справедливо соотношение:
делится на
без остатка.
_________________________________________________________________________________________________________________________________________________________________________________
Итак, — простое число. Маша должна понять, есть ли среди чисел
значения, дающие одинаковые остатки от деления на .
1. Пусть . Докажите, что искомая пара найдётся.
2. Пусть . Докажите, что найдётся искомая пара, содержащая одно из крайних чисел.
3. Докажите, что искомая пара найдётся при .
4. Докажите, что искомая пара найдётся, если , а
- простое.
1. По МТФ , но в то же время и
.
_________________________________________________________________________________________________________________________________________________________________________________
2. Если , то всё ясно. Если
, то остальное как в предыдущем пункте. Иначе же
. Например, потому что
из МТФ
, значит,
Тогда
______________________________________________________________________________________________________________________________________________________
3. Случаи разбираются руками. Дальше, аналогично предыдущим пунктам, если
, то всё ясно. Иначе
,
а тогда для
Если бы остатки не повторялись, каждый бы встречался по разу, и тогда их сумма была бы равна 0 . Но тут, как мы видим, их сумма равна
_________________________________________________________________________________________________________________________________________________________________________________
4. Предположим, что все остатки различны. Посмотрим на порядки 2 и 3 по модулю . (Порядок
по модулю
-
минимальное натуральное
такое, что
(или числитель соответствующей несократимой дроби,если
- дробь)
кратно
; это
мы будем обозначать
.) По МТФ они могут быть равны лишь
. Первые два
случая проигнорируем, а случаи, когда хотя бы один из порядков равен
, идентичны разобранным в пунктах 1 и 3 .
Пусть порядки
, в частности все остатки
, различны (иначе, если
и
дают одинаковые остатки, то
, а значит и
, кратно
, но
) и найдётся такое
, что
. Отметим также, что в
этом случае
, так что если при некотором
имеем
, то и
, так
что нарушается условие различности остатков. Поэтому в нашей последовательности встречаются по разу все ненулевые
остатки.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма 1. Пусть простое и
таково, что для любого
число
и остаток
от деления на
имеют
разную чётность. Тогда
.
Следствие 1. Пусть простое,
нечётное,
не кратно
. Тогда найдется
такое, что
обоих чисел
остатки по
модулю
заключены строго между
и
.
Доказательство. Действительно, попробуем в качестве все числа от 1 до
. Пусть все пары
не подошли, т.е. все
имеют остатки по модулю
, большие
. Это значит, что чётность остатка
по модулю
противоположна четности
остатка
по модулю
(
- нечётно), а она совпадает с четностью
(т.к.
нечётно), и мы попадаем в условия
леммы.
_________________________________________________________________________________________________________________________________________________________________________________
Подберём по следствию 1 такое , что
при делении на
имеет остаток меньше
, назовём этот остаток
делится на
.
Теперь изучим сумму по модулю
. С одной стороны, выражение в скобках пробегает все ненулевые остатки, а
число
не кратно
, так что эту сумму можно посчитать как сумму геометрической прогрессии с
неединичным знаменателем
, и она равна нулю.
Посчитаем эту же сумму другим способом. Раскрыв все скобки по биному, перегруппировав слагаемые и переставив множители в
показателях степеней, мы получим сумму геометрических прогрессий вида . Докажем, что ровно одна из
этих прогрессий постоянна, а значит, ровно одно из указанных выражений ненулевое (тут надо отметить, что
,
так что
, поэтому появляющиеся биномиальные коэффициенты не кратны
). Это даст требуемое
противоречие.
Действительно, при получаем, учитывая
, что
, т.к.
делится на
. С другой
стороны, если
, при некотором
то, деля, получаем
то есть
. Получаем, что
, значит
равен 1 или 2 , что может быть лишь при
; этот случай проверяется
непосредственно.