Redian新闻
>
素数无限的证明(l63版),细细品 (科普反证法常识)
avatar
素数无限的证明(l63版),细细品 (科普反证法常识)# WaterWorld - 未名水世界
o*e
1
【 以下文字转载自 SanFrancisco 讨论区 】
发信人: thatid (thatid), 信区: SanFrancisco
标 题: 生活不止眼前的苟且
发信站: BBS 未名空间站 (Tue Mar 22 03:24:12 2016, 美东)
许巍新曲,高晓松词曲《生活不止眼前的苟且》里唱到他多年离开家时候,妈妈泪水涟
涟地抱着他,跟他讲的临别的话语。 ”生活不止眼前的苟且,还有诗和远方的田野;
你赤手空拳来到人世间,为找到那片海不顾一切。” 他独自渐行渐远,有了自己的孩
子,他知道,有朝一日,他会对她说 :生活不止眼前的苟且,还有诗和远方的田野;
你赤手空拳来到人世间,为找到那片海不顾一切。” MTV 上,爸爸为给女儿做的月亮
船扬起了风帆,女儿一个人站在船上,面对空荡荡的水面,准备独自远航。片尾,那被
扬起的帆被点燃。
单曲循环,听了一个小时。
不记得有谁曾经说过,这世界上只有一种爱,目的是为了分离,那就是父母对于孩子的
爱。那所有的爱,都是为了有朝一日,孩子能独立地在自己人生的道路上前行。每个孩
子的身上大概都或多或少的有父母的爱的印记。对于高晓松,这印记就是母亲临行前对
他说的话。
2015年张艾嘉编导的 《念念》(murmur of the heart), 女主人公育美从小生活在母亲
编织的美人鱼的故事里,这一个故事讲来讲去,讲了她的整个童年。后来母亲因为被父
亲虐待,带她漂洋过海离家出走前每晚坐在灯前缝衣服,也成为了她对于母亲的记忆中
不可或缺的一个片段。“慈母手中线,游子身上衣,临行密密缝,意恐迟迟归。“ 育
美说,这是她记得的唯一一首诗。她记得妈妈说,男孩子长得比较快,她为哥哥缝了够
他一直穿到大的衣服。
育美的哥哥育男,对于母亲的回忆就是她煮面的忙碌和整日和父亲的争吵。一日,台风
大作,育男莫名其妙的被困在一个酒吧里,喝得酩酊大醉。在梦中,他来到了自己小时
候的家,看到母亲在灯下赶制衣裳。母亲看到育男手上拿的花布包包,惊喜地说这个包
和她想要给儿子缝制的包很像,说自己已经给妹妹缝了一个,也想给儿子缝一个,可是
怕布太花,儿子会不喜欢。母亲问他 :“ 如果你收到妈妈给你缝制的包包,你会不会
喜欢?” 阿男说;“ 我会珍惜一辈子。就这个花色,这块布。” “你会觉得我偏心
吗?” 阿男摇头。阿男不舍得离去,走到门口又回过身,大喊 “妈”---母亲应到
”哎,你忘了东西?阿男眼前浮现出父亲打母亲的情形,不知道该说什么好。母亲关
切的问 :“ 怎么了?” 阿男说: “ 我想要吃炒饭。可以吗?” 画面中,一个风
铃在狂风中丁零当啷地响着。我想,母亲烙给他的印记,就是这热腾腾的面条和炒饭,
一件件的衣服,和那漂亮的布兜吧。
金志文 《中国姑娘》唱出了母亲给他的烙印。”风儿轻啊,月儿明,树叶遮窗棂。”
听到高潮处,泪流满面,这歌,想必也是奶奶小时候给我常常唱的吧。她已去世多年,
甚至连她的模样得狠狠地想才能想出,但这歌,却在我记忆深处烙下了她的印。对于爷
爷奶奶的记忆,支零破散。岁月已经把那些印记都擦得快要没了。仔细想,狠狠想,想
出来的,是门口订的牛奶盒子里面新鲜的牛奶,是那每天一大早精心编出来的麻花辫、
和贴得满满的一墙又一墙的奖状。曾经有一段,生活及其疲惫,有天晚上做梦,梦到自
己跑啊跑啊,不顾一切地跑到高高的山顶上,忽然一个不留神,跌下山谷。我怕极了,
大声喊着,一双大手稳稳地拖住了我,惊恐之余,定睛一看,是爷爷。他没有说话,就
那么看着我,用双手将我牢牢地捧在手心。这么多年,这恐怕是我最不想醒来的梦了。
我想,育男一定和我一样,特别不想在他的梦中醒来;我想,每个人都会有不想醒来的
梦吧。因为,在那梦里,有最亲的亲人的印记。
我说,你是人间的四月天
笑响点亮了四面风。
轻灵在春的光艳中交舞着变。
你是四月早天里的云烟,
黄昏吹着风的软,
星子在无意中闪,细雨点洒在花前。
那轻、那聘婷,你是,
鲜妍百花的冠冕,你戴着,
你是天真,庄严,你是夜夜的月圆。
雪化后那片鹅黄,你像;
新鲜初放芽的绿,你是;
柔嫩喜悦,水光浮动着你梦期待的白莲。
你是一树一树的花开,
是燕在梁间呢喃,
你是爱,是暖,是希望
你是人间的四月天。
----林徽因
我的四月天,若干年以后,妈妈会在你们的记忆中印下什么印记呢?“生活不止眼前的
苟且,还有诗和远方的田野;你赤手空拳来到人世间,为找到那片海不顾一切。”
avatar
f*i
2
1. 假设p1=2,p2=3,...,pn 是全部的素数...
2. 令 N=p1*p2*...*pn+1, 显然 N比 p1,p2,...,pn都大,因此不再p1,p2,..,pn,中, 所
以根据1, N是一个合数.
3. N是合数,那么必然能够被一个素数整除, 根据1, 所有的素数是p1,..., pn, 所以必
然有其中之一, 比如pj, 能整除N, 特别的, N 除以pj余数为0
4. N= pj*(p2*...*pn 括号内排除pj)+1=pj*something+1, 因此, N除以pj余数为1
5. 3 和 4 矛盾,N不能同时除以pj余0,而且余1.
现在有几种推理方法
6(I), 3和4矛盾, 矛盾的根源在于 假设1 是完全错误的, 于是 证毕,素数无穷 Q.E.D
或者走下列路线(l63路线)
6(II), 3和4矛盾的一个最近的根源来自于第3部的N是合数, 因此 N是合数这个结论错
误, 于是 N是素数,
7 但是6(II) 跟 1 相冲突...
8 于是1的假设错误 , 素数是无穷的...
avatar
l*w
3
生活不止眼前的苟且,还有希望的田野。
avatar
c*n
4
这个才是原版,你把63坚持了好几天的N一定只能是素数换成了N是合数,小心他跟你
反脸。
发信人: l63 (l63), 信区: WaterWorld
标 题: 关于使用反证法证明 "素数有无穷多个"
发信站: BBS 未名空间站 (Thu May 23 00:34:22 2013, 美东)
假设素数只有有限个, 记为 p_1,p_2,...,p_k
考察 N = p_1*p_2*...*p_k + 1
可知: 对于任意i = 1,2,3,...,k, p_i 不能整除 N
由素数的定义:
a是素数 <=> a是大于1的自然数, 且a不被任何小于a的素数整除
可知: N是素数
这与素数只有p_1,p_2,...,p_k矛盾.
故假设不成立.
所以素数有无穷多个.

D

【在 f*******i 的大作中提到】
: 1. 假设p1=2,p2=3,...,pn 是全部的素数...
: 2. 令 N=p1*p2*...*pn+1, 显然 N比 p1,p2,...,pn都大,因此不再p1,p2,..,pn,中, 所
: 以根据1, N是一个合数.
: 3. N是合数,那么必然能够被一个素数整除, 根据1, 所有的素数是p1,..., pn, 所以必
: 然有其中之一, 比如pj, 能整除N, 特别的, N 除以pj余数为0
: 4. N= pj*(p2*...*pn 括号内排除pj)+1=pj*something+1, 因此, N除以pj余数为1
: 5. 3 和 4 矛盾,N不能同时除以pj余0,而且余1.
: 现在有几种推理方法
: 6(I), 3和4矛盾, 矛盾的根源在于 假设1 是完全错误的, 于是 证毕,素数无穷 Q.E.D
: 或者走下列路线(l63路线)

avatar
f*i
5
l63路线中, 从p2,p3,.. pn 是所有路线推出N是素数这个 推理逻辑是正确的
有人说
2*3*5*7*11*13+1=30031是合数
正确
单数 N是素数的推理前提是(p2,p3,..,pn是所有素数),
现在 2,3,..., 13 并不是所有的素数!
avatar
d*n
6
你这哪是163的版本啊。。。

D

【在 f*******i 的大作中提到】
: 1. 假设p1=2,p2=3,...,pn 是全部的素数...
: 2. 令 N=p1*p2*...*pn+1, 显然 N比 p1,p2,...,pn都大,因此不再p1,p2,..,pn,中, 所
: 以根据1, N是一个合数.
: 3. N是合数,那么必然能够被一个素数整除, 根据1, 所有的素数是p1,..., pn, 所以必
: 然有其中之一, 比如pj, 能整除N, 特别的, N 除以pj余数为0
: 4. N= pj*(p2*...*pn 括号内排除pj)+1=pj*something+1, 因此, N除以pj余数为1
: 5. 3 和 4 矛盾,N不能同时除以pj余0,而且余1.
: 现在有几种推理方法
: 6(I), 3和4矛盾, 矛盾的根源在于 假设1 是完全错误的, 于是 证毕,素数无穷 Q.E.D
: 或者走下列路线(l63路线)

avatar
d*n
7
正确的头。
反例都给你看了,还正确。
看来你被民科洗脑洗的不清。

【在 f*******i 的大作中提到】
: l63路线中, 从p2,p3,.. pn 是所有路线推出N是素数这个 推理逻辑是正确的
: 有人说
: 2*3*5*7*11*13+1=30031是合数
: 正确
: 单数 N是素数的推理前提是(p2,p3,..,pn是所有素数),
: 现在 2,3,..., 13 并不是所有的素数!

avatar
f*i
8
我在6(II)中"又"证明了N是素数,lol

【在 d*****n 的大作中提到】
: 你这哪是163的版本啊。。。
:
: D

avatar
f*i
9
这个例子说明由错误的假设可以合理,逻辑地推出很多自相矛盾的结论,大家不要纠结了
avatar
c*n
10
l63路线中, 从p2,p3,.. pn 是所有路线推出N是合数这个 推理逻辑也是正确的

【在 f*******i 的大作中提到】
: l63路线中, 从p2,p3,.. pn 是所有路线推出N是素数这个 推理逻辑是正确的
: 有人说
: 2*3*5*7*11*13+1=30031是合数
: 正确
: 单数 N是素数的推理前提是(p2,p3,..,pn是所有素数),
: 现在 2,3,..., 13 并不是所有的素数!

avatar
f*i
11
是的
我们能推出N既是素数又是合数..有问题吗,
我们还能推出N能被某p1,p2,...pn,之外的某素数整除,尽管p1,p2,...,pn是所有的素数

【在 c****n 的大作中提到】
: l63路线中, 从p2,p3,.. pn 是所有路线推出N是合数这个 推理逻辑也是正确的
avatar
Z*e
12
真好奇你是学什么的,这点逻辑也弄不清楚。

【在 c****n 的大作中提到】
: l63路线中, 从p2,p3,.. pn 是所有路线推出N是合数这个 推理逻辑也是正确的
avatar
c*n
13
没问题,所以原假设错误。
我一直说63的结论不完备就是这点。
他可是坚持他的推论只能得出N是素数的结论。

【在 f*******i 的大作中提到】
: 是的
: 我们能推出N既是素数又是合数..有问题吗,
: 我们还能推出N能被某p1,p2,...pn,之外的某素数整除,尽管p1,p2,...,pn是所有的素数

avatar
c*n
14
我学什么不重要,如何通过同样原假设和推理能得出N是合数的过程也贴了好几次了。

【在 Z*****e 的大作中提到】
: 真好奇你是学什么的,这点逻辑也弄不清楚。
avatar
f*i
15
如果他不承认那个错误的假设能推出N是合数,那他自然错了
不过他找到了足够的矛盾,can get the job done, 后面的讨论也懒得一一去看了

【在 c****n 的大作中提到】
: 没问题,所以原假设错误。
: 我一直说63的结论不完备就是这点。
: 他可是坚持他的推论只能得出N是素数的结论。

avatar
Z*e
16
你脑袋真够糊的,正是因为假设是错的(目的就是证明假使是错的)所以可以推理出自
相矛盾的结论(比如你说的推理出N必然是质数而同时又必然是合数,矛盾,所以假设错
误,证明结束)(这正是反证法需要寻找的)。

【在 c****n 的大作中提到】
: 没问题,所以原假设错误。
: 我一直说63的结论不完备就是这点。
: 他可是坚持他的推论只能得出N是素数的结论。

avatar
f*i
17
结论就是,既能推出n是素数,也能推出n是合数.
不承认任何一点的都打50巴掌吧
~
avatar
c*n
18
1. 63暂时还不承认,他认为得出合数的结论是因为用了合数的定义,而他的推理只用
了素数的定义,N只能是素数。
2。 如果知道N也能是合数,却仍坚持N是素数,不能否定原假设。因为素数有限的假
设推理无法证明所以N有一个一定能是素数,如果不讨论合数,并没有引入矛盾。

【在 f*******i 的大作中提到】
: 如果他不承认那个错误的假设能推出N是合数,那他自然错了
: 不过他找到了足够的矛盾,can get the job done, 后面的讨论也懒得一一去看了

avatar
c*n
19
结论N是素数并不能否定原假设错误。
1。如果结论是N一定只能是素数,那和原假设矛盾,没问题。
2。这个证明的假设条件得不出N一定只能是素数,说N是素数就能否定原假设就不对。
因为你没有证明,你构造的N如果是合数,它是否和你的原假设素数有限矛盾。 如果合
数和原假设不矛盾,那N是素数的矛盾就不存在。因为这个证明无法证明N是素数一定存
在,那怕只有一个就好。,如果一个素数也没有,自然没有矛盾。这就是为什么我们看
到的所有关于素数无限的反证法都同时讨论了两种可能。
63的结论素数无限是对的,这个结果对今天的人来说是一个常识,遗憾的是过程有问
题。

【在 Z*****e 的大作中提到】
: 你脑袋真够糊的,正是因为假设是错的(目的就是证明假使是错的)所以可以推理出自
: 相矛盾的结论(比如你说的推理出N必然是质数而同时又必然是合数,矛盾,所以假设错
: 误,证明结束)(这正是反证法需要寻找的)。

avatar
d*k
20
如果假设素数有限,可以推导出N是素数,也可以推导出N是合数。
只要推出的结论和假设矛盾完成反证即可,不需要把所有的可能都给出。

【在 c****n 的大作中提到】
: 1. 63暂时还不承认,他认为得出合数的结论是因为用了合数的定义,而他的推理只用
: 了素数的定义,N只能是素数。
: 2。 如果知道N也能是合数,却仍坚持N是素数,不能否定原假设。因为素数有限的假
: 设推理无法证明所以N有一个一定能是素数,如果不讨论合数,并没有引入矛盾。

avatar
f*i
21
+1
如果较真,可能可以推出不同层次的很多矛盾
但只需要找到一个就(Q.E.D)

【在 d******k 的大作中提到】
: 如果假设素数有限,可以推导出N是素数,也可以推导出N是合数。
: 只要推出的结论和假设矛盾完成反证即可,不需要把所有的可能都给出。

avatar
Z*e
22
你还是没理解。首先根据假设可以推断出N必然是质数,而且这个质数大于假使里的所
有质数中任何一个(也就是说假使的所有质数集合是错的),这就已经足够证明假设是
错的。不但如此,我们还可以推出更多的矛盾,比如可以推出N必然是合数,一个数不
可能同时是质数又是合数,所以假设错误。

【在 c****n 的大作中提到】
: 结论N是素数并不能否定原假设错误。
: 1。如果结论是N一定只能是素数,那和原假设矛盾,没问题。
: 2。这个证明的假设条件得不出N一定只能是素数,说N是素数就能否定原假设就不对。
: 因为你没有证明,你构造的N如果是合数,它是否和你的原假设素数有限矛盾。 如果合
: 数和原假设不矛盾,那N是素数的矛盾就不存在。因为这个证明无法证明N是素数一定存
: 在,那怕只有一个就好。,如果一个素数也没有,自然没有矛盾。这就是为什么我们看
: 到的所有关于素数无限的反证法都同时讨论了两种可能。
: 63的结论素数无限是对的,这个结果对今天的人来说是一个常识,遗憾的是过程有问
: 题。

avatar
c*n
23
问题是你不能推出N只能是素数或一定是素数,不能否认也不能否认N至少能有一个素数
,可同理,也不能否认N全是合数。
素数带来的矛盾这个证明并不能保证一定存在,所以一个完整的证明需要两种可能都要
提到。

【在 d******k 的大作中提到】
: 如果假设素数有限,可以推导出N是素数,也可以推导出N是合数。
: 只要推出的结论和假设矛盾完成反证即可,不需要把所有的可能都给出。

avatar
d*u
24
根据假设不能推断N是质数
推断必须从“定义”出发,
从其他推论出发需要证明此推论在假设条件下也成立

【在 Z*****e 的大作中提到】
: 你还是没理解。首先根据假设可以推断出N必然是质数,而且这个质数大于假使里的所
: 有质数中任何一个(也就是说假使的所有质数集合是错的),这就已经足够证明假设是
: 错的。不但如此,我们还可以推出更多的矛盾,比如可以推出N必然是合数,一个数不
: 可能同时是质数又是合数,所以假设错误。

avatar
d*k
25
恩,如果考试的时候写证明过程把那些多余的都写上显得自己考虑完备。
虽然不会倒扣分,但老师的印象分肯定大减。

【在 f*******i 的大作中提到】
: +1
: 如果较真,可能可以推出不同层次的很多矛盾
: 但只需要找到一个就(Q.E.D)

avatar
d*k
26
如果考试的时候你把这些分析都写上,不会倒扣分。但老师对你的印象分绝对大减。

【在 c****n 的大作中提到】
: 问题是你不能推出N只能是素数或一定是素数,不能否认也不能否认N至少能有一个素数
: ,可同理,也不能否认N全是合数。
: 素数带来的矛盾这个证明并不能保证一定存在,所以一个完整的证明需要两种可能都要
: 提到。

avatar
f*i
27
错了,
用反证法 证明A=>B,
我们可以假设 A真,B是假,然后利用所有的已知的公理和定理进行推论
只要在逻辑推理的前提下能找到任何一对矛盾,就达到了证明的目的

【在 d*****u 的大作中提到】
: 根据假设不能推断N是质数
: 推断必须从“定义”出发,
: 从其他推论出发需要证明此推论在假设条件下也成立

avatar
Z*e
28
你要清清脑子了。从假使我们可以推出N必然是质数,同样可以推出N必然是合数。这结
论是矛盾的(为什么矛盾?因为假使是错误的)。一个错误的假使可以推出很多矛盾。

【在 c****n 的大作中提到】
: 问题是你不能推出N只能是素数或一定是素数,不能否认也不能否认N至少能有一个素数
: ,可同理,也不能否认N全是合数。
: 素数带来的矛盾这个证明并不能保证一定存在,所以一个完整的证明需要两种可能都要
: 提到。

avatar
d*u
29
那你实际上是在说罗圈话:
先假设某某错误情况(实际就否认了推论了,虽然作者没察觉)
然后又说坚持推论可以推出谬误
所以反证成功
这不是循环吗?
因为我否认了推论,所以推论推出错误结果,证毕。不搞笑?

【在 f*******i 的大作中提到】
: 错了,
: 用反证法 证明A=>B,
: 我们可以假设 A真,B是假,然后利用所有的已知的公理和定理进行推论
: 只要在逻辑推理的前提下能找到任何一对矛盾,就达到了证明的目的

avatar
f*i
30
这段说明了你不懂反证法

【在 d*****u 的大作中提到】
: 那你实际上是在说罗圈话:
: 先假设某某错误情况(实际就否认了推论了,虽然作者没察觉)
: 然后又说坚持推论可以推出谬误
: 所以反证成功
: 这不是循环吗?
: 因为我否认了推论,所以推论推出错误结果,证毕。不搞笑?

avatar
d*u
31
别说这些废话,你仔细想想

【在 f*******i 的大作中提到】
: 这段说明了你不懂反证法
avatar
Z*e
32
你确实没弄懂反证法是什么意思。

【在 d*****u 的大作中提到】
: 别说这些废话,你仔细想想
avatar
b*r
33
你下意识的用了质数的等价定义。有人指出了这个等价定义不是显而易见的,其证明复
杂度远超过只用基本素数定义来证明素数无穷多的原本欧几里德证明。

【在 Z*****e 的大作中提到】
: 你要清清脑子了。从假使我们可以推出N必然是质数,同样可以推出N必然是合数。这结
: 论是矛盾的(为什么矛盾?因为假使是错误的)。一个错误的假使可以推出很多矛盾。

avatar
f*i
34
"因为我否认了推论,所以推论推出错误结果,证毕"
我否认了推论,也就是我假设推论是假命题. 然后我从此推出矛盾的结果, 问题从哪儿
来?
说名 "推论是假命题"这个命题是假命题, 因此 推论是真的
ok?

【在 d*****u 的大作中提到】
: 别说这些废话,你仔细想想
avatar
d*u
35
你觉得可能吗?
中国高中就教反证法

【在 Z*****e 的大作中提到】
: 你确实没弄懂反证法是什么意思。
avatar
d*u
36
推论跟原命题都不等价了,你证半天都是白忙活

【在 f*******i 的大作中提到】
: "因为我否认了推论,所以推论推出错误结果,证毕"
: 我否认了推论,也就是我假设推论是假命题. 然后我从此推出矛盾的结果, 问题从哪儿
: 来?
: 说名 "推论是假命题"这个命题是假命题, 因此 推论是真的
: ok?

avatar
d*x
37
广泛地教授反证法,显然是在初中。举例:
http://wenwen.soso.com/z/q199981650.htm
小学奥数里面证明就已经常用反证法了。举例:
http://xiaoxue.eol.cn/xxas_11415/20120816/t20120816_828971.shtm
而你臆想中,中国高中“就”教反证法,可能有两种原因:
1.你没上过初中
2.你上过高中,但是没在国内上,而且这个高中高端到反证法都没教过
你选一个?

【在 d*****u 的大作中提到】
: 你觉得可能吗?
: 中国高中就教反证法

avatar
d*u
38
文字游戏?
高中就教也没否认小学和初中可能教啊
我们都上过高中,所以肯定学过,证毕

【在 d**********x 的大作中提到】
: 广泛地教授反证法,显然是在初中。举例:
: http://wenwen.soso.com/z/q199981650.htm
: 小学奥数里面证明就已经常用反证法了。举例:
: http://xiaoxue.eol.cn/xxas_11415/20120816/t20120816_828971.shtm
: 而你臆想中,中国高中“就”教反证法,可能有两种原因:
: 1.你没上过初中
: 2.你上过高中,但是没在国内上,而且这个高中高端到反证法都没教过
: 你选一个?

avatar
f*i
39
虽然很浪费时间,让我们来实践一下
求证,没有最大的整数
令(p=命题 没有最大的整数)
证明, 用反证法, 假设 (!p)为真, (!p跟p当然不等价,他们相反!)
于是,存在最大整数,记为N
现在因为整数+整数还是整数(我在用已知的定理), 所以N+1为整数
又因为1是正数,所以N+1>N
于是 找到了比N更大的整数N+1, 这跟 N是最大整数矛盾.
于是知道 假设(!p为真)是错的 ,所以(!p为假), 所以(p为真)

【在 d*****u 的大作中提到】
: 推论跟原命题都不等价了,你证半天都是白忙活
avatar
d*u
40
你这个跟lz的证明半点逻辑关系都没有
我给你举例
楼主想证明没有最大整数
用到了某等价推论:没有最大的偶数
然后说假设有最大的整数,可以证明能找到最大偶数(怎么找你可以去想)
然后说矛盾,反证成立
问题是你都假设没有最大整数了,还直接用“没有最大偶数”这个推论?
这是证明吗?
当然这个例子也不是特别贴切,但有那意思

【在 f*******i 的大作中提到】
: 虽然很浪费时间,让我们来实践一下
: 求证,没有最大的整数
: 令(p=命题 没有最大的整数)
: 证明, 用反证法, 假设 (!p)为真, (!p跟p当然不等价,他们相反!)
: 于是,存在最大整数,记为N
: 现在因为整数+整数还是整数(我在用已知的定理), 所以N+1为整数
: 又因为1是正数,所以N+1>N
: 于是 找到了比N更大的整数N+1, 这跟 N是最大整数矛盾.
: 于是知道 假设(!p为真)是错的 ,所以(!p为假), 所以(p为真)

avatar
f*i
41
很有讽刺意义的是,如果没有"最大的偶数"已经是众所周知的事实,那么楼主这个例子没
有任何逻辑错误.

【在 d*****u 的大作中提到】
: 你这个跟lz的证明半点逻辑关系都没有
: 我给你举例
: 楼主想证明没有最大整数
: 用到了某等价推论:没有最大的偶数
: 然后说假设有最大的整数,可以证明能找到最大偶数(怎么找你可以去想)
: 然后说矛盾,反证成立
: 问题是你都假设没有最大整数了,还直接用“没有最大偶数”这个推论?
: 这是证明吗?
: 当然这个例子也不是特别贴切,但有那意思

avatar
d*u
42
那也就不用证明了,那还忙活什么
现在不就是想证明吗

【在 f*******i 的大作中提到】
: 很有讽刺意义的是,如果没有"最大的偶数"已经是众所周知的事实,那么楼主这个例子没
: 有任何逻辑错误.

avatar
Z*e
43
质数定义不是除1和本身不能被其他数整除吗?

【在 b******r 的大作中提到】
: 你下意识的用了质数的等价定义。有人指出了这个等价定义不是显而易见的,其证明复
: 杂度远超过只用基本素数定义来证明素数无穷多的原本欧几里德证明。

avatar
d*u
44
对,但是lz用的是推论“不能被其他质数整除”(不是自然数了)
这个推论成立是有条件的
在反证假设的时候,已经不存在这个条件

【在 Z*****e 的大作中提到】
: 质数定义不是除1和本身不能被其他数整除吗?
avatar
b*r
45
对,但这不是i63的表述。他说一个数如果不能被所有比他小的质数整除就是质数。大
家都知道两个命题等价,但是这个等价命题其实不简单,所以不提就用不严密。即使用
了也是在用复杂的结论倒过来证简单的东西。

【在 Z*****e 的大作中提到】
: 质数定义不是除1和本身不能被其他数整除吗?
avatar
Z*e
46
很容易可以证明那个N不能被除1或N本身的数整除啊。

【在 b******r 的大作中提到】
: 对,但这不是i63的表述。他说一个数如果不能被所有比他小的质数整除就是质数。大
: 家都知道两个命题等价,但是这个等价命题其实不简单,所以不提就用不严密。即使用
: 了也是在用复杂的结论倒过来证简单的东西。

avatar
b*r
47
只是很容易证明N不能被那些已知素数整除。那合数呢?你是不是需要定义合数?

【在 Z*****e 的大作中提到】
: 很容易可以证明那个N不能被除1或N本身的数整除啊。
avatar
Z*e
48
这太简单了啊。首先一个质数不会被比它大的数整除。然后考虑比它小的数,要么是质
数,要么是合数,如果一个数不能被比任何一个比它小的质数整除那么必然不能被比它
小的合数整除,因为合数根据定义会被至少1个比它小的质数整除,所以这质数的定义
也可以说成不能比它小的质数整除的数。

【在 b******r 的大作中提到】
: 只是很容易证明N不能被那些已知素数整除。那合数呢?你是不是需要定义合数?
avatar
f*i
49
这些东西已经讲过好多遍了,该看不懂的还是看不懂
还是表浪费时间了~

【在 Z*****e 的大作中提到】
: 这太简单了啊。首先一个质数不会被比它大的数整除。然后考虑比它小的数,要么是质
: 数,要么是合数,如果一个数不能被比任何一个比它小的质数整除那么必然不能被比它
: 小的合数整除,因为合数根据定义会被至少1个比它小的质数整除,所以这质数的定义
: 也可以说成不能比它小的质数整除的数。

avatar
b*z
50
3是错误的。3的前提是任意大于pn的整数都能被已知素数整除,这是错误的。
假设2,3,5是已知素数,14就不满足。
除非这个逻辑被补充,否则论证是不严谨的。我认为素数分解理论在这里不适用。
附3原文
3. N是合数,那么必然能够被一个素数整除, 根据1, 所有的素数是p1,..., pn, 所以必
然有其中之一, 比如pj, 能整除N, 特别的, N 除以pj余数为0
另,反正法要和初始假设矛盾。
avatar
b*z
51
反证法是在假设前提下,一步步推出的结论和假设的前提矛盾,所以假设是错误的。没
听说过证着证着说,你瞧,结论和倒数第二步是矛盾的,原因是前提。那只能说明当中
的推理本来就有问题。
avatar
C*r
52

同意你讲的。
让我想到小时候,有些同学貌似很聪明,喜欢跳步骤。有的老师喜欢抓班头,跳步骤的
一律扣分。
跳步骤的有两种情况,一种是真不知道,只好蒙,另一种是真知道。真知道的情况下,
表述完整写又有什么害处呢?

【在 b*********z 的大作中提到】
: 反证法是在假设前提下,一步步推出的结论和假设的前提矛盾,所以假设是错误的。没
: 听说过证着证着说,你瞧,结论和倒数第二步是矛盾的,原因是前提。那只能说明当中
: 的推理本来就有问题。

avatar
f*i
53
你这个说法完全错误
你是数学系的吗

【在 b*********z 的大作中提到】
: 反证法是在假设前提下,一步步推出的结论和假设的前提矛盾,所以假设是错误的。没
: 听说过证着证着说,你瞧,结论和倒数第二步是矛盾的,原因是前提。那只能说明当中
: 的推理本来就有问题。

avatar
f*i
54
在保证逻辑正常的情况下,推出任何一对矛盾即可

【在 b*********z 的大作中提到】
: 反证法是在假设前提下,一步步推出的结论和假设的前提矛盾,所以假设是错误的。没
: 听说过证着证着说,你瞧,结论和倒数第二步是矛盾的,原因是前提。那只能说明当中
: 的推理本来就有问题。

avatar
f*i
55
参见根号2是无理数的证明
avatar
g*y
56
这个证明貌似是对的,参见欧几里德的证明 (wikipedia):
素数有無窮多個。現在已知最早的證明方法是歐幾里得在他的《幾何原本》中提出的,
該證明方法如下:
假設只有有限个素数p_1,p_2,p_3,..., p_n。令N=p_1times p_2times p_3 times
... times p_n。那么,N+1是素数或者不是素数。
如果N+1為素数,則N+1要大于p_1,p_2,p_3...p_n,所以它不在那些假設的素数集
合中。
如果N+1為合数,因為任何一個合数都可以分解為幾個素数的積;而N和N+1的最大
公约数是1,所以N+1不可能被p_1,p_2,p_3ldots p_n整除,所以該合数分解得到的素因
数肯定不在假設的素数集合中。
因此無論該数是素数還是合数,都意味著在假設的有限個素数之外還存在着其他素
数。
對任何有限個素数的集合來說,用上述的方法永遠可以得到有一個素数不在假設的
素数集合中的結論。
所以原先的假設不成立。也就是說,素数有無窮多個。

D

【在 f*******i 的大作中提到】
: 1. 假设p1=2,p2=3,...,pn 是全部的素数...
: 2. 令 N=p1*p2*...*pn+1, 显然 N比 p1,p2,...,pn都大,因此不再p1,p2,..,pn,中, 所
: 以根据1, N是一个合数.
: 3. N是合数,那么必然能够被一个素数整除, 根据1, 所有的素数是p1,..., pn, 所以必
: 然有其中之一, 比如pj, 能整除N, 特别的, N 除以pj余数为0
: 4. N= pj*(p2*...*pn 括号内排除pj)+1=pj*something+1, 因此, N除以pj余数为1
: 5. 3 和 4 矛盾,N不能同时除以pj余0,而且余1.
: 现在有几种推理方法
: 6(I), 3和4矛盾, 矛盾的根源在于 假设1 是完全错误的, 于是 证毕,素数无穷 Q.E.D
: 或者走下列路线(l63路线)

avatar
d*x
57
你要看看英文版wiki吗?
中文版wiki是错的。

, 所
以必
E.

【在 g******y 的大作中提到】
: 这个证明貌似是对的,参见欧几里德的证明 (wikipedia):
: 素数有無窮多個。現在已知最早的證明方法是歐幾里得在他的《幾何原本》中提出的,
: 該證明方法如下:
: 假設只有有限个素数p_1,p_2,p_3,..., p_n。令N=p_1times p_2times p_3 times
: ... times p_n。那么,N+1是素数或者不是素数。
: 如果N+1為素数,則N+1要大于p_1,p_2,p_3...p_n,所以它不在那些假設的素数集
: 合中。
: 如果N+1為合数,因為任何一個合数都可以分解為幾個素数的積;而N和N+1的最大
: 公约数是1,所以N+1不可能被p_1,p_2,p_3ldots p_n整除,所以該合数分解得到的素因
: 数肯定不在假設的素数集合中。

avatar
C*r
58

牛。

【在 d**********x 的大作中提到】
: 你要看看英文版wiki吗?
: 中文版wiki是错的。
:
: , 所
: 以必
: E.

avatar
d*x
59
当然不是说证明是错的
而是对事实的陈述有错

【在 C**********r 的大作中提到】
:
: 牛。

avatar
m*k
60
XXX

D

【在 f*******i 的大作中提到】
: 1. 假设p1=2,p2=3,...,pn 是全部的素数...
: 2. 令 N=p1*p2*...*pn+1, 显然 N比 p1,p2,...,pn都大,因此不再p1,p2,..,pn,中, 所
: 以根据1, N是一个合数.
: 3. N是合数,那么必然能够被一个素数整除, 根据1, 所有的素数是p1,..., pn, 所以必
: 然有其中之一, 比如pj, 能整除N, 特别的, N 除以pj余数为0
: 4. N= pj*(p2*...*pn 括号内排除pj)+1=pj*something+1, 因此, N除以pj余数为1
: 5. 3 和 4 矛盾,N不能同时除以pj余0,而且余1.
: 现在有几种推理方法
: 6(I), 3和4矛盾, 矛盾的根源在于 假设1 是完全错误的, 于是 证毕,素数无穷 Q.E.D
: 或者走下列路线(l63路线)

avatar
g*y
61
我看了一下英文版,原来欧几里德原版是证明如果给定素数集是有限个,那么必然可以
再增加一个素数。
英文wiki 上说经常有错误报道说欧几里德是假设所有的素数集,然后推出自相矛盾的
结果。但是我认为这样证明也是对的啊,只是它不是欧几里德的原版。

【在 d**********x 的大作中提到】
: 你要看看英文版wiki吗?
: 中文版wiki是错的。
:
: , 所
: 以必
: E.

avatar
d*x
62
恩,看我后面的回复
我只是说中文wiki陈述错误

【在 g******y 的大作中提到】
: 我看了一下英文版,原来欧几里德原版是证明如果给定素数集是有限个,那么必然可以
: 再增加一个素数。
: 英文wiki 上说经常有错误报道说欧几里德是假设所有的素数集,然后推出自相矛盾的
: 结果。但是我认为这样证明也是对的啊,只是它不是欧几里德的原版。

avatar
l*3
63
不要没事干揣测我的行为.
也不要随口就说我曾经说过 "N一定是素数", 你能找出证据说明我在没有前提假设的情
况下, 说过这句话吗?

【在 c****n 的大作中提到】
: 这个才是原版,你把63坚持了好几天的N一定只能是素数换成了N是合数,小心他跟你
: 反脸。
: 发信人: l63 (l63), 信区: WaterWorld
: 标 题: 关于使用反证法证明 "素数有无穷多个"
: 发信站: BBS 未名空间站 (Thu May 23 00:34:22 2013, 美东)
: 假设素数只有有限个, 记为 p_1,p_2,...,p_k
: 考察 N = p_1*p_2*...*p_k + 1
: 可知: 对于任意i = 1,2,3,...,k, p_i 不能整除 N
: 由素数的定义:
: a是素数 <=> a是大于1的自然数, 且a不被任何小于a的素数整除

avatar
l*3
64
不要没事干揣测我的行为.
也不要随口就说我曾经说过 "N一定是素数", 你能找出证据说明我在没有前提假设的情
况下, 说过这句话吗?

【在 c****n 的大作中提到】
: 这个才是原版,你把63坚持了好几天的N一定只能是素数换成了N是合数,小心他跟你
: 反脸。
: 发信人: l63 (l63), 信区: WaterWorld
: 标 题: 关于使用反证法证明 "素数有无穷多个"
: 发信站: BBS 未名空间站 (Thu May 23 00:34:22 2013, 美东)
: 假设素数只有有限个, 记为 p_1,p_2,...,p_k
: 考察 N = p_1*p_2*...*p_k + 1
: 可知: 对于任意i = 1,2,3,...,k, p_i 不能整除 N
: 由素数的定义:
: a是素数 <=> a是大于1的自然数, 且a不被任何小于a的素数整除

avatar
l*3
65
你懂不懂什么叫 "反例"?
你给举个反例说明我的证明不对来看看?

【在 d*****n 的大作中提到】
: 正确的头。
: 反例都给你看了,还正确。
: 看来你被民科洗脑洗的不清。

avatar
l*3
66
呵呵, 我又被代表了.
请问我什么时候说过 "在前提假设下, 只能得出N是素数"?
你能不能把记录找出来? 找不出来就滚.

【在 c****n 的大作中提到】
: 没问题,所以原假设错误。
: 我一直说63的结论不完备就是这点。
: 他可是坚持他的推论只能得出N是素数的结论。

avatar
l*3
67
傻逼, 你把我说过 "在前提假设下, 只能推出N是素数" 的言论找出来, 敢不?
连造谣的手段都开始用上了, 厉害.

【在 c****n 的大作中提到】
: 1. 63暂时还不承认,他认为得出合数的结论是因为用了合数的定义,而他的推理只用
: 了素数的定义,N只能是素数。
: 2。 如果知道N也能是合数,却仍坚持N是素数,不能否定原假设。因为素数有限的假
: 设推理无法证明所以N有一个一定能是素数,如果不讨论合数,并没有引入矛盾。

avatar
l*3
68
2楼你贴的我的证明贴的清清楚楚, 请问你哪只狗眼从里面看出来 "根据假设, 只能推
出N是素数, 不能推出N是合数" 这种话?

【在 c****n 的大作中提到】
: 1. 63暂时还不承认,他认为得出合数的结论是因为用了合数的定义,而他的推理只用
: 了素数的定义,N只能是素数。
: 2。 如果知道N也能是合数,却仍坚持N是素数,不能否定原假设。因为素数有限的假
: 设推理无法证明所以N有一个一定能是素数,如果不讨论合数,并没有引入矛盾。

avatar
l*3
69
你还是没有说明l63的证明是错的.
是不是人们一旦发现自己说的东西不成立了以后, 就会开始找各种借口?
比如你最开始认为 "l63的证明是错的", 后来发现证明没有问题, 结果只能改口为 "
l63的证明太繁琐, 太复杂, 太低级, 太没有档次, 太没有趣味"
我说的对不对?

【在 b******r 的大作中提到】
: 你下意识的用了质数的等价定义。有人指出了这个等价定义不是显而易见的,其证明复
: 杂度远超过只用基本素数定义来证明素数无穷多的原本欧几里德证明。

avatar
l*o
70
发信人: luobo (菠萝), 信区: Mathematics 标 题: Re: 素数有无穷多个, 你会证吗?
给大家奉上几篇欢乐的帖子. 发信站: BBS 未名空间站 (Thu May 23 03:55:43 2013,
美东)
你这个证明有点绕,感觉不够严密。这样证会更好一些 (给你改进了一下)。
假设:素数只有有限个, 记为 p_1, p_2, ..., p_k
考察 N = p_1*p_2*...*p_k + 1
显然 N 不能被所有 p_i 整除。(1)
但根据假设,N必为合数,必为已有素数之积,即必可被某些 p_i 整除。(2)
(1)(2)矛盾,假设不成立。

D

【在 f*******i 的大作中提到】
: 1. 假设p1=2,p2=3,...,pn 是全部的素数...
: 2. 令 N=p1*p2*...*pn+1, 显然 N比 p1,p2,...,pn都大,因此不再p1,p2,..,pn,中, 所
: 以根据1, N是一个合数.
: 3. N是合数,那么必然能够被一个素数整除, 根据1, 所有的素数是p1,..., pn, 所以必
: 然有其中之一, 比如pj, 能整除N, 特别的, N 除以pj余数为0
: 4. N= pj*(p2*...*pn 括号内排除pj)+1=pj*something+1, 因此, N除以pj余数为1
: 5. 3 和 4 矛盾,N不能同时除以pj余0,而且余1.
: 现在有几种推理方法
: 6(I), 3和4矛盾, 矛盾的根源在于 假设1 是完全错误的, 于是 证毕,素数无穷 Q.E.D
: 或者走下列路线(l63路线)

avatar
l*o
71
发信人: luobo (菠萝), 信区: Mathematics 标 题: Re: 素数有无穷多个, 你会证吗?
给大家奉上几篇欢乐的帖子. 发信站: BBS 未名空间站 (Fri May 24 00:19:43 2013,
美东)
发信人: l63 (l63), 信区: WaterWorld 标 题: 关于使用反证法证明 "素数有无穷多
个" 发信站: BBS 未名空间站 (Thu May 23 00:34:22 2013, 美东)
假设素数只有有限个, 记为 p_1,p_2,...,p_k 考察 N = p_1*p_2*...*p_k + 1 可知:
对于任意i = 1,2,3,...,k, p_i 不能整除 N 由素数的定义: a是素数 <=> a是大于1的
自然数, 且a不被任何小于a的素数整除 可知: N是素数 这与素数只有p_1,p_2,...,p_k
矛盾. 故假设不成立. 所以素数有无穷多个. -------------------------------------
回你最后一贴。你再看一下你的这个证明,是严格意义上的反证法吗?说说你哪里用到
了第一行的假设?
没有用到第一行假设的条件,直接得出N是素数。最后说“这与素数只有p_1,p_2,...,p
_k矛盾.” 你这还是不叫反证法的好,我看不如叫直接否定法。
另外,合数必被某个素数整除,注意这里是某个,不是全部,很弱的条件。用得着
fundamental theorem of arithmetic吗?再说这个theorem公元前300年Euclid就提出
来了,算是最最基本的定理了。

D

【在 f*******i 的大作中提到】
: 1. 假设p1=2,p2=3,...,pn 是全部的素数...
: 2. 令 N=p1*p2*...*pn+1, 显然 N比 p1,p2,...,pn都大,因此不再p1,p2,..,pn,中, 所
: 以根据1, N是一个合数.
: 3. N是合数,那么必然能够被一个素数整除, 根据1, 所有的素数是p1,..., pn, 所以必
: 然有其中之一, 比如pj, 能整除N, 特别的, N 除以pj余数为0
: 4. N= pj*(p2*...*pn 括号内排除pj)+1=pj*something+1, 因此, N除以pj余数为1
: 5. 3 和 4 矛盾,N不能同时除以pj余0,而且余1.
: 现在有几种推理方法
: 6(I), 3和4矛盾, 矛盾的根源在于 假设1 是完全错误的, 于是 证毕,素数无穷 Q.E.D
: 或者走下列路线(l63路线)

avatar
q*c
72
?
14%2=0

【在 b*********z 的大作中提到】
: 3是错误的。3的前提是任意大于pn的整数都能被已知素数整除,这是错误的。
: 假设2,3,5是已知素数,14就不满足。
: 除非这个逻辑被补充,否则论证是不严谨的。我认为素数分解理论在这里不适用。
: 附3原文
: 3. N是合数,那么必然能够被一个素数整除, 根据1, 所有的素数是p1,..., pn, 所以必
: 然有其中之一, 比如pj, 能整除N, 特别的, N 除以pj余数为0
: 另,反正法要和初始假设矛盾。

avatar
l*3
73
你就别在这掰扯了.
我已经说了, 在某些 "吹毛求疵的标准" 下, 我的证明书写 "不够规范".
--------
你用你这种吹毛求疵的态度对待别人的时候, 先自省一下合数的朴素定义吧, loser.

吗?
2013,
_k
---

【在 l***o 的大作中提到】
: 发信人: luobo (菠萝), 信区: Mathematics 标 题: Re: 素数有无穷多个, 你会证吗?
: 给大家奉上几篇欢乐的帖子. 发信站: BBS 未名空间站 (Fri May 24 00:19:43 2013,
: 美东)
: 发信人: l63 (l63), 信区: WaterWorld 标 题: 关于使用反证法证明 "素数有无穷多
: 个" 发信站: BBS 未名空间站 (Thu May 23 00:34:22 2013, 美东)
: 假设素数只有有限个, 记为 p_1,p_2,...,p_k 考察 N = p_1*p_2*...*p_k + 1 可知:
: 对于任意i = 1,2,3,...,k, p_i 不能整除 N 由素数的定义: a是素数 <=> a是大于1的
: 自然数, 且a不被任何小于a的素数整除 可知: N是素数 这与素数只有p_1,p_2,...,p_k
: 矛盾. 故假设不成立. 所以素数有无穷多个. -------------------------------------
: 回你最后一贴。你再看一下你的这个证明,是严格意义上的反证法吗?说说你哪里用到

avatar
C*r
74

吗?
2013,
这个好,完全避免了对N的分类,只要N不能被任何a_i整除,就可以得出另有新质数了
。定义N本身是合是质有点无谓,定得不好还要被捉班头。

【在 l***o 的大作中提到】
: 发信人: luobo (菠萝), 信区: Mathematics 标 题: Re: 素数有无穷多个, 你会证吗?
: 给大家奉上几篇欢乐的帖子. 发信站: BBS 未名空间站 (Fri May 24 00:19:43 2013,
: 美东)
: 发信人: l63 (l63), 信区: WaterWorld 标 题: 关于使用反证法证明 "素数有无穷多
: 个" 发信站: BBS 未名空间站 (Thu May 23 00:34:22 2013, 美东)
: 假设素数只有有限个, 记为 p_1,p_2,...,p_k 考察 N = p_1*p_2*...*p_k + 1 可知:
: 对于任意i = 1,2,3,...,k, p_i 不能整除 N 由素数的定义: a是素数 <=> a是大于1的
: 自然数, 且a不被任何小于a的素数整除 可知: N是素数 这与素数只有p_1,p_2,...,p_k
: 矛盾. 故假设不成立. 所以素数有无穷多个. -------------------------------------
: 回你最后一贴。你再看一下你的这个证明,是严格意义上的反证法吗?说说你哪里用到

avatar
l*3
75
你想看这种 "好" 的证明, 是吧?
我给你来一个:
假设: 素数只有有限个, 记为p_1,p_2,...,p_k
考察 N = p_1*p_2*...*p_k + 1
显然 N 不能被任意一个p_i整除. (1)
又因为 N是大于1的自然数, 所以N必有素因子, 根据假设, 素因子只可能在p_1,p_2,..
.,p_k中.
于是 必有p_i∈{p_1,p_2,...,p_k} 使得p_i能整除 N (2)
(1) 和 (2) 矛盾, 假设不成立.
-------
这个证明 "好" 不 "好" ?
"N为素数" 和 "N为合数" 都不屑于说了.

【在 C**********r 的大作中提到】
:
: 吗?
: 2013,
: 这个好,完全避免了对N的分类,只要N不能被任何a_i整除,就可以得出另有新质数了
: 。定义N本身是合是质有点无谓,定得不好还要被捉班头。

avatar
C*r
76
我一开始就说你的证明没有大漏洞,框架是对的,就是论证用词需要严谨。这件事互骂
文科生的太多了,我看到的是双方的真实理解差异并不大,但是误会很大,所以归纳为
语文问题。支持你的一方,死认别人逻辑不通,数学差,还拼命科普反证法。反证法又
不难,又不是关键差异,差异在表述。

..

【在 l*3 的大作中提到】
: 你想看这种 "好" 的证明, 是吧?
: 我给你来一个:
: 假设: 素数只有有限个, 记为p_1,p_2,...,p_k
: 考察 N = p_1*p_2*...*p_k + 1
: 显然 N 不能被任意一个p_i整除. (1)
: 又因为 N是大于1的自然数, 所以N必有素因子, 根据假设, 素因子只可能在p_1,p_2,..
: .,p_k中.
: 于是 必有p_i∈{p_1,p_2,...,p_k} 使得p_i能整除 N (2)
: (1) 和 (2) 矛盾, 假设不成立.
: -------

avatar
l*o
77
烦请转交163。谢谢
--------------------------
合数必被某一素数整除
合数的定义:除了1和它本身之外还有别的divisor.
如果这个divisor是素数,done; 如果这个divisor还是合数,repeat.
avatar
l*3
78
已收到.
如果是一种承认错误的方式, 那么我收下了, 谢谢.
---------
以及, 在你的命题的基础上:
如果a是大于1的自然数, 那么:
"a不是素数" <=> "a是合数" <=> "a有素因子"
又因为因子必小于a, 故
"a有素因子" <=> "a有小于a的素因子"
那么:
如果a是大于1的自然数, 那么 "a是素数" <=> "a没有小于a的素因子"
又知:
素数是大于1的自然数.
那么:
a是素数<=>a是大于1的自然数, 且a没有小于a的素因子
----------
you are right, it's too long, not trivial.

【在 l***o 的大作中提到】
: 烦请转交163。谢谢
: --------------------------
: 合数必被某一素数整除
: 合数的定义:除了1和它本身之外还有别的divisor.
: 如果这个divisor是素数,done; 如果这个divisor还是合数,repeat.

avatar
C*r
79
okay, 结案。

【在 l*3 的大作中提到】
: 已收到.
: 如果是一种承认错误的方式, 那么我收下了, 谢谢.
: ---------
: 以及, 在你的命题的基础上:
: 如果a是大于1的自然数, 那么:
: "a不是素数" <=> "a是合数" <=> "a有素因子"
: 又因为因子必小于a, 故
: "a有素因子" <=> "a有小于a的素因子"
: 那么:
: 如果a是大于1的自然数, 那么 "a是素数" <=> "a没有小于a的素因子"

avatar
l*o
80
发信人: luobo (菠萝), 信区: Mathematics
标 题: Re: 素数有无穷多个, 你会证吗? 给大家奉上几篇欢乐的帖子.
发信站: BBS 未名空间站 (Thu May 23 11:59:32 2013, 美东)
(1)首先,题目很小。引用素数的非常规“定义”(叫引理更合适),杀猪用牛刀。
只会是证明复杂化。没证明这个引理你已经省了好多篇幅了。
(2)其次,你这个非常规“定义”本身并不自动暗示N是素数(注意这个定义里:用的
是a,不是N,应该泛指一般情形)。N满足定义才能说N是素数。你对素数的定义:不被
任何小于它的素数整除且大于1的自然数。这里你漏掉了N是如何满足你这个定义的这个
关键环节而直接得出N是素数。这个属于逻辑跳跃。这里需要清楚写明:
(A)N为大于1的自然数,这个trivial,不必多言。
(B)根据原始假设,p_i (i=1,2,。。。,k)是小于N的所有素数。这个很关键。
(C)N不能被所有p_i整除。这个前面已有结论。
基于(A)(B)(C)三点,才可得出N是素数的结论,与原始假设矛盾。实际上反证法不必
要求与原始假设矛盾,出来的任何矛盾都可否定原始假设。
avatar
l*o
81
嗯,结案。

【在 C**********r 的大作中提到】
: okay, 结案。
avatar
l*o
82
DING

吗?
2013,

【在 l***o 的大作中提到】
: 发信人: luobo (菠萝), 信区: Mathematics
: 标 题: Re: 素数有无穷多个, 你会证吗? 给大家奉上几篇欢乐的帖子.
: 发信站: BBS 未名空间站 (Thu May 23 11:59:32 2013, 美东)
: (1)首先,题目很小。引用素数的非常规“定义”(叫引理更合适),杀猪用牛刀。
: 只会是证明复杂化。没证明这个引理你已经省了好多篇幅了。
: (2)其次,你这个非常规“定义”本身并不自动暗示N是素数(注意这个定义里:用的
: 是a,不是N,应该泛指一般情形)。N满足定义才能说N是素数。你对素数的定义:不被
: 任何小于它的素数整除且大于1的自然数。这里你漏掉了N是如何满足你这个定义的这个
: 关键环节而直接得出N是素数。这个属于逻辑跳跃。这里需要清楚写明:
: (A)N为大于1的自然数,这个trivial,不必多言。

avatar
C*r
83
支持

【在 l***o 的大作中提到】
: DING
:
: 吗?
: 2013,

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