MathLabs

Problem 4

Find all functions f:(0,∞)→(0,∞)f: (0,\infty) \to (0,\infty) (so ff is a function from the positive real numbers) such that (f(w))2+(f(x))2f(y2)+f(z2)=w2+x2y2+z2\dfrac{(f(w))^2 + (f(x))^2}{f(y^2) + f(z^2)} = \dfrac{w^2 + x^2}{y^2 + z^2} for all positive real numbers w,x,y,zw, x, y, z, satisfying wx=yzwx = yz.
Step 1 of 3: Find f(1) = 1 and derive the pointwise quadratic for f(x)
In plain words

Plugging in (1,1,1,1)(1,1,1,1) fixes f(1)=1f(1)=1, and plugging in (x,1,x,x)(x,1,\sqrt{x},\sqrt{x}) gives a quadratic equation for f(x)f(x) whose roots are xx and 1x\dfrac{1}{x}.

f(1)=1,(w,x,y,z)=(x,1,x,x)  ⟹  f(x)2+12f(x)=x2+12x  ⟹  (xf(x)−1)(f(x)−x)=0f(1)=1, \qquad (w,x,y,z)=(x,1,\sqrt{x},\sqrt{x}) \implies \frac{f(x)^2+1}{2f(x)} = \frac{x^2+1}{2x} \implies (xf(x)-1)(f(x)-x)=0
Detailed analysis

Setting w=x=y=z=1w=x=y=z=1 gives 2f(1)22f(1)=1\dfrac{2f(1)^2}{2f(1)} = 1, so f(1)=1f(1) = 1. Next, for any x>0x > 0, setting (w,x,y,z)=(x,1,x,x)(w,x,y,z) = (x, 1, \sqrt{x}, \sqrt{x}) (which satisfies x⋅1=x⋅xx \cdot 1 = \sqrt{x}\cdot\sqrt{x}) yields f(x)2+12f(x)=x2+12x\dfrac{f(x)^2 + 1}{2f(x)} = \dfrac{x^2 + 1}{2x}, or xf(x)2−(x2+1)f(x)+x=(xf(x)−1)(f(x)−x)=0xf(x)^2 - (x^2+1)f(x) + x = (xf(x)-1)(f(x)-x) = 0. Hence for each x>0x > 0, either f(x)=xf(x) = x or f(x)=1xf(x) = \dfrac{1}{x}.