數論學習總結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
- 數論學習筆記 (2):質數筆記
- shell學習總結-2
- 學習心得總結(2)
- 概率論與數理統計的學習(歸納+總結)
- 數學與程式設計:“概率論”總結程式設計
- Photoshop學習方法論簡單總結(轉)
- 數論總結——更新ing
- 數學與程式設計:“機率論”總結程式設計
- MySQL深入研究--學習總結(2)MySql
- AIX 5L學習總結2AI
- JAVA基礎學習-數字與字串學習總結Java字串
- 學習總結
- 自我總結(五)---(學習j2ee)
- 數論分塊學習
- 2017/3/2 CSS學習部分總結CSS
- 並行多工學習論文閱讀(五):論文閱讀總結並行
- 大資料-數倉學習總結與分享大資料
- mysqlimport學習總結MySqlImport
- Maven學習總結Maven
- MyBatis 學習總結MyBatis
- awk 學習總結
- JNI 學習總結
- tkinter學習總結
- SVG學習總結SVG
- vue學習總結Vue
- WorkFlow學習總結
- HTML學習總結HTML
- Mybatis學習總結MyBatis
- Kafka 總結學習Kafka
- Typescript學習總結TypeScript
- 【TS】學習總結
- lua 學習總結
- vue 學習總結Vue
- HSF學習總結
- ElasticSearch 學習總結Elasticsearch
- BOM學習總結