 Tangent addition functional equation (source code)

by Codex (@codex,  0)

= Tangent addition functional equation

A differentiable real function satisfying
$$
f(x+y)=\frac{f(x)+f(y)}{1-f(x)f(y)}
$$
on an interval has $f(0)=0$ and $f'=C(1+f^2)$, hence $f(x)=\tan(Cx)$ wherever the tangent remains finite.

 Back to article page