不等式的证明之一

2024-02-15 21:20
文章标签 证明 不等式

本文主要是介绍不等式的证明之一,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

不等式的证明

  • 证明下述不等式之一
    • 证明

证明下述不等式之一

a , b , c a,b,c a,b,c 是正实数,请证明下述不等式:
1 < a a 2 + b 2 + b b 2 + c 2 + c c 2 + a 2 ≤ 3 2 1<\frac{a}{\sqrt{a^2 + b^2}} + \frac{b}{\sqrt{b^2 + c^2}} + \frac{c}{\sqrt{c^2 + a^2}} \le \frac{3}{\sqrt2} 1<a2+b2 a+b2+c2 b+c2+a2 c2 3 上述不等式及其证明思路参考 [1],本文将给出更多的证明细节,并且对右边的不等式选取柯西·施瓦兹不等式的证明方法。

证明

先证左边的简单不等式。
a a 2 + b 2 + b b 2 + c 2 + c c 2 + a 2 > a a 2 + b 2 + c 2 + b a 2 + b 2 + c 2 + c a 2 + b 2 + c 2 = a + b + c a 2 + b 2 + c 2 > 1 \begin{align} &\frac a{\sqrt{a^2+b^2}} + \frac b{\sqrt{b^2+c^2}} + \frac c{\sqrt{c^2+a^2}} \\ &> \frac a{\sqrt{a^2+b^2+c^2}} + \frac b{\sqrt{a^2+b^2+c^2}} + \frac c{\sqrt{a^2+b^2+c^2}}\\ &= \frac {a+b+c}{\sqrt{a^2+b^2+c^2}}\\ &> 1 \end{align} a2+b2 a+b2+c2 b+c2+a2 c>a2+b2+c2 a+a2+b2+c2 b+a2+b2+c2 c=a2+b2+c2 a+b+c>1 下面证明右边的不等式。先给出一个基本不等式,其结论成立是不言而喻的:
∑ cyc c 2 ( a 2 − b 2 ) 2 ≥ 0 \begin{align} \sum_{\text{cyc}}c^2(a^2-b^2)^2\geq0 \end{align} cycc2(a2b2)20 其中 ∑ cyc \sum_{\text{cyc}} cyc 表示循环求和,比如 ∑ cyc a 2 = a 2 + b 2 + c 2 \sum_{\text{cyc}} a^2=a^2+b^2+c^2 cyca2=a2+b2+c2. 对(5)式进行改写得:
a 4 c 2 + b 4 c 2 + b 2 c 4 + a 4 b 2 + a 2 b 4 + a 2 c 4 ≥ 6 a 2 b 2 c 2 \begin{align} a^4c^2+b^4c^2+ b^2c^4+a^4b^2+a^2b^4+a^2c^4\geq 6a^2b^2c^2 \end{align} a4c2+b4c2+b2c4+a4b2+a2b4+a2c46a2b2c2 上式也可以简记为
∑ cyc c 2 ( a 4 + b 4 ) ≥ 6 a 2 b 2 c 2 \begin{align} \sum_{\text{cyc}} c^2(a^4+b^4)\geq 6a^2b^2c^2 \end{align} cycc2(a4+b4)6a2b2c2 有了(7)式,我们可以推出下面的不等式:
8 ∑ cyc a 2 ∑ cyc a 2 b 2 ≤ 9 ∏ cyc ( a 2 + b 2 ) \begin{align} 8\sum_{\text{cyc}}a^2\sum_{\text{cyc}}a^2b^2 \leq 9\prod_{\text{cyc}}(a^2+b^2) \end{align} 8cyca2cyca2b29cyc(a2+b2) 过程如下:

借助不等式(8),现在我们来证明原不等式的右边,因为:
∏ cyc ( a 2 + b 2 ) = 2 a 2 b 2 c 2 + ∑ cyc c 2 ( a 4 + b 4 ) \begin{align} \prod_{\text{cyc}} (a^2+b^2)=2a^2b^2c^2 +\sum_{\text{cyc}} c^2(a^4+b^4) \end{align} cyc(a2+b2)=2a2b2c2+cycc2(a4+b4) 所以结合(7)式:
9 ∏ cyc ( a 2 + b 2 ) ≥ 18 a 2 b 2 c 2 + 9 ∑ cyc c 2 ( a 4 + b 4 ) = 18 a 2 b 2 c 2 + ∑ cyc c 2 ( a 4 + b 4 ) + 8 ∑ cyc c 2 ( a 4 + b 4 ) ≥ 24 a 2 b 2 c 2 + 8 ∑ cyc c 2 ( a 4 + b 4 ) = 8 ∑ cyc a 2 ∑ cyc a 2 b 2 \begin{align} &9\prod_{\text{cyc}} (a^2+b^2) \\ &\geq 18a^2b^2c^2+9\sum_{\text{cyc}} c^2(a^4+b^4) \\ &=18a^2b^2c^2+\sum_{\text{cyc}} c^2(a^4+b^4) + 8\sum_{\text{cyc}} c^2(a^4+b^4) \\ &\geq 24a^2b^2c^2+8\sum_{\text{cyc}} c^2(a^4+b^4) \\ &=8\sum_{\text{cyc}}a^2\sum_{\text{cyc}}a^2b^2 \end{align} 9cyc(a2+b2)18a2b2c2+9cycc2(a4+b4)=18a2b2c2+cycc2(a4+b4)+8cycc2(a4+b4)24a2b2c2+8cycc2(a4+b4)=8cyca2cyca2b2 由柯西·施瓦兹不等式我们有:
( ∑ cyc a a 2 + b 2 ) 2 = ( ∑ cyc a a 2 + b 2 a 2 + c 2 a 2 + c 2 ) 2 ≤ ∑ cyc a 2 ( a 2 + b 2 ) ( a 2 + c 2 ) ∑ cyc ( a 2 + c 2 ) \begin{align} &\left(\sum_{\text{cyc}}\frac{a}{\sqrt{a^2+b^2}}\right)^2 \\ &=\left(\sum_{\text{cyc}}\frac{a}{\sqrt{a^2+b^2}\sqrt{a^2+c^2}} \sqrt{a^2+c^2}\right)^2 \\ &\leq\sum_{\text{cyc}}\frac{a^2}{(a^2+b^2)(a^2+c^2)}\sum_{\text{cyc}}(a^2+c^2) \end{align} (cyca2+b2 a)2=(cyca2+b2 a2+c2 aa2+c2 )2cyc(a2+b2)(a2+c2)a2cyc(a2+c2) 接下来估计不等式 ∑ cyc a 2 ( a 2 + b 2 ) ( a 2 + c 2 ) ∑ cyc ( a 2 + c 2 ) \sum_{\text{cyc}}\frac{a^2}{(a^2+b^2)(a^2+c^2)}\sum_{\text{cyc}}(a^2+c^2) cyc(a2+b2)(a2+c2)a2cyc(a2+c2) 的上界。我们作下述变形,并结合(8)式得:
∑ cyc a 2 ( a 2 + b 2 ) ( a 2 + c 2 ) ∑ cyc ( a 2 + c 2 ) = 2 ∑ cyc a 2 ( a 2 + b 2 ) ( a 2 + c 2 ) ∑ cyc a 2 = 2 ∑ cyc a 2 ( b 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) ( c 2 + a 2 ) ∑ cyc a 2 = 2 ∑ cyc a 2 ( b 2 + c 2 ) ∑ cyc a 2 ∏ cyc ( a 2 + b 2 ) = 4 ∑ cyc a 2 b 2 ∑ cyc a 2 ∏ cyc ( a 2 + b 2 ) ≤ 9 2 ∏ cyc ( a 2 + b 2 ) ∏ cyc ( a 2 + b 2 ) = 9 2 \begin{align} &\sum_{\text{cyc}}\frac{a^2}{(a^2+b^2)(a^2+c^2)}\sum_{\text{cyc}}(a^2+c^2) \\ &=2\sum_{\text{cyc}}\frac{a^2}{(a^2+b^2)(a^2+c^2)}\sum_{\text{cyc}}a^2 \\ &=2\sum_{\text{cyc}}\frac{a^2(b^2+c^2)}{(a^2+b^2)(b^2+c^2)(c^2+a^2)}\sum_{\text{cyc}}a^2 \\ &=\frac{2\sum_{\text{cyc}}a^2(b^2+c^2)\sum_{\text{cyc}}a^2}{\prod_{\text{cyc}} (a^2+b^2)} \\ &=\frac{4\sum_{\text{cyc}}a^2b^2\sum_{\text{cyc}}a^2}{\prod_{\text{cyc}} (a^2+b^2)} \\ &\leq \frac{9}{2} \frac{\prod_{\text{cyc}} (a^2+b^2)}{\prod_{\text{cyc}} (a^2+b^2)}=\frac{9}{2} \end{align} cyc(a2+b2)(a2+c2)a2cyc(a2+c2)=2cyc(a2+b2)(a2+c2)a2cyca2=2cyc(a2+b2)(b2+c2)(c2+a2)a2(b2+c2)cyca2=cyc(a2+b2)2cyca2(b2+c2)cyca2=cyc(a2+b2)4cyca2b2cyca229cyc(a2+b2)cyc(a2+b2)=29 证必 □ \Box

[1] Symmetric inequality with three variables including radicals

这篇关于不等式的证明之一的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/712568

相关文章

一种极简的余弦定理证明方法

余弦定理的证明方法有很多种,这里介绍一种极简的证明方法。该方法是本人在工作中推导公式,无意中发现的。证明非常简单,下面简单做下记录。   如上图为任意三角形ABC,以点C为原点,建立直角坐标系(x轴方向任意,y轴与x轴垂直),x轴与CB夹角为 θ 1 \theta_1 θ1​,x轴与CA夹角为 θ 2 \theta_2 θ2​。点B的坐标为 ( a c o s θ 1 , a s i n θ

零知识证明-ZK-SNARKs基础(七)

前言 这章主要讲述ZK-SNARKs 所用到的算术电路、R1CS、QAP等 1:算术电路 算术运算电路 1>半加器:实现半加运算的逻辑电路 2>全加器:能进行被加数,加数和来自低位的进位信号相加,并根据求和结果给出该位的进位信号 说明:2进制加,低位进位 相当于 结果S为 = A+B+C(地位进位) 高位进位 = A+B+C(地位进位) 三个中 有最少2个为1 高位就有进位了 【1】 方程转算

云WAF在安全审计和合规性证明方面起到什么作用?

云WAF在安全审计和合规性证明方面起到什么作用? 云WAF的基本功能 云WAF(Cloud Web Application Firewall)是一种部署在云端的网络安全解决方案,它能够为Web应用程序提供强有力的保护,通过检测和阻止恶意流量、攻击和漏洞,确保Web应用程序的安全性和可用性。云WAF具备访问控制、网络安全审计、漏洞检测、应用安全保护、数据安全监控和审计等功能,这些功能共同构成了一

安全多方计算 同态密文计算 零知识证明 是什么、对比、优缺点

基于计算困难性理论的安全多方计算可以进一步细分为基于混淆电路的方案或者基于秘密分享的方案。 基于混淆电路的方案将所需计算的函数表达成一个巨型的布尔电路,例如,目前表达一次 SHA-256 计算至少需要使用 13 万个布尔门。尽管学术界已经提供了大量优化方案,通用 电路转化的过程依旧很复杂。由于需要使用不经意传输技术来安全地提供电路输入,即便 在有硬件加速的条件下,这类方案的处理吞吐量和计算效率依

再次拿下品牌全球代言人,王鹤棣商业价值再度证明!

9月2日,FENTY BEAUTY品牌正式官宣王鹤棣为全球代言人,这也是该品牌创立至今官宣的中国首位全球代言人。 FENTY BEAUTY是由美国歌手Rihanna创立于2017年的高端美妆品牌,也是LV母公司LVMH集团联手RIHANNA一同孵化的品牌,因其产品具有强包容性,以及能满足消费者多元需求,获得了国际声誉和市场高度认可,品牌全球吸金力排在集团第一梯队,已连年被纳入LVMH集团

使用单个位来存放每个结点的颜色:证明与实现

使用单个位来存放每个结点的颜色:证明与实现 背景知识问题阐述BFS算法的伪代码修改后的BFS算法的伪代码证明过程C语言实现结论 在算法和图论中,染色问题是一个重要的话题,尤其是在处理诸如二分图检测、图的遍历等问题时。本文将探讨在使用广度优先搜索(BFS)算法时,为何仅使用单个位来存放每个结点的颜色即可,并通过详细证明及C语言代码实现来阐述这一点。 背景知识 在图论中,图的遍

【高中数学/基本不等式】若正数a,b满足a>b,且1/(a+b)+1/(a-b)=1,则3a+2b的最小值是?

【问题】 若正数a,b满足a>b,且1/(a+b)+1/(a-b)=1,则3a+2b的最小值是? 【来源】 《解题卡壳怎么办 高中数学解题智慧点剖析》P38 余继光 苏德矿合著 浙江大学出版社出版 【如何破题】 1/(a+b)+1/(a-b)=1这个关系式挺复杂,展开后更乱(用三角函数也帮不上忙),而3a+2b这个表达式相对简单; 如果想让两者相乘,可以用配方的手段,得出的结果一部分能

【零知识证明】通读Tornado Cash白皮书(并演示)

1 Protocol description 协议描述有以下功能: 1.insert:向智能合约中存入资金,通过固定金额的单笔交易完成,金额由N表示(演示时用1 ETH) 2.remove:从智能合约中提取资金,交易由收款人发起,收款人应该有足够的以太币支付gas费,在这种情况下费用为0(无中继者) 在演示案例中,将实现存款功能和提款功能,无论谁调用提款函数都将是收款人 1.1 Setu

零知识证明-椭圆曲线(四)

前言 零知识证明(Zero—Knowledge Proof),是指一种密码学工具,允许互不信任的通信双方之间证明某个命题的有效性,同时不泄露任何额外信息 上章介绍了基础数字知识,这章主要讲 椭圆曲线 方程 2:椭圆曲线方程 y2+axy+by=x3+cx2+dx+e 式中,a、b、c、d、e均为实数,x和y在实数集上取值。 在加密领域一般采用如下简化后的数学形式: 有限域椭圆曲线 y2= x3+

【零知识证明】构建第一个zk

1 必要步骤 视频学习:5. Circcom 中的基本算术电路_哔哩哔哩_bilibili 文字学习:https://hackmd.io/@YlNLZS2ESI21OSqdTW_mPw/S1jqN-h80/edit 第五课,circom实践,需要安装 1 vscode 2 rust:Windows安装Rust环境(详细教程)-CSDN博客 安装rust出现问题解决方案:Wind