Если рассматривать только натуральные аргументы (

и

), то мгновенно выясняется, что на них обязательно

. После чего легко проверить, что такая функция удовлетворяет требуемому функциональному уравнению и для произвольных вещественных переменных.
Собственно, для формального ответа на исходный вопрос этого и достаточно.