考点:函数零点的判定定理
专题:计算题,证明题,导数的综合应用,不等式的解法及应用
分析:(1)化简F(x)=
=
+ax,求导F′(x)=
+a=
;从而化函数F(x)=
在定义域(0,+∞)内为单调增函数为F′(x)≥0在(0,+∞)上恒成立;即a≥
在(0,+∞)上恒成立;再构造函数g(x)=
,从而利用导数求函数的最值可得;
(2)由题意可得当x∈(0,x
0)时,f(x)<0;再由函数的单调性可得
<
,
<
;故
≤max{
,
}<
;从而化简证明.
解答:
解:(1)F(x)=
=
+ax,
F′(x)=
+a=
;
故使函数F(x)=
在定义域(0,+∞)内为单调增函数可化为
F′(x)≥0在(0,+∞)上恒成立;
即1-lnx+ax
2≥0在(0,+∞)上恒成立;
即a≥
在(0,+∞)上恒成立;
令g(x)=
,则g′(x)=
;
故x∈(0,
e)时,g′(x)>0;
x∈(
e,+∞)时,g′(x)<0;
故g(x)=
在(0,
e)上是增函数,在(
e,+∞)上是减函数;
故g
max(x)=g(
e)=
;
故a≥
;
(2)证明:∵F(x)=
在定义域(0,+∞)内为单调增函数,
又∵x
0是f(x)的零点;
∴当x∈(0,x
0)时,f(x)<0;
∵
<
,
<
;
∴
≤max{
,
}<
;
∴f(m)+f(n)<f(m+n);
又∵f(m)+f(n)<0;
∴
<1.
点评:本题考查了导数的综合应用及恒成立问题,考查了构造函数的应用,同时考查了不等式的性质应用,属于难题.