令 g(x)=f(x)−2x≥0g(x)=f(x)-2x\ge0g(x)=f(x)−2x≥0。将 f(t)=g(t)+2tf(t)=g(t)+2tf(t)=g(t)+2t 代入函数方程并消去两边的 2(c+1)x+4y2(c+1)x+4y2(c+1)x+4y,得对所有 x,y>0x,y>0x,y>0 有 g((c+1)x+2y+g(y))+2g(y)=g(x+2y)g((c+1)x+2y+g(y))+2g(y)=g(x+2y)g((c+1)x+2y+g(y))+2g(y)=g(x+2y)。