关于方程$7^x = 9^{x+7}$是否存在解的疑问

嘿，这个问题问得特别好——能联想到极限的思路，说明你比课堂上的要求想得更深，必须给你点个赞！

首先先澄清一个关键的点：其实这个方程是有有限实数解的，你的老师可能搞错啦😉。我们可以用对数来推导具体的解：

• 两边同时取自然对数（常用对数也可以），得到：$x\ln7 = (x+7)\ln9$
• 展开右边的式子：$x\ln7 = x\ln9 + 7\ln9$
• 把含$x$的项移到左边整理：$x(\ln7 - \ln9) = 7\ln9$
• 因为$\ln7 < \ln9$，所以$\ln7 - \ln9$是负数，最终解得：$x = \frac{7\ln9}{\ln7 - \ln9}$

计算数值的话，这个$x$大概是-61.27，是一个有限的负数，代入原方程完全成立。所以两个函数的图像其实是会相交的，只是交点在x轴非常靠左的位置，可能老师画图的时候没注意到这个区域~

接下来聊聊你关心的“负无穷是不是解”的问题：
在高中数学的范畴里，我们说的“方程的解”指的是具体的实数——也就是可以用一个有限的数来表示，能代入方程里算出确定的值。而“负无穷（-∞）”并不是一个实数，它是用来描述变量趋向的一种趋势：当$x$越来越小（往数轴左边无限延伸）时，$7^x$和$9{x+7}$都会无限趋近于0，但这只是它们的极限相等，并不存在一个叫“-∞”的数能代入方程让两边相等。

简单来说：极限相等≠某个具体点相等，而且-∞不是一个合法的“解”（因为它不是实数）。不过你能想到极限这层，已经超出了高中课堂的常规要求，这是非常棒的思考习惯！

备注：内容来源于stack exchange，提问作者violetorigin