24小时热门版块排行榜    

查看: 768  |  回复: 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的回帖

Pchief

铁杆木虫 (正式写手)

想不到还有人继续关注这个贴,那我做个总结好了。

楼主的意思说白了并不复杂,看本楼附件。问题在于楼主一直没有把该说的东西说出来。

写证明,关键要让看的人能看懂。如果只是写给自己看,那当然可以随便。但写给别人看,如果别人看不懂,那么等于白写。

好了,在这个问题上我说的话也已经够多了,如果没有问题,我也不再多说了。

[ Last edited by Pchief on 2010-1-1 at 22:44 ]
14楼2009-12-22 13:55:14
已阅   回复此楼   关注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的回帖
普通表情 高级回复 (可上传附件)
信息提示
请填处理意见