求证正实数a、b的分式不等式：f(a+b)<2(f(a)+f(b)) 求提示

首先，你构造函数$f(x) = \frac{x^2}{\sqrt{x2+1}}$的思路非常正确，把原不等式转化为$f(a+b) < 2(f(a)+f(b))$是关键的第一步。接下来可以从以下几个方向尝试推进：

• 分析函数的导数与单调性：
  先计算$f(x)$的一阶导数：
  $$f'(x) = \frac{x^3 + 2x}{(x²⁺¹⁾{3/2}}$$
  因为$a,b$是正实数，所以$f'(x) > 0$对所有$x>0$成立，说明$f(x)$在$(0,+\infty)$上严格递增。这个性质可以帮你快速判断函数值的大小关系。

• 变形为比例函数研究：
  令$g(x) = \frac{f(x)}{x} = \frac{x}{\sqrt{x^2+1}}$，原不等式可改写为：
  $$(a+b)g(a+b) < 2(ag(a) + bg(b))$$
  整理后得到：
  $$a(2g(a) - g(a+b)) + b(2g(b) - g(a+b)) > 0$$
  虽然当$a+b$远大于$a$时，$2g(a)-g(a+b)$可能为负，但此时$b$对应的项$2g(b)-g(a+b)$会是正的，且由于$b$较大，正项的绝对值会远大于负项，整体仍为正。你可以分两种情况讨论：

  1. 当$a,b$都较小时，直接代入验证不等式成立；
  2. 当其中一个变量很大时，利用$f(x)$的渐近性质（$x\to+\infty$时，$f(x)\approx x$），此时左边$f(a+b)\approx a+b$，右边$2(f(a)+f(b))\approx 2(a+b)$，显然$a+b < 2(a+b)$成立。

• 特殊情况验证与推广：
  先验证$a=b$的情况：此时原不等式变为$\frac{4a^2}{\sqrt{4a2+1}} < \frac{4a^2}{\sqrt{a2+1}}$，由于$\sqrt{4a^2+1} > \sqrt{a^2+1}$，不等式显然成立。
  再固定$a$，构造关于$b$的函数$F(b) = 2(f(a)+f(b)) - f(a+b)$，证明$F(b) > 0$对所有$b>0$成立：

  • $F(0) = f(a) > 0$；
  • 当$b\to+\infty$时，$F(b)\approx 2(a+b) - (a+b) = a+b\to+\infty$；
  • 分析$F(b)$的导数$F'(b)=2f'(b)-f'(a+b)$，结合$f'(x)$的单调性变化，可发现$F(b)$的最小值始终大于0。

• 平方后化简不等式：
  由于原不等式两边都是正数，可直接平方后整理：
  $$\frac{(a+b)^4}{(a+b)2+1} < 4\left(\frac{a^2}{\sqrt{a2+1}} + \frac{b^2}{\sqrt{b2+1}}\right)^2$$
  展开右边并利用基本不等式$ab \leq \frac{a^2+b2}{2}$，逐步化简后能得到明显成立的不等式。

内容的提问来源于stack exchange，提问作者c-2785