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