Find all functions $f\colon \mathbb R \to \mathbb R$ such that $$\large f(f(x)(y + 1)) = x[f(y) + 1], \forall x, y \in \mathbb R$$
Let $P(x, y)$ be the assertion $f(f(x)(y + 1)) = x[f(y) + 1]$.
For $P(0, -1)$ and $P(x, 0)$, we respectively have that $f(0) = 0$ and $f^2(x) = x, \forall x \in \mathbb R$.
This implies that $f(x)$ is a bijective function, (although I am not sure why).
For $P(x, x - 1)$, we have that $f(xf(x)) = x[f(x - 1) + 1], \forall x \in \mathbb R$
Then... I don't know what to do next.
[.]though, but I suspect doesn't make problem much harder? – govordovsky Jan 04 '20 at 15:02