Функции на Иннополисе
Ошибка.
Попробуйте повторить позже
Пусть — некоторое фиксированное непустое множество, а
— функция двух переменных, принимающих значения из
Известно, что
- 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 при старшей степени) многочлена и
равных четных степеней с
вещественными коэффициентами. Известно, что уравнение
не имеет вещественных корней. Какие из следующих уравнений
имеют, а какие не имеют вещественные корни (хотя бы один корень)?
- 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
В аргументах функции f фигурируют х^2 и у. Это говорит о том, что их можно воспринимать как 2 переменные и пытаться делать подстановки х^2 и у по отдельности.
Подсказка 2
Чтобы избавиться от одной из двух переменных, можно применить подстановку х:=0 или у:=0. Эти подстановки дадут нам информацию про значение в нуле и чётность функции.
Подсказка 3
Ещё одна “классическая” подстановка для избавления от одной из двух переменных — x^2=у и x^2=-y (в нашем случае именно эти величины мы воспинимаем как переменные).
Подсказка 4
Данных подстановок должно быть достаточно! Осталось лишь собрать вместе всю полученную информацию про функцию f и получить ответ!
Во-первых, подставим и получим равенство
,
может принимать любые значения, поэтому
. Во-вторых,
подставим
и получим
, то есть функция является чётной. Теперь подставим
и
. Получим равенства
и
. Подставим результат первого равенства во второе:
. Получаем, что
.
Следовательно, во всех положительных точках функция равна
, поскольку
пробегает все положительные значения. В силу чётности
получаем, что
при всех
.
Ошибка.
Попробуйте повторить позже
Рассмотрим уравнение на множестве положительных действительных чисел. Вам требуется явно указать для каждого
вещественного значения
число таких различных вещественных чисел
что
(Пример явного описания: для
существует единственное число
такое, что
Источники:
Подсказка 1
Случай x = 1 уже описан в формулировке задачи. Будем далее полагать, что x ≠ 1 и y ≠ 1. Какие методы решения подобных уравнений Вам знакомы?
Подсказка 2
У нас показательное уравнение. Попробуйте взять логарифм от обеих частей.
Подсказка 3
Мы получим x ⋅ ln(y) = y ⋅ ln(x). И слева, и справа x и y. Давайте перегруппируем множители.
Подсказка 4
Разделим обе части на xy, получим ln(x)/x = ln(y)/y. Видите ли Вы здесь какую-нибудь функцию?
Подсказка 5
Вообще говоря, из нашего уравнения следует, что x/ln(x) = y/ln(y). Рассмотрите функцию f(z) = z/ln(z). Попробуйте построить её график.
Подсказка 6
Чтобы определить области возрастания и убывания f(z), возьмем её производную. Получится (ln(z) - 1) / ln²(z).
Подсказка 7
На интервале (0; 1) функция f убывает от 0 до -∞, на интервале (1; e) f тоже убывает, достигая локального минимума f(e) = e. Потом на интервале (e; +∞) возрастает от e до +∞. Теперь возьмите x > 0 и попробуйте подвести итоги.
Подсказка 8
Например, если 0 < x < 1, то (x / ln(x)) < 0 и функция непрерывно убывает, следовательно (чтобы в этом убедиться, можно нарисовать график), будет единственное подходящее нам вещественное y. Аналогично с остальными промежутками.
Случай уже описан в формулировке задачи, поэтому в дальнейшем мы можем предполагать, что
и
Возьмем натуральный логарифм от обеих частей исходного уравнения и получим следующее уравнение
Так как и
то это уравнение равносильно новому уравнению
Проанализируем функцию и построим ее график. Так как
то на интервале функция
убывает от
до
на интервале
функция
тоже убывает, достигая локального
минимума
при
а потом на интервале
возрастает от
до
Подведём итоги. Пусть — произвольное положительное действительное число. Имеем:
- если
то
и, следовательно, (см. график) существует только единственное подходящее нам вещественное число
- если
то, как это уже было сказано, существует только единственное подходящее вещественное число
- если
или если
то
и, следовательно, (см. график) существуют два подходящих вещественных числа
- если
то
и, следовательно, (см. график) существует единственное подходящее вещественное число
При — одно решение; при
— два решения
Ошибка.
Попробуйте повторить позже
Найдите и докажите явное выражение (в терминах известных операций на целых числах) для функции вычисляющей пару
чисел
и определенной следующим образом для любых целых значений
и любых целых значений
Источники:
Подсказка 1
Давайте для начала попробуем вычислить некоторые значения функции g.
Подсказка 2
Возьмем m, близкое к 100, например, 98.
Подсказка 3
g(98, n) = (p₁ - 1, q₁). Заметьте, что (p₁, q₁) = g(g(99, n)). Продолжите эти вычисления, пока не сможете выразить g(98, n) через числа и, возможно, n.
Подсказка 4
У нас должны получиться явные выражения для g(98, n), g(99, n) и (p₁, q₁). Это будет в следующей подсказке, но постарайтесь дойти самостоятельно.
Подсказка 5
g(98, n) = (98, (n + 4)); g(99, n) = (99, (n + 2)); g(100, n) = (100, (n + 1)). Есть ли тут какая-то зависимость?
Подсказка 6
Возникает предположение, что g(m, n) = (m, (2¹⁰⁰⁻ᵐ + n)). Попробуйте это доказать.
Подсказка 7
Перепишем формулу следующим образом: g((100 - m), n) = ((100 - m), (2ᵐ + n)). Докажем это индукцией по m ≥ 0.
Подсказка 8
При m = 0 все получится, это база индукции. Теперь надо доказать для (m + 1). Подставим его в формулу.
Подсказка 9
По предположению индукции, g((100 - m), n) = ((100 - m), (2ᵐ + n)) (при k = m). Раскройте выражения, как в самом начале, и получите требуемое.
Докажем индукцией по что для любого целого положительного
выполняется
База индукции :
По формуле, которую мы доказываем, при :
База верна.
Индукционная предположение: Пусть для всех и для любого
верно
Шаг индукции (для ):
Нам нужно доказать, что
- 1.
-
где
(по определению функции
если первый аргумент не
- 2.
-
по предположению индукции (для
- 3.
-
согласно пункту
- 4.
-
по предположению индукции, применяя его к
где
и
- 5.
-
согласно пунктам
и
- 6.
-
согласно пунктам
и
- 7.
-
согласно пунктам
и
Что и требовалось доказать.
_________________________________________________________________________________________________________________________________________________________________________________
Замечание. Чтобы догадаться до решения, можно было проделать этот эксперимент: вычислим «символически» значение функции
для какого-либо значения
близкого к
например, вычислим
- 1.
-
где
- 2.
-
где
- 3.
-
следует из п.
- 4.
-
следует из п.
и
- 5.
-
где
- 6.
-
следует из п.
и
- 7.
-
следует из п.
и
Из этого эксперимента видно, что
— см. определение функции (предполагая, что
и
— см. пункт
эксперимента;
— см. пункт
эксперимента.
Поэтому возникает предположение, что
Ошибка.
Попробуйте повторить позже
Нынешний год — високосный, то есть февраля
г.
— реальная календарная дата. Сколько (вещественных) корней (и
какой кратности) имеет уравнение
Источники:
Подсказка 1
Рассмотрим функцию f(x) = x³ + 29x² + 2x + 20. Давайте начнем с того, имеет ли она хотя бы 1 корень.
Подсказка 2
Это кубическая функция с положительным коэффициентом при старшей степени. Если взять какой-то достаточно малый x, значение будет отрицательным, аналогично можно получить и положительное значение. Следовательно, функция хотя бы 1 раз пересекает ось OX и имеет 1 корень. Как, исходя из этого, можно доказать наличие других корней?
Подсказка 3
Если она в каком-то месте перегнется, то, возможно, вновь пересечет ось OX и будет новый корень. Посмотрите на производную этой функции.
Подсказка 4
f'(x) = 3x² + 58x + 2. x₁¸₂ = ( -29 ± √835 ) / 3. Это точки перегиба функции. Попробуйте посмотреть, какие значения f принимает в них. Заметьте, что для упрощения вычислений в f можно выделить производную (в точках x₁ и x₂ она равна нулю).
Подсказка 5
У вас получится x₂ < x₁, f(x₁) > 0, f(x₂) > 0. Разделите прямую на 3 части точками x₁ и x₂ и поймите, возрастает/убывает ли там функция, какие значения принимает (положительные/отрицательные).
Рассмотрим функцию Это кубическая функция с положительным коэффициентом при старшей степени, то есть
при очень маленьких значениях аргумента(например, при
) функия будет отрицательной, а при очень больших значениях
аргумента — положительной. Таким образом, функция имеет хотя бы один корень. Осталось проверить, есть ли ещё корни. Рассмотрим
производную:
Найдём её корни: дискриминант квадратного уравнения равен
откуда
Тогда корни равны
и
Теперь посчитаем значение в точках
и
В этих точках производная равна нулю, поэтому попробуем выделить её для
упрощения вычислений:
Получается,
Заметим, что откуда
— отрицательное число, которое при умножении на отрицательное
становится положительным. Таким образом,
— это сумма двух положительных чисел, то есть
Теперь подставим
Так как то
Отсюда, аналогично рассуждениям про
получаем
Итак, и
Получается, что
возрастает на промежутке
При этом функция отрицательна на
очень маленьких значениях из этого промежутка и положительна в точке
откуда функция равна нулю на какой-то точке этого
промежутка. Далее, функция убывает на
при этом она положительна в этих точках, а, значит, положительна и на всём этом
промежутке. Наконец,
возрастает на
то есть для любого
выполняется, что
откуда на этом
промежутке функция так же положительна.
Таким образом, уравнение имеет ровно один вещественный корень.
Не более одного вещественного корня