ПитерГор - задачи по годам → .04 ПитерГор 2017
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Ученики школы посещают кружков. В каждый кружок ходит ровно
детей. Докажите, что можно рассадить всех учеников школы
по
кабинетам так, чтобы в каждом кабинете был хотя бы один представитель каждого кружка (
и
— натуральные
числа).
Подсказка 1
Если конструкция с неизвестными пугает, то можно для начала рассмотреть ситуация на фиксированных числах. Попробуйте порассуждать, что будет, если, к примеру, m = 4, k = 6 (ну или любые удобные вам не слишком большие числа).
Подсказка 2
Итак, в каждом из k кабинетов должно быть хотя бы по одному представителю каждого из кружков. Тогда по сколько человек стоит брать из каждой секции, чтобы рассадить по одному в кабинет? Найдётся ли у нас столько учеников?
Выберем учеников из первого кружка, рассадим их в разные кабинеты. Выберем
других человек из второго кружка и рассадим их, и
так далее.
_________________________________________________________________________________________________________________________________________________________________________________
Замечание. Ученики школы посещают кружков. В каждый кружок ходит ровно
детей. Всех учеников можно рассадить по
кабинетам так, чтобы в каждом кабинете был хотя бы один представитель каждого кружка, даже если
существенно больше
Ниже
мы докажем, что это можно сделать при
Рассмотрим комнат, где число
определим позже. Посадим каждого школьника в одну из этих комнат, выбирая ее случайно (все
комнаты равновероятны). Назовем комнату подозрительной, если в ней оказались представители не всех кружков. Предположим, что
случилась УДАЧА: оказалось не более чем
подозрительных комнат. Тогда имеется
неподозрительных комнат, мы можем назвать их
кабинетами, и искомая рассадка найдена. УДАЧА заведомо иногда случается, если математическое ожидание
числа
подозрительных комнат меньше
Заметим, что
равно количеству комнат
умноженному на вероятность
того, что конкретная комната подозрительна. Эта вероятность, в свою очередь, не превосходит
Итак,
если
то при таком требуемая рассадка существует. Уже при
получается экспоненциальное по
выражение, наилучшего
результата — около
— можно добиться при
Ошибка.
Попробуйте повторить позже
Окружность, проходящая через вершины и
треугольника
пересекает стороны
и
в точках
и
соответственно. Медиана из вершины
делит дугу
этой окружности пополам. Докажите, что треугольник
равнобедренный.
Подсказка 1
Откуда вообще могла бы взяться равнобедренность? Медиана и разделённая ею пополам дуга могут наводить на мысли о симметрии чертежа. Но что же делать, когда данных для строгого обоснования не хватает?
Подсказка 2
Попробуем пойти от противного: постройте точку, симметричную одной из вершин нашего треугольника, относительно изображённой медианы. Что за фигуры образуются, если построенная точка не совпадает с другой вершиной треугольника?
Подсказка 3
Во-первых у нас есть теорема Фалеса – он даст параллельность! А равные дуги и симметрия построенной картинки приведут нас к равенству углов.
Подсказка 4
Итак, перед нам вписанная трапеция! Осталось лишь немного поработать с равными отрезками и треугольниками, чтобы в конце концов сделать вывод о противоречии!
Пусть — середина стороны
— середина дуги
лежащая на отрезке
— точка, симметричная точке
относительно медианы
Предположим противное. Тогда
и
Таким образом, и
— основания вписанной, а следовательно, равнобочной трапеции
Значит,
и
треугольники
и
равны по трем сторонам. Противоречие: один из двух равных треугольников не может лежать внутри
другого.
Ошибка.
Попробуйте повторить позже
Числа удовлетворяют условию
Какое наименьшее значение может принимать величина
Подсказка 1
Наверное, нам не зря дано, в какой четверти тригонометрической окружности лежат x, y, z и t. Как это можно применить?
Подсказка 2
Что если попробовать сравнить котангенс с тем самым квадратом косинуса? Это можно сделать как раз таки с использованием области значений тригонометрических функций!
Подсказка 3
Вот и получилось у нас нестрогое неравенство! Осталось лишь понять, когда тут достигается равенство и предъявить конкретные значения переменных.
Заметим, что
Следовательно,
Стало быть, интересующая нас сумма всегда не меньше С другой стороны, если
и
то
Наименьшее значение равно
Ошибка.
Попробуйте повторить позже
Натуральное число назовём почти квадратом, если
можно представить в виде
где
и
— натуральные числа, причем
Докажите, что для бесконечно многих натуральных
среди чисел
нет почти
квадратов.
Подсказка 1
Если покрутить конструкцию на конкретных числах, то на уровне общих соображений, то всё становится достаточно понятно: "почти квадраты" лежат очень близко к квадратам (мы можем оценить это с помощью неравенств) и ясно, что с увеличением а у нас будут увеличиваться промежутки, на которых искомых чисел лежать не может. Но как же собрать это в строгое доказательство?
Подсказка 2
Попробуем пойти от противного. Какое утверждение обратно к нашему?
Подсказка 3
Разобьём натуральный ряд на отрезки по 199 чисел. Обратным к искомому будет утверждение о том, что во всех таких отрезках, кроме конечного количества с, будет содержаться "почти квадрат".
Сколько "почти квадратов" будет среди чисел от 1 до n²?
Подсказка 4
Получим оценку с двух сторон: оценка снизу связана с с, а оценку сверху построим из того, что b натурально и лежит в определённом промежутке. Осталось посмотреть, выполнима ли эта оценка при достаточно больших n.
Предположим противное. Разобьем натуральный ряд на отрезки по чисел. Тогда во всех отрезках, кроме, быть может, конечного
количества
имеется почти квадрат. Отсюда следует, что среди чисел от
до
количество почти квадратов не меньше чем
где
— некоторая константа. С другой стороны, каждый такой почти квадрат имеет вид
где
поэтому их
количество не больше чем
при достаточно большом Противоречие.
Ошибка.
Попробуйте повторить позже
В тетраэдре проведена высота
Из точки
на прямые
и
опущены перпендикуляры
и
Плоскости
и
пересекаются по прямой
Точка
— центр окружности, описанной около треугольника
Докажите,
что прямые
и
перпендикулярны.
Подсказка 1
Построим чертёж. Совсем не похоже на то, чтобы OH оказалась перпендикулярна какой-то из плоскостей, которые у нас есть. Поэтому этот, самый очевидный путь, отметаем! Но что же тут можно сделать? Наличие большого количества прямых углов, опирающихся на PH могут навести нас на мысль о сфере с диаметром PH — давайте попробуем посмотреть на это, чтобы побольше узнать о нашей конструкции.
Подсказка 2
Постройте точку Т — пересечение прямых АВ и А'B', что можно сказать о ней? Используйте ранее построенную сферу и некоторые свойства четырёхугольника AA'B'B!
Подсказка 3
Если всё сделано верно, то мы получили интересное равенство, связывающее точку Т с А, В и Н. Как мы можем это применить?
Подсказка 4
Наше равенство по сути означает что точка Т лежит на радикальной оси окружности описанной около △АВС и точки Н. Осталось лишь проделать аналогичные действия на других гранях и задача решена!
Заметим, что так что точки
лежат на одной окружности. Пусть
— точка пересечения прямых
и
Имеем
последнее равенство выполнено в силу того, что прямая — касательная к сфере с диаметром
а
— секущая.
Таким образом, точка лежит на радикальной оси окружности, описанной около треугольника
и точки
(это частный
случай, когда одна из окружностей точка). На ней же лежат точки
Значит, прямая
и есть эта
радикальная ось. Она перпендикулярна линии центров
Ошибка.
Попробуйте повторить позже
В стране некоторые математики знакомы между собой и при любом разбиении математиков на две непустые группы найдутся двое
знакомых из разных групп. Известно, что если посадить за круглый стол любой набор из или более математиков так, чтобы любые два
соседа были знакомы, то за столом найдутся двое знакомых, не сидящих рядом. Обозначим через
количество наборов из
попарно
знакомых математиков. Докажите, что
Подсказка 1
Первым же делом введём граф. Вершины — математики, рёбра — знакомства. По условию, в любом цикле длины хотя бы 4 есть ребро внутри него, будем называть такие графы хордовыми. Подумайте, что нам даёт условие про разбиение на группы.
Подсказка 2
Разумеется, это означает, что граф связный, то есть в графе ровно 1 компонента связности. И доказать нас просят, что какая-то штука равна 1. Но пока что рано выдвигать гипотезы. Посмотрим на хордовый граф с двумя компонентами, каждая из которых — треугольник. Посчитаем выражение из условия для этого экспериментального графа. Чему же оно равно?
Подсказка 3
Оно равно двум! И компоненты у нас две. Хмм... А вот сейчас уже можно выдвинуть гипотезу.
Как же будет звучать наше предположение?
Подсказка 4
"Для хордового графа с k компонентами связности выражение из условия равно k". Звучит масштабно. Кажется, доказывать это напрямую будет сложновато, придётся всё считать и доказывать... Попробуем сделать это по-другому. Предположим противное... Но этого будет маловато. Запомните, что в подобного рода утверждениях стоит попробовать применить принцип крайнего!
Подсказка 5
Пусть G — наименьший по количеству вершин граф, который не удовлетворяет предположению. Как-то хотим начать работать с графом. Хотим как-то в ходе доказательства сослаться на минимальность примера, то есть как-то перейти к графам меньших размеров. Как же это можно сделать?
Подсказка 6
Поудалять вершины! Начнём с одной — вершины Y. Пусть наш граф распался на n компонент связности G₁, G₂, ..., Gₙ. Для дальнейшего удобства обозначим с₁ - с₂ + … за f(X) для графа Х. Здесь мы как-раз таки воспользуемся тем, что граф G — минимальный контрпример для нашего предположения, то есть f(G₁) = ... = f(Gₙ) = 1. Хотим как-то связать f(G) и f(G₁), .., f(Gₙ). Но в f(Gᵢ) учтены только клики без Y. Как бы нам посчитать или хотя бы учесть клики с вершиной Y?
Подсказка 7
Клики с участием Y построены на соседях Y (смежных с Y вершинах). Значит, нам нужно отдельно поработать с соседями Y. Пусть Hᵢ — вершины в Gᵢ, которые связаны с Y (соседи) для всех i. Как же нам теперь учесть клики с вершиной Y?
Подсказка 8
f(Hᵢ) — количество клик с участием Y на вершинах, принадлежащих Gᵢ (формально, это клики без участия Y, образованные на вершинах Hᵢ, но все они становятся нужными кликами, если к ним добавить Y, поэтому численные значения совпадают). Итак, какая же итоговая формула для f(G) через f(Hᵢ) и f(Gᵢ)?
Подсказка 9
Докажите, что f(G) = 1 + Σ f(Gᵢ) - Σ f(Hᵢ). Хотим доказать, что f(G) = 1, то есть Σ f(Hᵢ) = n или же f(Hᵢ) = 1 для всех i. Утверждение равносильно тому, что все подграфы Hᵢ — связные. Вспомните, что мы ещё не использовали.
Подсказка 10
Именно! Хордовость графа G. Предположите, что (не умаляя общности) H₁ — не связный, то есть в нём есть хотя бы две компоненты A и B. Осталось доказать, что в этом случае есть цикл длины хотя бы 4 без хорды внутри, иначе говоря, получить, что G — не контрпример. Уверены, у Вас получится! Успехов!
Рассмотрим граф знакомств математиков. По условию этот граф хордовый, т.е. в нем любой цикл из или более вершин содержит хорду
(пару смежных вершин, не соседних в цикле). Докажем, что для хордового графа
выражение
где
—
количество клик (полных подграфов) в
на
вершинах, равно числу
компонент связности графа
Предположим, что это не так, и рассмотрим в качестве наименьший по числу вершин контрпример. Ясно, что граф
содержит
больше одной вершины и связен (иначе одна из компонент связности была бы меньшим контрпримером). Удалим из графа
произвольную вершину
пусть новый граф
распался на компоненты
Пусть
,
— подграфы в
соответственно на соседях вершины
Несложно видеть, что
где слагаемое соответствует клике
слагаемые
— кликам, не содержащим
слагаемые —
— кликам, содержащим
(при удалении из них вершины
меняется четность, а стало быть, знак в выражении для
). В силу минимальности
контрпримера
Проверим, что
при всех
Предположим противное, тогда вершины одного
из графов
можно разбить на два непустых подмножества
так, что ни одно ребро не ведет из
в
Рассмотрим наименьший по числу ребер путь
из
в
в графе
Тогда цикл
не имеет хорды в графе
Мы проверили, что при всех
Тогда по формуле
т. е. граф
оказался неконтрпримером.