Khác biệt giữa bản sửa đổi của “Định lý số nguyên tố”

Nội dung được xóa Nội dung được thêm vào
AlphamaEditor, Executed time: 00:00:02.9356320 using AWB
n replaced: ) → ) (3), . → . (5) using AWB
Dòng 1:
Trong [[lý thuyết số]], '''định lý số nguyên tố''' ('''prime number theorem -''' '''PNT''' ) mô tả sự phân bố tiệm cận của các [[số nguyên tố]] giữa các số nguyên dương. Định lý này chuẩn hóa ý tưởng trực quan rằng các số nguyên tố trở nên ít phổ biến hơn khi chúng trở nên lớn hơn bằng cách định lượng chính xác tỷ lệ xuất hiện các số này. Định lý đã được [[Jacques Hadamard]] và [[Charles Jean de la Vallée Poussin]] chứng minh độc lập vào năm 1896 bằng cách sử dụng các ý tưởng của [[Bernhard Riemann]] (đặc biệt là [[hàm Riemann zeta]]).
 
Tỷ lệ phân phối đầu tiên như vậy được tìm thấy là {{Math|''π''(''N'') ~ {{sfrac|''N''|log(''N'')}}}}, trong đó {{Math|''π''(''N'')}} là [[hàm đếm số nguyên tố]] và {{Math|log(''N'')}} là [[logarit tự nhiên]] của {{Mvar|N}} Điều này có nghĩa là với {{Mvar|N}} đủ lớn, [[xác suất]] một số nguyên ngẫu nhiên không lớn hơn {{Mvar|N}} là số nguyên tố rất gần với {{Math|1/log(''N'')}} . Do đó, một số nguyên ngẫu nhiên có tối đa {{Math|2''n''}} chữ số (cho {{Mvar|n}} đủ lớn) có xác suất là số nguyên tố bằng 1/2 xác suất của một số nguyên ngẫu nhiên có nhiều nhất {{Mvar|n}} chữ số. Ví dụ: trong số các số nguyên dương có nhiều nhất 1000 chữ số, có khoảng một trong 2300 số là số nguyên tố ({{Math|log(10<sup>1000</sup>) ≈ 2302.6}} ), trong khi trong số các số nguyên dương có nhiều nhất 2000 chữ số, thì khoảng một trong 4600 số là số nguyên tố ({{Math|log(10<sup>2000</sup>) ≈ 4605.2}} ). Nói cách khác, khoảng cách trung bình giữa các số nguyên tố liên tiếp giữa các số nguyên {{Mvar|N}} đầu tiên là khoảng {{Math|log(''N'')}} .<ref>{{Chú thích sách|url=https://archive.org/details/manwholovedonlyn00hoff|title=The Man Who Loved Only Numbers|last=Hoffman|first=Paul|publisher=Hyperion Books|year=1998|isbn=978-0-7868-8406-3|location=New York|page=227|mr=1666054|url-access=registration}}</ref>
 
== Nội dung ==
[[Tập tin:Prime_number_theorem_ratio_convergence.svg|nhỏ|300x300px| Đồ thị hiển thị tỷ lệ của hàm đếm số nguyên tố {{Math|''π''(''x'')}} với hai giá trị gần đúng của nó, {{Math|''x'' / log ''x''}} và {{Math|Li(''x'')}} . Khi {{Mvar|x}} tăng (lưu ý trục {{Mvar|x}} là logarit), cả hai tỷ lệ đều hướng về 1. Tỷ lệ cho {{Math|''x'' / log ''x''}} ở hình bên trên hội tụ rất chậm, trong khi tỷ lệ cho {{Math|Li(''x'')}} hội tụ nhanh hơn (hình bên dưới).]]
[[Tập tin:Prime_number_theorem_absolute_error.svg|nhỏ|300x300px| Biểu đồ log-log hiển thị sai số tuyệt đối của {{Math|''x'' / log ''x''}} và {{Math|Li(''x'')}}, hai phép tính gần đúng với hàm đếm số nguyên tố {{Math|''π''(''x'')}} . Không giống như tỷ lệ, sự khác biệt giữa {{Math|''π''(''x'')}} và {{Math|''x'' / log ''x''}} tăng không bị chặn khi {{Mvar|x}} tăng. Mặt khác, giá trị của {{Math|Li(''x'') − ''π''(''x'')}} đảo dấu vô hạn nhiều lần.]]
Đặt {{Math|''π''(''x'')}} là [[hàm đếm số nguyên tố]] cho số lượng các số nguyên tố nhỏ hơn hoặc bằng {{Mvar|x}}, với bất kỳ số thực {{Mvar|x}} nào. Ví dụ: {{Math|''π''(10) {{=}} 4}} vì có bốn số nguyên tố (2, 3, 5 và 7) nhỏ hơn hoặc bằng 10. Định lý số nguyên tố sau đó nói rằng {{Math|''x'' / log ''x''}} là một xấp xỉ tốt với {{Math|''π''(''x'')}}, theo nghĩa là giới hạn của ''thương số'' giữa hai hàm {{Math|''π''(''x'')}} và {{Math|''x'' / log ''x''}} khi {{Mvar|x}} tăng vô hạn, bằng 1:
 
: <math>\lim_{x\to\infty}\frac{\;\pi(x)\;}{\;\left[ \frac{x}{\log(x)}\right]\;} = 1,</math>
 
được gọi là '''quy luật tiệm cận của việc phân phối số nguyên tố''' . Sử dụng [[Kí hiệu O lớn|ký hiệu tiệm cận]], kết quả này có thể được trình bày lại dưới dạng
 
: <math>\pi(x)\sim \frac{x}{\log x}.</math>