表述
设为素数,是任意整数且,则。
证明
先证明一个引理:设为素数,是任意整数且,则序列与序列在模且忽略顺序的情况下相等。
从序列中任取两个数,并假设有,即。由,得到。对显然有,那么。小于且能被整除的数只能是0,因此得到,也就是说,序列中不存在两个元素在模意义下相等,即序列中所有元素在模意义下都不相等。
序列中各个元素模只能获得序列,此时引理得证。
根据引理,有。将方程两边分别累乘,得到:
与互素,根据同余式的除法性质,费马小定理得证:
设为素数,是任意整数且,则。
先证明一个引理:设为素数,是任意整数且,则序列与序列在模且忽略顺序的情况下相等。
从序列中任取两个数,并假设有,即。由,得到。对显然有,那么。小于且能被整除的数只能是0,因此得到,也就是说,序列中不存在两个元素在模意义下相等,即序列中所有元素在模意义下都不相等。
序列中各个元素模只能获得序列,此时引理得证。
根据引理,有。将方程两边分别累乘,得到:
与互素,根据同余式的除法性质,费马小定理得证:
本文标题:费马小定理【Fermat's little theorem】
本文链接:https://www.haomeiwen.com/subject/xhywzktx.html
网友评论