求函数$y = x-2^x + 2$的实根及实根个数分析（已得一个根）

首先，我们的目标是找出方程 $x - 2^x + 2 = 0$（等价于 $x + 2 = 2^x$）的所有实根，下面分两部分解析：

1. 已确定的实根：$x=2$ #

你已经精准发现了一个实根：当 $x=2$ 时，代入方程验证：

$2 + 2 = 2^2$ → $4 = 4$，完全成立，所以 $x=2$ 是一个确定的实根。

2. 寻找另一个实根 #

我们可以通过函数分析锁定根的范围，再用数值方法逼近它：

步骤1：分析函数的单调性与取值范围 #

令 $f(x) = x - 2^x + 2$，对其求导得 $f'(x) = 1 - 2^x \ln2$：

• 当 $f'(x)=0$ 时，可解得临界点 $x_0 = \log_2\left(\frac{1}{\ln2}\right) \approx -0.528$；
• 当 $x < x_0$ 时，$f'(x) > 0$，函数单调递增；当 $x > x_0$ 时，$f'(x) < 0$，函数单调递减。

再观察几个关键节点的函数值：

• $f(-2) = -2 - 2^{-2} + 2 = -0.25 < 0$
• $f(-1) = -1 - 2^{-1} + 2 = 0.5 > 0$
• $f(3) = 3 - 8 + 2 = -3 < 0$

结合单调性可知：函数在 $(-\infty, x_0)$ 从 $-\infty$ 递增到峰值 $f(x_0) \approx 1.21$，再在 $(x_0, +\infty)$ 递减到 $-\infty$。因此除了 $x=2$，在区间 $(-2, -1)$ 内必然存在另一个实根。

步骤2：用二分法逼近另一个根 #

通过迭代二分法逐步缩小范围：

• 初始区间 $[-2, -1]$，取中间值 $x=-1.5$，$f(-1.5) \approx 0.157 > 0$，根落在 $[-2, -1.5]$；
• 取中间值 $x=-1.75$，$f(-1.75) \approx -0.054 < 0$，根落在 $[-1.75, -1.5]$；
• 多次迭代后，可得到这个根的近似值为 $x≈-1.690$（精确到三位小数）。

验证近似根 #

代入 $x≈-1.690$：左边 $x+2≈0.310$，右边 $2^x≈2{-1.690}≈0.310$，两者基本相等，符合方程要求。

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