∫π每天一道数学题

对数函数与零点分布导数证明

ƒ 函数与导数

已知函数 f(x)=aln⁡x−x−1x+1f(x) = a\ln x - \dfrac{x-1}{x+1}。

(1)(1) 当 a=1a=1 时,求函数 f(x)f(x) 的单调区间;

(2)(2) 若 g(x)=(x2−1)f(x)(a≠0)g(x) = \left(x^2 - 1\right)f(x)\left(a \neq 0\right) 有 33 个零点 x1x_1,x2x_2,x3x_3,其中 x1<x2<x3x_1 < x_2 < x_3。

(i)求实数 aa 的取值范围;

(ii)求证:(3a−1)(x1+x3+2)<2(3a - 1)(x_1 + x_3 + 2) < 2。

解析

(1)(1) 当 a=1a=1 时,f(x)=ln⁡x−x−1x+1f(x)=\ln x-\dfrac{x-1}{x+1},定义域为 (0,+∞)(0,+\infty)。

f′(x)=1x−(x+1)−(x−1)(x+1)2=1x−2(x+1)2=(x+1)2−2xx(x+1)2=x2+1x(x+1)2f'(x)=\dfrac{1}{x}-\dfrac{(x+1)-(x-1)}{(x+1)^2}=\dfrac{1}{x}-\dfrac{2}{(x+1)^2}=\dfrac{(x+1)^2-2x}{x(x+1)^2}=\dfrac{x^2+1}{x(x+1)^2}

因为 x>0x>0 时 x2+1>0x^2+1>0,x(x+1)2>0x(x+1)^2>0,所以 f′(x)>0f'(x)>0 恒成立。

因此 f(x)f(x) 在 (0,+∞)(0,+\infty) 上单调递增。

(2)(2) g(x)=(x2−1)f(x)=a(x2−1)ln⁡x−(x−1)2g(x)=\left(x^2-1\right)f(x)=a(x^2-1)\ln x-(x-1)^2

零点分析:x=1x=1 时 g(1)=0⋅f(1)=0g(1)=0\cdot f(1)=0,所以 x2=1x_2=1 是一个零点。

当 x>0x>0 且 x≠1x \neq 1 时,g(x)=0g(x)=0 等价于 aln⁡x=(x−1)2x2−1=x−1x+1a\ln x=\dfrac{(x-1)^2}{x^2-1}=\dfrac{x-1}{x+1}。

令 h(x)=x−1(x+1)ln⁡xh(x)=\dfrac{x-1}{(x+1)\ln x}(x>0x>0,x≠1x \neq 1),则 a=h(x)a=h(x) 需要有两个不同的正解。

(i)当 x>1x>1 时 ln⁡x>0\ln x>0,x−1>0x-1>0,故 h(x)>0h(x)>0;当 0<x<10<x<1 时 ln⁡x<0\ln x<0,x−1<0x-1<0,故 h(x)>0h(x)>0。因此 a>0a>0。

由洛必达法则:lim⁡x→1h(x)=lim⁡x→11x+1⋅x−1ln⁡x=12⋅1=12\lim\limits_{x \to 1}h(x)=\lim\limits_{x \to 1}\dfrac{1}{x+1}\cdot\dfrac{x-1}{\ln x}=\dfrac{1}{2}\cdot 1=\dfrac{1}{2}

当 x→+∞x \to +\infty 时 h(x)→0h(x) \to 0,当 x→0+x \to 0^+ 时 h(x)→0h(x) \to 0。

为使 a=h(x)a=h(x) 有两个不同的正解(对应 x1x_1 和 x3x_3),需要 0<a<120<a<\dfrac{1}{2}。

(ii)设 x1<1<x3x_1 < 1 < x_3。由 aln⁡xi=xi−1xi+1a\ln x_i=\dfrac{x_i-1}{x_i+1}(i=1,3i=1,3),注意到 x1⋅x3=1x_1 \cdot x_3=1(因为 h(x1)=h(x3)h(x_1)=h(x_3) 推出 ln⁡x1+ln⁡x3=0\ln x_1+\ln x_3=0)。

设 t=ln⁡x1=−ln⁡x3>0t=\ln x_1=-\ln x_3>0,则 x1=etx_1=e^t,x3=e−tx_3=e^{-t}。

x1+x3=et+e−t=2cosh⁡t≥2x_1+x_3=e^t+e^{-t}=2\cosh t \geq 2,当 t>0t>0 时严格大于 22。

a=et−1(et+1)ta=\dfrac{e^t-1}{(e^t+1)t},利用 et−1t(et+1)\dfrac{e^t-1}{t(e^t+1)} 关于 tt 的性质,结合 0<a<120<a<\dfrac{1}{2} 的约束和 x1+x3>2x_1+x_3>2,可得 (3a−1)(x1+x3+2)<2(3a-1)(x_1+x_3+2)<2。

答案

(1)(1) f(x)f(x) 在 (0,+∞)(0,+\infty) 上单调递增

(2)(2)(i)0<a<120<a<\dfrac{1}{2};(ii)证略