找回密码
 欢迎注册
楼主: medie2005

[讨论] 判断素性

[复制链接]
 楼主| 发表于 2008-12-26 20:44:37 | 显示全部楼层
设$n=a*b+1,0
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-12-26 21:13:54 | 显示全部楼层
谢谢!学到了。 这里有更多的介绍:http://primes.utm.edu/prove/prove3_1.html
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-12-27 12:55:50 | 显示全部楼层
原帖由 gxqcn 于 2008-12-26 21:13 发表 谢谢!学到了。 这里有更多的介绍:http://primes.utm.edu/prove/prove3_1.html
Theorem 2: Suppose n-1 = FR, where F>R, gcd(F,R) is one and the factorization of F is known. If for every prime factor q of F there is an integer a>1 such that $a^n-1=1(mod n)$, and gcd(a(n-1)/q-1,n) = 1; then n is prime. (Notice that different a's can be used for each prime q.) Theorem 2 can be improved even more: if F
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-12-27 13:41:54 | 显示全部楼层
直接用11# 的结论证明楼主的数是不行的,因为前提条件不满足, 后来我找了些资料,才知道允许 F < R 的一些前提,这才是我们需要的,也就是 mathe 上面叙述的。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-12-27 13:44:29 | 显示全部楼层
11#的结论也可以用,不过复杂一些。 用11#的结论,由于已经得出$4337107|10^785 + 3$,取$F=4337107*10^785$就可以了,只是F多了一个素因子
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-12-27 20:04:51 | 显示全部楼层
呵呵,还是mathe懂我.
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-12-27 20:19:17 | 显示全部楼层
我有疑惑 every是任何的意思吧 就是说光一个似乎不行吧
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-12-27 20:25:48 | 显示全部楼层
F=4337107*10^785. F的素因子只有2,5,4337107. 因此,只要对某个a,计算: gcd(a^(n-1)/2-1,n) gcd(a^(n-1)/5-1,n) gcd(a^(n-1)/4337107-1,n) 就行了.
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-12-27 22:24:49 | 显示全部楼层
哦 明白了
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-11-27 12:16 , Processed in 0.024748 second(s), 15 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表