定理: 如果n不是素数, 则n有满足1< d<=sqrt(n)的一个因子d.
证明: 如果n不是素数, 则由定义n有一个因子d满足1< d< n.
如果d大于sqrt(n), 则n/d是满足1< n/d<=sqrt(n)的一个因子.
上代码:
public static boolean isPrime(int N)
{
if(N<2) return false;
for(int i = 2 ; i*i <= N ; i++)
if(N % i == 0) return false;
return true;
}