MathLabs

Problem 5

Find all functions f:R+→R+f:\mathbb{R}^+\to\mathbb{R}^+ such that (z+1)f(x+y)=f(xf(z)+y)+f(yf(z)+x)(z+1)f(x+y)=f(xf(z)+y)+f(yf(z)+x) for all positive real numbers x,y,zx,y,z.
Step 4 of 8: Derive yf(x)=f(xf(y))yf(x)=f(xf(y))
(y+1)f(x)=f ⁣(x2f(y)+x2)+f ⁣(x2f(y)+x2)=f(xf(y))+f(x)  ⟹  yf(x)=f(xf(y))(y+1)f(x)=f\!\left(\tfrac{x}2f(y)+\tfrac x2\right)+f\!\left(\tfrac{x}2f(y)+\tfrac x2\right)=f(xf(y))+f(x) \implies yf(x)=f(xf(y))
Detailed analysis

Setting x=y=x2x=y=\tfrac x2 and z=yz=y in the functional equation gives (y+1)f(x)(y+1)f(x) equal to twice the identical term f(x2f(y)+x2)f(\tfrac x2f(y)+\tfrac x2). The two arguments summed equal xf(y)+xxf(y)+x, which also equals the sum xf(y)+xxf(y)+x split as one term xf(y)xf(y) and one term xx; by additivity over equal sums (step 3), twice that term equals f(xf(y))+f(x)f(xf(y))+f(x). Hence (y+1)f(x)=f(xf(y))+f(x)(y+1)f(x)=f(xf(y))+f(x), so yf(x)=f(xf(y))yf(x)=f(xf(y)) for all x,y>0x,y>0.