24小时热门版块排行榜    

查看: 1054  |  回复: 4

zacaduo

铁虫 (著名写手)

[求助] 如何证明两数列对应元素相乘后得到的新数列存在某个元素不在原数列相应元素范围内 已有1人参与

两个数列(每个数列中各元素均为正数或零,且和为1)对应元素相乘后得到的新数列必然存在某个元素不在原数列相应元素范围之内?

用数学符号表达如下:
A= [a1, a2 , …… , an], B= [b1, b2 , …… , bn]
a1, a2 , …… , an >= 0
b1, b2 , …… , bn >= 0
a1+a2+…… +an =1
b1+b2+ ……+bn =1

c1=a1*b1, c2=a2*b2, …… , cn=an*bn
X=c1 + c2 + …… + cn
w1=c1/X, w2=c2/X, …… , wn=cn/X
C= [w1, w2, …… ,  wn]


如何证明存在wj (1=<j<=n),使得wj不在 区间[aj, bj] (当aj <= bj时) 或 区间[bj, aj] (当aj >= bj时) 内??

多谢!!!
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

feixiaolin

荣誉版主 (文坛精英)

优秀版主

0<aj<1, 0<bj<1
wj不在 区间内。
2楼2014-06-12 09:49:44
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

zacaduo

铁虫 (著名写手)

引用回帖:
2楼: Originally posted by feixiaolin at 2014-06-12 09:49:44
0<aj<1, 0<bj<1
wj不在 区间内。

举个例子:A= [0.5 0.2 0.3], B=[0.4 0.4 0.2]
可以求得C=[0.5882    0.2353    0.1765]
这里,c1=0.5882不在区间[b1, a1]之内,c3= 0.1765不在区间[b3, a3]之内
我想证明这种情况的存在性,而不是证明这种情况必然存在,不知该如何证明?
3楼2014-06-12 21:45:26
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

【答案】应助回帖

★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
感谢参与,应助指数 +1
zacaduo: 金币+20, ★★★很有帮助, 多谢 2014-06-13 11:07:18
引用回帖:
3楼: Originally posted by zacaduo at 2014-06-12 21:45:26
举个例子:A= , B=
可以求得C=
这里,c1=0.5882不在区间之内,c3= 0.1765不在区间之内
我想证明这种情况的存在性,而不是证明这种情况必然存在,不知该如何证明?...

楼主, 其实你举的例子非常的恰当,
因为容易看出, 如果
(1) 0<a1 <= a2 <=... <=an   (2) 0< b1 <=b2 <=.. <=bn  (3)  a1+..+an=b1+...+bn =1,  并且(4) ai,bi 不全相等.
那么一定存在 wj=aj*bj/C,  C=a1*b1+...+an*bn 使得 (wj-aj)(wj-bj) >0, 就是说 wj 界于 aj, bj 之外.

证明:      http://en.wikipedia.org/wiki/Chebyshev%27s_sum_inequality
由Chebyshev  sum inequality,  有 C/n >= 1/n * 1/n,  即  C>=1/n. 但ai,bi 不全相等, 所以 C > 1/n.

如果每一个wj 都使得 (wj-aj)(wj-bj) <=0,  即  wj^2 -(aj+bj)*wj +aj*bj <=0,  两边同乘以C^2,
then  (aj*bj)^2 - C*(aj+bj)*(aj*bj) +C^2*(aj*bj) <=0.
由于 aj*bj >0 (假设条件之一), 所以  aj*bj - (aj+bj)*C +C^2 <=0.
对j从1 到n求和, 立得C - 2*C + n*C^2 <=0,  从而  C <= 1/ n.  这和Chebyshev不等式矛盾.
We_must_know. We_will_know.
4楼2014-06-13 07:25:29
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

zacaduo

铁虫 (著名写手)

引用回帖:
4楼: Originally posted by hank612 at 2014-06-13 07:25:29
楼主, 其实你举的例子非常的恰当,
因为容易看出, 如果
(1) 0<a1 <= a2 <=... <=an   (2) 0< b1 <=b2 <=.. <=bn  (3)  a1+..+an=b1+...+bn =1,  并且(4) ai,bi 不全相等.
那么 ...

补了一下Chebyshev的知识,看懂了,多谢!
可是在一般情况下,a1, a2 , …… , an和 b1, b2 , …… , bn并不是按从小到大排列的,这种情况怎么办?
5楼2014-06-13 11:07:06
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 zacaduo 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[论文投稿] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +3 2JOx3r2CYEgw 2026-08-22 4/200 2026-08-23 04:04 by OEbVnUOu01ol
[硕博家园] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 2JOx3r2CYEgw 2026-08-22 7/350 2026-08-23 03:55 by OEbVnUOu01ol
[论文投稿] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +3 2JOx3r2CYEgw 2026-08-22 5/250 2026-08-23 03:52 by OEbVnUOu01ol
[硕博家园] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +3 2JOx3r2CYEgw 2026-08-22 7/350 2026-08-23 03:43 by OEbVnUOu01ol
[基金申请] 93BebMhtakh前后11位开头都是大写 +7 且听虎啸 2026-08-17 8/400 2026-08-22 21:55 by 医学老男孩
[基金申请] 范进中举一文的中心思想 +3 zjuhero 2026-08-22 4/200 2026-08-22 20:02 by mycsru
[基金申请] 什么时候开奖? +7 CrisMessi 2026-08-18 8/400 2026-08-22 18:29 by 淀粉搬运工
[基金申请] 只有每年这种时候来逛逛小木虫 +24 yaoyewhu2008 2026-08-20 26/1300 2026-08-22 17:43 by kammury
[基金申请] filecode,4个jtjc了 +13 ziyangfang 2026-08-19 16/800 2026-08-22 17:08 by WH3796
[基金申请] 今天基金会出结果吗?20260819 +16 kkkl_v 2026-08-19 17/850 2026-08-22 16:12 by 阿布Abu
[基金申请] 时间戳今天,20号变了 +5 archvillain 2026-08-20 5/250 2026-08-22 06:12 by hui_daxiao
[基金申请] 建议基金发布提前给出明确的时间点 +10 kulium 2026-08-21 13/650 2026-08-21 21:58 by alongwaytogo
[基金申请] 科研孤儿太难了 +17 我4大白菜 2026-08-20 18/900 2026-08-21 20:57 by zhangev
[基金申请] 感觉是下周放榜了 +7 angus9576 2026-08-17 12/600 2026-08-21 13:38 by weiyin
[基金申请] 今天放榜没戏了吧 +9 yuleib84 2026-08-19 11/550 2026-08-21 10:06 by gltch
[基金申请] 基金啊基金 +4 longfie172 2026-08-20 4/200 2026-08-21 08:58 by mark mao
[基金申请] 今天放榜吗? +14 布布和一二 2026-08-19 15/750 2026-08-19 18:07 by gltch
[基金申请] 朋友圈看到的 +6 wangzilk 2026-08-18 8/400 2026-08-19 10:55 by Haru815
[基金申请] 明天放榜? +5 Shxjjxjkx 2026-08-18 5/250 2026-08-18 18:14 by -大大大大大-
[基金申请] 今天维护系统维护 祝所有人 高中 +8 gjjjzhong 2026-08-18 9/450 2026-08-18 13:01 by 家与远方
信息提示
请填处理意见