1. Trang chủ
  2. » Giáo án - Bài giảng

Bài tập về cấp của một số NGUYÊN MODULO n

7 588 2

Đang tải... (xem toàn văn)

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 7
Dung lượng 402 KB

Nội dung

Trường THPT chuyên Hoàng Văn Thụ Sở GD&ĐT Hòa Bình BÀI TẬP VỀ CẤP CỦA MỘT SỐ NGUYÊN MODULO n Cho số nguyên dương n > 1 và số nguyên a nguyên tố cùng nhau với n, số k được gọi là cấp của

Trang 1

Trường THPT chuyên Hoàng Văn Thụ

Sở GD&ĐT Hòa Bình

BÀI TẬP VỀ CẤP CỦA MỘT SỐ NGUYÊN MODULO n

Cho số nguyên dương n > 1 và số nguyên a nguyên tố cùng nhau với n, số k được gọi là cấp của a modulo n nếu k là số nguyên dương nhỏ nhất để

1 mod

k

Do tính nhỏ nhất của số nguyên dương k, nên mọi số nguyên dương h mà cũng thỏa mãn a h ≡1 mod( n) thì luôn có |k h Và đây cũng là tính chất được sử

dụng xuyên suốt trong các bài tập về cấp của một số nguyên Để sử dụng được tính chất này thì ta thường kết hợp với

Định lý Phecma nhỏ: “Cho p là số nguyên tố và a là số nguyên nguyên tố cùng

nhau với p thì a p− 1 ≡1 mod( p) ”

Định lý Ơ-le: “Cho số nguyên dương n và a là số nguyên nguyên tố cùng nhau với

n thì aϕ( )n ≡1 mod( n) ”

Bài 1 Cho n= +1 2 m u, u lẻ u<2m, m∈¥ , biết tồn tại số nguyên tố p lẻ thỏa mãn* 1

2

n

p − M Chứng minh rằng n là số nguyên tố.n

Hướng dẫn

Gọi q là ước nguyên tố nhỏ nhất của n Theo giả thiết có

1

1

n

n

Theo định lý Phecma nhỏ có: p q− 1 ≡1 mod( q)

Gọi h là cấp của p modulo q, ta có: | 1

h n

h q

p n2−1 ≡ −1(mod )q suy ra: 1

2

n h

− /M mà |h n−1 suy ra h=2 m v với |v u Giả sử

q n< , theo tính chất của ước nguyên tố nhỏ nhất suy ra qn, mà

Trang 2

1 2 m 2 m

n= + u< (vì u<2m)⇒ <q 2m, lại có: 2m ≤ =h 2 |m v q− <1 2m Ta thu được điều vô lý Vậy n = q

Bài 2 Tìm số nguyên dương n nhỏ nhất thỏa mãn: 22013|17n −1

Hướng dẫn

Thực chất bài tập này đang yêu cầu chúng ta đi tìm cấp của 17 modulo 22013 Đặt m

= 22013 và gọi k là cấp của 17 theo modulo m, theo định lý Ơ-le có:

( )

17ϕ m ≡1(mod )m Dẫn đến k|ϕ( )m =22012, do đó k =2 ,t t∈{1;2;3, ,2012}

Mặt khác ta cũng có phân tích:

17 t 1 17 1 17 1 17 1 17 1 17 t− 1

do 17 1 mod 4≡ ( ) , nên mỗi số hạng ở dạng 172m 1, {1,2, , 1}

cho 2 nhưng không chia hết cho 4, còn 17 – 1 = 16 = 24 Do đó 172t − =1 2 t+ 4Q, Q

là số nguyên lẻ

Từ 22013|172t

ta suy ra được t+ ≥4 2013⇒ ≥t 2009 Do đó để đảm bảo tính nhỏ nhất của k thì k =22009

Bài 3 Tìm tất cả các cặp số nguyên tố p, q sao cho p2 +1| 2003q +1 và

2 1| 2003p 1

Hướng dẫn

Không mất tổng quát ta có thể giả sử p q≤ .

* Ta xét trường hợp p = 2, khi đó 5 | 2003q +1, do đó dễ thấy q chẵn, nên q = 2 Vậy trong trường hợp này có nghiệm p = q = 2

* Nếu p > 2, có p lẻ và p2 + ≡1 2 mod 4( ) , gọi r là một ước nguyên tố lẻ của p2 +1,

từ giả thiết có:

2003q ≡ −1 modr ⇒2003 q ≡1 modr Gọi k là cấp của 2003 modulo r, ta có | 2k q

Dễ thấy vì 2003q ≡ −1 mod( r) nên k q≠ , suy ra | 2k hoặc k = 2q.

Trang 3

- Nếu | 2k dẫn đến r| 20032 − =1 2 3.7.11.13.1673 Mặt khác r p| 2 +1 nên r bằng

2 hoặc có dạng 4s + 1, mà r lẻ suy ra r =13 Khi đó vì 2003 1 mod13≡ ( ) nên

2003q + ≡1 2 mod13 , điều này dẫn tới mâu thuẫn

- Nếu k = 2q, theo định lý Phecma nhỏ ta có: 2003r− 1 ≡1 mod( r) , suy ra 2 |q r−1

q r

⇒ − , dễ thấy p2 +1 chẵn và mọi ước lẻ của nó đều chia q dư 1, suy ra

2 1 2 mod

p + ≡ qq p| 2 − =1 ( p−1) ( p+1) , nhưng với giả sử p q≤ và do p, q là các số nguyên tố nên q= +p 1, do q lẻ nên p chẵn suy ra p = 2, trái với điều giả sử

p > 2

Vậy ta chỉ tìm được một cặp nghiệm (p;q) = (2;2)

Bài 4 Tìm số nguyên dương n để 3n −1M n3

Hướng dẫn

* Với n = 1, thỏa mãn yêu cầu bài toán

* Với n≥2, gọi p là ước nguyên tố nhỏ nhất của n, từ giả thiết suy ra được:

3n ≡1 modp

Mặt khác theo định lý Phecma nhỏ ta cũng có: 3p− 1 ≡1 mod( p)

Gọi h là cấp của 3 modulo p, ta có: |

h n

h p

 như vậy ta chỉ ra được một số bé hơn

p là ước của n, để p là ước nguyên tố nhỏ nhất thì h = 1 Khi đó

1

3 ≡1 modp ⇒ =p 2

Giả sử n=2 αt(α,t∈¥ , t lẻ *)

Khi đó: 3n − =1 ( )32α t − =1 (32α −1 3) ( 2α( )t− 1 +32α(t− 2 ) + + 32α +1)

Vì 32α( )t− 1 +32α(t− 2) + + 32α + ≡ ≡1 q 1 mod 2( ) , nên:

3n − =1 3α− +1 3α− +1 3 +1 3 +1 3 −1 R (R lẻ)

Vì 32α−1 +1,32α−2 +1, ,32 1 +1 là α −1 số chẵn và (32 0 +1 3) ( 2 0 − =1) 8, nên:

Trang 4

3n − =1 2 α + S, (S lẻ)

Vì 3n −1Mn3 =2 3 αt3, suy ra α + ≥2 3α ⇒ ≤ ⇒ = ⇒ =α 1 α 1 n 2t

Giả sử n có ước lẻ thực sự, gọi ước lẻ nhỏ nhất của nó là q, và gọi k là cấp của 3 modulo q, theo giả thiết có: 3n ≡1 mod( q) và theo định lý Phecma nhỏ ta cũng có:

1

3q− ≡1 modq Từ đó suy ra: |

k n

k q

Nếu k lẻ ta chỉ ra được một ước lẻ của n mà nhỏ hơn q, trái với cách chọn q, vậy k chẵn, mặt khác n = 2.t (t lẻ), do đó k = 2 và n| 32 − =1 23, do đó n không có ước lẻ thực sự

Vậy n = 2

Bài 5 Tìm tất cả các bộ ba số nguyên tố (p,q,r) thỏa mãn:

| r 1, | p 1, | q 1

(2003 USA IMO Team Selection Test)

Hướng dẫn

* Trước hết ta chứng minh p, q, r phân biệt Thật vậy, giả sử nếu có p = q, từ

| r 1

p q + ta suy ra điều vô lý

* Ta chứng minh một trong ba số p, q, r phải bằng 2 Giả sử p, q, r > 2

Từ |p q r +1 ta suy ra q2r ≡1 mod( p) Gọi k là cấp của q modulo p ta có | 2k r , do r

là số nguyên tố lẻ nên suy ra k = 2 hoặc k = r hoặc k = 2r

- Nếu k = r, ta có q r ≡1 mod( p) , mà q r ≡ −1 mod( p) nên suy ra | 2p , mâu thuẫn

- Nếu k = 2r, theo định lý Phecma nhỏ có q p− 1 ≡1 mod( p) , suy ra 2 |r p( −1)

1 mod

⇒ ≡ ⇒ p q + ≡1 2 mod( r) , kết hợp giả thiết ⇒r| 2, mâu thuẫn.

- Vậy chỉ có thể k = 2, ta có p q| 2 − =1 (q−1) (q+1) , do p là số nguyên tố nên

p q− hoặc |p q+1, nếu q≡1 mod( p) , thì từ giả thiết |p q r +1, suy ra | 2p ,

Trang 5

mâu thuẫn Vậy |p q+1, vì p, q là hai số nguyên tố lớn hơn 2 nên suy ra | 1

2

q

Chứng minh tương tự ta cũng có | 1

2

r

, | 1 2

p

Xét số lớn nhất trong ba số p, q,

r ta thấy ngay điều nói trên là vô lý

* Không mất tổng quát giả sử q = 2, ta có | 2p r +1 và r p| 2 +1, suy ra p, r là các số nguyên tố lẻ Khi đó k là cấp của 2 modulo p, theo chứng minh trên có | 2k r , do r

là số nguyên tố lẻ nên suy ra k = 2 hoặc k = r hoặc k = 2r

Nếu k = r hoặc k = 2r tức là |r k , theo định lý Phecma nhỏ có 2p− 1 ≡1 mod( p), suy

ra |k p−1⇒r p| −1⇒ p2 + ≡1 2 mod( r) mà r p| 2 +1, trái với r là số nguyên tố lẻ

Do đó k = 2, khi đó p| 22 − = ⇒ =1 3 p 3 và r| 32 + =1 10⇒ =r 5

Vậy chỉ tìm được duy nhất một bộ số thỏa mãn là (2;3;5)

Bài 6 Chứng minh rằng với mọi số nguyên dương n, 3n −2n không chia hết cho n

Hướng dẫn

Giả sử tồn tại số nguyên dương n nào đó để 3n −2nM Ta sẽ chỉ ra điều vô lý Gọi pn

là ước nguyên tố nhỏ nhất của n, từ 3n −2nM suy ra n p≥5 Do p lẻ nên tồn tại số

nguyên dương a để 2a≡1 mod( p) , 1

2

p

  Từ 3n ≡2 modn( p) ( )3a n 1 mod( p)

Gọi k là cấp của 3a modulo p, ta có |k n , mặt khác theo định lý Phecma nhỏ ta có

3a p− ≡1 modp , nên |k p−1 Từ cách chọn p là ước nhỏ nhất của n suy ra k =

1 Vậy ta có 3a ≡1 mod( p) và 2a≡1 mod( p) , suy ra a≡0 mod( p), điều này mâu thuẫn với 2a≡1 mod( p)

Bài 7 Tìm tất cả các cặp số nguyên dương m, n thỏa mãn |1 3n 2.3n

(Bulgarian IMO Team Selection Test)

Trang 6

Hướng dẫn.

Với n = 1, là trường hợp tầm thường, mọi m nguyên dương đều thỏa mãn

Với n > 1, dễ thấy (m,n) = 1 Gọi k là cấp của m modulo n Từ |1 3n 2.3n

ra | 3n1 1

n m + − , vì vậy k| 3n+ 1 ⇒ =k 3 ,t t n≤ +1

Theo định lý Ơ-le có mϕ( )n ≡1 mod( n), suy ra k|ϕ( )n

Nếu k =3n+ 1, từ k|ϕ( )n ⇒ <k n, ta thu được điều mâu thuẫn

n m

n +m +m ⇒ =n 3 và m≡1 mod3( )

Bài 8 Tìm tất cả các nghiệm nguyên của phương trình:

7

5

1

1 1

x

y

(Dự tuyển IMO 2006)

Hướng dẫn.

Giả sử phương trình có cặp nghiệm nguyên (x;y), và gọi p là một ước nguyên tố bất

kỳ của

7

1

1

x

− , khi đó xảy ra hai trường hợp:

- Nếu x≡1 mod( p) khi đó 7 1 6 5 ( )

1 7 mod 1

x

- Nếu x ≡1 mod( p), gọi k là cấp của x modulo 7, do p x| 7 −1 nên | 7k , do

1 mod

xp , ta tìm được k = 7 Dễ thấy (x,p) = 1, nên theo định lý Phecma nhỏ ta

x p− 1 ≡1 mod( p) , do đó k =7 | p− ⇒ ≡1 p 1 mod 7( )

Vậy trong cả hai trường hợp ta luôn có p≡0;1 mod 7( ) , với p là một ước nguyên tố của

1

x

x

− Điều này dẫn đến mọi ước dương của

1

x x

− cũng có số dư là 0 hoặc 1

khi chia cho 7

Mặt khác y5− =1 ( y−1) ( y4 + y3 + y2 + +y 1) , theo nhận xét trên ta rút ra được

1 0,1 mod 7

Trang 7

Điều này mâu thuẫn vì khi đó y≡1,2 mod 7( ) ⇒ y4 + y3 + y2 + + ≡y 1 5,3 mod 7( )

Vậy phương trình vô nghiệm

Ngày đăng: 28/11/2017, 17:45

TỪ KHÓA LIÊN QUAN

w