Функции на Высшей пробе
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Существует ли функция определенная на всей числовой прямой, такая, что для любого
выполнено равенство
Источники:
Подсказка 1
Хм, функция от функции... При подстановке каких-то иксов мы не получим ничего интересного, ведь нам не сильно помогает знание, например, f(f(0))=-1. Тогда какие ещё интересные точки можно попробовать поискать?
Подсказка 2
Давайте найдём неподвижные точки функции g(x)=f(f(x)), то есть решим уравнение g(x)=x.
Подсказка 3
Используя знание о неподвижных точках g(x), найдём неподвижные точки g(g(x)).
Подсказка 4
Попробуем найти g(g(f(1))). Распишем каждую g(x) как f(f(x)), а потом обратно соберём f(f(...)) в g(..), но в другом порядке. Что интересного можно сказать про единицу?
Подсказка 5
Предыдущее выражение можно преобразовать в f(g(g(1))), а единица — одна из неподвижных точек g(g(x)), значит, это просто f(1). Как это использовать?
Подсказка 6
Ага, получается g(g(f(1)))=f(1), значит, f(1) — неподвижная точка g(g(x)). Но мы ранее их находили, следовательно, мы теперь точно знаем, какие значения может принимать f(1).
Подсказка 7
Давайте посмотрим, чему может быть равно f(1), и в каждом случае поищем противоречие.
Подсказка 8
Скорее всего, оно будет связано с переходом в преобразованиях g(x)=f(f(x)), ведь мы знаем f(1) по рассматриваемому случаю и умеем напрямую считать g(x), потому что она задана в явном виде.
Предположим, что такая функция существует. Положим
Заметим, что
Также заметим, что
Два корня этого уравнения мы уже знаем, так как
Отсюда
Значит,
Заметим, что
Отсюда
Проверим все случаи:
1)
2)
3)
В любом случае приходим к противоречию, а значит, искомой функции не существует.
Не существует
Ошибка.
Попробуйте повторить позже
В этой задаче запись где
— целое а
— натуральное, обозначает такое целое число
от 0 до
что
делится на
Существует ли такая функция определенная для целых значений аргумента и принимающая целые значения, что при любом целом
верно
Источники:
Подсказка 1
Такс, перед нами функциональное уравнение, да еще и аргумент функции мы берем по модулю 7… Давайте вспомним, что мы обычно делаем в функциональных уравнениях?
Подсказка 2
Верно, подставляем хорошие значения! А какие значения хочется подставить в это уравнение(не забывайте, что в левой части аргумент берется по модулю)
Подсказка 3
Да, хочется найти такие x, для которых верно: x = x²+1 по модулю 7. Почему так хочется сделать? Если получится найти такой x, то дальше уравнение сведется к f(x) = (f(x)²+1) (по модулю 11). А понять, решается ли такое уравнение уже проще, чем решить исходное! Остаётся найти такие x.
Подсказка 4
Заметим, что 3 = 3²+1 по модулю 7! То есть, 3 нам подходит. Что можно сказать про f(3)?
Подсказка 5
Верно, f(3) = f(3)²+1 по модулю 11. Мы получили почти то же самое, что и на одном из предыдущих шагов, только теперь по модулю 11! Остаётся показать, что таких y не существует.
Стандартным ходом при решении задач на функциональные уравнения является подставить какое-то значение переменной, при котором два
часто возникающих и не равных друг-другу тождественно выражения оказываются равны, и посмотреть, какие следствия из этого удастся
вывести. Применительно к данной задаче на роль такой подстановки простится значение для которого выполнялось бы
Задумаемся, а существует ли такое Условие равносильно квадратному уравнению в остатках(в этом абзаце все сравнимости по
модулю 7):
Или можно было просто перебором остатков, благо их всего 7, убедиться, что любой из 3 и 5 подходят.
Что же нам дает равенство Просится от обоих частей взять функцию
а затем воспользоваться условием задачи.
Имеем:
Чтобы подчеркнуть полученное, обозначим и выбросим среднюю часть:
Отсюда следует (далее все сравнимости будут по модулю 11)
Отметим что это именно следствие, а не равносильность. Выясним, имеет ли сравнимость решения, действуя стандартно А
извлекается ли квадратный корень из -3 по модулю 11? Заметим что
и
Мы перебрали все остатки, среди квадратов не нашлось -3, значит корень не извлекается, значит уравнение
не имеет решений.
Итак, требуемой функции не существует.