若对某个 y>0y>0y>0 有 f(y)<2yf(y)<2yf(y)<2y,取 x=(2y−f(y))/c>0x=(2y-f(y))/c>0x=(2y−f(y))/c>0 可使两个自变量 (c+1)x+f(y)(c+1)x+f(y)(c+1)x+f(y) 与 x+2yx+2yx+2y 相等,代入函数方程即得 2cx=02cx=02cx=0,与 c>0c>0c>0、x>0x>0x>0 矛盾。因此对所有 y>0y>0y>0 均有 f(y)≥2yf(y)\ge2yf(y)≥2y。