ĐẠI HỌC THÁI NGUYÊN
TRƯỜNG ĐẠI HỌC KHOA HỌC
LƯƠNG THỊ HẰNG
PHƯƠNG TRÌNH
NGHIỆM NGUYÊN VÀ GIẢ
THIẾT CATALA
LUẬN VĂN THẠC SĨ TOÁN HỌC
Thái Nguyên - 2013
ĐẠI HỌC THÁI NGUYÊN
TRƯỜNG ĐẠI HỌC KHOA HỌC
LƯƠNG THỊ HẰNG
PHƯƠNG TRÌNH NGHIỆM
NGUYÊN
VÀ GIẢ THIẾT CATALA
LUẬN VĂN THẠC SĨ TOÁN HỌC
Chuyên ngành : PHƯƠNG PHÁP TOÁN SƠ CẤP
Mã số : 60 46 36
NGƯỜI HƯỚNG DẪN KHOA HỌC:
GS. TSKH HÀ HUY KHOÁI
THÁI NGUYÊN - 2013
1
Mục lục
0.1 Tóm tắt . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1 GIẢ THUYẾT CATALAN: MỘT DẠNG PHƯƠNG TRÌNH
DIOPHANTINE ĐƯỢC GIẢI 6
1.1 Lịch sử nghiên cứu . . . . . . . . . . . . . . . . . . . . . . 6
1.2 Cassels và trường hợp 1 . . . . . . . . . . . . . . . . . . . . 8
1.3 Bài toán có thể giải bằng máy tính? . . . . . . . . . . . . . 9
1.4 Cặp Wieferich . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5 Các "cái triệt tiêu"(Annihilator)- Nhân tố quan trọng . . . 12
1.6 Các cái triệt tiêu đặc biệt . . . . . . . . . . . . . . . . . . . 14

= 1 (x > 0, y > 0, u > 1, v > 1) (1)
không có nghiệm nào khác ngoài x
u
= 3
2
, y
v
= 2
3
.
Giả thuyết này được công bố trên tạp trí Journal fur die Reine und
Ange- wandte Mathematik bởi nhà toán học Bỉ Eugène Catalan (18141894).
Bài báo được xuất bản năm 1944 ([4]. Trong thời gian Catalan giảng dạy
tại trường đại học Pari ông thành công trong việc giải một số bài toán tổ
hợp. Thuật ngữ số Catalan vẫn được sử dụng và trính dẫn trong các vấn
đề đó. Đối với phương trình (1) Catalan đã viết Cho đến nay không thể
chứng minh hoàn thiện. Ông cũng chưa bào giờ công bố bất kì kết quả
riêng quan trọng nào về vấn đề này.
Giả thuyết trở thành thách thức của toán học và sớm thu được một số
trường hợp riêng, tuy nhiên trong suốt 100 năm tất các các kết quả thu
được đều không mang tính bản chất và quan trọng.
Tiếp đó vào cuối những năm 1950 đồng thời xuất hiện một số ý tưởng
đáng kể. Sau đó đến năm 1970, việc nghiên cứu được điện tử hóa bằng một
kết quả đưa bài toán tới việc tính toán hữu hạn. Tuy nhiên, khối lượng
tính toán là rất lớn để có tính khả thi. Từ đó, hướng chính của việc nghiên
cứu là các nỗ lực để giảm bới khối lượng tính toán.
4
Năm 2002, nhà toán học Preda Mihăilescu,người chưa được biết đến
trong lĩnh vực này đã chứng minh hoàn thiện Giả thuyết. Điều ngạc nhiên
là trong chứng minh của ông sử dụng rất ít đến máy tính, ông sử dụng các

3
− y
2
= 1. Ta viết phương trình trong vành các số
nguyên Gause Z[i].
x
3
= (y + 1)(y − 1) (1.2)
Do Z[i] là vành nhân tử duy nhất nên ta có thể xét ước chung lớn nhất
của các phần tử của nó. Gọi d là ước chung lớn nhất của y + i và y −i, từ
các phương trình y + i = dλ, y −y = dµ ta có d|2. Từ (2.6) suy ra d chia
hết x và x phải là số lẻ. Từ đó y ≡ 0 hoặc 1( mod 4). Suy ra d là đơn vị.
Do đó d = ±1; ±i.
Ta có y + i = d(a + bi)
3
, a, b ∈ Z. Tuy nhiên d là lũy thừa bậc ba
trong Z[i] nên có thể bỏ đi. Từ phần thực và phần ảo của phương trình
y + i = (a + bi)
3
ta tìm được y = 0 và (x = 1). Điều này mâu thuẫn. Do
đó phương trình không có nghiệm.
6
Đối với phương trình x
3
− y
2
= 1, ta viết phương trình dưới dạng
x
3
= (y + 1)(y − 1)

(a + bi)
p
, y + i = (−i)
s
(a −bi)
p
trong đó s ∈ {0, 1, 2, 3}. Từ đó y được loại bỏ và các phương trình này
dẫn đến mâu thuẫn, do đó phương trình x
p
− y
2
= 1 không có nghiệm.
Đối với trường hợp p = 2 trong phương trình (2.7), năm 1961 có một
kết quả chứng minh phương trình x
2
− y
q
= 1 có nghiệm với x > 10
3.10
9
.
Nhà toán học Chaoko người Trung Quốc cho rằng phương trình này không
giải được trong công đồng Toán học. Chứng minh được công bố trên tạp
chí Scientia Simica [15].
Năm 1976, E.Z Chein [5] công bố một chứng minh rất khéo léo dựa
trên kết quả của T.Nagell [22] cho rằng nghiệm (x, y) phải thỏa mãn 2|y
và q|x. Xét phương trình có dạng
(x + 1)(x − 1) = y
q
7

p
− y
q
= 1(xy = 0, p, q là các số nguyên tố lẻ khác nhau.) (1.5)
Ta viết lại phương trình dưới dạng
(x −1)
x
p
− 1
x −1
= y
q
Bằng cách đồng nhất x
p
= ((x − 1) + 1)
p
ta dễ thấy ước chung lớn nhất
của (x −1) và
x
p
−1
x−1
là 1 hoặc p.
Một tình huống tương tự xảy ra khi nghiên cứu phương trình Fermat
x
p
+ y
p
= z
p

hai số x −1 và (x
p
− 1)\(x −1) chứa lũy thừa bậc nhất của p. Nhưng số
này không thể là x −1. Từ đó, ta có x
p
−1 chia hết cho p
2
. Vì vậy chúng
ta có các phương trình
(x −1) = p
q−1
a
q
,
x
p
− 1
x −1
= pb
q
, y = pab (1.6)
trong đó a và b là các số nguyên tố cùng nhau và p chia hết cho b( p có
thể chia hết cho a). Các phương trình tương tự theo thừa số của x
p
trong
tích của y + 1 và (y
p
− 1)\(y + 1). Đặc biệt y chia hết cho p và x chia
hết cho q. Định lý Cassell là một trong những kết quả tổng quát đầu tiên
về phương trình Catalan (1.5), nó là động lực quan trọng để nghiên cứu

|, , |b
n
|}. Giả sử Λ = 0, Baker chứng minh bất đẳng thức sau:
|Λ| > exp(−A log B),
9
trong đó A là số dương được xác định bằng máy tính và phụ thuộc vào n
và các chiều cao của r
1
, , r
n
.
Kết quả này, trong thực tế là sự làm mịn ràng buộc của nghiệm (x, y, p, q)
của phương trình Catalan ở trên được Robert Tijdeman [28] sử dụng.
Phương pháp này để tìm dạng tuyến tính của Λ và phụ thuộc vào nghiệm
đó một cách đặc biệt: Một chặn trên cho |Λ| của (1.5) đủ gần với chặn
dưới của Baker.
Robert Tijdeman chọn
Λ
1
= q log q −p log p + pq log
pa
pa

= log
(x −1)
p
(y + 1)
q
Λ
2

q
suy ra Λ
1
, Λ
2
khác không. So sánh chặn dưới và chặn trên của |Λ
1
| dẫn
đến bất đẳng thức giữa p và q, tương tự với |Λ
2
|, các bất đẳng thức này
thu được kết quả để loại bỏ q là
p < c
1
(log p)
c
2
trong đó c
1
, c
2
là các hằng số. Điều này yêu cầu q < p, nhưng trong trường
hợp q > p ta có các điều kiện tương tự cho q. Từ đó suy ra các số mũ
p, q bị chặn trên và chặn trên phụ thuộc vào x và y. Do đó bài toán có
thể phát biểu như sau: Chỉ có hữu hạn nghiệm (x, y, p, q). Thật vậy các
hằng số c
1
, c
2
ở trên là hiệu dụng. Những kết quả tính toán chi tiết đầu

p
− 1
x −1
= pb
q
(p không chia hếtb)
Điều này cho thấy phương pháp tiếp cận truyền thống của sự phân tích vế
trái trong Z[ζ] vành các số nguyên trong trường chia đường tròn Q(ζ)(ζ =
e
2πi\p
). Kết hợp điều này với việc quan sát
p =

x
p
− 1
x −1

x=1
=
p−1

k=1
(1 −ζ
k
)
Ta thu được phương trình
p−1

k=1

q
(1.8)
trong đó J là idean khác không của Z[ζ].
Tất cả điều này là tương tự như công trình kinh điển của Kummer trong
phương trình Fermat và được K. Inkeri [12] công bố năm 1990. Trong bài
viết của mình Inkeri giả thiết số lớp của Q(ζ) là nguyên tố với q. Khi đó
cùng với J
q
, idean J là idean chính. Đặt J =< γ > và (1.8) thu được
phương trình
x −ζ
1 −ζ
= eγ
q
(1.9)
11
trong đó e là đơn vị trong Z[ζ]. Vành này có vô hạn đơn vị, nhưng ta có
thể khắc phục được điều này. Thật vậy, xét (1.9) với số phức liên hợp của
nó, do e và ¯e là khác nhau một nhân tử là căn của đơn vị. Bằng cách này
Inkeri thu được kết quả q
2
|x. Theo Cassels, ta có q|x, việc làm mạnh ở đây
dựa vào quy tắc nâng lên của số mũ: Nếu a
q
≡ b
q
( mod q) thì a
q
≡ b
q

gọi là một cặp Wieferich. Tên này bắt nguồn trong lịch sử của bài toán
Fermat: Năm 1909, A. Weiferich cho thấy tính giải được của phương trình
x
p
+y
p
= z
p
trong trường hợp thứ nhất: 2
p−1
≡ 1( mod p
2
). Số nguyên tố
p như trên gọi là số nguyên tố Weiferich và rất ít gặp. Thực tế, Weiferich
tìm được 2 số là 1093 và 3511. Số tiếp theo nếu tồn tại phải lớn hơn
1, 25.10
15
[7],[14]. Các cặp số Weiferich rất đặc biệt, cặp số đầu tiên được
tìm thấy là (83; 4871) và là cặp số duy nhất được biết đến.[19],[13].
Các điều kiện (1.10) cùng với bảng số lớp hiện có được sử dụng để
loại bỏ một lớp các số p và q trong các nghiệm có thể của phương trình
Catalan. Phương pháp này tăng hiệu quả khi tìm cách thay đổi và lới lỏng
hơn các điều kiện về ố lớp [18],[25],[26],[11].
Năm 1999, có sự tiến bộ đáng kể theo hướng này khi Preda Mihăilescu
[20]đã chứng minh các đồng dư thức (1.10) không giữ bất kì điều kiện về
số lớp nào.
1.5 Các "cái triệt tiêu"(Annihilator)- Nhân tố quan
trọng
Điểm quan trong trong điều kiện về số lớp ở trên được bỏ qua ở phương
trình idean (1.8) quay trở lại trong một phương trình giữa các số. ý tưởng

do tính đối xứng ta cũng có
y ≡ 0, q
p−1
≡ 1( mod p
2
), (1.13)
trong đó (1.12), (1.13) thỏa mãn với mọi nghiệm (x, y, p, q) của phương
trình Catalan (1.5). Đặc biệt số mũ p, q là cặp Wieferich.
Đây là những điều kiện rất hiệu quả để loại nghiệm của phương trình
(1.5). Kết hợp chúng với các bất đẳng thức phù hợp của p và q thu được
bằng phương pháp kiểu Tijdeman, Migrotte và những người khác ta tính
được min(p, q) > 10
7
. Chặn dưới này vẫn còn rất xa so với chặn trên trong
mục 4.
Trong phần cuối chứng minh giả thuyết Mihăilescu [21] đã xét phương
trình (1.11) dưới góc độ hoàn toàn mới, thay vì đẩy đơn vị e ra ngoài thì
ông chỉ tập trung vào đơn vị này hoặc cho cả nhóm các đơn vị. Từ (1.11)
ông phát hiện ra các thông tin cho nhóm này thông qua các cái triệt tiêu
khác nhau và tìm được một tính chất bất ngờ của nhóm đó. Điều đó cho
thấy tính chất như thế là vô lý nên ông đi đến kết luận mâu thuẫn trong
chứng minh giả thuyết.
Biện pháp phù hợp cho chương trình này được xậy dựng trên một kết
quả sâu sắc về các cái triệt tiêu được gọi là định lý Thaine. Các kết quả
này và dạng tổng quát của nó có liên quan đến các trường giao hoán thực.
13
1.6 Các cái triệt tiêu đặc biệt
Các thiết lập được xét sau đây cho trường chia đường tròn thực K =
Q(ζ) ∩R, đây là sử mở rộng cấp m = (p − 1)/2 trên các số hữu tỷ, ví dụ
ρ = ζ + ζ

đã được mở rộng và làm sâu sắc theo nhiều cách. Bước cuối cùng trong sự
phát triển này là định lý Thaine [27] liên hệ các cái triệt tiêu của các đơn
vị với các idean đó. Trước khi đi vào chi tiết chúng ta sẽ giới thiệu các cái
triệt tiêu một cách chính xác hơn.
Cho trường K là một mở rộng Galoa của Q, nó là nhóm G chứa các tự
đẳng cấu τ
1
, τ
2
, , τ
m
xác định bởi (ζ + ζ
−1
)
τ
C
= ζ
C
+ ζ
−C
. Ta giới thiệu
một tập lớn hơn các ánh xạ, nhóm vành
Z[G] = {
m

i=0
n
C
τ
C

×
. Vành Z[G]
luôn tác động lên nhóm các idean của K trên nhóm lớp H(K). Do đó
H(K) là một Z[G]- modun. Miền xác định của các cái triệt tiêu là Z[G].
Cho một nhóm Abel A, kí hiệu [A]
q
với q là số nguyên tố là một nhóm
con của A, đó là nhóm con gồm các phần tử có cấp là lũy thừa bậc q. Nếu
A là Z[G]- modun thì [A]
q
là một modun con.
14
Định lý Thaine cho trường K và số nguyên tố q lẻ được phát biểu như
sau: Nếu bậc m = [K; Q] là số nguyên tố cùng nhau với q thì với mọi cái
triệt tiêu θ ∈ Z[G] của nhóm [E/C]
q
luôn triệt tiêu nhóm [H(K)]
q
.
Để chính xác nhóm các đơn vị chia được sử dụng bởi Thaine không
hoàn toàn chính xác như nhóm C ở trên mà được thay bằng một nhóm
con của C có cấp 2
m−1
[16]. Sự khác biệt này không quan trọng và sẽ được
bỏ qua trong phần tiếp theo.
Nhận xét: Bài báo của Thaine được công bố năm 1988 nhưng định
lý đã được biết đến trước đó. Thực tế, R. Greeberg [8] đã chỉ ra rằng
"giả thuyết chính" của lý thuyết Iwasawa bao gồm một giả thuyết được
G. Gras phát biểu: Các nhóm [E/C]
q

2
+ 1 và 3q
2
+ 1 không
nguyên tố nên p > 4q
2
. Hơn nữa theo dạng tuyến tính của logarit (mục
4), suy ra p < 4q
2
với mọi q > 28000. Do đó ta thu được mâu thuẫn trừ
khi số mũ của p, q thỏa mãn các bất đẳng thức q < 28000, p > 4q
2
. Nhưng
các số mũ như vậy đã được loại trừ ở mục 6. Bilu [1] đã thực hiện một số
sửa đổi trên các tham số p, q và yêu cầu này chỉ mất 1 phút chạy trên máy
tính.
Trong toàn bộ chứng minh đây là bước duy nhất sử dụng máy tính.
Đây là nơi ta sử dụng phương pháp có nguồn gốc trong công việc đánh
dấu của Tijdeman. Mặc dù kết quả thu được bằng cách của Tijdeman là
không cần thiết.
Gần đây có tin cho rằng Mihăilescu đã tìm được một cách tiếp cận hoàn
toàn khác để kiểm tra điều kiện q không chia hết m. Điều này sẽ được áp
dụng trong "phần âm" được nêu ở trên và không phải tính bằng máy tính.
Liên hệ quan trọng đến việc này là bài báo của Y. Bugeaud và G. Hanrot
15
[2].
1.7 Phác thảo chứng minh giả thuyết Catalan
Trong mục này chúng ta sẽ phác thảo chứng minh của Mihăilescu cho
mệnh đề về lũy thừa bậc q trên trường K. Mệnh đề này gọi là định lý
quan trọng của Mihăilescu sẽ được chứng minh trong mục 9. Mục 10 và

(x −ζ)(x − ζ
−1
)
(1 −ζ)(1 − ζ
−1
)

θ
= eγ
q
(1.14)
trong đó e ∈ E và γ ∈ K
×
. Do γ chưa biết nên ta chỉ cần xét e và các
đơn vị liên quan tới một thừa số là lũy thừa bậc q trong K
×
Do e ∈ C và đơn vị e trong (1.14) được giả thiết trong C. Bước này
cần một tính chất tinh vi của các cái triệt tiêu sẽ được trình bày trong
mục 10. Một sự liên hệ đơn giản nhưng quan trọng cho θ là ánh xạ dạng
N =

C
τ
C
hoặc một bội số nguyên của nó. Thật vậy, dạng chuẩn của
đơn vị là ±1, với mỗi r ∈ Z phù hợp, phần tử ((1 + ζ)/(1 − ζ
−1
))
θ−rN
là


−rN
∈ (K
×
)
q
(1.16)
Từ liên hệ này Mihăilescu suy ra θθ

− rN chi hết cho q. Ta đặt
e
θθ

= e
rN+qω
= e
rN
= 1 (1.17)
nhắc lại rằng e
θ
∈ C, điều này cho thấy θ

trên thực tế các cái triệt tiêu
của C là nhóm con C
q
, do đó C
q
bằng C. Lập luận này được thực hiện một
cách chặt chẽ. Do đó tất cả các đơn vị chia đường tròn phải là q - nguyên
tố. Dễ thấy điều này không thể xảy ra. Do đó ta có điều phải chứng minh.

n
C
≡ 0( mod q) thì n
C
chia hết cho q sao cho θ = qω với
ω ∈ Z[G].
Các yêu cầu trong định lý này là khá hợp lý nhưng kết quả là lạ lùng.
Điều này cũng đã xảy ra trong suy nghĩ của nhiều người nghiên cứu phương
trình Fermat, nhưng không suy ra được các điều tương tự [21].
Điều quan trọng trong chứng minh là |x| lớn. Năm 1964 Hyyro [9] chứng
minh ước lượng |x| > q
p
. Tuy kết quả này không khả dụng, nhưng những
ước lượng khác yếu hơn đã được trích dẫn trong [21], [1].
Chúng ta sẽ trình bày các ý chính trong chứng minh của định lý. Các
thiết lập tổng quát của chứng minh thể hiện các ý tưởng của Bugeaud và
Hanrot [2]. Để đơn giản, các tự đẳng cấu σ
1
, , σ
p−1
với ζ
σ
k
= ζ
k
. Do đó
τ
C
có các mở rộng σ
C

p−C
(C = 1, , m). Ta có
((x −ζ)(x − ζ
−1
))
θ
= (x − ζ)
θ
(x −θ
−1
)
θ
= (x − ζ)
ψ
Thêm vào ψ một phần tử thích hợp có dạng qψ
1
, chúng ta giả sử các hệ số
b
k
nằm trong khoảng 0, , q −1. Ta phải chỉ ra mỗi hệ số b
k
bị triệt tiêu.
Theo giả thiết của định lý
p−1

k=1
b
k
= tq với t ∈ {1, , p − 1} (không
xét trường hợp tầm thường t = 0), do x được cố định bởi σ

ψ
= γ
q
(γ ∈ K
×
)
Do tính đối xứng ta thấy số thực γ được biểu thị bằng một chuỗi các tổ
hợp sau
γ =
p−1

k=1

1 −
ζ
k
x

b
k
/q
=
p−1

k=1
∞

µ=1

b

q
E(µ)
là lũy thừa của q chia hết µ!q
µ
.
Xét các số hạng còn lại Ω =
∞

µ=t+1
α
µ
x
−µ
, trong đó t là số nguyên được
xác định ở trên. Số
β = q
E(t)
x
t
Ω
là một số nguyên của trường Q(ζ) thuộc Z[ζ]. Ta có thể ước lượng |β|
bằng các số hạng còn lại của chuỗi Taylor chuẩn tắc. Áp dụng chặn dưới
của Hyyro |x| > q
p
thu được kết quả |β| < 1. Điều kiện cần thiết là t
bị chặn t ≤ m, điều này thực hiện được bằng cách thay

k
b
k

k

t
( mod q)
18
Kết hợp với β = 0 ta thu được đồng dư thức

k
b
k
ζ
k
≡ 0( mod q). Suy
ra b
k
triệt tiêu với mọi k. Định lý được chứng minh.
1.9 Xét lại các cái triệt tiêu
Trong chứng minh ở mục 8 yêu cầu phải nghiên cứu sâu sắc các cái triệt
tiêu, điều này mạng lại những khía cạnh đại số của chứng minh.
Như đã nêu trong mục 8, chúng ta chỉ cần xét các đơn vị của E đồng
dư modun lũy thừa bậc q hoặc ta có thể thay e bằng eE
q
trong nhóm
E/E
q
. Khi đó θ =

C
n
C

nhóm E/CE
q
là R- modun. Hơn nữa khi đánh giá sự khác biệt giữa các
nhóm C và C
q
ta sẽ sử dụng R-modun CE
q
/C
q
E
q
. Bằng cách này chúng
ta nghiên cứu ba cái triệu tiêu:
A
1
= Ann(E/CE
q
), A
2
= Ann(CE
q
/C
q
E
q
), A
3
= Ann(CE
q
/E

) = RN
là idean chính , đẳng thức thứ 2 là do tính giao hoán của E/E
q
.
Mọi idean I của R là lũy đẳng, nói cách khác nó trùng với bình phương
của nó. Do đó mỗi phần tử của I có thể viết như là tích các phần tử của
19
I. Đây là một tính chất tiện dụng của các cái triệt tiêu và đuwocj sử dụng
nhiều lần trong chứng minh này.
Minh họa đầu tiên, chúng ta chỉ ra trong phần đầu của chứng minh,
đó là θ ∈ A
1
triệt tiêu [H(K)]
q
. Dễ thấy ta viết θ = θ
1
θ
z
, trong đó θ
j
thuộc A
1
và z được xác định bởi |[E/C]| = q
z
. Theo định nghĩa của A
1
ta có E
θ
j
⊆ CE

q
. Đây là hệ quả của định lý Thaine
Tiếp theo ta xét phương trình (1.14) với θ ∈ A
1
, ta viết θ = θ
1
θ
2
với
θ
1
, θ
2
∈ A
1
. Khi đó phương trình (1.14) có dạng
(e
1
γ
q
1
)
θ
2
= e
θ
2
1
(γ
θ

)
q
(1.19)
với mọi θ
1
∈ A
1
, θ
3
∈ A
3
và r ∈ F
q
đuwocj lựa chọn sao cho ánh xạ
θ
1
θ
3
− rN =

C
n
C
τ
C
thỏa mãn điều kiện

C
n
C

Đẳng thức C = C
q
nghĩa là mọi đơn vị chia đường tròn trên K đồng
dư modun q
2
là lũy thừa bậc q
2
của một số nguyên khác không của K.
Chúng ta cần khái niệm đơn vị chia đường tròn trong toàn trường Q(ζ).
Trong trường này các đơn vị tạo thành nhóm con C
0
của Z[ζ]
×
sinh bởi
C và ζ. Do ζ = ζ
dq
, trong đó d là nghịch đảo đồng dư modun p của q.
Khi đó ta có mọi đơn vị trong C
0
là lũy thừa bậc q đồng dư modun q
2
.
Đặc biệt dơn vị 1 + ζ = (1 − ζ
2q
)/(1 − ζ
q
). Điều này cho ta đồng dư
dạng 1 + ζ
q
≡ η

q > p. Do p và q có thể hoán vị như trong (1.7). Từ đó bất đẳng thức là
không thể xảy ra.
1.11 Kết luận
Câu hỏi tự nhiên đặt ra là phương trình Catalan (1) có nghiệm trong
miền khác Z không? Đây là vấn đề khó được Ribenboim đề cập trong [24].
Đầu tiên là tìm các số nguyên trong trường đại số F bắt đầu trong [24].
Sau đó, Tijdeman có một mở rộng trong trường hợp này. Thật vậy với điều
kiện nhẹ hơn các nghiệm của phương trình
x
u
− y
v
= 1(u > 1, v > 1) (1.20)
trong đó x, y là các nghiệm trong F bị chặn bởi một hằng số. Tính bị chặn
của x, y có nghĩa là giá trị tuyệt đối của tất cả các liên hợp của chúng bị
chặn.
Một bài toán quan trọng của phương trình (1.20) với u = p là số nguyên
tố lẻ, trong trường F = Q(ζ), trong đó ζ là căn bậc p- nguyên tố của 1
như trên. Theo định lý Thaine suy ra có thể xây dựng và phát triển các ý
tưởng như của Mihăilescu - bắt đầu cới phương trình tổng quát hơn dạng
x
p
− y
q
= ζ.
Tuy nhiên chứng minh của Mihăilescu trong mục 9 là rất nhạy với các
hiệu chỉnh, do đó nó khó tổng quát hóa. Một câu hỏi cũng được dặt ra
là liệu phương trình (1.20) có thể giải được trong trường hàm hay không?
M.B Nathason [23] thu được kết quả: Cho F là một trường không có tính
chất chia hết v, nếu u > 2, v > 2 thì (1.20) với x, y ∈ F (X) suy ra x và y

22
Hary và LiHelwood nghiên cứu bằng các phân số liên tục và các phương
pháp siêu việt, trong khi đó những đóng góp của Pillai chỉ bao gồm các
lập luận sơ cấp.
Trong nghiên cứu ngắn gọn này, chúng tôi chỉ chủ yếu đề cập đến các
vấn đề liên quan đến các lũy thừa hoàn thiện.
2.1.1 Các kết quả của Pillai trên các vấn đề Diophantine
Năm 1931, S.S.Pillai đã chứng minh rằng: Với bất kì số nguyên dương
cố định a và b đều lớn hơn hoặc bằng 2. Số các nghiệm (x, y) của bất đẳng
thức Diophantine 0 < a
x
− b
y
≤ c tiệm cận tới
(log c)
2
2(log a)(log b)
(2.1)
khi c → ∞. Trong 6.2 của bài báo này viết nằng
"Việc nghiên cứu là kết quả chứng minh phương trình
m
x
− n
y
= a (2.2)
chỉ có hữu hạn số các nghiệm nguyên". Đây là một phỏng đoán trước đó.
Trong phương trình này m, n và a là các số cố định, x, y là các ẩn. Sẽ mất
nhiều thời gian để xem xét phương trình tương tự với m, n, x và y là các
ẩn số, chỉ có a là cố định. Trong [109] ông chỉ ra tính hữu hạn của tập hợp
các nghiệm (x, y) với phương trình mũ (2.2) từ kết quả của G.Polya [127].

tiếp tực nhiên cứu [69],[70]. Ông chỉ ra rằng nếu c là một số nguyên với |c|
đủ lớn thì phương trình
2
x
− 3
y
= c (2.3)
có nhiều nhất một nghiệm (x, y) với x, y là các số nguyên dương. Khi |c|
nhỏ điều này không đúng. A. Herschfeld dùng các phương pháp sơ cấp đã
chỉ ra các bộ ba số (x, y, c) với x, y dương sao cho 2
x
−3
y
= c với |c| ≤ 10
là
(2, 1, 1), (1, 1, −1), (3, 2, −1), (3, 1, 5), (5, 3, 5), (2, 2, −5), (4, 2, 7), (1, 2, −7)
Do đó nếu x > 5 hoặc y > 3 thì |2
x
− 3
y
| > 10. Tương tự A. Herschfeld
cũng chỉ ra nếu x > 8, hoặc y > 5 thì |2
x
− 3
y
| > 100[128]. S.S.Pillai
[117],[118] đã mở rộng kết quả của Herschfeld trong(2.3) cho các số mũ
tổng quát hơn của phương trình Diophantine
a
x

3
= 1, 3 − 2
3
= 3
3
− 2
5
= −5, 3 − 2
4
= 3
5
− 2
8
= −13
Dự đoán này trong [128] đã được giải bởi R. J. Stroeker and R. Tijdeman
năm 1982 [151]. Bằng tiêu chuẩn độc lập tuyến tính cho logarit của các
số đại số: "Nếu c > 13 là một số nguyên dương cố định thì phương trình
Diophantine
|3
x
− 2
y
| = c
24