The answer is either f(x)=0 for all x or f(x)=x2−x1 for all x. These can be checked to work. Now, I will prove that these are the only solutions. Let P(x,y,z) be the assertion of the problem statement. Lemma 1. f(x)∈{0,x2−x1} for all x∈R\{0}. Proof. P(1,1,1) yields f(1)=0. Then, P(x,1,x1) and P(1,x,x1) yield f(x)2=x(x+x1+1)(f(x)+f(x1)) and −f(x)f(x1)=(x+x1+1)(f(x)+f(x1)). Thus, we have f(x)2=−xf(x)f(x1), so we have f(x)=0 or f(x1)=−xf(x). Plugging in the latter into the first equation above gives us f(x)2=x(x+x1+1)(f(x)−xf(x)) which gives us f(x)=0 or f(x)=x2−x1. This proves Lemma 1. Lemma 2. If f(t)=0 for some t=1, then we have f(x)=0 for all x. Proof. P(x,t,tx1) and P(t,x,tx1) give us f(x)2=x(x+tx1+t)(f(x)+f(tx1)) and −f(x)f(tx1)=t(x+tx1+t)(f(x)+f(tx1)). Thus we have tf(x)2=−xf(x)f(tx1), so f(x)=0 or f(tx1)=−xtf(x). Plugging in the latter into the first equation gives us f(x)2=x(x+tx1+t)(f(x)−xtf(x)) which gives us either f(x)=0 or f(x)=x(x+t+tx1)(1−xt)=x2−x1−(t2−t1). Note that since the ladder expression doesn't equal x2−x1, since t=1, we must have that f(x)=0. Thus, we have proved lemma 2. Combining these lemmas finishes the problem.