Neka je Q0+\mathbb{Q}_0^+ skup svih nenegativnih racionalnih brojeva.

Odredi sve funkcije f:Q0+Q0+f: \mathbb{Q}_0^+ \to \mathbb{Q}_0^+ takve da za sve nenegativne racionalne brojeve xx, yy vrijedi

yf(x+y)+(y1)f(xy)=f(y2)f(x+1).yf(x + y) + (y - 1)f(xy) = f(y^2)f(x + 1).