Changkun's Blog欧长坤的博客

Science and art, life in between.科学与艺术,生活在其间。

  • Home首页
  • Ideas想法
  • Posts文章
  • Tags标签
  • Bio关于
  • TOC目录
  • Overview概览
Changkun Ou

Changkun Ou

Human-AI interaction researcher, engineer, and writer.人机交互研究者、工程师、写作者。

Bridging HCI, AI, and systems programming. Building intelligent human-in-the-loop optimization systems. Informed by psychology, sociology, cognitive science, and philosophy.连接人机交互、AI 与系统编程。构建智能的人在环优化系统。融合心理学、社会学、认知科学与哲学。

Science and art, life in between.科学与艺术,生活在其间。

276 Blogs博客
165 Tags标签
Changkun's Blog欧长坤的博客

某不等式

Published at发布于:: 2011-06-06   |   Reading阅读:: 2 min   |   PV/UV: /

已知:ai>0,bi>0,∑ai≤1,∑bi≤n,

求证:Π ( 1/ai + 1/bi ) ≥ ( 1 + n ) ^ n

证明:

法一:

只需要考虑∑ai=1,∑bi=n的情况,

因为其他的情况只会使得左边的式子都是变大的。

于是,对于1≤ i ≤n,由柯西不等式:

( n ^ 2 * ai + bi ) ( 1/ai + 1/bi ) ≥ ( 1 + n ) ^ 2

则

Π ( n ^ 2 * ai + bi ) ( 1/ai + 1/bi ) ≥ [ ( 1 + n ) ^ n ]^2

故:如需证明 Π ( 1/ai + 1/bi ) ≥ ( 1 + n ) ^ n

只需证明:Π ( n ^ 2 * ai + bi ) ≤ ( 1 + n ) ^ n

由于ai>0,bi>0,可采取对上式两边取对数,

则只需证:

[ ∑ ln( n ^ 2 * ai + bi ) ] / n ≤ ln( 1 + n )

由于 ln(x) 在R+上为凸,故:

[ ∑ ln( n ^ 2 * ai + bi ) ] / n ≤ ln( ( ∑ ( n ^ 2 * ai + bi ) ) / n)

= ln ( n∑ai + (1/n)∑bi )

= ln ( n + 1 ).

这正是我们所需要的。证毕。

法二:

Π ( 1/ai + 1/bi ) ≥ ( ( 1/ Πai ) ^ ( 1/n ) + ( 1/ Πbi ) ^ ( 1/n ) ) ^ n

所以只要证

( 1/ Πai ) ^ ( 1/n ) + ( 1/ Πbi ) ^ ( 1/n ) ≥ n+1

结合条件,利用均值不等式可得

Π ai ≤ ( 1/n ) ^ ( 1/n ) ,Π bi ≤1

这是我们所希望的。证毕。

#数学#
  • Author:作者: Changkun Ou
  • Link:链接: https://changkun.de/blog/posts/%E6%9F%90%E4%B8%8D%E7%AD%89%E5%BC%8F/
  • All articles in this blog are licensed under本博客所有文章均采用 CC BY-NC-ND 4.0 unless stating additionally.许可协议,除非另有声明。
记事簿1
核辐射没那么可怕

Have thoughts on this?有想法?

I'd love to hear from you — questions, corrections, disagreements, or anything else.欢迎来信交流——问题、勘误、不同看法,或任何想说的。

hi@changkun.de
© 2008 - 2026 Changkun Ou. All rights reserved.保留所有权利。 | PV/UV: /
0%