【判断函数是否相同：练习1】真数带根式的对数函数

【题目】如下两个函数是否表示同一个函数，请说明理由（完整过程）
$$\begin{gathered} f(x)=ln(-x+\sqrt{x^2+1}) \\ \phi (x)=-ln(x+\sqrt{x^2+1}) \end{gathered}$$

【分析与解答】要判断两个函数是否表示同一个函数，从函数的三要素（定义域，值域，对应法则）来考虑，如果定义域相同，且对应法则（表达式）相同，则值域肯定也就相同，所以只需要看定义域是否相同，以及对应法则（表达式）是否相同。基于这个思路，我们先来判断定义域，也就是自变量的取值范围，此处可以看到$x$是自变量，那么就先判断$x$的取值范围，对于
$$f(x)=ln(-x+\sqrt{x^2+1})$$来说，由于对数函数的真数应该大于$0$，所以$ln$后面的$(-x+\sqrt{x^2+1})$应该大于0，即
$$-x+\sqrt{x^2+1}>0$$将不等式两边同时加$x$得
$$-x+\sqrt{x^2+1}+x>0+x$$从而将左边的$-x$与$+x$抵消，得
$$\sqrt{x^2+1}>x$$若$x$是负数，而根式肯定大于或等于0（即肯定大于负数），则无论$x$取多少，这个不等式恒成立。若$x$是正数，那么$x$可以写成$\sqrt{x^2}$，则不等式等价于$$\sqrt{x^2+1}>\sqrt{x^2}$$观察发现，显然无论$x$取多少，左边肯定大于右边，这个不等式恒成立，所以$x$可以取全体实数，则$f(x)$的定义域可以写成集合形式 { x ∣ x ∈ R } \left \{ x|x\in R \right \} {x∣x∈R}或写成区间形式$(-\infty ,+\infty )$，至于对应法则（表达式），我们可以先不动它，看看另一个函数$\phi (x)=-ln(x+\sqrt{x^2+1})$的表达式是否能变形为与$f(x)$的表达式相同，在看表达式之前，我们可以先看看定义域是否相同，如果定义域不同，那么函数自然也就不同，也就不需要看表达式了。根据刚才类似的做法来判断，$\phi (x)=-ln(x+\sqrt{x^2+1})$中的$ln$后面的$(x+\sqrt{x^2+1})$应该大于0，即$$x+\sqrt{x^2+1}>0$$将不等式两边同时减$x$得$$x+\sqrt{x^2+1}-x>0-x$$从而将左边的$x$与$-x$抵消，得
$$\sqrt{x^2+1}>-x$$若$x$是负数，则$-x$是正数，那么$-x$可以写成$\sqrt{(-x{)}^2}$，而
$$\sqrt{(-x{)}^2}=\sqrt{(-x)(-x)}=\sqrt{(x)(x)}=\sqrt{x^2}$$则不等式等价于$$\sqrt{x^2+1}>\sqrt{x^2}$$这个不等式显然恒成立。另外，若$x$是正数，则$-x$是负数，那么同理（根式（非负数）肯定大于负数），则不等式$$\sqrt{x^2+1}>-x$$依然恒成立，所以$\phi (x)=-ln(x+\sqrt{x^2+1})$的定义域也是全体实数集，与$f(x)$的定义域相同，那么下面只需要看表达式是否相同。在$f(x)$的表达式中的$ln$前面没有负号，而$\phi (x)$的表达式中的$ln$前面有负号，为了便于比较，我们需要将$\phi (x)$的表达式中的$ln$前面的负号挪走（转移位置），转移的方法是采用对数函数的性质$$ln{A}^B=BlnA$$即指数$B$可以从等式左边这个对数的真数$A^B$中提到对数的外面从而得到等式右边，也可以利用反向思维从等式右边这个对数的外面提进来作为真数$A$的指数$B$从而得到等式左边，那么如果我们将$\phi (x)=-ln(x+\sqrt{x^2+1})$看作$ln(x+\sqrt{x^2+1})$的$(-1)$倍，即$$\begin{gathered} \phi (x)=-ln(x+\sqrt{x^2+1}) \\ =(-1)ln(x+\sqrt{x^2+1}) \end{gathered}$$那么这里的$(-1)$就相当于$B$，则它就可以提到$ln$后面的真数$(x+\sqrt{x^2+1})$的右上角作为指数，即$$ln(x+\sqrt{x^2+1}{)}^{-1}$$而一个式子的$(-1)$次方相当于是在求倒数，所以得$$ln(x+\sqrt{x^2+1}{)}^{-1}=ln\frac{1}{x+\sqrt{x^2+1}}$$即$$\begin{gathered} f(x)=ln(-x+\sqrt{x^2+1}) \\ \phi (x)=ln\frac{1}{x+\sqrt{x^2+1}} \end{gathered}$$所以比较$f(x)$与$\phi (x)$只需要比较$(-x+\sqrt{x^2+1})$与$\frac{1}{x+\sqrt{x^2+1}}$是否相同，一个是整式，一个是分式，不好比较，于是我们想到采取平方差公式来去掉分母中的根式从而将分式化为整式，根据平方差公式$$a^2-b^2=(a+b)(a-b)$$的逆过程（反向思维）$$(a+b)(a-b)=a^2-b^2$$套用上述公式，将字母$a$替换成$x$，将字母$b$替换成根式$\sqrt{x^2+1}$，可知$$\begin{gathered} (x+\sqrt{x^2+1})(x-\sqrt{x^2+1}) \\ =x^2-(\sqrt{x^2+1}{)}^2 \end{gathered}$$而$$\begin{gathered} x^2-(\sqrt{x^2+1}{)}^2 \\ =x^2-(x^2+1) \\ =x^2-x^2-1 \\ =-1 \end{gathered}$$所以采取分子分母同时乘以某式的做法，可得$$\begin{gathered} \phi (x)=ln\frac{1}{x+\sqrt{x^2+1}} \\ =ln\frac{1\cdot (x-\sqrt{x^2+1})}{(x+\sqrt{x^2+1})\cdot (x-\sqrt{x^2+1})} \\ =ln\frac{1\cdot (x-\sqrt{x^2+1})}{-1} \\ =ln[-(x-\sqrt{x^2+1})] \\ =ln(-x+\sqrt{x^2+1}) \end{gathered}$$而这个表达式与$f(x)$的表达式恰好完全相同，所以对应法则（表达式）相同，而刚才也分析了定义域相同，所以$f(x)$与$\phi (x)$这两个函数实际上表示的是同一个函数。