Định lý Green–Tao

Bách khoa toàn thư mở Wikipedia
Bước tới: menu, tìm kiếm

Trong lý thuyết số, định lý Green–Tao, chứng minh bởi Ben GreenTerence Tao năm 2004,[1] phát biểu rằng dãy các số nguyên tố có chứa cấp số cộng độ dài bất kì. Nói cách khác, tồn tại cấp số cộng độ dài k gồm toàn số nguyên tố, trong đó k là một số tự nhiên bất kì. Chứng minh là một mở rộng của định lý Szemerédi.

Các công trình kế tiếp[sửa | sửa mã nguồn]

Năm 2006, Tao và Tamar Ziegler mở rộng kết quả trên cho cấp số đa thức.[2] Cụ thể hơn, với mọi đa thức nguyên P1,..., Pk với biến m và hệ số tự do bằng không, tồn tại vô số cặp số nguyên x, m sao cho x + P1(m), ..., x + Pk(m) đều là số nguyên tố. Trong trường hợp đặc biệt khi các đa thức là m, 2m, ..., km, dãy số tìm được chính là một cấp số cộng độ dài k gồm toàn số nguyên tố.

Kết quả tính toán[sửa | sửa mã nguồn]

Các kết quả trên đều là các định lý tồn tại và không chỉ ra cách tìm các dãy số. Ngày 18 tháng 1, 2007, Jarosław Wróblewski tìm ra một cấp số cộng gồm 24 số nguyên tố:[3]

468.395.662.504.823 + 205.619 · 223.092.870 · n, với n = 0 đến 23.

Hằng số 223092870 là tích các số nguyên tố cho tới 23 (xem giai thừa nguyên tố).

Ngày 17 tháng 5, 2008, Wróblewski và Raanan Chermoni tìm ra cấp số cộng gồm 25 số nguyên tố:

6.171.054.912.832.631 + 366.384 · 223.092.870 · n, với n = 0 đến 24.

Ngày 12 tháng 4, 2010, Benoãt Perichon với phần mềm của Wróblewski và Geoff Reynolds trong dự án PrimeGrid đã tìm ra cấp số cộng gồm 26 số nguyên tố (dãy A204189 trong OEIS):

43.142.746.595.714.191 + 23.681.770 · 223.092.870 · n, với n = 0 đến 25.

Xem thêm[sửa | sửa mã nguồn]

Tài liệu tham khảo[sửa | sửa mã nguồn]

  1. ^ Green, Ben; Tao, Terence (2008), “The primes contain arbitrarily long arithmetic progressions”, Annals of Mathematics 167 (2): 481–547, arXiv:math.NT/0404188, doi:10.4007/annals.2008.167.481 .
  2. ^ Tao, Terence; Ziegler, Tamar (2006). "The primes contain arbitrarily long polynomial progressions". arΧiv:math.NT/0610050. .
  3. ^ Jens Kruse Andersen, Primes in Arithmetic Progression Records(tiếng Anh). Truy cập 2010-04-13

Liên kết ngoài[sửa | sửa mã nguồn]