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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 【讨论】关于一个不等式的证明
北京石油化工学院2026年研究生招生接收调剂公告
141/2返回列表12下一页
查看: 833  |  回复: 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下一页
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 316求调剂 +6 舟自梗 2026-04-01 7/350 2026-04-01 17:48 by 运气yunqi
[考研] 337求调剂 +8 《树》 2026-03-29 8/400 2026-04-01 17:45 by JYD2011
[考研] 285求调剂 +7 AZMK 2026-03-30 13/650 2026-04-01 17:00 by 七度不信任
[考研] 324求调剂 +10 hanamiko 2026-03-26 12/600 2026-04-01 16:59 by oooqiao
[考研] 0703一志愿南师大334求调剂 +4 seven7yu 2026-03-30 4/200 2026-04-01 16:10 by oooqiao
[考研] 调剂 +5 好好读书。 2026-03-28 7/350 2026-04-01 15:32 by 王亮_大连医科大
[考研] 省双一流重点一本大学招收调剂 +4 wwwwffffff 2026-03-31 7/350 2026-04-01 15:23 by wwwwffffff
[考研] 考研调剂 +11 Amber00 2026-03-31 11/550 2026-04-01 11:32 by wangjy2002
[考研] 初试301，代码085701环境工程，本硕一致，四六级已过，有二区一作，共发表5篇论文 +3 axibli 2026-04-01 3/150 2026-04-01 08:43 by i_cooler
[考博] 26申博 +4 加油冲啊！ 2026-03-26 4/200 2026-03-31 22:42 by greychen00
[考研] 289求调剂 +7 BrightLL 2026-03-29 7/350 2026-03-31 22:05 by 544594351
[考研] 085601 329分调剂 +6 yzsa12 2026-03-31 6/300 2026-03-31 15:23 by yanflower7133
[考研] 367求调剂 +7 芋泥啵啵… 2026-03-28 7/350 2026-03-31 14:55 by 不吃魚的貓
[考研] 一志愿浙江大学工科动力工程370,数一121,专业课135，现在能去哪里 +3 080700调剂 2026-03-30 4/200 2026-03-31 12:00 by KLMY666
[考研] 081200-11408-276学硕求调剂 +4 崔wj 2026-03-31 4/200 2026-03-31 11:56 by jp9609
[考研] 276求调剂 +3 赵久华 2026-03-29 3/150 2026-03-31 10:06 by cal0306
[考研] 262求调剂 +7 ZZ..000 2026-03-30 8/400 2026-03-31 10:05 by cal0306
[考研] 311求调剂 +10 lin0039 2026-03-26 10/500 2026-03-30 10:26 by herarysara
[考研] 材料求调剂一志愿哈工大324 +7 闫旭东 2026-03-28 9/450 2026-03-28 08:51 by Xu de nuo
[考研] 340求调剂 +5 jhx777 2026-03-27 5/250 2026-03-28 04:18 by fmesaito
信息提示
关闭
请填处理意见
关闭