已知函数
f(x)=2x,
g(x)=x2+ax(其中
a∈R). 对于不相等的实数
x1,
x2,设
m=x1−x2f(x1)−f(x2),
n=x1−x2g(x1)−g(x2),现有如下命题:
① 对于任意不相等的实数
x1,
x2,都有
m>0;
② 对于任意的
a 及任意不相等的实数
x1,
x2,都有
n>0;
③ 对于任意的
a,存在不相等的实数
x1,
x2,使得
m=n;
④ 对于任意的
a,存在不相等的实数
x1,
x2,使得
m=−n.
其中的真命题有______. (写出所有真命题的序号)
\begin{solution}
先化简
n=x1−x2x12−x22+a(x1−x2)=x1+x2+a
因为
2x 在
R 上严格递增,所以
x1=x2 时
m>0,命题 1 为真. 命题 2 不真,例如取
a=0,
x1=−2,
x2=−1,则
n=−3<0.
命题 3 也不真. 取
a=−10,记
s=x1+x2,
d=x1−x2=0,则
m=22sd22d−2−2d>(ln2)22s
若
s⩽10,则
n=s−10⩽0<m. 若
s>10,函数
(ln2)22s−(s−10) 的导数在
[10,+∞) 上为正,因此该函数递增且在
s=10 时为正,所以仍有
m>s−10=n,不可能
m=n.
对于命题 4,固定取
x1=t+1,
x2=t−1,则
m=432t,
n=2t+a. 函数
h(t)=432t+2t+a 连续,且当
t→−∞ 时
h(t)→−∞,当
t→+∞ 时
h(t)→+∞. 由介值定理,存在
t 使
h(t)=0,即
m=−n,命题 4 为真. 所以真命题的序号为
\circled1\circled4.
\end{solution}