“求证:定义在实数集上的单调增函数y=f(x)的图像与x轴至多只有1个交点”