前几天刚结束的云浮高二期末考数学试卷中,有一道题目让我比较深刻。因为在当时我无法去证明它,只是用了举例子的方法得出了答案。刚才思考了一下,在此给出证明过程。题目如下:

定义在(0,+∞)的函数f(x)满足$x f'(x) \leq f(x)$,对于任意的0 < a < b,比较$a f(b)$和$b f(a)$的大小。

这是填空题,因此我举了两个例子就得出了结果:令f(x)=x,则$a f(b)=b f(a)$;令f(x)=x+1,则$a f(b) < b f(a)$,于是答案就是$a f(b) \leq b f(a)$。

当然,读者们想知道的不是答案,而是怎么想到这两个例子。BoJone在考试的时候一时没有头绪,就想着把已知条件$x f'(x) \leq f(x)$换成等于号,解微分方程$x f'(x) = f(x)$得到f(x)=kx,k是任意常数。用这个例子代入$a f(b)$和$b f(a)$得到恒等,稍稍修改这个例子(加上常数项),就得到不等的例子。于是问题就解决了。

不过真正好的数学是需要严格的证明的,这是傍晚时候想出来的:

要比较$a f(b)$和$b f(a)$的大小,
只需要比较比较$\frac{a f(b)}{ab}$和$\frac{b f(a)}{ab}$的大小,
即比较$\frac{f(b)}{b}$和$\frac{ f(a)}{a}$的大小,
即证明函数$\frac{f(x)}{x}$的单调性。

而$(\frac{f(x)}{x})'=\frac{x f'(x)-f(x)}{x^2}$

题目已经给出$x f'(x) \leq f(x)$,于是$(\frac{f(x)}{x})'=\frac{x f'(x)-f(x)}{x^2} \leq 0$。即这是一个递减函数或者是常函数。又因为已知0 < a < b,所以$\frac{f(b)}{b} \leq \frac{ f(a)}{a}$,也就是$a f(b) \leq b f(a)$。

其实BoJone认为这道题目不应该出在填空题,应该出在解答题中,要求写出求解过程。这样的题目才算得上是“锻炼思维的体操”。

转载到请包括本文地址:https://www.kexue.fm/archives/1395

更详细的转载事宜请参考:《科学空间FAQ》

如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。

如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!

如果您需要引用本文,请参考:

苏剑林. (Jul. 08, 2011). 《一道比较函数大小的题目 》[Blog post]. Retrieved from https://www.kexue.fm/archives/1395

@online{kexuefm-1395,
        title={一道比较函数大小的题目},
        author={苏剑林},
        year={2011},
        month={Jul},
        url={\url{https://www.kexue.fm/archives/1395}},
}