根据费马小定理,我们知道:
如果
是素数,并且
与
互质,则
。
再看看它的逆定理:
如果
是素数,满足
,那么
就是一个素数。(假命题。)
如果这个结论是对的,那么我们就可以用快速幂在O(log(n))的时间内求出一个数是否是素数了。
但是很可惜,这个结论是错误的。反例:,而341等于11*31,是
根据费马小定理,我们知道:
如果
是素数,并且
与
互质,则
。
再看看它的逆定理:
如果
是素数,满足
,那么
就是一个素数。(假命题。)
如果这个结论是对的,那么我们就可以用快速幂在O(log(n))的时间内求出一个数是否是素数了。
但是很可惜,这个结论是错误的。反例:,而341等于11*31,是