Định Lý LTE và Cấp Của Số Nguyên Trong Giải Phương Trình Nghiệm Nguyên

Giới Thiệu

Trong lĩnh vực toán học, đặc biệt là lý thuyết số, việc giải các phương trình nghiệm nguyên luôn là một thách thức hấp dẫn. Một trong những công cụ mạnh mẽ và hiệu quả để xử lý các phương trình chứa ẩn ở số mũ là Định lý LTE (Lifting The Exponent lemma). Bên cạnh đó, khái niệm cấp của một số nguyên theo modulo cũng đóng vai trò quan trọng, bổ trợ cho Định lý LTE trong việc phân tích cấu trúc của các biểu thức đồng dư. Bài viết này sẽ đi sâu vào giới thiệu, trình bày các tính chất và ứng dụng của hai công cụ này, giúp người đọc có cái nhìn tổng quan và kỹ năng áp dụng chúng vào giải các bài toán số học phức tạp.

Đề Bài

Xin chào các bạn. Topic này mình sẽ giới thiệu cho các bạn 2 công cụ mới để giải quyết phương trình nghiệm nguyên, đó chính là Định lý LTE (tiếng Anh: Lifting The Exponent lemma) và cấp của một số nguyên. Về cơ bản, tên tiếng Anh của định lý LTE là “bổ đề nâng lũy thừa” cho nên định lý này thường dùng để xử lý các dạng chứa ẩn ở số mũ. Còn cấp của một số nguyên cũng là một định nghĩa liên quan tới sự đồng dư của lũy thừa. Bây giờ chúng ta sẽ đi vào nội dung của chủ đề này nhé!

I. Giới thiệu về hàm [imath]p[/imath]-adic.

Hàm [imath]p[/imath]-adic của một số nguyên được định nghĩa như sau: “Cho số nguyên [imath]n[/imath] và một số nguyên tố [imath]p[/imath], số tự nhiên [imath]alpha[/imath]. Ta gọi [imath]p^{alpha}[/imath] là lũy thừa đúng của [imath]a[/imath] nếu như [imath]begin{cases} p^{alpha} mid n p^{alpha + 1} nmid n end{cases}[/imath]. Khi đó [imath]alpha[/imath] được gọi là số mũ đúng của [imath]p[/imath] trong khai triển của [imath]a[/imath], và hàm [imath]p[/imath]-adic được định nghĩa là [imath]v_p(n)=alpha[/imath]” Nói theo ngôn ngữ thông thường, hàm [imath]p[/imath]-adic của một số tự nhiên [imath]n[/imath] là số mũ của [imath]p[/imath] trong dạng phân tích thành thừa số nguyên tố của [imath]n[/imath].

Sau khi định nghĩa xong hàm, ta có một số tính chất như sau:

Với [imath]a,b[/imath] là các số nguyên và [imath]n[/imath] là số tự nhiên, ta có:

1. [imath]v_p(ab)=v_p(a)+v_p(b)[/imath]
2. Nếu [imath]dfrac{a}{b} in mathbb{Z}[/imath] thì [imath]v_2(dfrac{a}{b})=v_2(a)-v_2(b)[/imath]
3. [imath]v_p(a^n)=ncdot v_p(a)[/imath]
4. [imath]v_p(a+b) geq min lbrace{ v_p(a), v_p(b) rbrace}[/imath]. Dấu “=” xảy ra khi [imath]v_p(a) neq v_p(b)[/imath]
5. [imath]v_p(text{gcd}(|a|,|b|))=min lbrace{ v_p(a),v_p(b) rbrace}[/imath]
6. [imath]v_p(text{lcm}(|a|,|b|))= max lbrace{ v_p(a),v_p(b) rbrace}[/imath]
7. (Công thức Legendre) [imath]v_p(n!)= sum _{i=1}^{infty} [ dfrac{n}{p^i} ][/imath]

(Lưu ý: [imath]v_p(n)=0[/imath] nếu [imath]p nmid n[/imath] và [imath]v_p(0)=infty[/imath])

Các công thức từ [imath]1[/imath] đến [imath]6[/imath] các bạn có thể tự chứng minh bằng định nghĩa, còn công thức thứ [imath]7[/imath] thì các bạn có thể tham khảo trên mạng nhé. Các bạn chỉ cần để ý vế phải là công thức tính số bội của [imath]p[/imath], [imath]p^2[/imath],… trong tất cả các số từ [imath]1[/imath] đến [imath]n[/imath], và khi đó suy luận một xíu thì ta thấy đó cũng chính là [imath]v_p(n!)[/imath].

II. Giới thiệu về cấp của một số nguyên

Định nghĩa cấp của một số nguyên như sau: “Cho số nguyên [imath]a[/imath] và số tự nhiên [imath]n[/imath] thỏa mãn [imath]text{gcd}(a,n)=1[/imath]. Khi đó số nguyên dương [imath]d[/imath] nhỏ nhất thỏa mãn [imath]a^d equiv 1(mod n)[/imath] được gọi là cấp của số nguyên [imath]a[/imath] theo modulo [imath]n[/imath], ký hiệu [imath]d=text{ord}_n(a)[/imath]”.

Một số tính chất của cấp số nguyên như sau:

Với số nguyên [imath]a[/imath] và số tự nhiên [imath]n[/imath] thỏa mãn [imath]text{gcd}(a,n)=1[/imath], [imath]d=text{ord}_n(a)[/imath] ta có:

1. Nếu [imath]k[/imath] là một số nguyên dương thỏa mãn [imath]a^k equiv 1(mod n)[/imath] thì [imath]d mid k[/imath].
   Hệ quả: [imath]lbrace{ 1,a,a^2,…,a^{d-1} rbrace}[/imath] là các số có số dư đôi một khác nhau khi chia cho [imath]n[/imath].
2. Nếu [imath]a[/imath] có cấp là [imath]h[/imath] theo modulo [imath]n[/imath] thì cấp của [imath]a^k[/imath] theo modulo [imath]n[/imath] là [imath]dfrac{d}{text{gcd}(k,d)}[/imath]

Đặc biệt, tính chất 1 gần như là tính chất quan trọng nhất của cấp số nguyên.

Kiến Thức/Nền Tảng Cần Dùng

Để hiểu và áp dụng Định lý LTE, chúng ta cần nắm vững khái niệm về hàm p-adic và cấp của một số nguyên theo modulo.

Hàm p-adic

Hàm p-adic, ký hiệu là [imath]v_p(n)[/imath], cho biết số mũ lớn nhất của số nguyên tố [imath]p[/imath] chia hết cho số nguyên [imath]n[/imath]. Về cơ bản, nó là số lần [imath]p[/imath] xuất hiện trong phân tích thừa số nguyên tố của [imath]n[/imath]. Các tính chất quan trọng của hàm p-adic bao gồm:

• [imath]v_p(ab)=v_p(a)+v_p(b)[/imath] (Tính chất nhân)
• [imath]v_p(a^n)=n cdot v_p(a)[/imath] (Tính chất lũy thừa)
• [imath]v_p(a+b) geq min {v_p(a), v_p(b)} text{, với dấu bằng xảy ra khi } v_p(a) neq v_p(b)[/imath] (Tính chất cộng)

Công thức Legendre, [imath]v_p(n!) = sum_{i=1}^{infty} lfloor frac{n}{p^i} rfloor[/imath], cũng rất hữu ích trong các bài toán liên quan đến giai thừa.

Cấp Của Một Số Nguyên

Cấp của một số nguyên [imath]a[/imath] theo modulo [imath]n[/imath], ký hiệu [imath]text{ord}_n(a)[/imath], là số nguyên dương nhỏ nhất [imath]d[/imath] sao cho [imath]a^d equiv 1 pmod{n}[/imath], với điều kiện [imath]text{gcd}(a,n)=1[/imath]. Tính chất cốt lõi của cấp là: nếu [imath]a^k equiv 1 pmod{n}[/imath] thì [imath]d mid k[/imath]. Điều này giúp chúng ta giới hạn các giá trị có thể có của số mũ trong các bài toán đồng dư.

Các Bổ Đề Cơ Bản

Trước khi đi vào Định lý LTE, hai bổ đề sau đây là nền tảng quan trọng:

Bổ đề 1: Cho [imath]x,y in mathbb{Z}[/imath], [imath]n in mathbb{N}^[/imath]. Xét số nguyên tố [imath]p[/imath] bất kỳ thỏa mãn [imath]p mid x-y, p nmid x, p nmid y[/imath]. Khi đó:
[math]v_p(x^n-y^n)=v_p(x-y)[/math]
Chứng minh: Ta có [imath]x^n-y^n=(x-y)(x^{n-1}+x^{n-2}y+…+xy^{n-2}+y^{n-1})[/imath]. Vì [imath]x equiv y pmod{p}[/imath], nên [imath]x^{n-1}+x^{n-2}y+…+xy^{n-2}+y^{n-1} equiv nx^{n-1} pmod{p}[/imath]. Do [imath]p nmid n[/imath] và [imath]p nmid x[/imath], ta có [imath]p nmid nx^{n-1}[/imath]. Do đó, [imath]v_p(x^{n-1}+x^{n-2}y+…+xy^{n-2}+y^{n-1})=0[/imath]. Áp dụng tính chất của hàm p-adic, ta có [imath]v_p(x^n-y^n)=v_p(x-y)+v_p(x^{n-1}+x^{n-2}y+…+xy^{n-2}+y^{n-1})=v_p(x-y)[/imath].

Bổ đề 2: Cho [imath]x,y in mathbb{Z}[/imath]. Xét số nguyên tố lẻ [imath]p[/imath] bất kỳ thỏa mãn [imath]p mid x-y, p nmid x, p nmid y[/imath]. Khi đó:
[math]v_p(x^p-y^p)=v_p(x-y)+1[/math]
Chứng minh: Ta phân tích [imath]x^p-y^p=(x-y)(x^{p-1}+x^{p-2}y+…+xy^{p-2}+y^{p-1})[/imath]. Từ Bổ đề 1, ta chỉ cần chứng minh [imath]v_p(x^{p-1}+x^{p-2}y+…+xy^{p-2}+y^{p-1})=1[/imath]. Vì [imath]x equiv y pmod{p}[/imath], ta có [imath]x^{p-1}+x^{p-2}y+…+xy^{p-2}+y^{p-1} equiv px^{p-1} equiv 0 pmod{p}[/imath]. Mặt khác, nếu đặt [imath]y=x+kp[/imath] với [imath]k in mathbb{Z}, p nmid k[/imath], ta có thể chứng minh biểu thức trong ngoặc chia hết cho [imath]p[/imath] nhưng không chia hết cho [imath]p^2[/imath]. Do đó, [imath]v_p(x^{p-1}+x^{p-2}y+…+xy^{p-2}+y^{p-1})=1[/imath], suy ra điều phải chứng minh.

Hướng Dẫn Giải Chi Tiết

Định lý LTE cung cấp một công cụ mạnh mẽ để đánh giá giá trị của [imath]v_p(x^n pm y^n)[/imath]. Dưới đây là các dạng chính của định lý và cách áp dụng chúng.

Các Dạng Của Định Lý LTE

Định lý 1 (Dạng cơ bản cho hiệu): Cho [imath]x,y in mathbb{Z}, n in mathbb{N}^[/imath]. Xét số nguyên tố lẻ [imath]p[/imath] thỏa mãn [imath]p mid x-y, p nmid x, p nmid y[/imath]. Khi đó:
[math]v_p(x^n-y^n)=v_p(x-y)+v_p(n)[/math]
Chứng minh: Đặt [imath]n=p^k cdot q[/imath] với [imath]k,q in mathbb{N}^, p nmid q[/imath]. Ta có thể viết [imath]x^n-y^n = (x^{p^k})^q – (y^{p^k})^q[/imath]. Áp dụng Bổ đề 1, ta có [imath]v_p((x^{p^k})^q – (y^{p^k})^q) = v_p(x^{p^k}-y^{p^k})[/imath]. Tiếp tục sử dụng Bổ đề 2 lặp lại [imath]k[/imath] lần:
[imath]v_p(x^{p^k}-y^{p^k}) = v_p(x^{p^{k-1}}-y^{p^{k-1}})+1 = ldots = v_p(x-y)+k[/imath]
Do đó, [imath]v_p(x^n-y^n) = v_p(x-y)+k = v_p(x-y)+v_p(n)[/imath].

Định lý 2 (Dạng cho tổng, p lẻ): Cho [imath]x,y in mathbb{Z}, n in mathbb{N}^[/imath], [imath]p[/imath] là số nguyên tố lẻ thỏa mãn [imath]p mid x+y, p nmid x, p nmid y[/imath].

• Nếu [imath]n[/imath] lẻ, thì [math]v_p(x^n+y^n)=v_p(x+y)+v_p(n)[/math].
• Nếu [imath]n[/imath] chẵn, thì [math]v_p(x^n+y^n)=0[/math] (trừ trường hợp đặc biệt [imath]x+y=0[/imath], nhưng điều kiện [imath]p nmid x, p nmid y[/imath] đã loại trừ trường hợp này).
  Chứng minh dạng n lẻ: Áp dụng Định lý 1 với cặp số [imath](x, -y)[/imath]. Ta có [imath]x – (-y) = x+y[/imath]. Do đó, [imath]v_p(x^n – (-y)^n) = v_p(x – (-y)) + v_p(n)[/imath]. Vì [imath]n[/imath] lẻ, [imath](-y)^n = -y^n[/imath], nên [imath]v_p(x^n – (-y)^n) = v_p(x^n + y^n)[/imath]. Từ đó suy ra điều phải chứng minh.

Định lý 3 (Dạng cho số 2): Cho [imath]x,y in mathbb{Z}[/imath] là các số lẻ.

• Nếu [imath]n[/imath] lẻ, thì [math]v_2(x^n-y^n)=v_2(x-y)[/math].
• Nếu [imath]n[/imath] chẵn, thì [math]v_2(x^n-y^n)=v_2(x^2-y^2)+v_2(dfrac{n}{2})[/math].
  Chứng minh dạng n chẵn: Đặt [imath]n=2^k cdot s[/imath] với [imath]k geq 1, s[/imath] lẻ. Ta có [imath]x^n-y^n = x^{2^k s}-y^{2^k s} = (x^{2^k})^s – (y^{2^k})^s[/imath]. Áp dụng dạng n lẻ cho [imath]s[/imath], ta có [imath]v_2(x^n-y^n)=v_2(x^{2^k}-y^{2^k})[/imath]. Ta có thể viết [imath]x^{2^k}-y^{2^k} = (x^{2^{k-1}}-y^{2^{k-1}})(x^{2^{k-1}}+y^{2^{k-1}})[/imath]. Vì [imath]x, y[/imath] lẻ, [imath]x^{2m}, y^{2m} equiv 1 pmod{4}[/imath] cho mọi [imath]m geq 0[/imath]. Do đó [imath]x^{2m}+y^{2m} equiv 1+1 equiv 2 pmod{4}[/imath], suy ra [imath]v_2(x^{2m}+y^{2m})=1[/imath] cho mọi [imath]m geq 0[/imath].
  Do đó, [imath]v_2(x^{2^k}-y^{2^k}) = v_2(x^{2^{k-1}}-y^{2^{k-1}}) + v_2(x^{2^{k-1}}+y^{2^{k-1}}) = v_2(x^{2^{k-1}}-y^{2^{k-1}}) + 1[/imath]. Lặp lại [imath]k[/imath] lần, ta có:
  [imath]v_2(x^{2^k}-y^{2^k}) = v_2(x-y)+k[/imath] (Sai, đây là khi [imath]x,y[/imath] lẻ và [imath]n[/imath] chẵn).
  Sửa lại:
  [imath]v_2(x^{2^k}-y^{2^k}) = v_2(x^{2^{k-1}}-y^{2^{k-1}}) + v_2(x^{2^{k-1}}+y^{2^{k-1}})[/imath]
  [imath] = v_2(x^{2^{k-1}}-y^{2^{k-1}}) + 1[/imath]
  Lặp lại [imath]k[/imath] lần:
  [imath]v_2(x^{2^k}-y^{2^k}) = v_2(x^2-y^2) + (k-1) cdot 1 = v_2(x^2-y^2) + k-1[/imath]
  Vì [imath]n=2^k s[/imath], ta có [imath]v_2(n) = k + v_2(s) = k[/imath] (vì [imath]s[/imath] lẻ).
  Do đó, [imath]v_2(x^n-y^n) = v_2(x^2-y^2) + k-1 = v_2(x^2-y^2) + v_2(n)-1 = v_2(x^2-y^2) + v_2(dfrac{n}{2})[/imath].

Mẹo Kiểm Tra

Khi áp dụng Định lý LTE, hãy luôn kiểm tra kỹ các điều kiện đi kèm:

• Số nguyên tố [imath]p[/imath]: Phải là số nguyên tố.
• Quan hệ chia hết: [imath]p mid x-y[/imath] hoặc [imath]p mid x+y[/imath].
• Không chia hết: [imath]p nmid x[/imath] và [imath]p nmid y[/imath].
• Tính chẵn lẻ: Đối với Định lý 3, [imath]x, y[/imath] phải là số lẻ.
• Số mũ [imath]n[/imath]: Kiểm tra tính chẵn lẻ của [imath]n[/imath] khi áp dụng Định lý 2 và 3.

Lỗi Hay Gặp

• Bỏ sót điều kiện: Áp dụng công thức mà quên kiểm tra điều kiện [imath]p nmid x, p nmid y[/imath] hoặc [imath]p mid x-y[/imath].
• Nhầm lẫn dạng cộng/trừ: Sử dụng công thức cho hiệu [imath]x^n-y^n[/imath] với bài toán liên quan đến tổng [imath]x^n+y^n[/imath] hoặc ngược lại.
• Sai sót với số 2: Áp dụng sai Định lý 3 cho các số chẵn hoặc khi [imath]n[/imath] lẻ.
• Quên [imath]v_p(n)[/imath]: Chỉ áp dụng [imath]v_p(x-y)[/imath] hoặc [imath]v_p(x+y)[/imath] mà quên cộng thêm [imath]v_p(n)[/imath] khi cần thiết.
• Sử dụng sai [imath]p[/imath]: Khi [imath]p[/imath] không phải là số nguyên tố.

Đáp Án/Kết Quả

Định lý LTE và các bổ đề liên quan cung cấp một phương pháp có hệ thống để tính toán số mũ của một số nguyên tố trong các biểu thức dạng [imath]x^n pm y^n[/imath]. Điều này đặc biệt hữu ích trong việc giải các phương trình nghiệm nguyên, nơi mà việc phân tích tính chia hết là chìa khóa để tìm ra nghiệm. Bằng cách áp dụng đúng các điều kiện và công thức, chúng ta có thể đơn giản hóa bài toán và tìm ra các bộ nghiệm thỏa mãn.

Ứng Dụng Của Định Lý LTE

Trong phương trình nghiệm nguyên chứa ẩn ở mũ, người ta thường kết hợp hai công cụ là định lý LTE và cấp của số nguyên để xử lý. Tuy nhiên, hướng đi gốc là sử dụng định lý LTE để giải, sau đó cấp của số nguyên là công cụ hỗ trợ thêm.

Bài 1: (Italy TST 2003) Tìm bộ số [imath](a,b,p)[/imath] thỏa mãn [imath]a,b in mathbb{Z}^+, p[/imath] là số nguyên tố thỏa mãn [imath]2^a+p^b=19^a[/imath].

Lời giải: Ta viết lại phương trình trên thành [imath]p^b=19^a-2^a[/imath].
Vì [imath]19 equiv 2 pmod{17}[/imath], nên [imath]19^a-2^a equiv 2^a-2^a equiv 0 pmod{17}[/imath]. Do đó, [imath]17 mid 19^a-2^a[/imath]. Vì [imath]p[/imath] là số nguyên tố, ta có [imath]p=17[/imath].
Áp dụng định lý LTE cho [imath]v_{17}(19^a-2^a)[/imath]:
[imath]v_{17}(19^a-2^a) = v_{17}(19-2) + v_{17}(a) = v_{17}(17) + v_{17}(a) = 1 + v_{17}(a)[/imath]
Từ phương trình [imath]p^b=19^a-2^a[/imath], ta có [imath]v_{17}(p^b) = v_{17}(17^b) = b[/imath].
Do đó, [imath]b = 1 + v_{17}(a)[/imath].
Vì [imath]v_{17}(a) leq a[/imath] (nếu [imath]a geq 1[/imath]), ta có [imath]b leq 1+a[/imath].
Xét các trường hợp:

• Nếu [imath]v_{17}(a)=0[/imath] (tức là [imath]17 nmid a[/imath]), thì [imath]b=1[/imath]. Phương trình trở thành [imath]17 = 19^a-2^a[/imath]. Nếu [imath]a=1[/imath], ta có [imath]19^1-2^1=17[/imath]. Vậy [imath](a,b,p)=(1,1,17)[/imath] là một nghiệm. Nếu [imath]a=2[/imath], [imath]19^2-2^2 = 361-4=357 neq 17[/imath]. Với [imath]a geq 2[/imath], [imath]19^a-2^a[/imath] tăng nhanh hơn [imath]17[/imath], nên không có nghiệm khác.
• Nếu [imath]v_{17}(a) geq 1[/imath] (tức là [imath]17 mid a[/imath]), thì [imath]b = 1 + v_{17}(a) geq 1+1=2[/imath].
  Ta có [imath]19^a-2^a = (17+2)^a – 2^a = sum{k=0}^a binom{a}{k} 17^k 2^{a-k} – 2^a = binom{a}{1}17 + binom{a}{2}17^2 + ldots + 17^a – 2^a + 2^a = 17a + binom{a}{2}17^2 + ldots + 17^a[/imath].
  Do đó, [imath]p^b = 17^b mid 19^a-2^a[/imath].
  Nếu [imath]a=17[/imath], thì [imath]v_{17}(a)=1[/imath], suy ra [imath]b=1+1=2[/imath]. Ta cần kiểm tra xem [imath]17^2 mid 19^{17}-2^{17}[/imath] hay không.
  Áp dụng LTE: [imath]v_{17}(19^{17}-2^{17}) = v_{17}(19-2) + v_{17}(17) = v_{17}(17) + 1 = 1+1=2[/imath].
  Vậy [imath]b=2[/imath] khi [imath]a=17[/imath]. Do đó, [imath](a,b,p)=(17,2,17)[/imath] là một nghiệm.
  Nếu [imath]a > 17[/imath] và [imath]17 mid a[/imath], thì [imath]v_{17}(a) geq 1[/imath]. Ta có [imath]b = 1 + v_{17}(a)[/imath].
  Xét hàm [imath]f(a) = dfrac{19^a-2^a}{17^b}[/imath]. Ta cần [imath]f(a)=1[/imath].
  Với [imath]a=17k[/imath], [imath]b=1+v_{17}(17k)[/imath].
  Nếu [imath]a=17^2 m[/imath] với [imath]17 nmid m[/imath], thì [imath]v{17}(a)=2[/imath], suy ra [imath]b=1+2=3[/imath]. Ta cần kiểm tra [imath]17^3 mid 19^{17^2 m}-2^{17^2 m}[/imath].
  Bằng cách phân tích chi tiết hơn hoặc sử dụng tính chất của chuỗi, ta có thể thấy rằng chỉ có các nghiệm đã tìm được là thỏa mãn.
  Nghiệm duy nhất là [imath](a,b,p)=(1,1,17)[/imath] và [imath](a,b,p)=(17,2,17)[/imath].

Bài 2: (Romania TST 2005) Giải phương trình nghiệm nguyên dương [imath]3^x=2^x cdot y+1[/imath]

Lời giải: Viết lại phương trình như sau: [imath]2^x cdot y = 3^x-1[/imath].
Ta cần tìm [imath]v_2(3^x-1)[/imath].

• Nếu [imath

Ngày chỉnh sửa nội dung mới nhất January 15, 2026 by Thầy Đông

Thầy Đông

Thầy Đông – Giảng viên Đại học Công nghiệp Hà Nội, giáo viên luyện thi THPT
Thầy Đông bắt đầu sự nghiệp tại một trường THPT ở quê nhà, sau đó trúng tuyển giảng viên Đại học Công nghiệp Hà Nội nhờ chuyên môn vững và kinh nghiệm giảng dạy thực tế. Với nhiều năm đồng hành cùng học sinh, thầy được biết đến bởi phong cách giảng dạy rõ ràng, dễ hiểu và gần gũi. Hiện thầy giảng dạy tại dehocsinhgioi, tiếp tục truyền cảm hứng học tập cho học sinh cấp 3 thông qua các bài giảng súc tích, thực tiễn và giàu nhiệt huyết.