24小时热门版块排行榜    

查看: 1035  |  回复: 13
当前主题已经存档。
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

jfili

金虫 (正式写手)

[交流] 【讨论】关于一个不等式的证明

原帖请见 http://muchong.com/bbs/viewthread.php?tid=1723426&fpage=1
应 Pchief 的要求开一个专题贴。


条件:{x}、{y}为两个数集,元素个数都为n,且其中的元素都大于0;{x}和{y}的各个元素之和相等;p 为大于1的数
结论0:如果对满足以上条件的任意的{x},{y},如果数组{x}的平方和大于{y}的平方和,则{x}的p方和大于{y}的p方和
结论1:如果对满足以上条件的任意的{x},{y},如果数组{x}的平方和等于{y}的平方和,则{x}的p方和等于{y}的p方和
结论2:如果对满足以上条件的任意的{x},{y},如果数组{x}的平方和大于或等于{y}的平方和,则{x}的p方和大于或等于{y}的p方和

我要证明的命题如下:如果结论0成立,则结论1必然成立

为了证明的方便引入记号:x^p表示对{x}中元素的p次方求和,x>0表示{x}中的所有元素都大于0,

首先,如果结论0成立,则,结论2成立。
固定y和p。
{x|x^2>y^2,x=y,且满足条件}表示一个集合A。A的闭包包含于x>0
F(x)=x^p-y^p>0当 x\in A
而F在x>0中是连续的,
所以当x\in A的闭包时,F(x)大于或等于0.

最后证明,如果结论2成立,则结论1也成立。
如果x^2=y^2,由结论2可以得到 x^p大于或等于 y^2
如果y^2=x^2,由结论2可以得到 y^p大于或等于 x^2(此处用到的结论2只需要将x, y互换一下)
所以,当x^2=y^2,结论1成立。



请各位虫子帮忙找出一下证明的错误。
如果你发现错误并能帮我完备,我将感激不尽;如果你没有发现,也请回个帖,谢谢。
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

ejyn


bluesine(金币+1,VIP+0):呵呵,欢迎交流 12-16 21:56
不读书学很多年,发现,还是挺怀念的
12楼2009-12-16 21:42:37
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 14 个回答

2005001045

木虫 (正式写手)

★ ★
小木虫(金币+0.5):恭喜抢沙发,给个红包
bluesine(金币+1,VIP+0):学数学要有耐心哦~谢谢回帖 12-16 18:38
题目看着乌七八糟的
不太喜欢这种类型的不等式证明
2楼2009-12-16 12:44:22
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Pchief

铁杆木虫 (正式写手)

★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
小木虫(金币+0.2):抢了个小板凳,给个红包
bluesine(金币+10,VIP+0):鼓励这样的学术讨论,很有意义。在这样的交流中,大家都会有收获。 12-16 18:40
楼主把他的证明写成这样,各位看懂了吗?
就我来讲,楼主在原来那个帖子里写的证明,最初我是完全不懂。后来(在原贴23楼)楼主才提到连续性,我开始觉得似乎有一点道理,但还是不懂。写成现在这个样子,我算是勉强懂了一点。

只问楼主一句:你那个A的闭包等于多少,能不能写出来看看?

如果楼主不方便打数学符号,我把我的理解打在这里。
3楼2009-12-16 13:52:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

jfili

金虫 (正式写手)

A 中的元素是x,收先满足\sum x=\sum y,所一包含于某一个平面(n惟空间的平面)。又有x在第一象限中,所以是一个多边形(n惟空间的多边形,n=3时是三角形)。
在这\sum x^2>\sum y^2,所以A的边界有一部分是平面和球的交(这个平面和球肯定是相交的,因为当{x}={y}时,是边界)

所以A的闭包就是一个多边形中间挖掉一个圆(n惟空间的圆)

所以A的闭包包含于{x|x大于或等于0}

不会吧。我觉得写得很明白了。没想到你们也看不懂
看来,我以后回答问题要写得足够详细才可以。

回二楼的:我只是由一个不严谨的结论推导出一个更加荒唐的结论而已。

只是由这个可以推导出一个另一个正确的命题(在原帖中)
4楼2009-12-16 15:55:02
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 分享一下我之前已中青C的计划书的filecode +4 布布和一二 2026-08-11 5/250 2026-08-13 12:56 by cratir
[基金申请] 不应该看fileCode +6 且听虎啸 2026-08-12 8/400 2026-08-13 12:07 by 小木虫6752397
[基金申请] 关于Filecode分析方法 +9 majunge000 2026-08-10 11/550 2026-08-13 10:40 by ZH远山
[基金申请] 我的国基提前知道中了,可是同事的操作让我实在接受不了,怎么会有这样的人 +9 家与远方 2026-08-10 14/700 2026-08-13 09:41 by 臭臭不臭01
[基金申请] 结合人工智能,周易传统文化,filecode打分制来了,3分以上希望很大。 +3 Tide man 2026-08-12 4/200 2026-08-13 08:35 by ZJTJZ
[基金申请] 应该是93bebmhtak前后十一个字符比较关键 +22 Lanmanbaby 2026-08-09 36/1800 2026-08-12 22:50 by sdfapple719
[基金申请] 奇怪,两个人的filecode固定段从头到尾一模一样 +7 布布和一二 2026-08-10 10/500 2026-08-12 09:12 by 布布和一二
[基金申请] 小木虫上这么多卖论文的,真有人买论文么?感觉没必要啊 +8 Tide man 2026-08-10 9/450 2026-08-11 20:39 by beefly
[基金申请] 有时候,自然基金真的不能太认真 (我的申报经验) +3 majunge000 2026-08-11 4/200 2026-08-11 20:13 by lch2012
[基金申请] 帮忙看看fileCode +7 wwncly 2026-08-10 13/650 2026-08-11 19:36 by 冰心玉壶晴
[硕博家园] 读博的好处 +3 lnee 2026-08-11 3/150 2026-08-11 18:10 by 希望我好好的
[基金申请] 关于代码变化问题,想知道的进来 +17 且听虎啸 2026-08-07 24/1200 2026-08-10 18:35 by zhangduo2008
[基金申请] 静等基金结果 +5 gjjjzhong 2026-08-10 16/800 2026-08-10 17:19 by Tide man
[基金申请] 国自然结果 +4 Vierhys 2026-08-10 8/400 2026-08-10 15:06 by Vierhys
[基金申请] 2026国自然放榜时间 +9 布布和一二 2026-08-08 9/450 2026-08-10 11:22 by xxxx2020
[基金申请] fileCode有新解读? +10 Tide man 2026-08-08 18/900 2026-08-09 12:55 by 仁砚薪传
[基金申请] 关于filecode,很负责任的告诉大家 +6 爱看书的可乐 2026-08-08 7/350 2026-08-08 22:13 by a_niu
[基金申请] 化学口download_prp&fileCode的固定段好像这几天一直没变,有变的大神么? +3 Tide man 2026-08-07 4/200 2026-08-07 22:39 by Tide man
[基金申请] 固定端突然变了,今天 +6 archvillain 2026-08-06 10/500 2026-08-07 16:03 by 医学老男孩
[基金申请] filecode变化情况 +6 布布和一二 2026-08-07 22/1100 2026-08-07 14:45 by 且听虎啸
信息提示
请填处理意见