Иннополис 2025
Ошибка.
Попробуйте повторить позже
Пусть — некоторое фиксированное непустое множество, а
— функция двух переменных, принимающих значения из
Известно, что
- 1.
-
для любых
- 2.
-
для любых значений
существует такое
что
Докажите, что существует такое что
для всех
Источники:
Подсказка 1
Что хочется подставить вместо y в первое правило, чтобы получить какое-то полезное свойство для нашей функции?
Подсказка 2
Подставим вместо y x, на какое свойство для функции это похоже? Как использовать второе свойство?
Подсказка 3
Докажите, что наша функция симметрична, то есть f(x, y) = f(y, x).
Подсказка 4
Какие y и z можно подставить во второе правило, чтобы оно стало похоже на то, что от нас требуют?
Подсказка 5
Подставим во второе правило y = t, z = t, x = p. Осталось цепочкой равенств показать, чему же равно f(t, x).
Сначала докажем, что при любых
Согласно свойству
для
и
существует такое
что
тогда с помощью свойства
получаем
Далее, пусть — произвольный элемент
согласно свойству
существует такое
что
Для этого
и
произвольного
имеем
где
таково, что
(см. свойство
Тогда, используя доказанное выше,
свойство
и равенство
получаем
что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Пусть — неотрицательные числа, и
Докажите, что для любого
Источники:
Подсказка 1:
Выглядит страшно... В условии сказано, что нужно доказать утверждение для всех i = 1, 2, 3, ..., 2024. Какой метод доказательства напрашивается?
Подсказка 2:
Конечно! Метод математической индукции. Давайте заменим 2025 на n и докажем утверждение в общем виде. Так... Базу доказать достаточно просто: раскроем скобки, выразим ашки через бэшки. Тогда, написав нужное нам неравенство, выражая его через бэкши, оно становится очевидным. Теперь давайте напишем индукционное предположение и переход.
Подсказка 3:
Пусть bₙ₊₁ = b. Докажем, что умножив выражение из индукционного предположения на (x+b), неравенства сохраняют свою справедливость. Давайте приведём многочлен с ашками к виду aₙxⁿ⁺¹ + (aₙb + aₙ₋₁)xⁿ + ... + (a₂b + a₁)x² + (a₁b + a₀)x + a₀b. Как тогда выглядят неравенства, которые нам надо доказать? Какие из них стоит рассмотреть отдельно?
Подсказка 4:
Для доказательства индукционного перехода достаточно доказать следующие неравенства: 1. (aₙb + aₙ₋₁)² ≥ aₙ(aₙ₋₁b+aₙ₋₂); 2.(a₁b+a₀)² ≥ a₀b(a₂b +a₁); 3. (aᵢb + aᵢ₋₁)²
Подсказка 5:
Давайте раскроем скобки в левой и правой части неравенства. Теперь пару раз применим индукционное предположение, чтобы оценить (aᵢ²b²) и (aᵢ₋₁)² из левой части через слагаемые из правой части. Осталось сравнить средние слагаемые. Очевидно, что для этого достаточно сравнить aᵢaᵢ₋₁ и aᵢ₊₁aᵢ₋₂. Что нужно сделать, чтобы воспользоваться уже знакомым нам приёмом?
Подсказка 6:
Конечно! Умножим обе части на aᵢaᵢ₋₁ и напишем индукционное предположение!
Докажем индукцией более общее утверждение:
Для любого целого если
неотрицательны и
то для любого
База индукции в таком случае
и
а значит,
—
доказано.
Индукционное предположение: пусть для некоторого и любых неотрицательных
если
то для любого
Шаг индукции: рассмотрим многочлен где
Имеем
Для завершения индукционного шага достаточно рассмотреть (доказать) три неравенства:
- 1.
-
- 2.
-
- 3.
-
для всех i =
Рассмотрим их по порядку:
- 1.
-
Раскроем скобки и оценим выражение, откинув неотрицательные слагаемые,
Теперь, применяя предположение индукции, получаем то, что нужно
- 2.
-
Применяя базу, получаем то, что нужно
- 3.
-
Пусть теперь
— произвольное целое число. Раскроем скобки в левой части неравенства:
Раскроем скобки в правой части неравенства:
По предположению индукции первое слагаемое из левой части неравенства не меньше первого слагаемого из правой части неравенства:
Аналогично, последнее слагаемое из левой части неравенства не меньше последнего слагаемого из правой части неравенства:
Теперь сравним средние слагаемые в левой и правой частях неравенства: очевидно, что для этого достаточно сравнить
и
Для этого умножим обе величины на
и применим индукционное предположение:
Следовательно,
что завершает доказательство.
Шаг индукции доказан, а вместе с ним и утверждение, обобщающее утверждение задачи.
Ошибка.
Попробуйте повторить позже
В стране есть 10 городов, каждая пара которых соединена двусторонним авиамаршрутом, который обеспечивается одной из
двух авиакомпаний. Докажите, что одна из этих авиакомпаний может предложить своим пассажирам два циклических
маршрута, каждый из которых проходит по нечетному числу городов, причем ни один город не является частью обоих
маршрутов.
Источники:
Подсказка 1
Переформулируем задачу: города и авиамаршруты между ними - это граф К₁₀, принадлежность маршрута авиакомпании можно принять за цвет (красим ребра в 2 цвета, пусть это будут красный и синий). Тогда нам нужно найти 2 непересекающихся цикла нечетной длины, окрашенных в один цвет.
Подсказка 2
А если мы перейдем к какому-то подграфу? Какой длины у нас могут быть циклы, если всего вершин 10? Быть может, в некотором подграфе мы гарантированно сможем найти цикл нечетной длины?
Подсказка 3
Попробуйте рассмотреть граф К₆ и доказать, что в нем всегда найдется одноцветный цикл длины 3. Как это можно сделать?
Подсказка 4
Попробуйте рассмотреть "углы" (например, ребра v₁v₂ и v₁v₃ образуют "угол" v₂v₁v₃) и оценить среди них количество покрашенных в один цвет (оба ребра одного цвета).
Подсказка 5
Отлично, теперь давайте посмотрим на исходный граф. Достаточно ли доказанного факта для решения задачи?
Подсказка 6
Нет, у нас может получиться 2 цикла разных цветов, а они должны быть одноцветны. Давайте рассмотрим граф, который образуют эти 2 цикла, пусть в первом цикле были вершины v₁, v₂ и v₃, а во втором - v₄, v₅ и v₆. Возможно, благодаря новым ребрам мы сможем получить желаемое. Давайте без ограничения общности попробуем оценить количество синих ребер в новом графе.
Подсказка 7
Попробуйте доказать, что мы сможем найти один красный и один синий "угол" в этом графе, образованные ребрами между множествами вершин {v₁, v₂, v₃} и {v₄, v₅, v₆}. Какой вывод мы можем сделать из существования этих "углов"?
Подсказка 8
Так как мы строили граф на вершинах из циклов синего и красного цветов, мы получим два треугольника (граф К₃) таких же цветов, при том они будут иметь общую вершину. Можем взять вершины одного из этих треугольников в качестве первого цикла и попробовать найти еще один, который не пересекается с ним.
Подсказка 9
Пусть у нас нашлись треугольники v₁-v₂-v₃ и v₃-v₄-v₅. Рассмотрите граф К₁₀ \ {v₁, v₂, v₃, v₄, v₅}. Это будет граф К₅. Чем он может нам помочь?
Подсказка 10
Действительно, если в тем найдется одноцветный треугольник, то просто возьмем его в качестве второго цикла. А если нет? Нарисуйте граф К₅ и поищите в нем циклы нечетной циклы при условии, что у нас не нашелся одноцветный треугольник.
Подсказка 11
На самом деле, в графе К5 без одноцветного треугольника всегда найдутся 2 непересекающихся цикла одного цвета и длины 5, теперь надо доказать это в общем виде, и задача будет решена.
Подсказка 12
Посмотрите на какую-нибудь вершину и ребра, которые из нее выходят. Можно ли что-то сказать об их цветах?
Подсказка 13
Из условия о несуществовании треугольника получится, что из каждой вершины выходит ровно 2 красных и 2 синих ребра. Теперь рассмотрите подграф, состоящий (без ограничения общности) только из красных ребер, и доведите решение до конца.
Построим граф вершины которого — города, а ребра — авиамаршруты между городами. Будем красить ребра в красный и синий
цвета в зависимости от того, какой авиакомпании принадлежит соответствующий маршрут. Требуется доказать, что в построенном графе
существуют два непересекающихся нечетных цикла одного цвета.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма 1. Если каждое ребро полного графа (граф с
-ю вершинами, каждая пара из которых соединена ребром)
покрасить в один из двух цветов, то найдется треугольник (цикла длины
все стороны (ребра) которого имеют один
цвет.
Доказательство. Пусть — вершины графа. Если ребра
и
окрашены в один цвет, то будем считать, что в этот цвет
покрашен угол
Пусть
— количества соответственно красных и синих ребер, выходящих из вершины
Тогда
(для всех
) и общее число окрашенных углов
С другой стороны, в каждом «одноцветном» треугольнике все три угла должны быть окрашены в один цвет, а в каждом
«неодноцветном» треугольнике есть только один окрашенный угол. Всего есть треугольников и пусть
из них одноцветны,
тогда
откуда
что завершает доказательство леммы 1.
___________________________________________________________________________________________________________________________________________________________________
Лемма 2. Если каждое ребро полного графа (граф с
-ю вершинами, каждая пара из которых соединена ребром) покрасить в
один из двух цветов, и в этом графе нет одноцветного треугольника (цикла длины
все ребра которого окрашены в один цвет), то в этом
графе есть два непересекающихся (не имеющих общих ребер) цикла, каждый из которых окрашен в один цвет и имеет длину
Доказательство. Пусть — вершины графа. Рассмотрим ребра
— если три из них имеют один и тот
же цвет, то найдется одноцветный треугольник, что противоречит условию: действительно, пусть
— красные, тогда все
ребра
должны быть синими (иначе получим красный треугольник), но тогда мы имеем синий треугольник. Итак, из каждой
вершины выходят по два красных и два синих ребра.
Рассмотрим граф, состоящий из вершин и только красных ребер — в таком графе степень каждой вершины равна
а значит, он
либо является циклом длины
либо разбивается на меньшие циклы. Если разбить граф на
вершинах степени
на меньшие циклы, то
либо получим цикл из
вершины (в наших условиях это невозможно), либо одноцветный треугольник, что также исключено (см.
выше). Итак, граф на красных ребрах — цикл длины
аналогичный вывод делаем для графа на синих ребрах. Лемма 2
доказана.
_________________________________________________________________________________________________________________________________________________________________________________
Вернемся к задаче: пусть — вершины графа
и пусть
— одноцветный треугольник в нем (его существование
следует из леммы
В графе
также есть одноцветный треугольник, т.к. количество его вершин не меньше
(даже
— пусть это треугольник
Если эти треугольники окрашены в один цвет, то решение завершено. Если же нет (допустим,
—
синий, а
— красный), то рассмотрим ребра
для
— всего
ребер и, согласно принципу Дирихле, среди
них найдутся
ребер одного цвета (без ограничения общности будем считать, что синего). Тогда для некоторого
найдутся два синих ребра из тройки
т.е. меем один синий и один красный треугольники с общей вершиной
Итак, “угол” — синий, а “угол”
— красный. Рассмотрим граф
Если в нем есть
одноцветный треугольник, то решение завершено: берем его и соответствующий ему по цвету
или
Если в
нет одноцветного треугольника, то, согласно лемме
в ней найдутся два разноцветных цикла длины
— в этом
случае берем нужный из этих циклов в качетсве второго циклического маршрута. Доказательство утверждения задачи
завершено.
Ошибка.
Попробуйте повторить позже
Дан остроугольный треугольник около которого описана окружность
и в котором проведены высоты
Касательные к
проведенные в точках
и
пересекаются в точке
и прямая
пересекает прямые
в точках
соответственно. Докажите, что описанная окружность треугольника
касается
Источники:
Подсказка 1
Нас просят доказать, что окружность (ABC) является полувписанной окружностью треугольника DEF. Существует лемма Верьера, которая утверждает, что если окружность касается двух сторон треугольника и прямая, содержащая точки касания, содержит его инцентр, то такая окружность является полувписанной.
Подсказка 2
Чтобы подогнать задачу под эту лемму, достаточно поперекидывать углы и показать, что FI и EI — биссектрисы.
Подсказка 3:
По-хорошему саму лемму тоже надо бы доказать. Для этого нужно вспомнить лемму Архимеда и рассмотреть радикальную ось некоторой точки и окружности.
Пусть — основание высоты
проведенной из точки
а
— середина
Заметим, что
откуда аналогично и
Тогда можно записать такую цепочку равенств:
Откуда следует Ввиду
имеем
Из равенства треугольников следует, что
–
биссектриса угла
Аналогично получаем, что
– биссектриса угла
т.е.
– центр вписанной окружности
Вспомним одно утверждение: отрезок, соединяющий точки касания полувписанной окружности треугольника с его сторонами, содержит центр вписанной окружности этого треугольника. Очевидно, верно и обратное: если окружность касается двух сторон треугольника так, что отрезок, соединяющий точки касания, содержит центр вписанной окружности этого треугольника, то первая окружность является полувписанной (т.е. касается двух сторон треугольника и его описанной окружности).
В нашей задаче окружность касается сторон треугольника
в точках
причем отрезок
как было доказано ранее,
содержит центр
вписанной окружности треугольника
— значит,
является полувписанной окружностью треугольника
т.е. касается его описанной окружности, что и требовалось доказать.
Теперь докажем использованное утверждение, называемое леммой Веррьера:
Лемма (Веррьера). Окружность касается сторон
треугольника
в точках
соответственно и касается
внутренним образом описанной окружности в точке
Докажите, что инцентр (центр вписанной окружности)
треугольника
лежит на прямой
Заметим, что по лемме Архимеда прямая проходит через середину дуги
описанной окружности, не содержащей точку
Аналогично, прямая
проходит через середину дуги
не содержащей вершину
Обозначим середины этих дуг через
соответственно.
Из той же леммы Архимеда следует, что Следовательно, степень точки
одинакова относительно окружности
и точки
Аналогичное утверждение верно и для точки
Из этого следует, что прямая
— радикальная ось точки
и
окружности
Поэтому прямая
проходит через середины отрезков
Значит, прямая
содержит среднюю линию
треугольника
Следовательно, образ точки
при отражении точки
относительно прямой
лежит на прямой
С другой стороны, по лемме о трезубце и
Поэтому точка
при отражении относительно прямой
переходит в точку
Откуда и следует, что точка
лежит на прямой
Ошибка.
Попробуйте повторить позже
Даны целое не являющееся целой степенью числа
и целое
Верно ли, что существует такое целое
что в
десятичной записи числа
встречается десятичная запись числа
Например, для
и
можно выбрать
т.к.
в записи которого есть
Источники:
Подсказки по 119891:
Подсказка 1:
Подсказка 2:
Иными словами, мы хотим подобрать такие целые положительные m и n, что 10^m • b < a^n < 10^m • (b + 1). Это сразу даст реализацию первой подсказки и решение задачи.
Подсказка 3:
В неравенстве довольно много степеней. Почему бы не прологарифмировать его по основанию 10?
Подсказка 4:
На самом деле это неравенство скрывает более общий факт. Запишем его так: lg(b) < nlg(a) - m < lg(b+1). Кстати, а мы же знаем, что a — не степень 10. Что можно сказать про число lg(a)?
Подсказка 5:
Докажите, что для иррационального x и любого интервала (u, v) найдутся целые положительные m, n такие, что u < nx - m < v.
Подсказка 6:
Попробуйте найти две пары чисел (m, n), чтобы разница между числом, соответствующим первой паре и числом, соответствующим второй паре, была меньше длины отрезка (u, v). Рассмотрите разницу t этих чисел, а также числа 2t, 3t, 4t, ..... Не найдётся ли среди них нужное?
Докажем, что для любого целого (
и любого целого
найдется целое
для которого десятичная запись
числа
начинается с последовательно записанных цифр числа
— иными словами, найдутся такие целые положительные
что
Прологарифмируем последнее двойное неравенство с основанием
Докажем, что иррационально: если это не так, то
для некоторых целых положительных взаимно простых
тогда
что невозможно. Итак,
иррационально.
Для завершения решения задачи можно доказать, что для любого иррационального и любого выбранного интервала
найдутся такие целые положительные
что
Заметим, что для любого целого можно выбрать такое целое
что
Пусть
т.е. отрезок
можно разбить на
равных отрезков, длина каждого из которых будет меньше длины интервала
Рассмотрим бесконечный
набор чисел
и выберем из него два числа попадающие в один и тот же из упомянутых
отрезков — пусть это числа
и
(без ограничения общности будем считать, что первое меньше второго).
Тогда
Для найденного рассмотрим числа
— ввиду
среди них найдется число, лежащее на интервале
что и
требовалось доказать.
Осталось заметить, что в условиях нашей задачи — иррациональное положительное число;
—
положительный интервал (если
то в качестве
можно выбрать любое число из интервала
Итак, найдутся
такие целые положительные
что
т.е. десятичная запись числа
будет начинаться с цифр числа
Да, верно
Ошибка.
Попробуйте повторить позже
Есть два приведенных (то есть с коэффициентом 1 при старшей степени) многочлена и
равных четных степеней с
вещественными коэффициентами. Известно, что уравнение
не имеет вещественных корней. Какие из следующих уравнений
имеют, а какие не имеют вещественные корни (хотя бы один корень)?
- 1.
-
- 2.
-
- 3.
-
Источники:
Подсказка 1
Посмотрим внимательно на предложенные уравнения. Ответ на один из пунктов задачи можно дать простой заменой переменных, но что делать с остальными?
Подсказка 2
Давайте вспомним, что интересного мы знаем о количестве корней многочлена с вещественными коэффициентами? Может ли быть так, что многочлен нечётной степени не имеет вещественных корней?
Подсказка 3
Чтобы определить чётность многочлена, получающегося в результате работы с каждым из уравнений, будем работать в первую очередь с двумя старшими степенями всех многочленов. Представьте P(x) в виде х^(2n) + a*x^(2n - 1) + p(x) и Q(x) в виде х^(2n) + b*x^(2n - 1) + q(x) — что можно сказать про коэффициенты а и b?
Подсказка 4
Рассмотрим первое уравнение! Запишите его при помощи представлений из первого пункта, а бином Ньютона поможет нам чуть-чуть раскрыть скобки и представить в нужной форме правую часть. Приведите подобные слагаемые для разности и сделайте выводы о чётности получившегося многочлена.
Подсказка 5
Нужно ли нам что-то раскрывать, чтобы сделать выводы о третьем уравнении? Если внимательно на него посмотреть, то перестановки и замена переменной решают эту задачу!
Введём обозначения, пользуясь условием.
где — многочлены степени не выше
Так как уравнение
не имеет вещественных корней, то и уравнение
не может иметь вещественных корней, так как мы имеем простую замену переменных. Поскольку
не
имеет вещественных корней, имеем
иначе
был бы многочленом нечётной степени
и потому имел бы хотя бы
один вещественный корень.
Рассмотрим уравнение и раскроем все члены
где
по формуле бинома Ньютона:
где многочлены
имеют степени не выше
Следовательно,
является многочленом нечётной степени с вещественными коэффициентами, и, следовательно, уравнение имеет хотя бы
один вещественный корень.
Уравнение имеет вещественный корень, что доказывается из предыдущих рассуждений после перестановки
и
из
чего после простой замены следует существование вещественного корня уравнения
Уравнения 1 и 3 имеют хотя бы по одному вещественному корню каждое, а уравнение 2 не имеет ни одного вещественного корня.
Ошибка.
Попробуйте повторить позже
Множество всех целых положительных чисел разбили на два непересекающихся подмножества — и
. Докажите, что для любого
целого
найдутся такие целые
что
или
Источники:
Подсказка 1
Рассмотрите случай, когда одно из множеств (например, А) конечно. Пусть m — наибольший элемент А. Какие числа гарантированно попадут в В и удовлетворят условию?) Возьмите х = m+1, y = m+2, х+у = 2m+3 — все они обязаны лежать в B.
Подсказка 2
Если оба множества бесконечны, предположите противное: для некоторого n > 0 нужных троек нет. Как выбрать числа а > b > с > n из А, чтобы получить противоречие? Число b-с не может лежать ни в А иначе (b, b-с, с) с В, ни в В иначе (a+b, c+a, b-c) с B
Подсказка 3
Почему тройка (a+b, b+с, с+а) обязана полностью принадлежать В? Как это приводит к тому, что число b-с не принадлежит ни А, ни В? Это нарушает условие разбиения N на два непересекающихся множества!
Без ограничения общности, пусть множество содержит конечное число элементов, наибольший из которых равен
Тогда
и условие задачи выполнено.
Теперь будем считать, что каждое из множеств содержит бесконечное число элементов. Препдположим, что существует такое
целое
что для любых целых
множество
не содержится ни в
ни в
Выберем
из
множества
с условием
по предположению,
иначе
что возможно, поскольку
бесконечно.
Тогда
иначе нарушается предположение, но тогда
иначе
Получили,
что число
не содержится ни в
ни в
что противоречит условию. Таким образом, исходное утверждение
доказано.
Ошибка.
Попробуйте повторить позже
Бесконечная последовательность строится следующим образом:
и для
Докажите, что для любого целого найдется член этой последовательности, кратный
Источники:
Подсказка 1
Так как нас интересует остаток при делении на d, логично попробовать рассмотреть последовательность b₁, b₂, b₃, ..., где b_i — остаток от а_i при делении на d. Что мы знаем об этой последовательности?
Подсказка 2
Мы хотим доказать, что в данной последовательности встретится 0. Мы знаем, что остатки могут принимать только конечное число значений, как это может помочь нам в доказательстве?
Подсказка 3
Так как члены исходной последовательности заданы рекуррентно, мы можем рассмотреть тройки последовательных членов нашей последовательности остатков, сколько всего есть таких троек? А сколько из них может быть различными?
Подсказка 4
Всего таких троек бесконечное число, ведь последовательность имеет бесконечное число членов! Но так как остатки при делении на d ограничены, то и различных троек у нас может быть лишь конечное число. О чем нам это говорит?
Подсказка 5
Тройки чисел будут повторяться! Более того, последовательность будет периодической (ведь по тройке чисел мы можем однозначно восстановить следующую тройку). Дополним нашу последовательность членом b₀ — остатком от а₀ = а₃ - а₁а₂ при делении на d, и учтем, что в силу периодичности последовательности этот остаток встретится вновь.
Зафиксируем произвольное целое и рассмотрим последовательность
где
— остаток при делении члена
исходной последовательности на
для всякого
Требуется доказать, что в последовательности
встретится
0.
Заметим, что количество троек бесконечно, при этом по каждой такой тройке можно однозначно определить как
предыдущую
так и следующую тройку в последовательности, при этои количество различных троек конечно
их не более
чем
т.е. найдутся различные
для которых
Из вышесказанного следует, что последовательность является периодической. Дополняя её элементом
т.к.
делаем вывод, что
(для найденных ранее различных
откуда
кратно
что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
За один ход разрешается одновременно заменять все члены последовательности действительных чисел на
соответственно (число
для разных ходов может быть разным). Докажите, что за конечное
число ходов из любой начальной последовательности можно получить последовательность, состоящую только из нулей
и найдите наименьшее число ходов, за которое гарантированно можно этого добиться для фиксированного
Источники:
Подсказка 1
Давайте подберём для каждого хода какое-то удобное число a.
Подсказка 2
a можно выражать через соответствующие xᵢ для каждого хода. Помните, что мы хотим обратить все xᵢ в 0.
Подсказка 3
Сделаем все иксы равными, тогда на следующем ходе при a = x₁ получим последовательность нулей.
Подсказка 4
Пусть на первом шаге a = (x₁ + x₂)/2. Какими тогда будут x₁ и x₂?
Подсказка 5
Получится, что x₁ после первого шага и x₂ после k-ого шага будут равны |x₁ - x₂|/2. Попробуйте за n шагов обратить все xᵢ в 0.
Подсказка 6
Это утверждение доказывается по индукции, обратите внимание на минимальный и максимальный элемент последовательности на каждом шаге.
Покажем, что шагов достаточно для получения нулевой, т.е. состоящей только из нулей, последовательности. Будем обозначать
последовательность после
-го шага преобразований, и за
будем обозначать значения
выбранное на
-ом
шаге. Пусть
тогда
Далее пусть
тогда
Продолжая аналогично, на -м шаге выберем:
тогда:
для На
-м шаге выберем
и получим последовательность из нулей.
Теперь покажем, что шагов необходимы для некоторых начальных последовательностей, например,
Докажем это
индукцией по
База. тривиальна.
Индукционная гипотеза. Пусть утверждение верно для некоторого целого т.е. последовательность
невозможно
свести к нулевой последовательности менее чем за
шагов. Докажем аналогичное для
Отметим, что если — наименьшее число шагов, необходимое для “обнуления” последовательности
то
для
где:
Действительно, для и всех
имеем:
На -м шаге мы устанавливаем
для экономии шагов, что противоречит минимальности
С другой стороны, для и всех
имеем:
На -м шаге мы устанавливаем
для экономии шагов , что опять противоречит минимальности
Итак, откуда
для всех
При этом из
следует
для всех
Из предположения, что последовательность можно "обнулить"за не более чем
шагов, следует, что
последовательность
также обнулена этими шагами, причём для неё это количество шагов является минимальным
(индукционная гипотеза). Из выше изложенного следует,что
для всех
но тогда:
что противоречит Значит, последовательность
невозможно обнулить
шагами, и потребуется как
минимум
шаг, что завершает индукцию и решение задачи.
Ошибка.
Попробуйте повторить позже
Точки расположены на прямой в указанном порядке, причем
Найдите все положительные
для
каждого из которых найдется такая точка
(не лежащая на прямой
), что
— трисектрисы (лучи, делящие угол на три
равные части) угла
Источники:
Подсказка 1
Попробуйте подумать о конструкции, называемой окружностью Аполлония. Пусть A и B — фиксированные точки, k ≠ 1. Хотим найти все точки X такие, что AX/BX = k. Зададим систему координат, в которой A = (-a;0), B = (a;0), где a = AB/2. Пусть X = (x;y), тогда AX²/BX² = k² = ((x + a)² + y²) / ((x - a)² + y²). Получим уравнение (x + a ⋅ (k²+1) / (k²-1))² + y² = (2ka / (k² - 1))², которое и называют окружностью Аполлония, ее радиус равен k ⋅ AB / |k² - 1|.
Подсказка 2
Можно заметить, про при k > 1 точка A будет находиться вне окружности, а точка B — внутри.
Подсказка 3
Пусть окружность Аполлония для отрезка AB пересекает его в точке С, докажите, что для любой точки P, лежащей на окружности, PC будет биссектрисой ∠APB.
Подсказка 4
Рассмотрите окружности Аполлония для точек A, C и B, D.
Подсказка 5
Окажется, что окружности должны иметь 2 общих точки! Какие могут быть c?
Сначала рассмотрим вспомогательную конструкцию: пусть для фиксированных точек AB и фиксированного положительного
требуется найти все точки
плоскости, для которых
Зададим систему координат, в которой
и
для
Тогда
Отсюда:
Это уравнение окружности, называемой окружностью Аполлония точек
и ее радиус равен
Заметим, что для
точка
находится вне этой окружности, а точка
–– внутри нее.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма. Если — окружность Аполлония точек
и
пересекает отрезок
в точке
то для любой точки
выполнено
т.е.
— биссектриса угла
Заметим, что точка лежит на
значит, по геометрическому месту точек для окружности Аполлония
Следовательно, по обратной теореме о биссектриcе — бассектриса угла
______________________________________________________________________________________________________________________________________________________
Вернемся к задаче. Ввиду доказанного выше, необходимо, чтобы окружности Аполлония для и
имели две общие точки (поскольку центры окружностей лежат на прямой
единственная общая точка этих
окружностей лежала бы на этой же прямой). Ясно, что если
то точка
лежит внутри второй окружности, тогда две окружности
пересекаются. Если
то точка
лежит на срединном перпендикуляре к
который пересекает первую окружность ввиду
Если же то для пересечения окружностей необходимо и достаточно
откуда ввиду
получим