免費論壇 繁體 | 簡體
Sclub交友聊天~加入聊天室當版主
分享
返回列表 发帖

[函数] 若`y=x−\ln x−a`有两零点则`(x_1+x_2)x_1x_2<2`尝试中,<3,OK

本帖最后由 isee 于 2021-9-4 13:38 编辑

很长,红字是需要证的,需要帮忙的,或是关键点
======================================================================








取自 敬畏数学 帖出的《含参的函数零点不等式》 第1问.



已知函数`f(x)=x−\ln x−a`有两个不相等的零点`x_1x_2`,求证:`(x_1+x_2)x_1x_2<2`.

那命题真难,没回到原帖一是(尝试的(练练手))解法不是高考内,二是第2问(1问多半一时也是)搞不定的,抛砖引玉吧~





想法,在执行中,是否可有结果,还不好说:


求导后,易知函数`f(x)`的极值点是`1`,且是极小值,有两个不相等的零点,则`f(1)<0`,于是`a>1`,不妨设`0<x_1<1<x_2`.

依题\begin{equation}a=x_1-\ln x_1=x_2-\ln x_2.\tag{01}\label{eq01}\end{equation}
于是,再由对数均值不等式\[\sqrt{x_1x_2}<1=\frac{x_1-x_2}{\ln x_1-\ln x_2}<\frac {x_1+x_2}2,\]
即有基本关系\[x_1x_2<1,x_1+x_2>2.\]

进一步有\[x_1+x_2=2a+\ln (x_1x_2)<2a.\]

分析下所证`(x_1+x_2)x_1x_2<2`,需证`\color{red}{x_1x_2<\frac 1a}`,注意这仅仅是一个方向(是否能目的,还未知),甚至可以尝试更强的`x_1x_2<\frac 1{a+1}<\frac 1a`.

将\eqref{eq01}分别看作`a`是`x_1`,`x_2`的函数,则隐函数求导得%%%%%%%%02%%%%%%
\begin{equation}\mathrm d a=\left(1-\frac 1{x_1}\right)\mathrm d x_1=\left(1-\frac 1{x_2}\right)\mathrm d x_2,\tag{02}\label{eq02}\end{equation}



%%%%%%%%%%ax_1x_2尝试失败,换(a+1)x_1x_2%%%%%%%%%%%%%%%

则\[\frac{\mathrm d ((a+1)\cdot x_1x_2)}{\mathrm d(x_1x_2)}=,\cdots\]

为什么对`x_1x_2`求导,只是因为曾构造`x_1x_2`的函数求导失败过,再试试.

以下就是仿照`y`是`x`的函数的运算法则来运算的——估计是对的,久远了,不管了,算算先——包括反函数求导法则,继续求导
\begin{align*}
\frac{\mathrm d ((a+1)\cdot x_1x_2)}{\mathrm d(x_1x_2)}&=\frac{\mathrm d (a+1)}{\mathrm d(x_1x_2)}\cdot x_1x_2+(a+1)\cdot 1\\
&=\frac{1}{\frac{\mathrm d(x_1x_2)}{\mathrm d a}}\cdot x_1x_2+a+1
\end{align*}

方便书写,单看分母,即,并代入\eqref{eq02}
\begin{align*}
\frac{\mathrm d(x_1x_2)}{\mathrm d a}&=\frac{\mathrm d x_1}{\mathrm d a}\cdot x_2+\frac{\mathrm d x_2}{\mathrm d a}\cdot x_1\\
&=\frac{\mathrm d x_1}{\mathrm d a}\cdot x_2+\frac{\mathrm d x_2}{\mathrm d a}\cdot x_1\\
&=\frac 1{1-\frac 1{x_1}}\cdot x_2+\frac 1{1-\frac 1{x_2}}\cdot x_1\\
&=\frac {x_1x_2(x_1+x_2-2)}{(x_1-1)(x_2-1)}
\end{align*}

继续上式,于是
\begin{align*}
\frac{\mathrm d ((a+1)\cdot x_1x_2)}{\mathrm d(x_1x_2)}&=\frac{(x_1-1)(x_2-1)}{x_1x_2(x_1+x_2-2)}\cdot x_1x_2+(a+1)\cdot 1\\
&=\frac{(x_1-1)(x_2-1)+(a+1)(x_1+x_2-2)}{x_1+x_2-2}
\end{align*}

这真是个坑~,理一下思绪,需要证`\frac{\mathrm d (a\cdot x_1x_2)}{\mathrm d(x_1x_2)}>0`……,喝点水,先~套娃又开始了~

即需证\begin{equation*}(x_1-1)(x_2-1)+(a+1)(x_1+x_2-2)>0\iff a+1>\frac{(1-x_1)(x_2-1)}{x_1+x_2-2}=\frac{x_1+x_2-x_1x_2-1}{x_1+x_2-2}.\end{equation*}

呃,TNND,试下

\begin{align*}
\Leftarrow 2&>\frac{(1-x_1)(x_2-1)}{x_1+x_2-2}\\
\iff  2(x_1+x_2)-4&>(1-x_1)(x_2-1)=x_1+x_2-x_1x_2-1\\
\iff x1+x_2+x_1x_2-3&>0
\end{align*}

%%%%%白眼儿~~~~(反正导数一样,将前面的`a`换`a+1`试试)

下文中\eqref{eq03}已经证明了的,于是`(a+1)x_1x_2`关于`x_1x_2`是递增的,所以\[x_1x_2\to 1,(a+1)x_1x_2<2\Rightarrow \color{red}{x_1x_2<\frac 2{a+1}}.\]
不过,没达到目的,先看看吧\[(x_1+x_2)x_1x_2<\frac {3a+1}2\cdot \frac 2{a+1}=\frac {3a+1}{a+1}=3-\frac 2{a+1}\color{red}{<3}.\]
还是过了,了~~~~~此命题可能非常强,可能需要对`x_1x_2(x_1+x_2)`整体着手看容易~~~


先得搞定`x_1+x_2`和`x_1+x_2-x_1x_2`的范围,转化为一个新题了,搁着,先.






















%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



天意啊, 《极值点偏移又来啦。》,需研究这帖了.
其次,又联想到悬而未决的两零点证x1x2>1/a问题中的结果正好是“取均值”的巧合.


那这里,会不会有`x_1+x_2>\frac {2+2a}2=a+1`呢?看看
\begin{align*}
\frac{\mathrm d{(x_1+x_2-a)}}{\mathrm d x_1}=1+\frac{1-\frac 1{x_1}}{1-\frac 1{x_2}}-1+\frac 1{x_1}=\frac {x_1x_2-1}{x_1(x_2-1)}<0
\end{align*}
即`x_1+x_2-a`关于`x_1`是单调递减的,于是\[x_1\to 1,x_1+x_2-a>1+1-1=1\Rightarrow \color{red}{x_1+x_2>a+1}.\]
猜想成立!

不过,原来《极值点偏移又来啦。》结果较强,未解决,哈哈哈哈哈,继续取均值一下看看


\begin{align*}
\frac{\mathrm d(x_1x_2+x_1+x_2)}{\mathrm d x_1}=x_2+1+(x_1+1)\frac{1-\frac 1{x_1}}{1-\frac 1{x_2}}=\frac {(x_1+x_2)\left(1-\frac 1{x_1x_2}\right)}{1-\frac 1{x_2}}<0
\end{align*}
即`x_1x_2+x_1+x_2`关于`x_1`是单调递减的,于是\begin{equation}x_1\to 1,\color{red}{x_1x_2+x_1+x_2>3}.\tag{03}\label{eq03}\end{equation}

于是
\begin{align*}
\frac{\mathrm d\left(x_1+x_2-\frac{3a}2\right)}{\mathrm d x_1}=1+\frac{1-\frac 1{x_1}}{1-\frac 1{x_2}}-\frac 32+\frac 3{2x_1}=\frac {x_1+x_2+x_1x_2-3}{2x_1(x_2-1)}>0
\end{align*}

有意外又是情理之中,于是即`x_1+x_2-\frac{3a}2`关于`x_1`是单调递增的,于是\[x_1\to 1,x_1+x_2-\frac{3a}2<1+1-\frac 32=\frac 12\Rightarrow \color{red}{x_1+x_2<\frac {3a+1}2}.\]

嗯,又过了~


=============
还有主题干一样的:http://kuing.orzweb.net/viewthread.php?tid=4925
分享到: QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友

辛苦

TOP

令$ 0<t=\frac{x_1}{x_2}<1 $,那么$ x_1=\frac{t\ln t}{t-1},x_2=\frac{\ln t}{t-1} $,于是$ (x_1+x_2)x_1x_2<2 $等价于\[ \forall0<t<1,\ln^3t>\frac{2(t-1)^3}{t(1+t)} \]
根据Karamata不等式$ \forall x>0,x\ne1,\frac{\ln x}{x-1}\leqslant\frac{1+\sqrt[3]x}{x+\sqrt[3]x} $,可知\[ \ln^3t-\frac{2(t-1)^3}{t(1+t)}>\frac{(t-1)^3(1+\sqrt[3]t)^3}{(t+\sqrt[3]t)^3}-\frac{2(t-1)^3}{t(1+t)}=\frac{(t-1)^3[(1+t)(1+\sqrt[3]t)^3-2(1+\sqrt[3]{t^2})^3}{(1+t)(t+\sqrt[3]t)^3}=\frac{(t-1)^4(1-\sqrt[3]t)^3}{(1+t)(t+\sqrt[3]t)^3}>0 \]
即证.
1

评分人数

TOP

谢谢分享!

TOP

本帖最后由 isee 于 2021-9-15 20:11 编辑

http://kuing.orzweb.net/viewthread.php?tid=7791
中的 $x_1+x_2<\frac {4a+2}3$可能是线性最强的了


还有个非对称的,也记下 http://kuing.orzweb.net/viewthread.php?tid=8192
$x_1+x_2^2>7a-5$ 猜测亦是化一元~

TOP

我这里有个不错的注意到...
\[x_1+x_2^2>x_1^2+x_2^2+x_1^2x_2^2(1-x_1x_2)>\frac{22a-16}{3}>7a-5.\]
其中结果的$\frac{22a-16}{3}$是线性最佳...

TOP

回复 3# AzraeL


http://kuing.orzweb.net/viewthre ... page%3D1&page=2

28# 给出等价结论,(无证明)
\left(\frac{x-1}{\ln x}\right)^3>\frac{x(x+1)}{2}

TOP

回复 7# isee
到这里就直接求导就好了
$$
f(x)=\dfrac{x-1}{\left(\frac{x(x+1)}{2}\right)^{\frac{1}{3}}}-\ln x\Rightarrow f'(x)=\frac{x^{2}+4x+1}{3\sqrt[3]{\frac{1}{2}x\left(x+1\right)}x\left(x + 1 \right)}>0
$$
1

评分人数

TOP

分而治之的话下面的结论也应该是对的\[x_1x_2<\frac 3{2a+1},\]目前化一元“返祖”证明,卡在导数符号的处理上了

TOP

本帖最后由 战巡 于 2021-9-30 22:47 编辑

回复 1# isee

说实话这类问题我以前也想过通过反函数求导的形式来搞,然而发现并不好使,经常卡在一些莫名其妙的不等式上
后来发现,其实这类问题是有通用解法的...

首先两个零点分别在$1$的左右是显然的,假设$0<x_1<1<x_2$好了

要证明$(x_1+x_2)x_1x_2<2$,就是证明
\[x_1<\frac{1}{2}\left(-x_2+\sqrt{\frac{8+x_2^3}{x_2}}\right)\]
这里很容易证明右边$<1$,我懒得搞了...

而$f(x)$在$x\in(0,1)$段,我们知道明摆着是递减的,那么我们只需要证明
\[f(x_1)=f(x_2)>f(\frac{1}{2}\left(-x_2+\sqrt{\frac{8+x_2^3}{x_2}}\right))\]
也就变成证明
\[x_2-\ln(x_2)-\frac{1}{2}\left(-x_2+\sqrt{\frac{8+x_2^3}{x_2}}\right)+\ln\left(\frac{1}{2}\left(-x_2+\sqrt{\frac{8+x_2^3}{x_2}}\right)\right)>0\]
这其中要求$x_2>1$

那好办,弄个对应的函数完事,令
\[g(x)=x-\ln(x)-\frac{1}{2}\left(-x+\sqrt{\frac{8+x^3}{x}}\right)+\ln\left(\frac{1}{2}\left(-x+\sqrt{\frac{8+x^3}{x}}\right)\right)\]

\[g'(x)=\frac{(1-x)(4+4x+x^2-3x\sqrt{\frac{8+x^3}{x}})}{2x^2\sqrt{\frac{8+x^3}{x}}}\]
由于$x>1$,这玩意的符号重点取决于分子后面这一大块,这里会有
\[4+4x+x^2-3x\sqrt{\frac{8+x^3}{x}}=4+4x+x^2-3\sqrt{8x+x^4}\]
注意我们要比较的是这玩意和$0$的大小,带个根号显然很坑,既然$4+4x+x^2>0, 3\sqrt{8x+x^4}>0$,我们大可以平方以后再比较,于是就变成比较
\[(4+4x+x^2)^2-9(8x+x^4)\]
和$0$的大小,上面化简变成
\[8(1-x)^3(x+2)<0\]
这样也就证明了$g'(x)>0$,$g(x)$是增函数,那么
\[f(x_2)-f(\frac{1}{2}\left(-x_2+\sqrt{\frac{8+x_2^3}{x_2}}\right))\]
会在$x_2=1$时取得最小值$0$,也就证明了上面不等式的成立
1

评分人数

    • isee: 赞同,致谢威望 + 1

TOP

返回列表 回复 发帖