Wilson定理证明
2015-09-11 17:40
302 查看
Wilson定理证明
就是那个\((p-1)! \equiv -1 \pmod{p}\),\(p\)是一个素数.Lemma A
\(\mathbb{Z}_p\)可以去掉一个零元变成一个群.即\(\forall a\in \mathbb{Z}_ {p},a\not= \overline{0}, \exists b \in \mathbb{Z}_p,ab=\overline{1}\)也就是存在逆元.
Lemma B
\(\forall a\in \mathbb{Z}_p,a\not=\overline{p-1},a^2\not\equiv 1 \pmod{p}\)证明
设存在\(x^2\equiv 1 \pmod{p}, x<p-1\)则\(x^2=np+1\~\~ n\in \mathbb{Z}\),则\(np=(x+1)(x-1)\),则\(p\mid x-1 或 p\mid x+1\).显然,当\(p=x+1\)时\((x+1)(x-1)\)达到最小,而此刻\(x=p-1\),与\(x<p-1\)矛盾.
证明
通过Lemma A与Lemma B可知\(2\dots p-2\)的逆元都不等于它们本身,且都在\(2\dots p-2\)间.那我们对它们配对即可得\((p-2)! \equiv 1 \pmod{p}\),乘上\(p-1\)即得到\((p-1)! \equiv -1 \pmod{p}\)相关文章推荐
- 掌握方法,稳中求进
- iOS Runtime能做什么?
- 关爱Android手机休眠,为什么耗电
- 利用js动态控制animation动画
- js表头固定实现思路汇总
- hdu 3650 Hot Expo(TwoPointer)
- ajaxfileupload.js的简单使用
- Java代码生成器--告别无止境的增删改查
- Java代码生成器--告别无止境的增删改查
- Java代码生成器--告别无止境的增删改查
- Java代码生成器--告别无止境的增删改查
- Java代码生成器--告别无止境的增删改查
- UML关系(泛化,实现,依赖,关联(聚合,组合))
- Qt pro文件的写法规则
- WPA/WPA2安全认证加密原理详解
- 常用性能分析工具 (性能论述)
- dedecms调用友情链接代码
- getHibernateTemplate 批量添加数据及简单测试
- 正则表达式需要转义的字符
- 反汇编