想不出名字

题目

已知 $f(x+\frac{1}{x})=\frac{x^2}{x^4+1}$求$f(x)$

答案

$f(x)=\frac{1}{x^2-1}(x\ge 2或x\le -2)$

这是一道非常简单的题目。但笔者想要问一个问题：答案中$f(x)$的定义域是从何而来的？
这个答案也蛮简单的：$x+\frac{1}{x}$的范围决定的。
但笔者非要抬杠不可（其实是真不明白）：为什么$x+\frac{1}{x}$决定了$f(x)$的定义域？
笔者的思路是这样的：$f(x+\frac{1}{x})$其实就是一个复合函数。而复合函数的定义是这样的：

百度定义：设函数y=f(u)的定义域为Du，值域为Mu，函数u=g(x）的定义域为Dx，值域为Mx，如果Mx∩Du≠Ø，那么对于Mx∩Du内的任意一个x经过u；有唯一确定的y值与之对应，则变量x与y之间通过变量u形成的一种函数关系，这种函数称为复合函数(composite function)，记为：y=f[g(x)]，其中x称为自变量，u为中间变量，y为因变量（即函数）。

笔者课本的定义：一般地，若函数$y=f(u)$的定义域为$D_1$,函数$u=g(x)$在$D_2$上有定义，而W2={u∣u=g(x),x∈D2}W_2=\{u|u=g(x),x\in D_2\}W2​={u∣u=g(x),x∈D2​}，且$W_2\subset D_1$，那么，对于任一$x\in D_2$，通过函数$u=g(x)$有确定的$u\in W_2$与之对应，由于$W_2\subset D_1$，因此对于这个$u$值，通过函数$y=f(u)$有确定的$y$值与之对应。这样，对于任一$x\in D_2$，通过$u$有确定的$y$值与之对应，从而得到一个$x$为自变量，$y$为因变量的函数，称这个函数为由函数$y=f(u)$和$u=g(x)$复合而成的复合函数，记作$y=f[g(x)]$，u称为中间变量

以上两种定义大同小异，但都没有使用$u=g(x)$的值域限定$y=f(x)$的定义域，那为何本题要根据$x+\frac{1}{x}$的范围确定$f(x)$的定义域呢？
依笔者愚见，这和定义无关，而和逻辑的因果性有关。上文中两个定义都是基于已经存在一个外层函数$y=f(u)$的前提下（也就是“设函数定义域为Du，值域为Mu”以及“若函数$y=f(u)$的定义域为$D_1$”），在这个前提下，$y=f(x)$自然是有一个预设的定义域的，这个预设的定义域不受$u=g(x)$值域的影响。但对于本题来说，并不存在一个假设的$y=f(u)$存在，那么所谓的这个$y=f(u)$的定义域自然也不存在。此处的“因”是存在一个 $f(x+\frac{1}{x})=\frac{x^2}{x^4+1}$这样的函数，这个函数式已经限定了$u$的范围“$x\ge 2或x\le -2$”，在此范围之外的所谓$y=f(u)$或许存在定义，但我们不可知，因此也就必须根据$x+\frac{1}{x}$来限定范围。