Các bạn có thể xem phần đầu về phương trình Pell ở đây: https://nttuan.org/2007/12/15/pell-equation/
Cho là số nguyên dương không phải là số chính phương. Xét phương trình Pell âm
Định lý 1. Nếu và
là hai nghiệm nguyên dương của (1) thì
Chứng minh. Từ giả thiết, ta có
Vì và
, hai hiệu
và
cùng dấu hoặc đồng thời bằng
. Do đó tổng
cũng cùng dấu với hai hiệu ấy. Các tương đương cần chứng minh suy ra ngay.
Định lý 2. Giả sử (1) có nghiệm nguyên dương và là nghiệm có
nhỏ nhất. Khi đó cặp
xác định bởi
là nghiệm cơ bản của phương trình , tức là nghiệm nguyên dương có hoành độ nhỏ nhất.
Chứng minh. Đặt . Ta có
Rõ ràng và
là các số nguyên dương thỏa mãn
. Nếu đây chưa phải là nghiệm cơ bản thì tồn tại một nghiệm nguyên dương
của phương trình này sao cho
Đặt
với . Khi đó
Do , ta có
. Hơn nữa,
, vì
sẽ dẫn đến
, trái với
. Vì vậy
là một nghiệm nguyên dương của (1), nhưng
Theo Định lý 1, điều này mâu thuẫn với tính nhỏ nhất của . Vậy
là nghiệm cơ bản của phương trình
.
Định lý 3. Giả sử (1) có nghiệm nguyên dương và là nghiệm có
nhỏ nhất. Khi đó tất cả các nghiệm nguyên dương của (1) là
, với
Cặp được gọi là nghiệm cơ bản của phương trình Pell âm (1).
Chứng minh. Đặt . Với mỗi
, khai triển nhị thức cho thấy
là các số nguyên dương. Đồng thời,
Ngược lại, cho là một nghiệm nguyên dương bất kỳ của (1). Theo Định lý 1,
. Vì
, tồn tại số nguyên
sao cho
Đặt
Vì , ta có
. Hơn nữa,
Nếu thì
, nên
Khi đó là một nghiệm nguyên dương của phương trình
với
, trái với Định lý 2. Vậy
, tức là
. Do
vô tỉ, suy ra
.
Nhận xét. Phương trình Pell âm có thể vô nghiệm nguyên. Chẳng hạn, vô nghiệm, vì khi lấy modulo
ta được
, điều không thể xảy ra.