Redian新闻
>
Re: 素数有无穷多个, 你会证吗? 给大家奉上几篇欢乐的帖子. (转载)
avatar
Re: 素数有无穷多个, 你会证吗? 给大家奉上几篇欢乐的帖子. (转载)# WaterWorld - 未名水世界
c*n
1
【 以下文字转载自 Mathematics 讨论区 】
发信人: carbon (kaben), 信区: Mathematics
标 题: Re: 素数有无穷多个, 你会证吗? 给大家奉上几篇欢乐的帖子.
发信站: BBS 未名空间站 (Thu May 23 14:32:20 2013, 美东)
你个蠢货还敢往这转,真不怕被人笑话,看来真是high过头了。
你的证明过程如下
自然数是由 质数,合数,和1 组成的.(我昨天要求你加上的)
等价假设2: 除去1,p_1,p_2,...........,p_K之外的自然数均为合数。
显然等价假设2与原假设同为真或同为假。
推论过程原假设与等价假设必须同时成立或不成立。
此步骤没问题
a是素数推论成立前提,原假设1成立。
推理过程: 1 由构造a 不能被P_1,......p_k整除,
2. 根据假设1,素数只有有限个, 记为 p_1,p_2,...,p_k
3. 若假设1成立,a即不被任何小于a的素数整除
4. 推理结论 a是素数成立
该推理过程无误
考虑等价假设2
推理过程: 1 由构造a 不能被P_1,......p_k整除,
2. 若等价假设2成立,a不是1,p_1,P_2............P_k中任何一个
3. a是合数成立
也可知,N 是合数
已经说过了,你证明的结论正确,但这个正确结论不是N是素数得来,你的证明过程能
同时得到N即是素数,也是合数。这个矛盾否定了原假设,不是你那" 可知: N是素数
,故假设不成立."
你笨在什么地方,在我给出你的推理过程之后,你仍然重复说
我可以明确告诉你为什么只讨论质数,因为我根据质数的定义, 发现N就是质数.
1。你发现N就是质数,不是仅根据假设中质数的定义,还有你的假设前提,所以不要
说你发现N就是质数是根据质数的定义。
2。我根据你的假设发现N是合数,并没有添加任何新的假设,不是说你用素数定义得
到素数,我用合数的定义得到合数,我们的假设和证明过程没有任何区别。我恰好用你
的素数定义和假设前提发现N是合数。
3。2的理由已经很明显了,你的假设和所谓的只用的素数定义的证明,得到的完全结
论是 N既是素数,又是合数。这个矛盾和欧几里德以来的反证法得到的矛盾相同。你喊
破天的结论N是素数,客气点是不完备,严格点就是错误。
4。你觉得你对了,是你的结论不小心对了,你的真正论证的结论是错的。没人能说你
的结论不对,但考试做证明题,你能得一半的分就是运气。
5。你真的很笨,笨不可怕,到处喊就没救了。
avatar
m*x
2
1。你发现N就是质数,不是仅根据假设中质数的定义,还有你的假设前提,所以不要
说你发现N就是质数是根据质数的定义。
你说的1)很对啊。但为什么lz证明过程中用到了假设推出N是素数这个证明就不对了?

【在 c****n 的大作中提到】
: 【 以下文字转载自 Mathematics 讨论区 】
: 发信人: carbon (kaben), 信区: Mathematics
: 标 题: Re: 素数有无穷多个, 你会证吗? 给大家奉上几篇欢乐的帖子.
: 发信站: BBS 未名空间站 (Thu May 23 14:32:20 2013, 美东)
: 你个蠢货还敢往这转,真不怕被人笑话,看来真是high过头了。
: 你的证明过程如下
: 自然数是由 质数,合数,和1 组成的.(我昨天要求你加上的)
: 等价假设2: 除去1,p_1,p_2,...........,p_K之外的自然数均为合数。
: 显然等价假设2与原假设同为真或同为假。
: 推论过程原假设与等价假设必须同时成立或不成立。

avatar
c*n
3
没有说不对,但同样的假设也能推出N是合数。
所以他推论的结果N一定是素数显然就不正确了。

【在 m**x 的大作中提到】
: 1。你发现N就是质数,不是仅根据假设中质数的定义,还有你的假设前提,所以不要
: 说你发现N就是质数是根据质数的定义。
: 你说的1)很对啊。但为什么lz证明过程中用到了假设推出N是素数这个证明就不对了?

avatar
m*x
4
这只是证明方式不同,因为反证法,理论上有很多种方式,因为矛盾可以出现在任何环
节。

【在 c****n 的大作中提到】
: 没有说不对,但同样的假设也能推出N是合数。
: 所以他推论的结果N一定是素数显然就不正确了。

avatar
d*i
5
我晕了,N是素数不是你们证明里面共同用来引出矛盾的吗?

【在 c****n 的大作中提到】
: 没有说不对,但同样的假设也能推出N是合数。
: 所以他推论的结果N一定是素数显然就不正确了。

avatar
c*n
6
lz你又认真了。。。
avatar
c*n
7
发信人: carbon (kaben), 信区: WaterWorld
标 题: Re: 剥光民科的皮,看看民科到底错在哪儿。
发信站: BBS 未名空间站 (Thu May 23 17:57:14 2013, 美东)
结论N是素数并不能否定原假设错误。
1。如果结论是N一定只能是素数,那和原假设矛盾,没问题。
2。这个证明的假设条件得不出N一定只能是素数,说N是素数就能否定原假设就不对。
因为你没有证明,你构造的N如果是合数,它是否和你的原假设素数有限矛盾。 如果合
数和原假设不矛盾,那N是素数的矛盾就不存在。因为这个证明无法证明N是素数一定存
在,如果一个素数也没有,自然没有矛盾。这就是为什么我们看到的所有关于素数无限
的反证法都同时讨论了两种可能。

【在 m**x 的大作中提到】
: 这只是证明方式不同,因为反证法,理论上有很多种方式,因为矛盾可以出现在任何环
: 节。

相关阅读
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。