应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 【讨论】关于一个不等式的证明
北京石油化工学院2026年研究生招生接收调剂公告
141/2返回列表12下一页
查看: 834  |  回复: 13
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
当前主题已经存档。

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成立。



请各位虫子帮忙找出一下证明的错误。
如果你发现错误并能帮我完备，我将感激不尽；如果你没有发现，也请回个帖，谢谢。
回复此楼

» 猜你喜欢
1楼 2009-12-16 11:03:17
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

2005001045

实习版主

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

Pchief

超级版主

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

只问楼主一句：你那个A的闭包等于多少，能不能写出来看看？

如果楼主不方便打数学符号，我把我的理解打在这里。
赞一下(7人) 回复此楼
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的回帖

Pchief

超级版主

优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！
好吧。其他的小问题我不计较了。我现在知道 x属于A的闭包时 F(x)≥0了。但是我还是不知道为什么x^2 ≥ y^2时F(x)≥0.

x^2>y^2时显然根据题设就得到，现在你说说x^2=y^2时的情况。

你也可以看看3楼我打的那个文件，发表一下你对我的理解的看法。
赞一下 回复此楼
5楼2009-12-16 16:35:07
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

wuguocheng

新虫
有些问题, 提问者已经得到应助的基础之上, 一些问题你们可以私下讨论.

二位加个群: 可以便于交流沟通: 76212844
引用回帖:
Originally posted by Pchief at 2009-12-16 16:35:
好吧。其他的小问题我不计较了。我现在知道 x属于A的闭包时 F(x)≥0了。但是我还是不知道为什么x^2 ≥ y^2时F(x)≥0.

x^2>y^2时显然根据题设就得到，现在你说说x^2=y^2时的情况。

你也可以看看3楼我打的 ...

赞一下 回复此楼
稻草人的孤单
6楼2009-12-16 16:53:11
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

jfili

版主

优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！
A 满足 x^2>y^2，那么A的闭包上就有 x^2≥ y^2
(在中间的圆上是等于，在周围的边界上是大于)
进一步，实际上A的闭包=｛x^2≥y^2, x=y, x≥0｝

我看了附件中的内容，是正确的。只是如果把A理解成｛x,y｝的集合，结果讨论起来就更加麻烦了
赞一下 回复此楼
7楼2009-12-16 17:10:29
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

cool_smile

实习版主

优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！
★
bluesine(金币+1,VIP+0):呵呵，谢谢回帖交流，学数学要有耐心哦 12-16 18:41
  看着头晕
回复此楼
有太多情感，即使强求，也没法得到; 有太多忧伤，即使放弃，也没法忘怀; 还有那太多太多……却永远与无奈平行
8楼2009-12-16 17:22:59
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Pchief

专家顾问

优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！
引用回帖:
Originally posted by jfili at 2009-12-16 17:10:
A 满足 x^2>y^2，那么A的闭包上就有 x^2≥ y^2
(在中间的圆上是等于，在周围的边界上是大于)
进一步，实际上A的闭包=｛x^2≥y^2, x=y, x≥0｝

我看了附件中的内容，是正确的。只是如果把A理解成｛x,y｝的 ...

你第一句，没错，是可以这么推。

但现在的情况是：我只知道有一个点满足∑x=∑y，∑x^2=∑y^2，然后你就想告诉我：Σx^p≥∑y^p对一切p成立。如果这个点在A的闭包上，那当然可以用前面的结论，但是这个点究竟在不在A的闭包上，你没说。

“如果点x在A的闭包上，那么∑x^2≥∑y^2”，这句话，你现在是不是想反过来说成“如果∑x^2≥∑y^2，那么x在A的闭包上”？话是不可以随便颠倒过来说的。当然不排除有些情况下反过来说也对，但是，还是那句话——拿出根据来。
赞一下 回复此楼
9楼2009-12-16 20:02:16
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

chrisleikun

实习版主

优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！
忘了闭包这些概念了，纯支持了！
赞一下 回复此楼
祝我们幸福！
10楼2009-12-16 20:21:34
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 jfili 的主题更新
141/2返回列表12下一页
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 求调剂 +4 DADA怪 2026-03-31 4/200 2026-04-01 14:30 by ZXlzxl0425
[考研] 311求调剂一志愿合肥工业大学 +14 秋二十二 2026-03-30 14/700 2026-04-01 11:45 by chemdavid
[考研] 生物学296求调剂 +10 汤圆包 2026-03-29 14/700 2026-04-01 10:44 by 求调剂zz
[考研] 求0861交通运输专硕or材料专硕调剂 +4 勒布朗@ 2026-03-31 4/200 2026-04-01 09:54 by 一只好果子?
[考研] 339求调剂 +5 zjjkt 2026-03-31 5/250 2026-04-01 09:18 by JourneyLucky
[教师之家] 张雪峰戛然而止的飞驰人生 +3 yexuqing 2026-03-26 4/200 2026-04-01 08:20 by 湖心亭看雪
[考研] 309分085801求调剂 +7 学员Gtwj7W 2026-03-31 7/350 2026-04-01 02:36 by BruceLiu320
[考研] 335求调剂 +3 321* 2026-03-31 4/200 2026-04-01 00:00 by 321*
[考研] 080200学硕，机械工程专业277分，求带走！ +4 瓶子PZ 2026-03-31 4/200 2026-03-31 20:16 by vgtyfty
[考研] 085602 307分 求调剂 +10 不知道叫什么！ 2026-03-26 10/500 2026-03-31 19:53 by Dyhoer
[硕博家园] 求调剂 有机化学考研356分 +11 Nadiums 2026-03-25 12/600 2026-03-31 18:24 by oooqiao
[考研] 367求调剂 +7 芋泥啵啵… 2026-03-28 7/350 2026-03-31 14:55 by 不吃魚的貓
[考研] 270求调剂 +3 小杰pp 2026-03-31 4/200 2026-03-31 12:59 by wxiongid
[考研] 085601一志愿西北工业大学初试346 +4 085601初试346 2026-03-30 4/200 2026-03-31 07:47 by jp9609
[考研] 275求调剂 +15 Micky11223 2026-03-25 20/1000 2026-03-29 20:44 by 唐沐儿
[硕博家园] 招收生物学/细胞生物学调剂 +4 IceGuo 2026-03-26 5/250 2026-03-29 01:25 by griffith2014
[考研] 11408软件工程求调剂 +3 Qiu学ing 2026-03-28 3/150 2026-03-28 21:50 by zhq0425
[考研] 材料与化工（0856）304求B区调剂 +8 邱gl 2026-03-27 8/400 2026-03-28 12:42 by 唐沐儿
[考研] 352分 化工与材料 +5 海纳百川Ly 2026-03-27 5/250 2026-03-28 03:39 by fmesaito
[考研] 考研调剂 +9 小蜡新笔 2026-03-26 9/450 2026-03-27 11:10 by 不吃魚的貓
信息提示
关闭
请填处理意见
关闭