求使方程A cos{x} = x恰好有两个解的参数A的取值条件
你这个思路完全没问题!用图像分析交点个数是解决这类超越方程解的个数问题的常用方法,我来帮你把这个临界条件推导出来:
首先把方程变形为 $\cos{x} = \frac{x}{A}$,我们需要分析曲线 $y=\cos{x}$ 和直线 $y=\frac{x}{A}$ 的交点个数,目标是恰好两个解。
分情况讨论A的取值:
当A>0时:
x<0时,左边$A\cos{x}$是正数,右边x是负数,不可能相等;x>$\frac{\pi}{2}$时,左边$A\cos{x}$是负数,右边x是正数,也不可能相等。只有x∈$(0, \frac{\pi}{2})$有一个交点,所以此时方程只有一个解,不符合要求。当A=0时:
方程变为$0=x$,只有x=0一个解,同样不符合。当A<0时:
x<0时,方程可以转化为$\cos{(-x)} = \frac{-x}{-A}$(因为A负,$-A=|A|>0$),令$t=-x>0$,则式子变为$\cos{t} = \frac{t}{|A|}$。这个方程在t∈$(0, \frac{\pi}{2})$必有一个解(因为$f(t)=\cos{t}-\frac{t}{|A|}$在t=0时为1>0,t=$\frac{\pi}{2}$时为$-\frac{\pi}{2|A|}<0$,根据中间值定理,必然存在一个解),所以x<0总是有一个解。现在关键看x>0时的解个数:x>0时,$\frac{x}{A}$是负数,所以$\cos{x}$必须为负,即x∈$(\frac{\pi}{2}, \frac{3\pi}{2}), (\frac{5\pi}{2}, \frac{7\pi}{2})...$这些区间。我们需要x>0时恰好有一个解,这样加上x<0的解,总共两个。
找临界相切情况:
当直线$y=\frac{x}{A}$与$y=\cos{x}$在x>0的$\cos{x}<0$区间相切时,这是x>0从一个解变两个解的临界点。设切点为$(x_0, \cos{x_0})$,需要满足两个条件:
- 函数值相等:$\cos{x_0} = \frac{x_0}{A}$,变形得 $A = \frac{x_0}{\cos{x_0}}$
- 导数相等(斜率相同):$\cos{x}$的导数是$-\sin{x_0}$,直线的导数是$\frac{1}{A}$,所以 $-\sin{x_0} = \frac{1}{A}$,变形得 $A = -\frac{1}{\sin{x_0}}$
联立这两个式子,得到:
$$\frac{x_0}{\cos{x_0}} = -\frac{1}{\sin{x_0}} \implies x_0 = -\cot{x_0} \implies x_0 \tan{x_0} = -1$$
这个方程在x∈$(\frac{\pi}{2}, \pi)$有唯一解(因为在这个区间里,$\tan{x}$是负数,$x\tan{x}$从0单调递减到-∞,所以有且只有一个$x_0$满足方程,数值近似为$x_0≈2.028757838$)。
对应的临界A值$A_0$为:
$$A_0 = \frac{x_0}{\cos{x_0}} ≈ \frac{2.028757838}{-0.416146836} ≈ -4.873$$
确定最终的A范围:
- 当$A > A_0$(即$A∈(A_0, 0)$)时,直线$y=\frac{x}{A}$的斜率更接近0,在x>0的$(\frac{\pi}{2}, \pi)$区间有一个交点,加上x<0的解,总共两个解。
- 当$A = A_0$时,直线与$\cos{x}$在$x_0$处相切,x>0有一个解(切点),x<0有一个解,总共两个解。
- 当$A < A_0$时,直线斜率更负,会在x>0的$(\frac{\pi}{2}, \pi)$和$(\frac{3\pi}{2}, 2\pi)$各有一个交点,加上x<0的解,总共三个解,不符合要求。
综上,方程$A\cos{x}=x$恰好有两个解的条件是:
$A ∈ [A_0, 0)$,其中$A_0$是方程$x\tan{x}=-1$在$(\frac{\pi}{2}, \pi)$的唯一解对应的$A_0=\frac{x_0}{\cos{x_0}}$(或$A_0=-\frac{1}{\sin{x_0}}$),数值近似为$A_0≈-4.873$。
备注:内容来源于stack exchange,提问作者SlothForeva

