上下界相等,只剩下唯一候选;代入即可验证。
两条界迫使 f(y)=22−yf(y)=\frac{2}{2-y}f(y)=2−y2 在 [0,2)[0,2)[0,2) 上成立。结合零尾部,唯一函数为 y<2y<2y<2 时 f(y)=22−yf(y)=\frac{2}{2-y}f(y)=2−y2,y≥2y\ge2y≥2 时 f(y)=0f(y)=0f(y)=0。分别在 x+y<2x+y<2x+y<2 与 x+y≥2x+y\ge2x+y≥2 情况下直接代入验证。