Download as docx, pdf, or txt
Download as docx, pdf, or txt
You are on page 1of 2

Định lý Fermat nhỏ

I. Định lý Fermat nhỏ

Bài toán 1: Cho p là một số nguyên tố và a là số nguyên không chia hết cho p.
Chứng minh { a ,2 a , 3 a , … , ( p−1 ) a }tạo thành hệ thặng dư thu gọn mod p. 1

Bài toán 2: Cho p là một số nguyên tố và a là số nguyên không chia hết cho p.
Chứng minh
a p−1−1⋮ p (Định lý Fermat nhỏ)

II. Mở rộng: Định lý Euler

Hàm Euler của một số tự nhiên n: Số các số tự nhiên nhỏ hơn n và nguyên tố cùng
nhau với n.
Kí hiệu φ (n).
VD. φ ( 7 )=6 , φ ( 8 )=4 , φ ( 9 )=6 , φ ( 10 )=4 ,

Tính chất:
+ Với (m,n)=1 ta có φ ( mn )=φ ( m) . φ(n)
+ φ ( p )= p−1
+ φ ( pα ) =p α −1 .( p−1)
α −1 α −1 α −1
+ Nếu m= p1α p 2α … p nα thì φ ( m )= p1 p2 … pn ( p 1−1 ) ( P2−1 ) …(P n−1)
1 2 n 1 2 n

Định lý Euler: Cho a,n là các số tự nhiên và (a,n)=1. Ta có a φ(n)−1 ⋮n

1
Tập hợp {a1 ,a 2 , … , ak } được gọi là một hệ thặng dư thu gọn mô-đun n nếu với mọi số nguyên i, (i,n)=1 và
0 ≤ i≤ n−1, tồn tại duy nhất chỉ số j sao cho a j ≡ i(modn) với k =φ( n)
III. Bài tập

1, Cho p là một số nguyên tố dạng 4k+3.

a, CMR ∄ số nguyên x thỏa mãn x 2+ 1⋮ p

a⋮ p
2 2
{
b, CMR a +b ⋮ p↔ b ⋮ p

2, Chứng minh các phương trình sau không có nghiệm nguyên dương:

a, 4 xy−x− y =z2 b, x 2− y 3=7

3, Tìm số nguyên tố p sao cho 2 p +1 ⋮ p

4, CMR nếu n nguyên dương lẻ thì 2n ! −1⋮ n

5, Cho p là số nguyên tố lẻ. CMR với ∀ n ∈ Z ,(n+1) p −(n p+ 1)⋮2 p


2

6, Tìm tất cả số nguyên tố p sao cho 5 p +1 ⋮ p2

7, Cho p là số nguyên tố lớn hơn 7. CMR: 3 p −2 p−1 ⋮ 42 p

8. CMR: 7 p −5 p−2 ⋮ 6 p với mọi số nguyên tố p lẻ

9, Cho a,b là hai số nguyên dương nguyên tố cùng nhau. CMR tồn tại các số
nguyên dương m,n thỏa mãn a m−b n−1⋮ ab

10, Cho a không chia hết cho 5 và 7. CMR: (a¿ ¿ 4−1)(a4 +15 a 2+1)⋮35 ¿

11, Cho m , n∈ Z . CMR:

a, mn(m30−n30 )⋮ 14322

b, m n61−m61 n ⋮56786730

12, CMR với mọi số nguyên tố p, tồn tại vô hạn số nguyên dương n thỏa mãn
2n−n⋮ p

13*, Chứng minh không tồn tại số nguyên dương n thỏa mãn 2n−1 ⋮ n

14**, Tìm tất cả n nguyên dương thỏa mãn 2n−1 ⋮ n2

You might also like