Định lý Friedlander–Iwaniec

Trong lý thuyết số giải tích, định lý Friedlander–Iwaniec phát biểu rằng có vô số số nguyên tố dưới dạng . Các số nguyên tố đầu tiên là

2, 5, 17, 37, 41, 97, 101, 137, 181, 197, 241, 257, 277, 281, 337, 401, 457, 577, 617, 641, 661, 677, 757, 769, 821, 857, 881, 977, … .

Độ khó của phát biểu nằm trong bản chất thưa thớt của dãy này: số các số nguyên có dạng  và nhỏ hơn  nằm vào khoảng .

Lịch sử
Định lý được chứng minh vào năm 1997 bởi John Friedlander và Henryk Iwaniec. Trong 2001, Iwaniec nhận giải thưởng Ostrowski cho cống hiến của ông cho công trình.

Cải thiện

Định lý này được cải thiện bởi D.R. Heath-Brown và Xiannan Li trong năm 2017. Cụ thể, họ chứng minh rằng đa thức  biểu diễn vô số số nguyên tố khi biến  cũng là số nguyên tố. Hơn nữa, nếu  đếm số số nguyên tố nhỏ hơn  và có dạng  thì

trong đó

Trường hợp đặc biệt
Khi , các số nguyên tố Friedlander–Iwaniec có dạng , tạo thành tập
2, 5, 17, 37, 101, 197, 257, 401, 577, 677, 1297, 1601, 2917, 3137, 4357, 5477, 7057, 8101, 8837, 12101, 13457, 14401, 15377, … .

Hiện các nhà toán học đang đặt giả thuyết  (một trong các bài toán của Landau) rằng tập này có vô hạn số phần tử. Tuy nhiên giả thuyết này không thể suy ra từ định lý Friedlander–Iwaniec được.

Tham khảo

Đọc thêm 
.

Lý thuyết số cộng tính
Định lý trong lý thuyết số cộng tính
Định lý về số nguyên tố