同余式化简
一直看不懂的化简过程终于看明白了。
先不管费马,直接看最后两式的关系:
首先,2^100=1(mod 101)是由“101是素数”推出来的,参照物是上面式子中的底数“2”,所以是2^100,而不是3^100,7^100,或者其他(素数且与101互质)的数。
其次,2^43210=(2^100)^432 * 2^10 的意思不是说二者相等,而是在后面----对于101的模是相等的,此时那个14还并未求出。
再次,(2^100)^432 =1^432(mod 101) 是由 2^100=1(mod 101)以及 同余的性质:同幂性推出的。
再次,(2^100)^432 * 2^10 =1^432 * 2^10(mod 101)是由 同余的性质:同乘性推出的。
最后就是1^432 * 2^10(mod 101)=2^10(mod 101)=1024(mod 101),数现在已经挺小了,直接求模就OK了。