二次探测定理(数论,理解Miller_Rabin算法所需要引理)

最近学习的过程中接触了随机算法,Miller_Rabin算法,关于大数判断是否为素数的随机算法,然后就学习的数论知识。

定理很简单,如果p为一个素数,则x^{2}\equiv 1(mod\ p)的解为,x1=1,x2=p-1.

证明过程如下:

x^{2}\equiv 1(mod\ p)\Rightarrow x^{2}-1=0(mod\ p) \Rightarrow (x-1)*(x+1)=0(mod\ p)\Rightarrow p|(x-1)*(x+1)

由p为一个素数可以推出x1=1,x2=p-1

你可能感兴趣的:(数论)