24小时热门版块排行榜    

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

duxueju

金虫 (小有名气)


formleaf(金币+1,VIP+0):谢谢参与 12-22 12:30
数学中有许多不等式证明是很复杂的,有的证明思路也相当的不可思议,这对我们的数学思维是很好的锻炼
13楼2009-12-22 10:39:09
已阅   回复此楼   关注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的回帖
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 有时候,自然基金真的不能太认真 (我的申报经验) +3 majunge000 2026-08-11 4/200 2026-08-11 20:13 by lch2012
[硕博家园] 读博的好处 +3 lnee 2026-08-11 3/150 2026-08-11 18:10 by 希望我好好的
[基金申请] 什么时候出结果,有咨询渠道??? +3 Tide man 2026-08-11 3/150 2026-08-11 17:54 by kudofaye
[基金申请] 我的国基提前知道中了,可是同事的操作让我实在接受不了,怎么会有这样的人 +8 家与远方 2026-08-10 13/650 2026-08-11 09:49 by 家与远方
[基金申请] 确定了,国自然21号放榜 +6 布布和一二 2026-08-10 7/350 2026-08-10 19:15 by 2000zf36392
[基金申请] 关于代码变化问题,想知道的进来 +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
[基金申请] 关于Filecode分析方法 +3 majunge000 2026-08-10 3/150 2026-08-10 15:46 by lch2012
[基金申请] 国自然结果 +4 Vierhys 2026-08-10 8/400 2026-08-10 15:06 by Vierhys
[基金申请] 据悉今年马上要出结果了 +7 瞬息宇宙 2026-08-10 8/400 2026-08-10 12:42 by Vivilian
[基金申请] 面上项目filecode邪修 +5 西山十月 2026-08-09 7/350 2026-08-10 07:32 by 仁砚薪传
[基金申请] filecode与中标关系的预测 +5 布布和一二 2026-08-07 5/250 2026-08-09 16:15 by 袁向阳007
[基金申请] 关于filecode,很负责任的告诉大家 +6 爱看书的可乐 2026-08-08 7/350 2026-08-08 22:13 by a_niu
[基金申请] 关于豆爷回答的JTJC与%2F数量 +5 yang182083 2026-08-06 7/350 2026-08-08 18:29 by zhanghaozhu
[基金申请] 国基金的申报应该改成非等额制,评价高的钱多评价低的钱少,但是增加资助率 +7 a089 2026-08-07 7/350 2026-08-08 18:05 by gltch
[基金申请] 关于filecode +4 布布和一二 2026-08-07 7/350 2026-08-07 22:55 by zhanghaozhu
[基金申请] filecode变化情况 +6 布布和一二 2026-08-07 22/1100 2026-08-07 14:45 by 且听虎啸
[基金申请] filecode +8 布布和一二 2026-08-06 11/550 2026-08-06 20:41 by tangpu318
[基金申请] 求各位大神看下 100+6 hpkpkpkp 2026-08-05 33/1650 2026-08-06 14:49 by zhiyanjiang
[基金申请] 影响面上的因素 +8 布布和一二 2026-08-05 11/550 2026-08-06 10:41 by 宝贝虫子
信息提示
请填处理意见