ЮМШ - задания по годам → .06 ЮМШ 2024
Ошибка.
Попробуйте повторить позже
Цель этого сюжета — доказательство следующего утверждения:
Пусть — нечётное простое чисто. Докажите, что существует ровно
упорядоченных четвёрок
натуральных чисел,
для которых
и
.
Если — остаток по модулю
, то назовём четвёрку (
), удовлетворяющую условиям выше,
-четверкой, если
(mod
).
1. Докажите, что если -четвёрка существует, то
.
2. Докажите, что для данного существует не более одной
-четвёрки.
3. Докажите, что если -четверка существует, то
-четвёрки не существует.
4. Докажите, что для всякого существует либо
-четвёрка, либо
-четвёрка.
Источники:
1. Пусть существует -четверка
при
. Тогда
(mod
). Получаем, что
.
Тогда либо
, либо
делится на
. Тогда либо
,
. В первом случаем получаем, что
. Во втором
же
. Получаем, что
-четверки не существует.
Пусть существует -четверка
при
. Тогда
(mod
). Получаем, что
. Тогда либо
, либо
делится на
. Тогда либо
,
(
, поскольку
). В первом случаем
получаем, что
. Во втором же
. Получаем, что
-четверки тоже не
существует.
2. Пусть ,
— две четверки, удовлетворяющие условиям с одним и тем же
. Тогда
(mod
),
аналогично
(mod
). Т.е.
,
кратны
.
Предположим, что эти разности одновременно не равны нулю. Пусть не умаляя общности , тогда
, т.е.
и тем более
. Отсюда получаем, что
откуда (т.к.
кратно
)
получаем
— противоречие.
Пусть теперь одна из исходных разностей равна нулю (не умаляя общности ). Отметим, что из равенств
следует взаимная простота
и
,
и
. Поэтому из равенства
следует, что
и
,
а из него —
. В силу взаимной простоты
и
имеем
,
. При
это
противоречит условию
, при
— условию
. Значит
,
,
— четверки полностью
совпадают.
3. Пусть ,
— две четверки, удовлетворяющие условиям с
и c
соответственно. Тогда
(mod
), аналогично
(mod
). Т.е.
,
кратны
.
Пусть , а значит
, тогда, аналогично прошлому пункту,
— противоречие с
делимостью на
. Значит
и, аналогично
,
,
. Тогда
, поэтому из делимости
и аналогично
.
Предположим теперь, не умаляя общности, что — наибольшее из чисел. Вычитая из
равное ему
, получаем
, откуда из взаимной простоты
и
получаем, что
делится на
— противоречие с тем, что
,
.
4. Рассмотрим на плоскости множество всех векторов с целыми координатами
такими, что
(mod
) или
. Отметим, что это множество вместе с каждым вектором
содержит также и
. Рассмотрим в нашем множестве
вектор с минимальной суммой координат. В силу замечания выше можно считать, что вектор
, где
,
(на осях
координат и на биссектрисах углов между ними такой вектор лежать не может, поскольку
), если
(mod
), то
переобозначим
и
. Предположим пока, что
. Рассмотрим прямую
с уравнением
. Будем искать точку
на этой прямой такую, что
— тогда четверка
и будет искомой. Заметим, что если
, то
.
Прямая где-то пересекает прямую
. Пусть точка
с целыми
лежит выше прямой
, а точка
— (нестрого) ниже.
Во-первых, проверим, что . В самом деле, в противном случае
. Из выбора вектора
имеем
. Если
, то
— противоречие. Если же
,
то
— снова противоречие.
Итак, . Поскольку
, имеем
. Если
, то
и обе координаты
вектора
по модулю не больше, чем
— это опять противоречит выбору
. Значит,
и
. Теперь выберем наибольшее
целое неотрицательное
, при котором
. Ясно, что это неотрицательное значение строго меньше, чем
. Тогда вектор
и есть искомый вектор. Действительно, все нужные неравенства уже установлены, осталось только
исключить случай
, но в таком случае из уравнения прямой
получаем
,
, что
невозможно в силу того, что
,
.
Наконец обратимся к случаю . В этом случае обозначим
,
и построим точно так же четверку
со всеми
нужными свойствами, но такую, что, наоборот
(mod
). В этом случае, очевидно,
будет
-четверкой, что нам
подходит.
Ошибка.
Попробуйте повторить позже
Дан граф на
вершинах: сопоставим каждой вершине
переменную
. Пусть
— множество остовных
деревьев графа
(то есть поддеревьев, содержащих все вершины). Рассмотрим остовный многочлен от
переменных
Назовем связный граф хорошим, если раскладывается на линейные множители (в частности, если
— тождественный
ноль), иначе плохим.
1. Найдите , где
— полный граф на 4 вершинах.
2. Докажите, что цикл на пяти вершинах является плохим графом.
3. Пусть — хороший граф,
— некоторое подмножество его вершин. Граф
состоит из всех вершин, лежащих в
, и всех ребер
графа
, соединяющих эти вершины. Докажите, что граф
тоже хороший.
4. Назовём раздвоением вершины операцию, добавляющую в граф вершину
, соединенную ровно с теми же вершинами, что и
.
Докажите, что граф, получающийся из одной вершины операциями добавления висячей вершины, раздвоения вершины с добавлением ребра
и раздвоения вершины без добавления ребра
, является хорошим.
Источники:
1. В полном графе на четырех вершинах есть только 2 вида остовных деревьев: 1) цепь длины 4; 2) три вершины, "висящие"на четвертой.
Каждое дерево первого вида даст в остовный многочлен одночлен ,
, причем каждый одночлен будет представлен 2
раза.
Каждое дерево второго вида даст в остовный многочлен одночлен , где
— "вершина"остова.
В итоге получим многочлен:
2. Распишем . Поскольку многочлен
линеен по каждой переменной, получаем,
что каждая из переменных живет только в одной из скобок. Тогда переменные вынуждены разбиться на скобки 2-2-1 или 3-1-1, что дает нам
не более четырех мономчиков, противоречие.
3. Давайте сначала заметим, что можно последовательно выкидывать вершины по одной с сохранением связности, если связно. (Если
несвязно, то просто 0 получится и все).
Для этого нужно подвесить за и поочередно удалять вершины с самого нижнего уровня. Теперь нужно понять, что при удалении
только одной вершины
граф остается хорошим. Для этого подставим 0 в
. Получим, что все слагаемые, в которые
входило в хотя
бы первой степени, обнулились, а значит остались в точности те, где
— висячая вершина. А все такие деревья устроены так: выбрано
дерево в графе
, и потом одна из вершин из окрестности
соединена с
. Тогда многочлен после подстановки нуля равен
. Подстановка нуля сохраняет раскладываемость на множители, значит
тоже раскладываемый,
значит, при удалении вершины
граф останется хорошим.
4. Сначала докажем вспомогательный факт про такой тип графов.
Лемма о раздвоении без добавления ребра. Пусть дан граф на
вершинах. Рассмотрим граф
, полученный из
добавлением вершины
и соединением ее со всеми вершинами из
, но не самой
. Тогда
Доказательство. Давайте заметим, что любое дерево в графе устройство следующим образом — на всех вершинах, кроме
,
берется некоторый лес, такой, что в каждой компоненте есть хотя бы одна вершина из
, и потом вершина
соединяется с ровно
одной вершиной из каждой компоненты. Обозначим за
множество всех таких лесов, за
— число компонент связности в лесу
, и назовем
пересечения множеств
с компонентами связности леса
. Тогда из рассуждений
выше
Теперь давайте поймём, как устроены деревья в . Там мы тоже берём лес, который содержит все вершины, кроме
,
, и
такой, что каждая его компонента содержит хотя бы одну вершину из
, после чего одна из долей соединяется с обеими вершинами
из
и
, а каждая из остальных
долей — с ровно одной из этих вершин. Тогда в тех же обозначениях получается,
что
Теперь очевидно, что второй сомножитель равен , и лемма доказана.
________________________
Пусть - граф из леммы 1. Мы в лемме 1 уже выяснили как устроены деревья в графе
, поэтому нужно разобраться с тем, как они
устроены в
. Заметим, что они устроены так: мы снова берем лес с такими же условиями, а дальше делаем одно из двух -
либо не проводим ребро между
и
, и это слагаемое такое же как в
, либо проводим, и тогда каждую из
долей соединяем с ровно одной из этих вершин. Стало быть, сумма всех первых слагаемых даст нам
, а сумма вторых
равна
Тогда получается, что
доказали требуемое.
Ошибка.
Попробуйте повторить позже
Будем называть треугольник вписанным в треугольник
, если точки
,
,
находятся на сторонах
,
,
соответственно.
1. Докажите, что если отрезок параллелен отрезку
, то описанные окружности треугольников
и
пересекаются на
прямой
.
2. Оказалось, что ,
. Докажите, что точка, симметричная
относительно
, лежит на пересечении описанных
окружностей треугольников
и
.
3. Пусть . Средняя линия треугольника
, параллельная
, пересекает
и
в точках
и
соответственно. Докажите, что точка
,
,
,
лежат на одной окружности.
4. В треугольник вписан треугольник
, гомотетичный треугольнику
. Докажите, что описанная окружность
треугольника
касается описанной окружности
тогда и только тогда, когда касается описанной окружности
.
1. Пусть — вторая точка пересечения описанных окружностей
и
. Поскольку четырехугольник
описанный, то
. Четырехугольник
также описанный, значит
.
Поскольку , то
.
Получаем, что . Тогда
,
,
лежат на одной прямой.
2. Поскольку треугольники и
равнобедренные, то
и
. Тогда
Также из определения (точка, симметричная
относительно
) следует, что
Получается, что лежит на описанной окружности
.
Из определения как симметричной точки:
Значит, и
лежат на одной окружности с центром в
а
и
с центром в
Тогда выполнены следующие равенства
для вписанных и центральных углов:
Получаем, что лежит и на описанной окружности
.
3. Обозначим за и
середины
и
соответственно. Т.к.
, то
и
— касательные к
окружности, описанной около
.
Рассмотрим пару окружностей: описанная окружность треугольника и окружность нулевого радиуса с центром в точке
.
Рассмотрим степени точек
и
относительно данных окружностей:
Получаем, что — радикальная ось наших 2 окружностей. Тогда на этой же радикальной оси лежат
и
. Тогда
и
Следовательно,
— касательная к описанной окружности
, и
— касательная к
описанной окружности
. Тогда
4. Окружность повторно пересекает стороны
,
,
в точках
,
,
соответственно. Окружность
повторно пересекает стороны
,
,
в точках
,
,
соответственно.
Окружности и
повторно пересекаются в точке
. Заметим, что
поэтому лежит на окружности
. Также
поэтому лежит на окружности
. Аналогично
лежит на окружностях
,
.
Пусть — инверсия с центром в точке
и произвольным радиусом. Тогда
Также
Аналогично . Следовательно, треугольники
и
подобны. Проделывая аналогичные
рассуждения для двух других сторон мы получаем
Следовательно, угол между окружностями и
равен углу между окружностями
и
по подобию, с другой стороны, равен углу между окружностями
и
, поскольку инверсия сохраняет
углы.
Ошибка.
Попробуйте повторить позже
Будем называть треугольник вписанным в треугольник
, если точки
,
,
находятся на сторонах
,
,
соответственно.
1. Докажите, что если отрезок параллелен отрезку
, то описанные окружности треугольников
и
пересекаются на
прямой
.
2. Оказалось, что ,
. Докажите, что точка, симметричная
относительно
, лежит на пересечении описанных
окружностей треугольников
и
.
1. Пусть — вторая точка пересечения описанных окружностей
и
. Поскольку четырехугольник
описанный, то
. Четырехугольник
также описанный, значит
.
Поскольку , то
.
Получаем, что . Тогда
,
,
лежат на одной прямой.
2. Поскольку треугольники и
равнобедренные, то
и
. Тогда
Также из определения (точка, симметричная
относительно
) следует, что
Получается, что лежит на описанной окружности
.
Из определения как симметричной точки:
Значит, и
лежат на одной окружности с центром в
а
и
— с центром в
Тогда выполнены следующие
равенства для вписанных и центральных углов:
Получаем, что лежит и на описанной окружности
.