Giả thuyết Goormaghtigh

Trong toán học, giả thuyết Goormaghtigh là giả thuyết trong lý thuyết số được đặt tên theo nhà toán học người Bỉ René Goormaghtigh. Giả thuyết phát biểu rằng nghiệm nguyên không tầm thường duy nhất của phương trình Diophantine mũ sau

thoả mãn  và  là

và

Các kết quả nhỏ
 đã chứng tỏ rằng, với mỗi cặp số mũ  và  được cố định trước, phương trình này chỉ có hữu hạn số nghiệm. Tuy nhiên bài chứng minh này lại dựa trên định lý Siegel trên các điểm nguyên.  chứng minh thêm rằng, nếu  và  với , , và , thì  bị chặn bởi hằng số tính được hiệu quả phụ thuộc  và .  đã chứng minh rằng khi  và  lẻ, phương trình này không có nghiệm nguyên  nào khác ngoài hai nghiệm kể trên.

Trong 1980, Balasubramanian và Shorey đã chứng minh rằng chỉ có hữu hạn số nghiệm  cho phương trình với các ước nguyên tố  và  nằm trong một tập hữu hạn cho trước và ta có thể tính hiệu quả kết quả này.
 chứng minh rằng khi cố định  và , thì phương trình này chỉ có tối đa một nghiệm.
Nếu chỉ cố định một trong x (hoặc y), thì phương trình có tối đa 15 nghiệm, và chỉ có tối đa 2 trừ khi x là luỹ thừa nguyên tố nhân với luỹ thừa hai, có tối đa 3 nghiệm khi nằm trong tập hữu hạn {15, 21, 30, 33, 35, 39, 45, 51, 65, 85, 143, 154, 713}. Hơn nữa, phương trình chỉ có tối đa một nghiệm khi phần lẻ của n là số bình phương đủ trừ trường hợp n có tối đa hai ước nguyên tố phân biệt hoặc n nằm trong tập hữu hạn {315, 495, 525, 585, 630, 693, 735, 765, 855, 945, 1035, 1050, 1170, 1260, 1386, 1530, 1890, 1925, 1950, 1953, 2115, 2175, 2223, 2325, 2535, 2565, 2898, 2907, 3105, 3150, 3325, 3465, 3663, 3675, 4235, 5525, 5661, 6273, 8109, 17575, 39151}.

Ứng dụng cho số repunit
Giả thuyết Goormaghtigh tương đương với phát biểu sau: số 31 (111 trong cơ số 5, 11111 trong cơ số 2) và số 8191 (111 trong cơ số 90, 1111111111111 trong cơ số 2) là hai số repunit duy nhất có ít nhất 3 chữ số trong hai hệ cơ số khác nhau.

Xem thêm
Giả thuyết Feit–Thompson

Tham khảo

 Goormaghtigh, Rene. L’Intermédiaire des Mathématiciens 24 (1917), 88
 
 
 
 
 
 
 
 

Phương trình Diophantine
Vấn đề mở trong lý thuyết số
Phỏng đoán