舒尔(

Schur

\texttt{Schur}

Schur)不等式1

具体内容

Schur

\texttt{Schur}

Schur 不等式:

x

y

z

x,y,z

x,y,z 为非负实数,

r

r

r 为实数时,下列不等式成立

x

r

(

x

y

)

(

x

z

)

+

y

r

(

y

x

)

(

y

z

)

+

z

r

(

z

x

)

(

z

y

)

0

x^r(x-y)(x-z)+y^r(y-x)(y-z)+z^r(z-x)(z-y)\ge 0

xr(x−y)(x−z)+yr(y−x)(y−z)+zr(z−x)(z−y)≥0

例子

  • r

    =

    0

    r=0

    r=0 时

    (

    x

    y

    )

    (

    x

    z

    )

    +

    (

    y

    x

    )

    (

    y

    z

    )

    +

    (

    z

    x

    )

    (

    z

    y

    )

    0

    (x-y)(x-z)+(y-x)(y-z)+(z-x)(z-y)\ge 0

    (x−y)(x−z)+(y−x)(y−z)+(z−x)(z−y)≥0

    x

    2

    +

    y

    2

    +

    z

    2

    x

    y

    y

    z

    z

    x

    0

    \Leftrightarrow x^2+y^2+z^2-xy-yz-zx\ge 0

    ⇔x2+y2+z2−xy−yz−zx≥0

    1

    2

    {

    (

    x

    y

    )

    2

    +

    (

    y

    z

    )

    2

    +

    (

    z

    x

    )

    2

    }

    0

    \Leftrightarrow \frac{1}{2}\{(x-y)^2+(y-z)^2+(z-x)^2\} \ge 0

    ⇔21​{(x−y)2+(y−z)2+(z−x)2}≥0

  • r

    =

    1

    r=1

    r=1 时

    x

    (

    x

    y

    )

    (

    x

    z

    )

    +

    y

    (

    y

    x

    )

    (

    y

    z

    )

    +

    z

    (

    z

    x

    )

    (

    z

    y

    )

    0

    x(x-y)(x-z)+y(y-x)(y-z)+z(z-x)(z-y)\ge 0

    x(x−y)(x−z)+y(y−x)(y−z)+z(z−x)(z−y)≥0

    x

    3

    +

    y

    3

    +

    z

    3

    +

    3

    x

    y

    z

    x

    y

    (

    x

    +

    y

    )

    +

    y

    z

    (

    y

    +

    z

    )

    +

    z

    x

    (

    z

    +

    x

    )

    \Leftrightarrow x^3+y^3+z^3+3xyz\ge xy(x+y)+yz(y+z)+zx(z+x)

    ⇔x3+y3+z3+3xyz≥xy(x+y)+yz(y+z)+zx(z+x)

  • r

    =

    1

    2

    r=\dfrac{1}{2}

    r=21​ 时

    x

    (

    x

    y

    )

    (

    x

    z

    )

    +

    y

    (

    y

    x

    )

    (

    y

    z

    )

    +

    z

    (

    z

    x

    )

    (

    z

    y

    )

    0

    \sqrt{x}(x-y)(x-z)+\sqrt{y}(y-x)(y-z)+\sqrt{z}(z-x)(z-y)\ge 0

    x

    ​(x−y)(x−z)+y

    ​(y−x)(y−z)+z

    ​(z−x)(z−y)≥0

    x

    3

    2

    (

    y

    +

    z

    x

    )

    +

    y

    3

    2

    (

    z

    +

    x

    y

    )

    +

    z

    3

    2

    (

    x

    +

    y

    z

    )

    x

    y

    z

    (

    1

    x

    +

    1

    y

    +

    1

    z

    )

    \Leftrightarrow x^{\frac{3}{2}}(y+z-x)+y^{\frac{3}{2}}(z+x-y)+z^{\frac{3}{2}}(x+y-z)\le xyz\left(\frac{1}{\sqrt{x}}+\frac{1}{\sqrt{y}}+\frac{1}{\sqrt{z}}\right)

    ⇔x23​(y+z−x)+y23​(z+x−y)+z23​(x+y−z)≤xyz(x

    ​1​+y

    ​1​+z

    ​1​)

证明

证明:
左边是

x

,

y

,

z

x,y,z

x,y,z 的对称式,设

x

y

z

x\ge y\ge z

x≥y≥z 不失一般性.

  1. r

    >

    0

    r>0

    r>0 时

    x

    r

    (

    x

    y

    )

    (

    x

    z

    )

    +

    y

    r

    (

    y

    x

    )

    (

    y

    z

    )

    +

    z

    r

    (

    z

    x

    )

    (

    z

    y

    )

    x^r(x-y)(x-z)+y^r(y-x)(y-z)+z^r(z-x)(z-y)

    xr(x−y)(x−z)+yr(y−x)(y−z)+zr(z−x)(z−y)

    =

    (

    x

    y

    )

    {

    x

    r

    (

    x

    z

    )

    y

    r

    (

    y

    z

    )

    }

    +

    z

    r

    (

    x

    z

    )

    (

    y

    z

    )

    =(x-y)\{x^r(x-z)-y^r(y-z)\}+z^r(x-z)(y-z)

    =(x−y){xr(x−z)−yr(y−z)}+zr(x−z)(y−z)

    x

    r

    y

    r

    0

    ,

    x

    z

    y

    z

    0

    x^r\ge y^r \ge 0,\ x-z\ge y-z \ge 0

    xr≥yr≥0, x−z≥y−z≥0
    因为

    (

    x

    y

    )

    [

    x

    r

    (

    x

    z

    )

    y

    r

    (

    y

    z

    )

    ]

    0

    (x-y)\left[x^r(x-z)-y^r(y-z)\right]\ge 0\text{,}

    (x−y)[xr(x−z)−yr(y−z)]≥0,又因为

    z

    r

    0

    ,

    x

    z

    0

    ,

    y

    z

    0

    ,

    z

    r

    (

    x

    z

    )

    (

    y

    z

    )

    0

    z^r\ge 0,\ x-z\ge 0,\ y-z \ge 0, z^r(x-z)(y-z)\ge 0

    zr≥0, x−z≥0, y−z≥0,zr(x−z)(y−z)≥0根据

    (

    x

    y

    )

    {

    x

    r

    (

    x

    z

    )

    y

    r

    (

    y

    z

    )

    }

    +

    z

    r

    (

    x

    z

    )

    (

    y

    z

    )

    0

    (x-y)\{x^r(x-z)-y^r(y-z)\}+z^r(x-z)(y-z)\ge 0

    (x−y){xr(x−z)−yr(y−z)}+zr(x−z)(y−z)≥0所以,

    x

    r

    (

    x

    y

    )

    (

    x

    z

    )

    +

    y

    r

    (

    y

    x

    )

    (

    y

    z

    )

    +

    z

    r

    (

    z

    x

    )

    (

    z

    y

    )

    0

    x^r(x-y)(x-z)+y^r(y-x)(y-z)+z^r(z-x)(z-y)\ge 0

    xr(x−y)(x−z)+yr(y−x)(y−z)+zr(z−x)(z−y)≥0

  2. r

    0

    r\le 0

    r≤0 时

    x

    r

    (

    x

    y

    )

    (

    x

    z

    )

    +

    y

    r

    (

    y

    x

    )

    (

    y

    z

    )

    +

    z

    r

    (

    z

    x

    )

    (

    z

    y

    )

    x^r(x-y)(x-z)+y^r(y-x)(y-z)+z^r(z-x)(z-y)

    xr(x−y)(x−z)+yr(y−x)(y−z)+zr(z−x)(z−y)

    =

    x

    r

    (

    x

    y

    )

    (

    x

    z

    )

    +

    (

    y

    z

    )

    {

    z

    r

    (

    x

    z

    )

    y

    r

    (

    x

    y

    )

    }

    =x^r(x-y)(x-z)+(y-z)\{z^r(x-z)-y^r(x-y)\}

    =xr(x−y)(x−z)+(y−z){zr(x−z)−yr(x−y)}同理可得,

    x

    r

    (

    x

    y

    )

    (

    x

    z

    )

    +

    y

    r

    (

    y

    x

    )

    (

    y

    z

    )

    +

    z

    r

    (

    z

    x

    )

    (

    z

    y

    )

    0

    x^r(x-y)(x-z)+y^r(y-x)(y-z)+z^r(z-x)(z-y)\ge 0

    xr(x−y)(x−z)+yr(y−x)(y−z)+zr(z−x)(z−y)≥0

例题

1 

a

,

b

,

c

a,b,c

a,b,c 为非负实数时,请证明以下不等式。

(

a

+

b

c

)

(

b

+

c

a

)

(

c

+

a

b

)

a

b

c

(a+b-c)(b+c-a)(c+a-b)\le abc

(a+b−c)(b+c−a)(c+a−b)≤abc

2 非负实数

a

,

b

,

c

a,b,c

a,b,c 有

a

+

b

+

c

=

1

a+b+c=1

a+b+c=1,请证明以下不等式。

a

3

+

b

3

+

c

3

+

6

a

b

c

1

4

a^3+b^3+c^3+6abc\ge \frac{1}{4}

a3+b3+c3+6abc≥41​

广告

绿树公司 - 官方网站:https://wangping-lvshu.github.io/LvshuNew/

绿树智能 - 官方网站:https://wangping-lvshu.github.io/LvshuZhineng/

(现在使用,人人均可获得300元大奖)


  1. [2022/04/09更新] 由于

    tag

    \texttt{tag}

    tag 中没有 数论 数学 等标签,所以现在的标签是错误的。

Schur不等式(舒尔不等式)的更多相关文章

  1. MT【19】舒尔不等式设计理念及证明

    评:舒尔的想法是美妙的,当然他本身也有很多意义,在机械化证明的理念里,它也占据了一方田地.

  2. MT【200】一道自招的不等式

    (2018武汉大学自招)设$x,y,z\ge0,xy+yz+zx=1$证明:$\dfrac{1}{x+y}+\dfrac{1}{y+z}+\dfrac{1}{z+x}\ge \dfrac{5}{2}$ ...

  3. 机器学习数学|微积分梯度jensen不等式

    机器学习中的数学 觉得有用的话,欢迎一起讨论相互学习~Follow Me 原创文章,如需转载请保留出处 本博客为七月在线邹博老师机器学习数学课程学习笔记 索引 微积分,梯度和Jensen不等式 Tay ...

  4. 四边形不等式优化DP——石子合并问题 学习笔记

    好方啊马上就要区域赛了连DP都不会QAQ 毛子青<动态规划算法的优化技巧>论文里面提到了一类问题:石子合并. n堆石子.现要将石子有次序地合并成一堆.规定每次只能选相邻的2堆石子合并成新的 ...

  5. Codeforces Round #359(div 2)

    A:= v = B:^ w ^ C:一天n个小时,一个小时m分(n,m十进制),一个手表有两部分,左边表示时,右边表示分,但都是7进制,而且手表上最多只能有7个数字且数字不能重复,现在要你算出能正确表 ...

  6. 【转载】VC维的来龙去脉

    本文转载自 火光摇曳 原文链接:VC维的来龙去脉 目录: 说说历史 Hoeffding不等式 Connection to Learning 学习可行的两个核心条件 Effective Number o ...

  7. Expectation Maximization and GMM

    Jensen不等式 Jensen不等式给出了积分的凸函数值必定大于凸函数(convex)的积分值的定理.在凸函数曲线上的任意两点间连接一条线段,那么线段会位于曲线之上,这就是将Jensen不等式应用到 ...

  8. [物理学与PDEs]第2章第4节 激波 4.2 熵条件

    1.  R.H. 条件仅仅给出了越过激波时的能量守恒定律, 即热力学第一定律; 但客观的流体运动过程还需满足热力学第二定律, 即越过激波是个熵增过程: $$\bex S_1>S_0\quad(0 ...

  9. VC维的来龙去脉——转载

    VC维的来龙去脉——转载自“火光摇曳” 在研究VC维的过程中,发现一篇写的很不错的VC维的来龙去脉的文章,以此转载进行学习. 原文链接,有兴趣的可以参考原文进行研究学习 目录: 说说历史 Hoeffd ...

随机推荐

  1. js动态生成vue组件

    代码奉上 install (Vue, options) { Vue.prototype.$message = function (message){ let Constructor = Vue.ext ...

  2. Docker中Nginx,部署Tomcat,部署es + kibana,Docker的可视化,Commit镜像

    docker安装使用Nginx # 搜索信息 docker search nginx # 下载镜像 docker pull nginx # 运行测试 # --name给容器命名 # -p 宿主机端口: ...

  3. QY-19 GNSS位移监测站 地质灾害在线监测-实时预警

    概述 GNSS的全称是全球导航卫星系统(Global Navigation Satellite System),它是泛指所有的卫星导航系统,包括全球的.区域的和增强的,如美国的GPS.俄罗斯的Glon ...

  4. 一文详解 WebSocket 网络协议

    WebSocket 协议运行在TCP协议之上,与Http协议同属于应用层网络数据传输协议.WebSocket相比于Http协议最大的特点是:允许服务端主动向客户端推送数据(从而解决Http 1.1协议 ...

  5. DOM标签操作与事件与jQuery查找标签

    目录 DOM之操作标签 创建标签对象 标签对象的属性 innerText与innerHTML 标签内部追加内容 属性操作 事件 常用事件 事件绑定 事件案例 jQuery简介 查找标签 基本选择器 属 ...

  6. JS倒计时(刷新页面不影响)的实现思路

    最近在做一个项目,用到了点击按钮实现倒计时,这个用js来实现很简单.但是遇到了一个问题 页面刷新后js重新加载导致 倒计时重新开始,或者直接初始化了 后来通过 cookie 保存来实现了js倒计时,关 ...

  7. 爷青回,canal 1.1.6来了,几个重要特性和bug修复

    刚刚在群里看到消息说,时隔一年,canal 1.1.6正式release了,赶紧上去看看有什么新特性. (居然才发布了6个小时,前排围观) 1.什么是canal canal [kə'næl],译意为水 ...

  8. [2-SAT]编码

    题意:给n个01字符串,每个最多包含1个'?',能否构造出满足两两不存在一个是另一个前缀的方案. 思路: 2-SAT+trie树优化建图 把每个字符串拆成i,i+n,如果不存在'?',就硬搞出两种情况 ...

  9. DYOJ 【20220303模拟赛】最少分组 题解

    最少分组 题意 \(n\) 个点 \(m\) 条边的无向图,可以删掉 0 条或多条边,求满足条件的最小连通块数量: 对每个顶点对 \((a,b)\) ,若 \(a\) 和 \(b\) 同属于一个连通块 ...

  10. vscode远程调试c++

    0.背景 最近在学习linux webserver开发,需要在linux下调试自己的C/C++代码,但是linux下不像在windows下,直接Visio Studio或者其它集成开发环境那么方便,现 ...