1. **Define the assertion P(x,y):**
P(x,y):f(x2)−f(y2)≤(f(x)+y)(x−f(y))
2. **Evaluate P(0,0):**
P(0,0):f(02)−f(02)≤(f(0)+0)(0−f(0))
0≤0⟹This is always true.
3. **Evaluate P(x,0):**
P(x,0):f(x2)−f(02)≤(f(x)+0)(x−f(0))
f(x2)≤xf(x)
4. **Evaluate P(0,y):**
P(0,y):f(02)−f(y2)≤(f(0)+y)(0−f(y))
−f(y2)≤−yf(y)
f(y2)≥yf(y)
5. Combine the results from steps 3 and 4:
f(x2)≤xf(x)andf(x2)≥xf(x)
⟹f(x2)=xf(x)
6. **Show that f is odd:**
f((−x)2)=(−x)f(−x)
f(x2)=−xf(−x)
xf(x)=−xf(−x)
⟹f(−x)=−f(x)
7. **Use the new assertion Q(x,y):**
Q(x,y):f(x)f(y)≤xy
8. **Evaluate Q(x,−y):**
Q(x,−y):f(x)f(−y)≤x(−y)
f(x)(−f(y))≤−xy
−f(x)f(y)≤−xy
f(x)f(y)≥xy
9. Combine the results from steps 7 and 8:
f(x)f(y)≤xyandf(x)f(y)≥xy
⟹f(x)f(y)=xy
10. **Set y=1:**
f(x)f(1)=x
f(x)=f(1)x
11. **Determine f(1):**
f(1)f(1)=1
f(1)2=1
f(1)=1orf(1)=−1
12. Find the solutions:
If f(1)=1, then f(x)=x
If f(1)=−1, then f(x)=−x
The final answer is f(x)=x or f(x)=−x.