Question

3．已知函數(shù)f（x）=ax²+x-lnx，（a＞0）．
（Ⅰ）求f（x）的單調(diào)區(qū)間；
（Ⅱ）設(shè)f（x）極值點(diǎn)為x₀，若存在x₁，x₂∈（0，+∞），且x₁≠x₂，使f（x₁）=f（x₂），求證：x₁+x₂＞2x₀．

Answer 1

分析 （Ⅰ）先求出函數(shù)的定義域，求出函數(shù)f（x）的導(dǎo)函數(shù)，在定義域下令導(dǎo)函數(shù)大于0得到函數(shù)的遞增區(qū)間．即可求出單調(diào)減區(qū)間．
（Ⅱ）要證x₁+x₂＞2x₀，需證$\frac{{{x_1}+{x_2}}}{2}＞{x_0}$．由（ I）知，${x_0}=\frac{{-1+\sqrt{8a+1}}}{4a}$，f′（x）=2ax+1-$\frac{1}{x}$在（0，+∞）上單調(diào)遞增，只需證$f'（\frac{{{x_1}+{x_2}}}{2}）＞0…（7分）$．

解答 解：（ I）f（x）定義域?yàn)椋?，+∞），
f′（x）=$\frac{2a{x}^{2}+x-1}{x}$，
∵a＞0，∴方程f′（x）=0有兩個(gè)實(shí)根x₁=$\frac{-1-\sqrt{1+8a}}{4a}$＜0，x₂=$\frac{-1+\sqrt{1+8a}}{4a}$＞0，
當(dāng)x∈（0，x₂）時(shí)，f′（x）＜0，當(dāng)x∈（x₂，+∞）時(shí)，f′（x）＞0，
∴f（x）的單調(diào)增區(qū)間為：（$\frac{-1+\sqrt{1+8a}}{4a}$，+∞）減區(qū)間為（0，$\frac{-1+\sqrt{1+8a}}{4a}$）
（ II）要證x₁+x₂＞2x₀，需證$\frac{{{x_1}+{x_2}}}{2}＞{x_0}$．
由（ I）知，${x_0}=\frac{{-1+\sqrt{8a+1}}}{4a}$，f′（x）=2ax+1-$\frac{1}{x}$在（0，+∞）上單調(diào)遞增，
∴只需證$f'（\frac{{{x_1}+{x_2}}}{2}）＞0…（7分）$．
不妨設(shè)x₂＞x₁＞0
由已知得$f（{x_2}）-f（{x_1}）=（ax_2^2+{x_2}-ln{x_2}）-（ax_1^2+{x_1}-ln{x_1}）$=$a（x_2^2-x_1^2）+（{x_2}-{x_1}）-（ln{x_2}-ln{x_1}）$，=[a（x₂+x₁）+1]（x₂-x₁）-（lnx₂-lnx₁）=0
∴$a（{x_2}+{x_1}）+1=\frac{{ln{x_2}-ln{x_1}}}{{{x_2}-{x_1}}}$…（9分）
∵$f'（x）=2ax+1-\frac{1}{x}$
∴$f'（\frac{{{x_1}+{x_2}}}{2}）=a（{x_1}+{x_2}）+1-\frac{2}{{{x_1}+{x_2}}}=\frac{{ln{x_2}-ln{x_1}}}{{{x_2}-{x_1}}}-\frac{2}{{{x_1}+{x_2}}}$…（11分）
法1：$f'（\frac{{{x_1}+{x_2}}}{2}）$=$\frac{1}{{{x_2}-{x_1}}}（ln{x_2}-ln{x_1}-\frac{{2{x_2}-2{x_1}}}{{{x_2}+{x_1}}}）$
令$g（x）=ln{x_2}-lnx-\frac{{2{x_2}-2x}}{{{x_2}+x}}，（x∈（0，{x_2}））$
∴$g'（x）=-\frac{{{{（{x_2}-x）}^2}}}{{x{{（{x_2}+x）}^2}}}＜0$，∴g（x）在（0，x₂）單調(diào)遞減，
∴g（x₁）＞g（x₂）=0，
又$\frac{1}{{{x_2}-{x_1}}}＞0$，∴$f'（\frac{{{x_1}+{x_2}}}{2}）＞0$成立．∴結(jié)論成立．…（14分）
法2：f′（ $\frac{{x}_{1}+{x}_{2}}{2}$）=$\frac{1}{{{x_2}-{x_1}}}[ln\frac{x_2}{x_1}-\frac{{2（\frac{x_2}{x_1}-1）}}{{1+\frac{x_2}{x_1}}}]$．
設(shè)$t=\frac{x_2}{x_1}$，$g（t）=lnt-\frac{2（t-1）}{1+t}（t＞1）$．∵$g'（t）=\frac{{{{（t-1）}^2}}}{{t{{（t+1）}^2}}}＞0$，
∴g（t）在（1，+∞）上是增函數(shù)，∴g（t）＞g（1）=0，
即$ln\frac{x_2}{x_1}-\frac{{2（\frac{x_2}{x_1}-1）}}{{1+\frac{x_2}{x_1}}}＞0$，
又∵$\frac{1}{{{x_2}-{x_1}}}＞0$，∴f′（$\frac{{x}_{1}+{x}_{2}}{2}$）＞0成立．
∴結(jié)論成立．…（14分）

點(diǎn)評(píng) 本題考查了導(dǎo)數(shù)的綜合應(yīng)用及整體代換的思想應(yīng)用，化簡(jiǎn)運(yùn)算困難，要細(xì)心，屬于難題．