繁體
|
簡體
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版)
»
初等数学讨论
» 两道看起来吓人的不等式
返回列表
发帖
yangyou719
发短消息
加为好友
yangyou719
当前离线
UID
2414
帖子
3
主题
2
精华
0
积分
17
威望
0
阅读权限
10
在线时间
3 小时
注册时间
2014-8-5
最后登录
2022-6-20
1
#
跳转到
»
正序看帖
打印
字体大小:
t
T
发表于 2014-8-5 19:33
|
只看该作者
[不等式]
两道看起来吓人的不等式
2014-8-5 19:33
2014-8-5 19:33
收藏
分享
分享到:
QQ空间
腾讯微博
腾讯朋友
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
13
#
发表于 2018-3-3 17:05
|
只看该作者
都快忘记怎么拆的了,刚才重新拆了下,6#这个拆复杂了点,其实也可以拆成
\begin{align*}
&(s^2-16Rr+5r^2)^2(s^2+28Rr-19r^2)+8r^2(s^2-16Rr+5r^2)(70R^2-100Rr+19r^2)\\
&+8r^3(R-2r)(280R^2-168Rr+17r^2)\geqslant 0
\end{align*}
TOP
hjfmhh
发短消息
加为好友
hjfmhh
当前离线
UID
2415
帖子
228
主题
94
精华
0
积分
1578
威望
1
阅读权限
90
在线时间
676 小时
注册时间
2014-8-9
最后登录
2023-5-20
12
#
发表于 2015-7-30 22:26
|
只看该作者
回复
2#
kuing
去分母整理化简这里有技巧吗?求指教
TOP
其妙
发短消息
加为好友
其妙
当前离线
UID
38
帖子
2386
主题
95
精华
0
积分
12885
威望
4
阅读权限
90
在线时间
1110 小时
注册时间
2013-6-22
最后登录
2022-2-10
11
#
发表于 2014-8-7 23:00
|
只看该作者
回复
10#
其妙
还忘了乘方,开方
福建何灯:刘保乾老师前两年就已经做了这个事情 ,再结合随机数程序进行验证 发现一大类的不等式
TOP
其妙
发短消息
加为好友
其妙
当前离线
UID
38
帖子
2386
主题
95
精华
0
积分
12885
威望
4
阅读权限
90
在线时间
1110 小时
注册时间
2013-6-22
最后登录
2022-2-10
10
#
发表于 2014-8-7 22:56
|
只看该作者
我猜是软件,很好验证成立
,他(任迪慧老师)一般就是$R$,$r$, $a+b+c$, $p, S , a^2+b^2+c^2, abc, a^3+b^3+c^3$,等等的通过加、减、乘、除并配以适当系数的组合,然后就变成了一系列的不等式(可通过软件验证,据说maple、bottma等可验证成立),
提一个问题:谁能用排列组合知识, 计算出这样的方法可以创造多少个几何不等式呢?些
TOP
青青子衿
发短消息
加为好友
青青子衿
当前离线
UID
230
帖子
1123
主题
411
精华
0
积分
7553
威望
2
阅读权限
150
在线时间
3476 小时
注册时间
2013-9-20
最后登录
2022-6-6
9
#
发表于 2014-8-7 15:48
|
只看该作者
回复
8#
kuing
刘保乾老师的几何不等式的确很有造诣!
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
8
#
发表于 2014-8-7 15:01
|
只看该作者
回复
7#
其妙
噢?看来跟 xzlbq 有得一拼。
TOP
其妙
发短消息
加为好友
其妙
当前离线
UID
38
帖子
2386
主题
95
精华
0
积分
12885
威望
4
阅读权限
90
在线时间
1110 小时
注册时间
2013-6-22
最后登录
2022-2-10
7
#
发表于 2014-8-7 14:54
|
只看该作者
任迪慧老师的几何不等式吧,
他可以达到平均每天创造一个这样的几何不等式,有时候一上来就甩出几个这样的不等式,从来没看见他解答过,尽管众人屡次央求他写一个解答。
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
6
#
发表于 2014-8-6 14:59
|
只看该作者
回复
4#
yangyou719
虽然还是比较暴力及无趣,还是写一下过程……
由正弦定理易得 $\cot^2A=4R^2/a^2-1$,于是
\begin{align*}
\cot^2A+\cot^2B+\cot^2C&=4R^2\left( \frac1{a^2}+\frac1{b^2}+\frac1{c^2} \right)-3 \\
& =4R^2\frac{(ab+bc+ca)^2-2abc(a+b+c)}{a^2b^2c^2}-3 \\
& =4R^2\frac{(s^2+4Rr+r^2)^2-16s^2Rr}{(4sRr)^2}-3 \\
& =\frac{(s^2+4Rr+r^2)^2-16s^2Rr}{4(sr)^2}-3,
\end{align*}
另一边
\begin{align*}
\frac{\left( \frac{4R+r}s \right)^2\frac{a^3+b^3+c^3}{abc}}{(a+b+c)\left( \frac1a+\frac1b+\frac1c \right)}&=\left( \frac{4R+r}s \right)^2\frac{(a+b+c)^3-3(a+b+c)(ab+bc+ca)+3abc}{(a+b+c)(ab+bc+ca)} \\
& =\left( \frac{4R+r}s \right)^2\frac{(2s)^3-6s(s^2+4Rr+r^2)+12sRr}{2s(s^2+4Rr+r^2)} \\
& =\left( \frac{4R+r}s \right)^2\frac{s^2-6Rr-3r^2}{s^2+4Rr+r^2},
\end{align*}
所以原不等式等价于
\[\frac{(s^2+4Rr+r^2)^2-16s^2Rr}{4(sr)^2}-3\geqslant \left( \frac{4R+r}s \right)^2\frac{s^2-6Rr-3r^2}{s^2+4Rr+r^2},\]
去分母整理等价于
\begin{align*}
&(s^2 - 16 R r + 5 r^2) \bigl(s^2 (R - r) (s^2 + 12 R r - 14 r^2) + r^2 (112 R^3 + 92 R^2 r + 77 R r^2 - 23 r^3)\bigr)\\
& + 2 r^3 (4 R^2 + 4 R r + 3 r^2 - s^2) (280 R^2 - 168 R r + 17 r^2)\geqslant 0,
\end{align*}
由欧拉不等式 $R\geqslant 2r$ 及 Gerretsen 不等式 $4R^2+4Rr+3r^2\geqslant s^2\geqslant 16Rr-5r^2$ 可知上式成立,故原不等式得证。
$\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
5
#
发表于 2014-8-6 14:18
|
只看该作者
回复
4#
yangyou719
类似地sRr化可以做
PS、都是哪来的问题?有啥背景么?
TOP
yangyou719
发短消息
加为好友
yangyou719
当前离线
UID
2414
帖子
3
主题
2
精华
0
积分
17
威望
0
阅读权限
10
在线时间
3 小时
注册时间
2014-8-5
最后登录
2022-6-20
4
#
发表于 2014-8-6 11:57
|
只看该作者
别人的题目,先换成这道
2014-8-6 11:57
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
3
#
发表于 2014-8-5 22:20
|
只看该作者
第二个是不是要核实一下题目啊楼主
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
2
#
发表于 2014-8-5 22:07
|
只看该作者
第一个:
由恒等式
\begin{align*}
a+b+c&=2s, \\
ab+bc+ca&=s^2+4Rr+r^2, \\
abc&=4sRr,
\end{align*}
可知原不等式等价于
\[\frac{R-2r}{R+2r}\cdot 2s\cdot \frac{s^2+4Rr+r^2}{4sRr}+\frac{(2s)^2}{(2s)^2-2(s^2+4Rr+r^2)}\geqslant 3,\]
去分母整理等价于
\begin{align*}
&(s^2 - 16 R r + 5 r^2) \bigl((R - 2 r) (R - r) s^2 + (14 R^3 + 3 R^2 r + 5 R r^2 - 4 r^3)r\bigr) \\
&+ 2(4 R^2 + 4 R r + 3 r^2 - s^2) (29 R^2 - 23 R r + 3 r^2) r^2\geqslant 0,
\end{align*}
由欧拉不等式 $R\geqslant 2r$ 及 Gerretsen 不等式 $4R^2+4Rr+3r^2\geqslant s^2\geqslant 16Rr-5r^2$ 可知上式成立,故原不等式得证。
$\href{https://kuingggg.github.io/}{\text{About Me}}$
TOP
返回列表
回复
发帖
[收藏此主题]
[关注此主题的新回复]
[通过 QQ、MSN 分享给朋友]