Существуют ли еще и другие функции?
Можно обобщить до
, где
-- Ср июл 25, 2012 10:10:54 --Вроде бы других нет (если интерпретировать
как строго положительные числа).
muzeum показал, что функция не может превышать единицы.
Профессор Снэйп показал, что из равенства единице в какой-то точке следует периодичность. Однако функция невозрастающая (т.к.
является произведением
и множителя, не превышающего 1), поэтому периодичность эквивалентна равенству 1.
Остаётся вариант, что функция строго меньше 1 на всём
(и строго монотонно убывает). Из монотонности следует дифференцируемость почти всюду (чую, что это чересчур тяжёлая артиллерия для такой задачи, ну да ладно). Беря в качестве
точку, в которой производная существует, а в качестве
малое приращение, получаем дифур, справедливый в этой точке:
, откуда следует также существование правосторонней производной в нуле (я опускаю подробности, но замечу, что здесь мы доопределяем
в нуле единицей). Беря теперь в качестве
произвольную точку, получаем тот же самый дифур (из существования производной в правой части теперь следует существование предела в левой), значит, функция всюду дифференцируема. Остаётся решить дифур.