fff 在 [−1,1][-1,1][−1,1] 上连续。3−x\sqrt{3-x}3−x 与 −x+1-\sqrt{x+1}−x+1 都随 xxx 增大而减小，所以 fff 递减。端点值为 f(−1)=2f(-1)=\sqrt2f(−1)=2、f(1)=0f(1)=0f(1)=0；故 f(x)=1/2f(x)=1/2f(x)=1/2 只有一个点，严格不等式恰在该点之前成立。