函数f限制至(-∞,0)的g：单射证明及值域求解求助

别担心，我一步步帮你拆解这个问题，先从证明单射开始，再求值域。

一、证明g是单射（1-1函数） #

首先，g是函数$f(x)=\frac{x^3+9}{x2}$在定义域$(-\infty,0)$上的限制，即$g(x)=\frac{x^3+9}{x2}$，其中$x<0$。

证明单射的常用思路有两种：一是假设$g(a)=g(b)$推导$a=b$，二是通过导数判断函数单调性（严格单调的函数必然是单射）。这里用导数法更高效：

1. 先对$g(x)$变形再求导：
   把$g(x)$拆成两项：$g(x)=\frac{x^3}{x2}+\frac{9}{x^2}=x + 9x^{-2}$
   求导可得：

   g'(x) = 1 + 9\times(-2)x^{-3} = 1 - \frac{18}{x^3}
   

2. 分析导数在$(-\infty,0)$上的符号：
   当$x<0$时，$x^{3$是负数，所以$\frac{18}{x}3}$是负数，进而$-\frac{18}{x^3}$是正数。因此$g'(x)=1 + 正数 > 0$，这说明$g(x)$在$(-\infty,0)$上是严格单调递增的函数。
3. 严格单调函数的单射性：
   假设存在$a,b\in(-\infty,0)$且$a\neq b$，若$a<b$则$g(a)<g(b)$，若$a>b$则$g(a)>g(b)$，绝不会出现$g(a)=g(b)$的情况，因此g是1-1函数。

二、求g的值域 #

我们可以通过分析函数在定义域端点的趋势，结合单调性来确定值域：

1. 当$x\to0^-$（x从左侧趋近于0）时：
   $g(x)=x + \frac{9}{x^{2}$，其中$\frac{9}{x}2}$趋近于$+\infty$，$x$趋近于0，因此$g(x)\to+\infty$。
2. 当$x\to-\infty$时：
   $g(x)=x + \frac{9}{x^{2}$，其中$\frac{9}{x}2}$趋近于0，$x$趋近于$-\infty$，因此$g(x)\to-\infty$。
3. 结合单调性与连续性：
   $g(x)$在$(-\infty,0)$上是严格连续且单调递增的，根据连续函数的介值定理，它会取到$-\infty$到$+\infty$之间的所有实数。

所以g的值域是$\mathbb{R}$（全体实数）。

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