數論學習總結2
5.威爾遜定理
(p-1)! mod p=-1 (p為素數)
證:
若p不是素數,則gcd((p-1)!,p)>1,且(p-1)! mod p=k*gcd((p-1)!,p) (k=1,2,3...),即證充分性。
設集合A={1,2,3...p-1} 則A為 mod p 的剩餘系,考慮任意i ∈ A存在j ∈ A使i*j mod p=1
(因為p為素數,所以i與p互質,k*i mod p 構成了一個剩餘系,k=1,2,3...p-1,即存在j k)
考慮i=j的情況,則有x^2 mod p=1
((x^2-1) mod p=0 >> (x-1)(x+1) mod p=0 >>x=1或x=p-1)
於是有(p-1)! mod p=((1 mod p)*((p-1) mod p)) mod p=-1
6.費馬小定理
a^(p-1) mod p=1 (p為素數且a與p互質)
證:
a mod p構成了一個剩餘系A,k*a mod p ∈ A (k=1,2,3...p-1),於是有
(1*a mod p)*(2*a mod p)...((p-1)*a mod p)mod p = (p-1)! mod p
運用 威爾遜定理 化簡得 (a^(p-1) mod p)*(-1) ≡ -1 (mod p)
等式兩邊乘以-1,即證
相關文章
- 【論文學習】FastText總結AST
- shell學習總結-2
- 數論學習筆記 (2):質數筆記
- 機器學習總結(2)—分類中的代數模型機器學習模型
- 數論總結——更新ing
- 2017/3/2 CSS學習部分總結CSS
- MySQL深入研究--學習總結(2)MySql
- 數學與程式設計:“機率論”總結程式設計
- 2.MapReduce論文總結
- JAVA基礎學習-數字與字串學習總結Java字串
- 學習總結
- 機器學習數學知識積累總結機器學習
- ICLR 2020 多智慧體強化學習論文總結ICLR智慧體強化學習
- 並行多工學習論文閱讀(五):論文閱讀總結並行
- 數論分塊學習
- ConstraintLayout 學習總結AI
- BOM學習總結
- tkinter學習總結
- vue學習總結Vue
- HSF學習總結
- ElasticSearch 學習總結Elasticsearch
- Storm學習總結ORM
- vue 學習總結Vue
- lua 學習總結
- Angularjs 學習總結AngularJS
- WebRTC學習總結Web
- GCD 學習總結GC
- CompletableFuture學習總結
- awk 學習總結
- MyBatis 學習總結MyBatis
- Maven學習總結Maven
- Ajax學習總結
- JVM學習總結JVM
- mysqlimport學習總結MySqlImport
- WorkFlow學習總結
- JNI 學習總結
- SVG學習總結SVG
- HTML學習總結HTML
- Mybatis學習總結MyBatis