V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
randomize
V2EX  ›  数学

一个柯西不等式的证明,怎么看怎么不对,手打了 20 分钟,希望帮个忙

  •  
  •   randomize · 2014-04-06 22:32:20 +08:00 · 5683 次点击
    这是一个创建于 3889 天前的主题,其中的信息可能已经有所发展或是发生改变。
    来自 的证明。



    它的证发如下:



    1.设不等式根据它几个括号设为 AB >= C

    2.构造 (a1 + tb1)^2 + (a2 + tb2)^2 + (a3 + tb3)^2 + ...... (an + tbn)^2 ,易得它大于等于 0

    3.然后将它分解,则为:
    a1^2 + t^2 * b1^2 + 2a1b1 * t + a2^2 + t^2 * b2^2 + 2a2b2 * t + a3^2 + t^2 * b3^2 + 2a3b3 * t ...... an^2 + t^2 * bn^2 + 2anbn * t >= 0

    4.合并,得到
    A^2 + t^2 * B + 2Ct >= 0

    问题就在此处,我怎么看也看不懂这里如何化成 2Ct ,因为 C 是带平方的,但是上面得到的是从 2a1b1 * t 到 2anbn * t 的和,应该是 2 * sqrt(C) * t 才对啊。

    虽然我知道没有数学公式不堪入目,还是希望大家能帮个忙,谢谢了!
    4 条回复    2014-09-17 18:25:13 +08:00
    skydiver
        1
    skydiver  
       2014-04-06 23:52:44 +08:00
    明显写错了啊,

    1.设不等式根据它几个括号设为 AB >= C^2
    yuguig
        2
    yuguig  
       2014-04-07 01:39:34 +08:00
    LS对的,就是少个平方而已,后面都是对的
    关于t的一元二次方程用“德尔塔<=0”判断就出来了
    yuguig
        3
    yuguig  
       2014-04-07 01:42:08 +08:00
    纠正:关于t的不等式
    heian0224
        4
    heian0224  
       2014-09-17 18:25:13 +08:00
    1L说了是不等式漏了平方的。这是用根的判别式进行证明,证起来挺简单。也可以用数学归纳法
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   1332 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 24ms · UTC 17:50 · PVG 01:50 · LAX 09:50 · JFK 12:50
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.