代数不等式证明疑问：优化法证b²≤ac的推导合理性

咱们一步步拆解开教授的推导逻辑，其实每一步都有明确的依据，我给你慢慢捋：

第一步：从二次不等式到分式不等式的变形 #

已知对所有$x>0$，有$ax^2 \pm 2bx + c \ge 0$。因为$x$是正数，我们可以两边同时除以$2x$（正数不会改变不等号方向），对左边每一项做除法：

• $ax^2 \div 2x = \frac{ax}{2}$
• $\pm 2bx \div 2x = \pm b$
• $c \div 2x = \frac{c}{2x}$

所以原式变形为：$\frac{ax}{2} \pm b + \frac{c}{2x} \ge 0$，再把$\pm b$移到右边，就得到了教授写的：
$$\frac{ax}{2} + \frac{c}{2x} \ge \mp b$$

这一步就是基础的不等式移项和同除正数的操作，完全没问题。

第二步：用均值不等式求左边的最小值 #

接下来要处理左边的$\frac{ax}{2} + \frac{c}{2x}$，这里用到均值不等式（AM≥GM）：对于任意两个正数$m$和$n$，有$\frac{m+n}{2} \ge \sqrt{mn}$，等号当且仅当$m=n$时成立。

这里$\frac{ax}{2}$和$\frac{c}{2x}$都是正数（因为$a,c>0$且$x>0$），代入均值不等式：
$$\frac{ax}{2} + \frac{c}{2x} \ge 2\sqrt{\frac{ax}{2} \times \frac{c}{2x}}$$

计算根号里的部分：$\frac{ax}{2} \times \frac{c}{2x} = \frac{ac}{4}$，所以根号后是$\frac{\sqrt{ac}}{2}$，乘以2就得到：
$$\frac{ax}{2} + \frac{c}{2x} \ge \sqrt{ac}$$

等号成立的条件是$\frac{ax}{2} = \frac{c}{2x}$，解这个等式：
$$ax = \frac{c}{x} \implies x^2 = \frac{c}{a} \implies x = \sqrt{\frac{c}{a}} = \left(\frac{c}{a}\right)^{1/2}$$
（教授写的$x=\left(\frac{a}{c}\right)^{1/2}$应该是笔误，不过本质是取到最小值的x值，不影响后续推导）

第三步：从最小值不等式推导出最终结论 #

因为$\frac{ax}{2} + \frac{c}{2x} \ge \mp b$对**所有$x>0$**都成立，那它的最小值$\sqrt{ac}$自然也满足这个不等式（毕竟最小值是左边能取到的最小的数，连最小的数都≥∓b，那所有x对应的左边都满足），所以：
$$\sqrt{ac} \ge \mp b$$

这个式子其实包含两个情况：

• 当原式取$+$号（即$ax^2 + 2bx + c \ge 0$）时，对应$\sqrt{ac} \ge -b$，也就是$b \ge -\sqrt{ac}$
• 当原式取$-$号（即$ax^2 - 2bx + c \ge 0$）时，对应$\sqrt{ac} \ge b$，也就是$b \le \sqrt{ac}$

把这两个不等式合起来就是：$-\sqrt{ac} \le b \le \sqrt{ac}$，两边同时平方（两边都是非负数，平方后不等号方向不变），就得到：
$$b^2 \le ac$$

这样整个推导逻辑就通顺啦～

内容的提问来源于stack exchange，提问作者kaithkolesidou