Math Labs

Bài toán mở, Số học và Lý thuyết số, nêu năm 1912

Số nguyên tố dạng n² + 1 (bài toán thứ tư của Landau)

Còn mởLandau #4

Có tồn tại vô hạn số nguyên tố có dạng p=n2+1p = n^2 + 1, trong đó nn là số nguyên dương hay không?

Hiện trạng nghiên cứu tính đến năm 2026

Tính đến năm 2026, bài toán thứ tư của Landau vẫn còn để ngỏ: chưa một đa thức một biến bậc ≥2\ge 2 nào được chứng minh là biểu diễn vô hạn số nguyên tố. Dãy {n2+1:n≤x}\{n^2 + 1 : n \le x\} chỉ có x\sqrt{x} phần tử dưới mốc xx, thưa hơn rất nhiều so với bất kỳ khoảng ngắn [x,x+xθ][x, x + x^\theta] nào hiện tiếp cận được, và các phương pháp sàng cổ điển bị rào cản chẵn lẻ chặn không cho phân biệt số nguyên tố (P1P_1) với tích của hai số nguyên tố (P2P_2). Kết quả vô điều kiện mang tính cột mốc vẫn là định lý năm 1978 của Henryk Iwaniec rằng n2+1n^2 + 1 là số hầu nguyên tố P2P_2 vô hạn lần, với #{n≤x:n2+1∈P2}≫x/log⁡x\#\{n \le x : n^2 + 1 \in P_2\} \gg x / \log x. Hướng tấn công thứ hai tìm chặn dưới cho ước nguyên tố lớn nhất P+(n2+1)P^+(n^2 + 1): nếu chứng minh được P+(n2+1)>n2P^+(n^2 + 1) > n^2 vô hạn lần thì chính n2+1n^2 + 1 phải là số nguyên tố; Jori Merikoski (2023, arXiv:1908.08816) đã đẩy số mũ này lên P+(n2+1)≥n1.279P^+(n^2 + 1) \ge n^{1.279} vô hạn lần (và lên 1.3121.312 trong công trình tiếp theo). Với các đa thức hai biến có mật độ x3/4x^{3/4} hoặc x2/3x^{2/3}, rào cản chẵn lẻ đã bị phá vỡ: Friedlander và Iwaniec (1998) chứng minh có vô hạn số nguyên tố dạng a2+b4a^2 + b^4, và Heath-Brown (2001) chứng minh điều tương tự cho a3+2b3a^3 + 2b^3.

Kết quả tốt nhất đã biết

  • Có vô hạn số nguyên dương nn sao cho n2+1n^2 + 1 có tối đa hai ước nguyên tố, với #{n≤x:n2+1∈P2}≫x/log⁡x\#\{n \le x : n^2 + 1 \in P_2\} \gg x / \log x (Iwaniec, 1978).
  • Ước nguyên tố lớn nhất P+(n2+1)P^+(n^2 + 1) vượt quá n1.279n^{1.279} vô hạn lần (Merikoski, 2023, arXiv:1908.08816), và sau đó được đẩy lên n1.312n^{1.312}.
  • Với các đa thức hai biến thưa, có vô hạn số nguyên tố dạng a2+b4a^2 + b^4 (Friedlander–Iwaniec, 1998) và dạng a3+2b3a^3 + 2b^3 (Heath-Brown, 2001).

Công cụ và chỗ dừng

Công cụĐạt đượcChỗ dừng
Sàng tuyến tính với số hạng sai số song tuyến tính (Iwaniec)Khai thác sự phân bố đều của các nghiệm của ν2+1≡0(modd)\nu^2 + 1 \equiv 0 \pmod{d} qua tổng Kloosterman để mở rộng mức phân bố của dãy {n2+1}\{n^2 + 1\} vượt qua x1/2x^{1/2} lên x9/17x^{9/17}, qua đó chứng minh n2+1∈P2n^2 + 1 \in P_2 vô hạn lần.Bị chặn bởi rào cản chẵn lẻ của lý thuyết sàng: khi thiếu thông tin song tuyến tính Loại II trên các tích ab=n2+1ab = n^2 + 1 có hai thừa số cỡ tương đương nhau, sàng không thể tách số nguyên tố P1P_1 khỏi nửa nguyên tố P2P_2.
Sàng tiệm cận trên vành số nguyên Gauss (Friedlander–Iwaniec)Phân tích a2+b4=(a+ib2)(a−ib2)a^2 + b^4 = (a + ib^2)(a - ib^2) trong Z[i]\mathbb{Z}[i] và dùng biến phụ bb để thu được sự triệt tiêu Loại II qua ký hiệu Jacobi–Kubota, chứng minh có vô hạn số nguyên tố dạng a2+b4a^2 + b^4.Đòi hỏi phải lấy trung bình theo biến thứ hai bb; khi cố định b=1b = 1 (tức bài toán a2+1a^2 + 1), tổng phụ tạo ra sự triệt tiêu song tuyến tính Loại II không còn nữa.

Câu hỏi còn mở

  • Liệu có thể chứng minh có vô hạn số nguyên tố dạng a2+b6a^2 + b^6, hay tổng quát hơn là a2+b2ka^2 + b^{2k} với k≥3k \ge 3, đẩy phương pháp Friedlander–Iwaniec tiến gần hơn tới độ thưa của n2+1n^2 + 1 hay không?
  • Liệu số mũ của ước nguyên tố lớn nhất của n2+1n^2 + 1 có thể được đẩy vượt mốc 3/23/2, hay xa hơn là tiến tới hẳn 22 (qua đó giải quyết bài toán thứ tư của Landau)?

Tài liệu tham khảo

  1. Godfrey H. Hardy, John E. Littlewood (1923). Some problems of 'Partitio numerorum'; III: On the expression of a number as a sum of primes · DOI:10.1007/bf02403921
  2. Henryk Iwaniec (1978). Almost-primes represented by quadratic polynomials · DOI:10.1007/bf01578070
  3. John Friedlander, Henryk Iwaniec (1998). The polynomial X2+Y4X^2 + Y^4 captures its primes · arXiv:math/9811185
  4. Jori Merikoski (2023). On the largest prime factor of n2+1n^2 + 1 · arXiv:1908.08816