Công cụ này làm gì
Đây là công cụ tìm kiếm số học mang tính giải trí, lấy cảm hứng từ Định lý lớn Fermat. Định lý Fermat khẳng định rằng với số nguyên n ≥ 3 thì không tồn tại các số nguyên dương X, Y, Z thỏa mãn \(X^n + Y^n = Z^n\). Công cụ này mở rộng vế trái thành tổng của n lũy thừa bậc n liên tiếp và kiểm tra mệnh đề: không tồn tại số tự nhiên a, b nào sao cho tổng của n lũy thừa bậc n liên tiếp bắt đầu từ a bằng \(b^n\), với n ≥ 4. Với mỗi số mũ n trong khoảng bạn nhập, công cụ sẽ duyệt mọi cơ số khởi đầu a trong khoảng đã cho và báo lại bất kỳ cặp (a, b) nào tìm được, hoặc in ra "--" nếu không có nghiệm nào trong cửa sổ tìm kiếm đó.
Cách sử dụng
Nhập số mũ n nhỏ nhất và lớn nhất cần kiểm tra (n ≥ 2) cùng với cơ số khởi đầu a nhỏ nhất và lớn nhất cần kiểm tra (a ≥ 1). Công cụ lặp qua từng giá trị n, và với mỗi a nó tính $$S = a^n + (a+1)^n + \cdots + (a+n-1)^n,$$ tìm căn bậc n nguyên của S, rồi kiểm chứng chính xác bằng số học số nguyên lớn. Lưu ý rằng việc quét những khoảng rộng sẽ rất chậm, vì S tăng cực kỳ nhanh.
Giải thích công thức
Phương trình là $$\sum_{j=0}^{n-1}\left(a+j\right)^{n} = b^{n}.$$ Để tránh các "dương tính giả" do sai số dấu phẩy động, công cụ tính S dưới dạng số nguyên lớn chính xác, suy ra một ứng viên căn b bằng phương pháp chia đôi, rồi kiểm tra lại b-1, b và b+1 với phép so sánh chính xác \(b^n = S\). Đã biết một số nghiệm với n nhỏ: n = 2 cho \(3^2 + 4^2 = 5^2\) và \(20^2 + 21^2 = 29^2\); n = 3 cho \(3^3 + 4^3 + 5^3 = 6^3\).
Ví dụ minh họa
Đặt nStart = 3, nEnd = 3, aStart = 1, aEnd = 10. Tại a = 3: $$S = 27 + 64 + 125 = 216,$$ và căn bậc ba nguyên của 216 là 6 với \(6^3 = 216\). Công cụ ghi nhận n = 3 → a = 3, b = 6.
Câu hỏi thường gặp
Công cụ này có chứng minh được mệnh đề không? Không. Nó chỉ tìm kiếm phản ví dụ trong một cửa sổ hữu hạn; việc không tìm thấy nghiệm nào không cấu thành một chứng minh.
Tại sao công cụ cho phép cả n = 2 và n = 3? Những trường hợp này có nghiệm đã biết, nên công cụ có thể minh họa chúng dù mệnh đề "không có nghiệm" chỉ nhắm tới n ≥ 4.
Vì sao công cụ có thể bị quá thời gian? Tổng tăng xấp xỉ theo \(n \cdot (a + n)^n\), nên những khoảng lớn tạo ra các con số khổng lồ; hãy giữ khoảng tìm kiếm ở mức vừa phải.
