Раздел I. Введение в анализ — § 3. Понятие функции
Демидович — задача 205
Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.
Задача 205
Пустьf(x)+f(y)=f(z).Определить z, если:а) f(x)=ax;б) f(x)=x1;в) f(x)=arctgx (∣x∣<1);г) f(x)=log1−x1+x.
Решение
Пункт а)
Пусть f(x)=ax. По условию f(x)+f(y)=f(z). Подставляем вид функции: ax+ay=az. Выносим a: a(x+y)=az. Если a=0, сокращаем на a: z=x+y. Если a=0, функция тождественно равна нулю, и равенство выполняется при любом z.Пункт б)
Пусть f(x)=x1. Тогда условие f(x)+f(y)=f(z) принимает вид x1+y1=z1. Приведем левую часть к общему знаменателю: x1+y1=xyy+x. xyx+y=z1. Перемножаем крест-накрест: z(x+y)=xy. Если x+y=0, находим z=x+yxy. При этом, конечно, x=0,y=0. Если x+y=0, левая часть исходного равенства равна нулю, а z1 при допустимом z не равна нулю. В этом случае решения нет.Пункт в)
Здесь f(t)=arctgt задана при ∣t∣<1, поэтому требуются ∣x∣<1, ∣y∣<1 и ∣z∣<1.Положим α=arctgx, β=arctgy. Тогда α,β∈(−4π,4π) и α+β∈(−2π,2π). На последнем интервале тангенс строго возрастает, поэтомуarctgz=α+β⟺z=tg(α+β)=1−xyx+y.Знаменатель положителен, поскольку ∣xy∣<1. Осталось проверить, что z входит в область определения данной функции:∣z∣<1⟺∣x+y∣<1−xy.Таким образом,z=1−xyx+yпри ∣x+y∣<1−xy.Если это неравенство не выполнено, допустимого z нет. Например, при x=y=21 формула даёт z=34, а это число находится вне заданной области. Если рассматривать арктангенс на всей действительной прямой, последнее ограничение на z не требуется; здесь же учитываем область, указанную в условии.
Пункт г)
Для существования f(x) и f(y) необходимо −1<x<1 и −1<y<1. Пусть f(x)=log1−x1+x. Условие f(x)+f(y)=f(z) записывается так: log1−x1+x+log1−y1+y=log1−z1+z. Используем свойство логарифма: logA+logB=log(AB). Получаем log(1−x1+x⋅1−y1+y)=log1−z1+z.Перемножаем крест-накрест: (1+x+y+xy)(1−z)=(1−x−y+xy)(1+z).
Раскрываем: 1+x+y+xy−z(1+x+y+xy)=1−x−y+xy+z(1−x−y+xy).
Переносим части без z в одну сторону, а части с z - в другую:
(1+x+y+xy)−(1−x−y+xy)=z[(1+x+y+xy)+(1−x−y+xy)].
Упрощаем: 2x+2y=z(2+2xy). Делим на 2: x+y=z(1+xy).z=1+xyx+y.Проверим допустимость ответа. Имеем 1+xy>0 и1−z2=(1+xy)2(1+xy)2−(x+y)2=(1+xy)2(1−x2)(1−y2)>0.Поэтому ∣z∣<1, оба логарифма определены и выполненные преобразования обратимы.