繁體
|
簡體
Sclub交友聊天~加入聊天室當版主
(檢舉)
分享
新浪微博
QQ空间
人人网
腾讯微博
Facebook
Google+
Plurk
Twitter
Line
快速注册
登录
论坛
搜索
帮助
原始风格
brown
purple
green
red
orange
gray
pink
violet
blue
greyish-green
jeans
greenwall
私人消息 (0)
公共消息 (0)
系统消息 (0)
好友消息 (0)
帖子消息 (0)
应用通知 (0)
应用邀请 (0)
悠闲数学娱乐论坛(第2版)
»
初等数学讨论
» 一道函数证明题
返回列表
发帖
转化与化归
发短消息
加为好友
转化与化归
当前离线
UID
12
帖子
104
主题
31
精华
0
积分
672
威望
0
阅读权限
50
在线时间
303 小时
注册时间
2013-6-15
最后登录
2018-6-12
1
#
跳转到
»
倒序看帖
打印
字体大小:
t
T
发表于 2018-5-17 14:13
|
只看该作者
[函数]
一道函数证明题
2018-5-17 14:13
收藏
分享
分享到:
QQ空间
腾讯微博
腾讯朋友
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
2
#
发表于 2018-5-17 17:59
|
只看该作者
画图看了下右边是不成立的,m 的系数要加大
画错了,右边是成立的,见10楼
TOP
转化与化归
发短消息
加为好友
转化与化归
当前离线
UID
12
帖子
104
主题
31
精华
0
积分
672
威望
0
阅读权限
50
在线时间
303 小时
注册时间
2013-6-15
最后登录
2018-6-12
3
#
发表于 2018-5-17 21:47
|
只看该作者
确实是!
TOP
战巡
发短消息
加为好友
战巡
当前离线
UID
349
帖子
806
主题
26
精华
0
积分
8977
威望
21
阅读权限
90
在线时间
5693 小时
注册时间
2013-10-11
最后登录
2022-5-13
4
#
发表于 2018-5-18 00:25
|
只看该作者
回复
1#
转化与化归
我算的结果是
\[x_1(m)+x_2(m)=2+2\sqrt{m}+\frac{m}{2}-\frac{m^{\frac{3}{2}}}{48}+o(m^{\frac{3}{2}})\]
TOP
转化与化归
发短消息
加为好友
转化与化归
当前离线
UID
12
帖子
104
主题
31
精华
0
积分
672
威望
0
阅读权限
50
在线时间
303 小时
注册时间
2013-6-15
最后登录
2018-6-12
5
#
发表于 2018-5-18 22:19
|
只看该作者
回复
4#
战巡
能否分享一下您的计算过程
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
6
#
发表于 2018-5-18 22:59
|
只看该作者
从图象来看似乎不应该有 `\sqrt m` 这东西的存在……
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
7
#
发表于 2018-5-19 18:12
|
只看该作者
回复
3#
转化与化归
不好意思,我发现我之前画图画错了,原不等式右边应该是成立的,而且很紧。
TOP
isee
发短消息
加为好友
isee
当前离线
UID
15
帖子
5033
主题
697
精华
0
积分
31361
威望
18
阅读权限
90
性别
男
在线时间
8792 小时
注册时间
2013-6-15
最后登录
2022-12-7
8
#
发表于 2018-5-19 20:28
|
只看该作者
回复
1#
转化与化归
我来将题目文字化——
已知$f(x)=(x-1)\ln x$,若$f(x_1)=f(x_2)=m$,$0<x_1<x_2$。
求证:$\frac 95+\ln (1+m)<x_1+x_2<2+\frac m2$。
TOP
转化与化归
发短消息
加为好友
转化与化归
当前离线
UID
12
帖子
104
主题
31
精华
0
积分
672
威望
0
阅读权限
50
在线时间
303 小时
注册时间
2013-6-15
最后登录
2018-6-12
9
#
发表于 2018-5-19 20:52
|
只看该作者
回复
7#
kuing
kuing神,写写做的过程吧
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
10
#
发表于 2018-5-22 16:23
|
只看该作者
好不容易才证出了右边,我之前思考到 ln 里面还有 ln 我就放弃了,直到刚才再次打起精神才想到怎么处理下去。
首先显然 `m>0`, `0<x_1<1<x_2`,要证右边,即证
\[x_1<2+\frac m2-x_2, \quad(*)\]
因为
\[2+\frac m2-x_2-x_2=2+\frac12(x_2-1)\ln x_2-2x_2=\frac12(x_2-1)(\ln x_2-4),\]
所以如果 `x_2\geqslant e^4`,则有
\[2+\frac m2-x_2\geqslant x_2>x_1,\]
式 (*) 成立,故此只需证明当 `1<x_2<e^4` 的情形即可。
不难证明 `2+m/2-x_2` 恒为正,当 `1<x_2<e^4` 时,要证式 (*),只需证
\[f\left( 2+\frac m2-x_2 \right)<m \quad(**),\]
即
\[\left( 2+\frac12(x_2-1)\ln x_2-x_2-1 \right)\ln\left( 2+\frac12(x_2-1)\ln x_2-x_2 \right)<(x_2-1)\ln x_2,\]
化简即
\[(\ln x_2-2)\ln\left( 2+\frac12(x_2-1)\ln x_2-x_2 \right)<2\ln x_2,\]
令 `x_2=e^u`, `0<u<4`,即证
\[(u-2)\ln\left( e^u\frac{u-2}2-\frac u2+2 \right)<2u,\]
当 `u=2` 时显然成立,当 `u\ne2` 时,令
\[g(u)=\ln\left( e^u\frac{u-2}2-\frac u2+2 \right)-\frac{2u}{u-2},\]
则等价于证明当 `0<u<2` 时 `g(u)>0`,当 `2<u<4` 时 `g(u)<0`,因为 `g(0)=g(4)=0`,可见只需证明 `g(u)` 在 `(0,2)` 和 `(2,4)` 上都是增函数即可。
求导整理得
\[g'(u)=\frac{12-u^2+e^u(u^3-5u^2+12u-12)}{(u-2)^2(e^uu-2e^u-u+4)},\]
令
\[h(u)=12-u^2+e^u(u^3-5u^2+12u-12),\]
则 `h(0)=0` 且
\[h'(u)=-2u+e^uu(u^2-2u+2)>-2u+\left( 1+u+\frac{u^2}2 \right)u(u^2-2u+2)=\frac{u^5}2>0,\]
可知 `h(u)>0` 恒成立,所以 `g'(u)>0` 对 `u\ne2` 都成立,从而式 (**) 成立,右边的不等式获证。
$\href{https://kuingggg.github.io/}{\text{About Me}}$
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
11
#
发表于 2018-5-22 16:54
|
只看该作者
由过程的后半段计算都可以看出不等式有多紧,把 `g(u)` 画来瞧瞧:
2018-5-22 16:53
可以看到,在 (0,1) 部分几乎是贴着 x 轴的,真是BT,感觉是我目前证过最紧的一个漂移。
$\href{https://kuingggg.github.io/}{\text{About Me}}$
TOP
转化与化归
发短消息
加为好友
转化与化归
当前离线
UID
12
帖子
104
主题
31
精华
0
积分
672
威望
0
阅读权限
50
在线时间
303 小时
注册时间
2013-6-15
最后登录
2018-6-12
12
#
发表于 2018-5-22 20:43
|
只看该作者
回复
11#
kuing
超级牛!
TOP
realnumber
发短消息
加为好友
realnumber
当前离线
UID
37
帖子
1723
主题
405
精华
0
积分
10201
威望
2
阅读权限
90
性别
男
在线时间
2772 小时
注册时间
2013-6-21
最后登录
2022-4-25
13
#
发表于 2018-5-24 05:51
|
只看该作者
回复
12#
转化与化归
有没参考答案,10,11楼这样,做不到啊...
还有题目来自...
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
14
#
发表于 2018-5-24 13:29
|
只看该作者
回复
13#
realnumber
我也想知道。
我用以前常用的各种手法都失败了,太紧。
TOP
转化与化归
发短消息
加为好友
转化与化归
当前离线
UID
12
帖子
104
主题
31
精华
0
积分
672
威望
0
阅读权限
50
在线时间
303 小时
注册时间
2013-6-15
最后登录
2018-6-12
15
#
发表于 2018-5-24 14:37
|
只看该作者
回复
14#
kuing
一个学生问的题目,来自某机构,没有答案
TOP
realnumber
发短消息
加为好友
realnumber
当前离线
UID
37
帖子
1723
主题
405
精华
0
积分
10201
威望
2
阅读权限
90
性别
男
在线时间
2772 小时
注册时间
2013-6-21
最后登录
2022-4-25
16
#
发表于 2018-5-27 07:48
|
只看该作者
本帖最后由 realnumber 于 2018-5-27 08:04 编辑
也试到一个办法,似乎可行
2018-5-27 07:23
如图利用反函数导数$(f^{-1}(m))^{'}=\frac{1}{f^{'}(n)}$其中点(n,m)在y=f(x)上.
2018-5-27 07:31
如图$m>0,m=(x_1-1)\ln{x_1}=(x_2-1)\ln{x_2},0<x_1<1<x_2$(特别$m=0$时,$x_1=x_2=1$)
$m=(x_1-1)\ln{x_1}>(x_1-1)^2,\sqrt{m}>1-x_1$
$m=(x_2-1)\ln{x_2}<(x_2-1)^2,\sqrt{m}<x_2-1$,得到$2<x_1+x_2$
$\ln(x_1x_2)=\frac{m}{x_1-1}+\frac{m}{x_2-1}=\frac{m(x_1+x_2-2)}{(x_1-1)(x_2-1)}<0$,得到$0<x_1x_2<1$
记y=f(x)在(0,1),(1,+∞)的反函数分别为$y=f_1(x),y=f_2(x)$,即$x_1=f_1(m),x_2=f_2(m)$
记$g(m)=2+\frac{m}{2}-f_1(m)-f_2(m)$,$g(0)=0$,接下来证明$g'(m)>0,m>0$
\[g'(m)=0.5-\frac{1}{\frac{x_1-1}{x_1}+\ln{x_1}}-\frac{1}{\frac{x_2-1}{x_2}+\ln{x_2}}
=0.5-\frac{1}{\frac{x_1-1}{x_1}+\frac{m}{x_1-1}}-\frac{1}{\frac{x_2-1}{x_2}+\frac{m}{x_2-1}}\]
\[g'(m)=\frac{(x_1-1)(x_2-1)(x_1+x_2+1-3x_1x_2)+m(x_1+x_2)(1-x_1x_2)+m^2x_1x_2}{2((x_1-1)^2+mx_1)((x_2-1)^2+mx_2)}\]
分母正的,分子第一项负的,其余两项正的,革命尚未成功,也许这个处理好就解决了
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
17
#
发表于 2018-5-27 08:12
|
只看该作者
回复
16#
realnumber
这个思路我想过,后来也放弃了。
PS.(代码)导数直接 ' 即可,无需 ^{'} 。
TOP
返回列表
回复
发帖
[收藏此主题]
[关注此主题的新回复]
[通过 QQ、MSN 分享给朋友]