Tại sao có vô số số nguyên tố nhưng chúng lại có thể cách xa nhau đến vô tận?

Khoảng trống bất tận giữa các số nguyên tố trên trục số

Trên trục số tự nhiên, các số nguyên tố thường được ví như những hòn đảo bí ẩn nằm rải rác giữa đại dương số học. Khi quan sát mười số nguyên tố đầu tiên: 2, 3, 5, 7, 11, 13, 17, 19, 23 và 29, ta dễ dàng nhận thấy khoảng cách giữa chúng biến thiên liên tục. Giữa 2 và 3, khoảng trống bằng 0 do chúng là hai số tự nhiên liền kề. Giữa 3 và 5 có đúng một hợp số là 4 (khoảng trống bằng 1). Giữa 7 và 11 xuất hiện ba hợp số gồm 8, 9 và 10 (khoảng trống bằng 3). Khoảng cách lớn nhất trong phạm vi này thuộc về cặp số 23 và 29, bị ngăn cách bởi năm hợp số liên tiếp: 24, 25, 26, 27 và 28. Những chuỗi hợp số liên tiếp nằm giữa hai số nguyên tố như vậy được các nhà toán học gọi là “khoảng trống số nguyên tố” (prime gaps).

Một câu hỏi tự nhiên nhưng đầy ám ảnh được đặt ra: Khi chúng ta tiến ngày một xa hơn về phía vô cực trên trục số, liệu khoảng cách giữa hai số nguyên tố kế tiếp có bị chặn bởi một giới hạn cố định nào không, hay chúng sẽ dần thưa thớt đến mức mất hút? Câu trả lời từ lý thuyết số là một điều gây kinh ngạc: Các khoảng trống số nguyên tố có thể dài tùy ý! Điều đó đồng nghĩa với việc bạn luôn có thể tìm thấy hai số nguyên tố liên tiếp nằm cách xa nhau hàng triệu hay hàng tỷ đơn vị. Đáng chú ý, việc chứng minh chân lý này lại vô cùng sáng sủa và ngắn gọn thông qua hàm giai thừa.

Chúng ta hãy cùng nhắc lại định nghĩa hàm giai thừa quen thuộc: $n!=n\times(n-1)\times(n-2)\times\dots\times3\times2\times1$. Chẳng hạn, chúng ta có $3!=3\times2\times1=6$ cũng như $5!=5\times4\times3\times2\times1=120$. Sử dụng công cụ giai thừa, chúng ta hoàn toàn có thể tự tay thiết lập một dãy hợp số liên tiếp dài tùy thích mà không cần phải tra cứu danh sách số nguyên tố.

Hãy cùng phân tích một ví dụ cụ thể với dãy sáu số nguyên liên tiếp sau đây:

$$7!+2, 7!+3, 7!+4, 7!+5, 7!+6, 7!+7$$

Vì $7!=7\times6\times5\times4\times3\times2\times1$, nên số mở đầu $7!+2$ chắc chắn phải chia hết cho 2. Ta có thể thấy rõ điều này qua phép đặt thừa số chung: $7!+2=2(7\times6\times5\times4\times3\times1+1)$. Tương tự, số thứ hai $7!+3$ chắc chắn chia hết cho 3 bởi vì $7!+3=3(7\times6\times5\times4\times2\times1+1)$.

Cứ như vậy, $7!+4$ chia hết cho 4, $7!+5$ chia hết cho 5, $7!+6$ chia hết cho 6, và số cuối cùng $7!+7$ chia hết cho 7. Toàn bộ sáu con số liên tiếp nói trên đều là hợp số, xác nhận sự tồn tại chắc chắn của một khoảng trống số nguyên tố có độ dài ít nhất bằng 6.

Chiến lược lập luận mẫu mực này có thể tổng quát hóa một cách dễ dàng cho mọi quy mô. Cụ thể, dãy số dạng $$n!+2, n!+3, n!+4, \dots, n!+n$$ luôn luôn là một dãy gồm đúng $n-1$ hợp số liên tiếp. Kết quả này chứng minh rằng với bất kỳ số $n$ nào, trục số luôn tồn tại một khoảng trống số nguyên tố dài tối thiểu là $n-1$. Dù bạn muốn tìm một khoảng trống dài 100, 1.000 hay thậm chí 1.000.000.000 đơn vị, toán học luôn bảo đảm rằng chúng hiện diện ở một vị trí nào đó trên trục số.

Thế nhưng, thế giới số nguyên tố luôn ẩn chứa những mâu thuẫn kỳ thú đầy mê hoặc. Một mặt, các khoảng trống có thể giãn rộng tùy ý; mặt khác, các số nguyên tố dường như vẫn kiên trì xuất hiện sát cạnh nhau vô tận. Khoảng một thập kỷ trước, công trình đột phá của Trương Ích Đường (Yitang Zhang) đã khởi động cuộc đua chứng minh giả thuyết số nguyên tố sinh đôi – giả thuyết khẳng định có vô số cặp số nguyên tố cách nhau đúng 2 đơn vị. Tiếp nối nỗ lực này, nhà toán học James Maynard cũng đã có những đóng góp quan trọng giúp thu hẹp đáng kể khoảng cách giữa các số nguyên tố.

Chứng minh phản chứng kinh điển của Euclid về sự vô hạn

Nếu khoảng trống có thể kéo dài vô tận, liệu số nguyên tố có cạn kiệt ở một nơi nào đó trên trục số? Từ hơn 2.000 năm trước, Euclid đã bác bỏ điều này bằng chứng minh phản chứng mẫu mực, được tôn vinh là một trong những lập luận đẹp nhất của tư duy nhân loại.

Euclid bắt đầu bằng một giả thiết phản chứng: Giả sử chỉ có một số lượng hữu hạn các số nguyên tố, và ta gom tất cả $n$ số đó vào một danh sách: $p_1,p_2,p_3,\dots,p_n$.

Sau đó, ông thực hiện một bước đi cực kỳ thông minh: Ông xét con số $q=p_1\times p_2\times p_3\times\dots\times p_n+1$.

Rõ ràng $q$ lớn hơn tất cả mọi số trong danh sách, nên nó không thể nằm trong danh sách đó. Do đó, nếu danh sách hữu hạn ban đầu đã thực sự đầy đủ, thì $q$ bắt buộc phải là hợp số. Nhưng nếu $q$ là hợp số, nó phải chia hết cho ít nhất một số nguyên tố nào đó trong danh sách. Tức là $q$ phải chia hết cho một số nguyên tố đã liệt kê. Thế nhưng theo đúng cách thức chúng ta xây dựng $q$, khi đem số này chia cho bất kỳ số nguyên tố nào trong danh sách, ta luôn luôn nhận được số dư là 1.

Như vậy, con số $q$ vừa không phải số nguyên tố, lại vừa không chia hết cho bất kỳ số nguyên tố nào trong danh sách. Mâu thuẫn logic này chứng minh giả định ban đầu về sự hữu hạn là sai lầm, và buộc chúng ta thừa nhận rằng có vô số số nguyên tố.

Từ những viên gạch nguyên tử đến những họ số nguyên tố kỳ lạ

Các nhà toán học say mê số nguyên tố vì chúng chính là “nguyên tử” của toán học, cấu thành mọi con số thông qua phép nhân duy nhất. Định lý cơ bản của số học cho phép chúng ta phân loại và xác định mọi số tự nhiên bằng một cấu trúc phân tích thừa số nguyên tố duy nhất. Dù vậy, chúng ta vẫn chưa thể biết chính xác quy luật khi nào một số nguyên tố sẽ xuất hiện, hay khoảng cách giữa chúng có thể lớn đến mức nào.

Nhà lý thuyết số James Maynard – người nhận Huy chương Fields danh giá ở tuổi 35 – nổi tiếng với niềm đam mê dành cho những câu hỏi toán học “đủ đơn giản để giải thích cho một học sinh trung học nhưng đủ khó để làm nản lòng các nhà toán học trong suốt nhiều thế kỷ”. Niềm đam mê này đã dẫn tới việc khám phá hàng trăm họ số nguyên tố đặc biệt: số nguyên tố Mersenne có dạng $2^n-1$, số nguyên tố cân bằng (trung bình cộng của hai số nguyên tố kế cận), hay số nguyên tố Sophie Germain là số $p$ sao cho $2p+1$ cũng là số nguyên tố. Và một thành viên mới đầy cuốn hút chính là “số nguyên tố nhạy cảm về chữ số” (digitally delicate primes).

Thế giới kỳ ảo của các số nguyên tố “nhạy cảm về chữ số”

Để hiểu khái niệm này, hãy thử trả lời: Liệu có số nguyên tố hai chữ số nào mà khi ta thay đổi chữ số hàng đơn vị bằng bất kỳ chữ số nào khác (từ 0 đến 9), nó đều biến thành hợp số không?

Thử nghiệm với số 23: Thay đổi chữ số hàng đơn vị thì 20, 22, 24, 26, 28 là số chẵn; 21 chia hết cho 3; 25 chia hết cho 5; 27 chia hết cho 9. Mọi phép thử rất thuận lợi cho tới khi thay bằng chữ số 9 để tạo ra số 29. Vì 29 vẫn là số nguyên tố, nên 23 không thỏa mãn.

Còn số 37 thì sao? Chúng ta không cần kiểm tra số chẵn hay số tận cùng bằng 5, mà chỉ cần xét các số lẻ 31, 33, 39. Vì 31 là số nguyên tố nên 37 cũng bị loại. Cuối cùng, chúng ta tìm thấy số 97: Bản thân 97 là số nguyên tố, nhưng các số 90, 91 (chia hết cho 7), 92, 93 (chia hết cho 3), 94, 95, 96, 98, 99 (chia hết cho 3) đều là hợp số. Do đó, 97 chính là số nguyên tố nhạy cảm ở hàng đơn vị.

Tuy nhiên, một số nguyên tố được coi là “nhạy cảm về chữ số” hoàn toàn nếu khi ta thay đổi bất kỳ chữ số nào của nó (không chỉ riêng hàng đơn vị), nó đều trở thành hợp số. Với 97, đổi chữ số hàng chục thành 1 ta thu được 17 – vốn là số nguyên tố, nên 97 chưa đạt chuẩn hoàn toàn.

Trong thực tế, không có số nguyên tố hai hay ba chữ số nào nhạy cảm hoàn toàn. Khi các số lớn dần, số lượng chữ số tăng lên khiến khả năng nhạy cảm càng giảm, bởi chỉ cần một lần thay đổi tạo ra số nguyên tố là nó lập tức mất danh hiệu này.

Bất ngờ từ Paul Erdős và Terence Tao

Dù vô cùng hiếm hoi, số nguyên tố nhạy cảm hoàn toàn vẫn thực sự tồn tại. Số nhỏ nhất thỏa mãn là 294.001. Khi thay bất kỳ chữ số nào của nó, ví dụ đổi 2 thành 7 để có 794.001, ta luôn nhận được hợp số. Nhà toán học lỗi lạc Paul Erdős đã chứng minh rằng có vô số số nguyên tố nhạy cảm như vậy, và kết quả này đúng trong bất kỳ hệ cơ số nào (từ nhị phân đến thập lục phân).

Kinh ngạc hơn nữa, vào năm 2010, chủ nhân giải Fields Terence Tao đã chứng minh rằng các số nguyên tố nhạy cảm chiếm một “tỷ lệ dương” trong tổng số các số nguyên tố. Điều này có nghĩa là dù số nguyên tố thưa dần trên trục số, các số nhạy cảm vẫn xuất hiện với một tần suất ổn định.

Bước tiến mới: Nhạy cảm ở mức độ “mở rộng”

Vào năm 2020, một bước tiến mới đã làm xôn xao giới nghiên cứu. Hai nhà toán học Michael Filaseta và Jeremiah Southwick đã đưa ra khái niệm “số nguyên tố nhạy cảm mở rộng” (widely digitally delicate primes). Thay vì chỉ xét các chữ số hiện có, họ coi một số như 97 có vô số chữ số 0 kéo dài vô tận ở phía trước: $$\dots0000000097$$

Câu hỏi đặt ra là: Liệu có số nguyên tố nào mà ngay cả khi ta thay đổi một trong những chữ số 0 ở tận cùng bên trái xa xôi đó thành chữ số khác, nó cũng luôn biến thành hợp số không? Câu trả lời gây chấn động là CÓ, và cũng có vô số những con số kỳ lạ như vậy tồn tại.

Góc nhìn thực tế: Bản hòa ca giữa lý thuyết số và an toàn thông tin

Những khám phá về khoảng trống vô tận hay độ nhạy cảm của chữ số thoạt nhìn như những trò chơi trí tuệ trừu tượng, nhưng thực tế chúng có mối liên hệ mật thiết với đời sống hiện đại. Trong kỷ nguyên kỹ thuật số, cấu trúc và đặc tính phân bố của các số nguyên tố lớn là nền móng cốt lõi của ngành mật mã học, tiêu biểu là hệ mã hóa khóa công khai RSA bảo vệ an ninh ngân hàng và dữ liệu đám mây toàn cầu. Hiểu được tính chất mong manh của các chữ số cũng như cách thức số nguyên tố phân tán giúp các nhà khoa học hoàn thiện các thuật toán bảo mật, khẳng định rằng những bài toán lý thuyết thuần túy luôn là chìa khóa định hình thế giới thực.

Bài tập thực hành

1. Khoảng trống số nguyên tố lớn nhất trong các số nguyên tố từ 2 đến 101 là bao nhiêu?

2. Trong chứng minh của Euclid, ông xét $q=p_1\times p_2\times p_3\times\dots\times p_n+1$. Nếu $q$ không chia hết cho bất kỳ số nguyên tố nào trong danh sách, chẳng lẽ điều đó không có nghĩa $q$ chắc chắn là số nguyên tố sao?

3. Một kết quả nổi tiếng là luôn có một số nguyên tố nằm giữa $k$ và $2k$. Hãy thử chứng minh một điều dễ hơn: Luôn có một số nguyên tố nằm giữa $k$ và $q=p_1\times p_2\times p_3\times\dots\times p_n+1$, với $p_1,\dots,p_n$ là tất cả các số nguyên tố nhỏ hơn hoặc bằng $k$.

4. Bạn có thể tìm thấy số nguyên tố nhỏ nhất nhạy cảm về chữ số ở cả hàng đơn vị và hàng chục không? (Nghĩa là thay đổi hàng đơn vị hoặc hàng chục đều tạo ra hợp số).

Bài toán thử thách: Tìm số nguyên tố nhỏ nhất nhạy cảm về chữ số trong hệ nhị phân? (Gợi ý: Trong hệ nhị phân, các chữ số chỉ là 0 và 1).

Lời giải chi tiết

Đáp án 1: Khoảng trống lớn nhất nằm giữa 89 và 97 (độ dài là 7 hợp số). Lưu ý rằng phương pháp dùng giai thừa trong bài viết rất kém hiệu quả để tìm khoảng trống này, vì $8!+2$ lên tới 40.322.

Đáp án 2: Không nhất thiết. Xét 6 số nguyên tố đầu tiên: 2,3,5,7,11,13. Khi đó $q=(2\times3\times5\times7\times11\times13)+1=30.031$. Số này không chia hết cho các số từ 2 đến 13, nhưng nó là hợp số: $30.031=59\times509$. Nó có các nhân tử nguyên tố, nhưng các nhân tử đó đều lớn hơn danh sách ban đầu.

Đáp án 3: Nếu $k$ hoặc $q$ là số nguyên tố thì bài toán đã xong. Nếu $q$ là hợp số, nó phải có ít nhất một ước nguyên tố. Ta biết ước đó không nằm trong danh sách các số nguyên tố $\le k$. Vậy ước nguyên tố đó phải lớn hơn $k$. Đồng thời vì nó là ước của $q$ nên nó phải $\le q$. Vậy tồn tại số nguyên tố trong khoảng $[k, q]$.

Đáp án 4: Số đó là 2.459. Các số 2.451, 2.453, 2.457 là hợp số (nhạy cảm hàng đơn vị) và các số $2.409, 2.419, \dots, 2.499$ cũng là hợp số (nhạy cảm hàng chục). Tuy nhiên 2.459 chưa phải là số nguyên tố nhạy cảm hoàn toàn vì 2.659 vẫn là số nguyên tố.

Đáp án thử thách: Số 127 (biểu diễn nhị phân là $1111111_2$). Nếu thay bất kỳ chữ số 1 nào thành 0, ta được các số 126, 125, 123, 119, 111, 95, 63 – tất cả đều là hợp số.

Bài viết tham khảo Quanta Magazine (quantamagazine.org).