嘿，这个问题问得特别好——很多人刚开始接触渐近行为的时候都会有这个困惑，觉得根号里的常数项在x趋向无穷时应该完全“消失”，但其实这里藏着**泰勒展开（渐近展开）**的关键细节，咱们一步步拆解清楚：

先纠正一个小细节 #

首先得指出：你写的 $\lim_{x\to\infty}f(x)=x^2-\frac{1}{2}$ 写法不太准确，正确的表述是当 $x\to\infty$ 时，$f(x)$ 渐近等价于 $x^2-\frac{1}{2}$，也就是：
$$f(x) \sim x^2 - \frac{1}{2} \quad (x\to\infty)$$
因为当x趋向无穷时，$f(x)$ 和 $x^2$ 都是趋向无穷的，我们讨论的是它们之间差值的主导项。

推导过程：从代数变形到泰勒展开 #

我们可以把 $f(x)$ 做如下变形，把x的最高次项提出来：
$$f(x) = x\sqrt{x^2 - 1} = x^2 \cdot \sqrt{1 - \frac{1}{x^2}}$$
当 $x\to\infty$ 时，$\frac{1}{x^2}$ 是一个趋近于0的小量（记为 $\varepsilon = -\frac{1}{x^2}$），这时候我们可以用泰勒展开式对根号部分做近似：
对于很小的 $\varepsilon$，有：
$$\sqrt{1 + \varepsilon} \approx 1 + \frac{\varepsilon}{2} - \frac{\varepsilon^2}{8} + \cdots$$
把 $\varepsilon = -\frac{1}{x^2}$ 代入进去：
$$\sqrt{1 - \frac{1}{x^2}} \approx 1 + \frac{-\frac{1}{x^2}}{2} - \frac{(-\frac{1}{x^2})2}{8} + \cdots = 1 - \frac{1}{2x^2} - \frac{1}{8x^4} - \cdots$$
再把这个结果乘以 $x^2$：
$$f(x) = x^2 \cdot \left(1 - \frac{1}{2x^2} - \frac{1}{8x^4} - \cdots\right) = x^2 - \frac{1}{2} - \frac{1}{8x^2} - \cdots$$

为什么会出现 $-\frac{1}{2}$？ #

当x趋向无穷时，后面的 $\frac{1}{8x^2}$ 以及更高阶的项都会趋向0，所以剩下的主导修正项就是 $-\frac{1}{2}$。

你之前觉得根号里的-1可以忽略，是因为只看到了根号整体趋近于x，但实际上当我们要更精确地描述f(x)和x²的差值时，就必须考虑根号展开后的一阶小项——这个小项 $\frac{1}{2x^2}$ 本身很小，但乘以x²之后就变成了常数1/2，所以这个影响完全不能忽略，这就是那个-0.5的来源。

直观验证 #

比如取x=1000，计算：

• $f(x)=1000\times\sqrt{1000^2-1}=1000\times\sqrt{999999}\approx1000\times999.9995=999999.5$
• $x^2 - \frac{1}{2}=1000000 - 0.5=999999.5$
• $x^2=1000000$

可以看到，f(x)和 $x^2-\frac{1}{2}$ 几乎完全一致，和x²的差值正好是0.5，这就直观验证了这个修正项的存在。

内容的提问来源于stack exchange，提问作者D. W