繁體
|
簡體
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版)
»
初等数学讨论
» 证明一个二次型不等式
返回列表
发帖
yao4015
发短消息
加为好友
yao4015
当前离线
UID
2763
帖子
97
主题
16
精华
0
积分
1278
威望
6
阅读权限
90
在线时间
386 小时
注册时间
2017-10-23
最后登录
2022-5-5
1
#
跳转到
»
倒序看帖
打印
字体大小:
t
T
发表于 2019-3-2 11:54
|
只看该作者
[不等式]
证明一个二次型不等式
设 $x_1,x_2,x_3,x_4,x_5$ 都是非负实数, 证明
\begin{align*}
&\quad \ (\ \ \ x_1-x_2+x_3+x_4-x_5)x_1\\
&+(-x_1+x_2-x_3+x_4+x_5) x_2\\
&+(\ \ \ x_1-x_2+x_3-x_4+x_5) x_3\\
&+(\ \ \ x_1+x_2-x_3+x_4-x_5) x_4\\
&+(-x_1+x_2+x_3-x_4+x_5)x_5\geq 0.
\end{align*}.
收藏
分享
分享到:
QQ空间
腾讯微博
腾讯朋友
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
2
#
发表于 2019-3-2 13:39
|
只看该作者
由轮换对称性不妨设 `x_5` 为最小者,原不等式可整理为
\[(x_1 - x_2 + x_3 - x_4 - x_5)^2 + 4 (x_1 x_4 + x_3 x_5 - x_4 x_5)\geqslant0,\]显然成立。
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
3
#
发表于 2019-3-2 15:18
|
只看该作者
\(\newcommand\phjj{\mathbin{\phantom{+}}}\)
\begin{align*}
&\phjj x_1 (\phjj x_1-x_2+x_3+x_4+x_5-x_6)\\
&+x_2 (-x_1+x_2-x_3+x_4+x_5+x_6)\\
&+x_3 (\phjj x_1-x_2+x_3-x_4+x_5+x_6)\\
&+x_4 (\phjj x_1+x_2-x_3+x_4-x_5+x_6)\\
&+x_5 (\phjj x_1+x_2+x_3-x_4+x_5-x_6)\\
&+x_6 (-x_1+x_2+x_3+x_4-x_5+x_6)\\
={}&(x_1 - x_2 + x_3 - x_4 + x_5 - x_6)^2+4 (x_1 x_4 + x_2 x_5 + x_3 x_6).
\end{align*}
\begin{align*}
&\phjj x_1 (\phjj x_1-x_2+x_3+x_4+x_5+x_6-x_7)\\
&+x_2 (-x_1+x_2-x_3+x_4+x_5+x_6+x_7)\\
&+x_3 (\phjj x_1-x_2+x_3-x_4+x_5+x_6+x_7)\\
&+x_4 (\phjj x_1+x_2-x_3+x_4-x_5+x_6+x_7)\\
&+x_5 (\phjj x_1+x_2+x_3-x_4+x_5-x_6+x_7)\\
&+x_6 (\phjj x_1+x_2+x_3+x_4-x_5+x_6-x_7)\\
&+x_7 (-x_1+x_2+x_3+x_4+x_5-x_6+x_7)\\
={}& (x_1 - x_2 + x_3 - x_4 + x_5 - x_6 - x_7)^2 \\
&+ 4 (x_1 x_4 + x_2 x_5 + x_3 x_6 + x_1 x_6 + x_3 x_7 + x_5 x_7 - x_6 x_7);
\end{align*}
\begin{align*}
&\phjj x_1 (\phjj x_1-x_2+x_3+x_4+x_5+x_6+x_7-x_8)\\
&+x_2 (-x_1+x_2-x_3+x_4+x_5+x_6+x_7+x_8)\\
&+x_3 (\phjj x_1-x_2+x_3-x_4+x_5+x_6+x_7+x_8)\\
&+x_4 (\phjj x_1+x_2-x_3+x_4-x_5+x_6+x_7+x_8)\\
&+x_5 (\phjj x_1+x_2+x_3-x_4+x_5-x_6+x_7+x_8)\\
&+x_6 (\phjj x_1+x_2+x_3+x_4-x_5+x_6-x_7+x_8)\\
&+x_7 (\phjj x_1+x_2+x_3+x_4+x_5-x_6+x_7-x_8)\\
&+x_8 (-x_1+x_2+x_3+x_4+x_5+x_6-x_7+x_8)\\
={}& (x_1 - x_2 + x_3 - x_4 + x_5 - x_6 + x_7 - x_8)^2 \\
&+ 4 (x_1 x_4 + x_2 x_5 + x_3 x_6 + x_4 x_7 + x_5 x_8 + x_1 x_6 + x_2 x_7 + x_3 x_8).
\end{align*}
\begin{align*}
&\phjj x_1 (\phjj x_1-x_2+x_3+x_4+x_5+x_6+x_7+x_8-x_9)\\
&+x_2 (-x_1+x_2-x_3+x_4+x_5+x_6+x_7+x_8+x_9)\\
&+x_3 (\phjj x_1-x_2+x_3-x_4+x_5+x_6+x_7+x_8+x_9)\\
&+x_4 (\phjj x_1+x_2-x_3+x_4-x_5+x_6+x_7+x_8+x_9)\\
&+x_5 (\phjj x_1+x_2+x_3-x_4+x_5-x_6+x_7+x_8+x_9)\\
&+x_6 (\phjj x_1+x_2+x_3+x_4-x_5+x_6-x_7+x_8+x_9)\\
&+x_7 (\phjj x_1+x_2+x_3+x_4+x_5-x_6+x_7-x_8+x_9)\\
&+x_8 (\phjj x_1+x_2+x_3+x_4+x_5+x_6-x_7+x_8-x_9)\\
&+x_9 (-x_1+x_2+x_3+x_4+x_5+x_6+x_7-x_8+x_9)\\
={}& (x_1 - x_2 + x_3 - x_4 + x_5 - x_6 + x_7 - x_8 - x_9)^2 \\
&+ 4 (x_1 x_4 + x_2 x_5 + x_3 x_6 + x_4 x_7 + x_5 x_8 + x_1 x_6 + x_2 x_7 + x_3 x_8 + x_1 x_8 + x_3 x_9 + x_5 x_9 + x_7 x_9 - x_8 x_9).
\end{align*}
$\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
4
#
发表于 2019-3-2 16:02
|
只看该作者
回复
3#
kuing
后面那些乘积的规律其实已经看出来了,只不过要用一般式子表达起来比较麻烦,就懒得写了。
还是回到正途上吧:记 `S=x_1+x_2+\cdots+x_n`(`n\geqslant4`),则原不等式就是
\[x_1(S-2x_n-2x_2)+x_2(S-2x_1-2x_3)+x_3(S-2x_2-2x_4)+\cdots+x_n(S-2x_{n-1}-2x_1)\geqslant0,\]也就是
\[S^2\geqslant4(x_1x_2+x_2x_3+\cdots+x_{n-1}x_n+x_nx_1),\]这实际上是道老题,用数归易证,见《撸题集》P334。
印象中还有一种更巧妙的均值证法,一时想不起来……
$\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
#
发表于 2019-3-2 17:13
|
只看该作者
好像是这样:由轮换对称性不妨设 `x_3=\max\{x_1,x_2,\ldots,x_n\}`,则
\begin{align*}
&4(x_1x_2+x_2x_3+x_3x_4+x_4x_5+x_5x_6+\cdots+x_{n-1}x_n+x_nx_1)\\
\leqslant{}&4\bigl((x_1+x_3)(x_2+x_4)+x_3(x_5+x_6+\cdots+x_n)+x_nx_1\bigr)\\
\leqslant{}&4(x_1+x_3)(x_2+x_4+x_5+x_6\cdots+x_n)\\
\leqslant{}&S^2.
\end{align*}
TOP
yao4015
发短消息
加为好友
yao4015
当前离线
UID
2763
帖子
97
主题
16
精华
0
积分
1278
威望
6
阅读权限
90
在线时间
386 小时
注册时间
2017-10-23
最后登录
2022-5-5
6
#
发表于 2019-3-3 12:22
|
只看该作者
这个不等式有背景. 我们都知道, 定义在 $\mathbb{R}^n$ 上的二次型, 如果是非负的(也就是在整个空间取非负值), 则二次型是多项式的平方和. 进一步考虑定义在 $\mathbb{R}_{+}^n$ 上的二次型, 如果是非负的(也就是在第一卦限取非负值), 它的代数结构应该是什么样的呢? 一个自然的猜测是: 平方和+正系数多项式. 一楼的不等式就是用来说明这样的结构是不对的. Kuing 的证明中加入了变元的序(假设了最大元或最小元), 也就是说使用了序结构. 进一步的问题是, 如果不使用序结构能否证明一楼的不等式. 更一般的是去探索定义在 $\mathbb{R}_{+}^n$ 上非负的二次型, 它的代数结构应该是什么样子的呢?
TOP
yao4015
发短消息
加为好友
yao4015
当前离线
UID
2763
帖子
97
主题
16
精华
0
积分
1278
威望
6
阅读权限
90
在线时间
386 小时
注册时间
2017-10-23
最后登录
2022-5-5
7
#
发表于 2019-3-8 14:46
|
只看该作者
回复
6#
yao4015
一楼不等式的纯代数证明:
\begin{align*}
&\quad \ [(\ \ x_1-x_2+x_3+x_4-x_5)x_1\\
&+(-x_1+x_2-x_3+x_4+x_5) x_2\\
&+(\ \ \ x_1-x_2+x_3-x_4+x_5) x_3\\
&+(\ \ \ x_1+x_2-x_3+x_4-x_5) x_4\\
&+(-x_1+x_2+x_3-x_4+x_5)x_5]\\
&\times (x_1+x_2+x_3+x_4+x_5)=\\
&\quad \ (\ \ \ x_1-x_2+x_3+x_4-x_5)^2x_1\\
&+(-x_1+x_2-x_3+x_4+x_5)^2 x_2\\
&+(\ \ \ x_1-x_2+x_3-x_4+x_5)^2 x_3\\
&+(\ \ \ x_1+x_2-x_3+x_4-x_5)^2 x_4\\
&+(-x_1+x_2+x_3-x_4+x_5)^2x_5\\
&+4(x_1x_2x_4+x_2x_3x_5+x_3x_4x_1\\
&+x_4x_5x_2+x_5x_1x_3)\geq 0.
\end{align*}
这个证明显示出: 正变元的二次型与经典的二次型差别巨大.
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
8
#
发表于 2019-3-8 14:51
|
只看该作者
回复
7#
yao4015
TOP
返回列表
回复
发帖
[收藏此主题]
[关注此主题的新回复]
[通过 QQ、MSN 分享给朋友]