可以用此方法鉴定质数:有一质数n,如果2^n -2不能被n整除,那么n一定是合数,否则n或者是质数或假质数。
剔除为数极少的假质数,所剩即为真质数了。用程序中的科学型计算器计算一下:(2^10003 -2)mod10003=126,即(2^10003-2)除以10003余126. 所以10003一定为合数,设数A是它的最小质因子。令10003=A×B,那么 ∵10003=A×B≥A² ∴√10003≈100.01499887516871836601803658278≥A。这说明只要对不大于100的质因子进行逐一试除就行了。