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 .

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 .

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 .

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ả Siegel cho rằng số nghiệm cho mỗi trường hợp là hữu hạn. 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ả .

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.

Kết quả của Shorey và Tijdeman cho rằng mỗi trường hợp có hữu hạn số nghiệm. Bugeaud, Mignotte và Siksek 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

Liên kết ngoài
 
 Can N2 + N + 2 Be A Power Of 2?, Math Forum discussion

Phương trình Diophantine