Phương trình Ramanujan–Nagell

Trong toán học, đặc biệt là trong nhánh lý thuyết số,  phương trình Ramanujan–Nagell là phương trình giữa một số chính phương và một số kém hơn 7 so với lũy thừa của 2. Nó là 1 trong những ví dụ về phương trình Đi-ô-phăng bao gồm số mũ, phương trình giải với nghiệm nguyên trong đó biến nằm trong số mũ.
Phương trình được đặt tên theo hai nhà toán học, Srinivasa Ramanujan là người đặt ra giả thuyết phương trình trên chỉ có 5 nghiệm nguyên và Trygve Nagell là người chứng minh giả thuyết đó. Từ phương trình nay ta cũng chứng minh được không tồn tại mã nhị phân hoàn hảo với khoảng cách Hamming tối thiểu bằng 5 hoặc 6.

**Phương trình và đáp án**
Phương trình được viết như sau

và nghiệm tự nhiên n và x chỉ tồn tại khi n = 3, 4, 5, 7 và 15 A060728.
Giả thuyết trên lần đầu được đưa ra vào năm 1913 bởi nhà toán học người Ấn Độ Srinivasa Ramanujan, đề xuất độc lập trong 1943 bởi nhà toán học Na Uy Wilhelm Ljunggren, và được chứng minh trong 1948 bởi nhà toán học Na Uy Trygve Nagell. Các giá trị của x tương ứng với các giá trị n ở trên là:-
x = 1, 3, 5, 11 và 181 A038198.p=208

**Số Mersenne tam giác**
Bài toán tìm tất cả các số dưới dạng 2b − 1 (số Mersenne) đồng thời là số tam giác tương đương với:

Dễ thấy giá trị b bằng n − 3, và các số Mersenne tương ứng (cũng được gọi là số Ramanujan–Nagell) là:

với x = 1, 3, 5, 11 và 181, cho 0, 1, 3, 15, 4095 A076046.

**Phương trình dưới dạng Ramanujan–Nagell**
Phương trình có dạng sau

với D, A , B cố định và x, n làm biến được coi là thuộc dạng Ramanujan–Nagell.  Kết quả Siegel1929 cho rằng số nghiệm cho mỗi trường hợp là hữu hạn.p=207 Bằng cách biểu diễn  với  và  với , phương trình dưới dạng Ramanujan–Nagell có thể rút gọn thành 3 đường cong Mordell (đánh thứ tự bởi ), mỗi đường có hữu hạn số nghiệm nguyên:
 ,
 ,
 .
Phương trình với  có tối đa hai nghiệm, chỉ trừ trường hợp  tương ứng với phương trình Ramanujan–Nagell gốc. Có vô số giá trị D sao cho phương trình chỉ có hai nghiệm, kể cả .p=208

**Phương trình dưới dạng Lebesgue–Nagell**
Phương trình viết dưới dạng

với D, A cố định và x, y, n làm biến được gọi là thuộc dạng Lebesgue–Nagell.  Tên dạng được đặt tên theo Victor-Amédée Lebesgue, người chứng minh rằng phương trình

không có nghiệm không tầm thường.1850
Kết quả của Shorey và Tijdeman1986 cho rằng mỗi trường hợp có hữu hạn số nghiệm.p=211 Bugeaud, Mignotte và Siksek2006 giải các phương trình dạng này với A = 1 và 1 ≤ D ≤ 100. Trong đó, phương trình tổng quát của phương trình Ramanujan–Nagell:

có nghiệm nguyên dương khi x = 1, 3, 5, 11, hoặc 181.

**Xem thêm**
Giả thuyết Catalan

**Chú thích**

**Tham khảo**
  s2cid = 18534268 -  url= http://www.numdam.org/item/NAM_1850_1_9__178_0 -  pages=29 -  pages=62–64 -  doi-access=free -  pages=130 -  pages= 207–223 - chú thích sách | last1=Shorey | first1=T. N. | last2=Tijdeman | first2=R. | author2-link=Robert Tijdeman | title=Exponential Diophantine equations | series=Cambridge Tracts in Mathematics | volume=87 | publisher=Cambridge University Press | year=1986 | isbn=0-521-26826-5 | zbl=0606.10011 | pages=137–138 - year=1929

**Liên kết ngoài**
  access-date=2012-05-08 -  Can N2 + N + 2 Be A Power Of 2?, Math Forum discussion
Thể loại:Phương trình Diophantine