Sự học như con thuyền đi ngược dòng nước, không tiến ắt phải lùi
26/3/14

         Số pi (kí hiệu: \pi) là một hằng số toán học có giá trị bằng tỷ sốgiữa chu vi của một đường tròn với đường kính của đường tròn đó. Hằng số này có giá trị xấp xỉ bằng 3,14159. Nó được biểu diễn bằng chữ cái Hy Lạp π từ giữa thế kỉ 18. \pi là một số vô tỉ, nghĩa là nó không thể được biểu diễn chính xác dưới dạng tỉ số của hai số nguyên. Nói cách khác, nó là một số thập phân vô hạn không tuần hoàn. Hơn nữa, \pi còn là một số siêu việt - tức là nó không phải là nghiệm của bất kì đa thức hệ số hữu tỉ khác không nào. Tính siêu việt của \pi kéo theo sự vô nghiệm của bài toán cầu phương. Các con số trong biểu diễn thập phân của \pi dường như xuất hiện theo một thứ tự ngẫu nhiên, mặc dù người ta chưa tìm được bằng chứng nào cho tính ngẫu nhiên này.
Trong hàng ngàn năm, các nhà toán học đã nỗ lực mở rộng hiểu biết của con người về số \pi, đôi khi bằng việc tính ra giá trị của nó với độ chính xác ngày càng cao. Trước thế kỉ 15, các nhà toán học như Archimedes và Lưu Huy đã sử dụng các kĩ thuật hình học, dựa trên đa giác, để ước lượng giá trị của \pi. Bắt đầu từ thế kỉ 15, những thuật toán mới dựa trên chuỗi vô hạn đã cách mạng hóa việc tính toán số \pi, và được những nhà toán học như Madhava của SangamagramaIsaac Newton,Leonhard EulerCarl Friedrich Gauss, và Srinivasa Ramanujan sử dụng.
Trong thế kỉ 21, các nhà toán học và các nhà khoa học máy tính đã khám phá ra những cách tiếp cận mới - kết hợp với sức mạnh tính toán ngày càng cao - để mở rộng khả năng biểu diễn thập phân của số \pi tới 10 nghìn tỉ (1013) chữ số[1]. Các ứng dụng khoa học thông thường yêu cầu không quá 40 chữ số của \pi, do đó động lực của những tính toán này chủ yếu là tham vọng của con người muốn đạt tới những kỉ lục mới, nhưng những tính toán đó cũng được sử dụng để kiểm tra các siêu máy tính và các thuật toán tính nhân với độ chính xác cao.
Do định nghĩa của \pi liên hệ với đường tròn, ta có thể tìm thấy nó trong nhiều công thức lượng giác và hình học, đặc biệt là những công thức liên quan tới đường tròn, đường elip, hoặc hình cầu. Nó cũng xuất hiện trong các công thức của các ngành khoa học khác, như vũ trụ họclý thuyết sốthống kêphân dạngnhiệt động lực họccơ học và điện từ học. Sự có mặt rộng khắp của số \pi khiến nó trở thành một trong những hằng số toán học được biết đến nhiều nhất, cả bên trong lẫn bên ngoài giới khoa học: một số sách viết riêng về số \pi đã được xuất bản; có cả Ngày số pi; và báo chí thường đặt những tin về kỉ lục tính toán chữ số mới của \pi trên trang nhất. Một số người còn cố gắng ghi nhớ giá trị của \pi với độ chính xác ngày càng tăng, đạt tới kỉ lục trên 67.000 chữ số.


Định nghĩa

Chu vi của một đường tròn lớn hơn khoảng 3 lần so với đường kình. Giá trị chính xác gọi là số \pi.
\pi thông thường được định nghĩa là tỉ số giữa chu vi của đường tròn C với đường kính của nó d[2]:
 \pi = \frac{C}{d}
Tỉ số C/d là hằng số, bất kể kích thước của đường tròn. Ví dụ, nếu một đường tròn có đường kính gấp đôi đường kính của một đường tròn khác thì nó cũng có chu vi lớn gấp đôi, bảo toàn tỉ số C/d. Định nghĩa này về \pi không phổ quát, bởi vì nó chỉ đúng trong hình học Euclid (phẳng) và không đúng trong hình học phi Euclid (cong)[2]. Vì lí do này, một số nhà toán học ưa dùng những định nghĩa khác về \pi dựa trên vi tích phân hoặc lượng giác vốn không phụ thuộc vào đường tròn. Một định nghĩa như thế là: \pi bằng hai lần số x dương, nhỏ nhất mà với nó cos(x)bằng 0[2][3].

Tên gọi

Leonhard Euler đã phổ biến cách dùng chữ cái Hy Lạp \pi trong một tác phẩm xuất bản năm 1748.
Kí hiệu được các nhà toán học sử dụng để biểu diễn tỉ số giữa chu vi của một đường tròn và đường kính của nó là chữ cái Hy Lạp \pi. Chữ cái này được biểu diễn bằng từ Latin pi[4]. Không được nhầm lẫn kí tự in thường \pi (hoặc dưới dạng chữ không có nét chân chữ π) với kí tự in hoa Π (Π trong toán học dùng để biểu diễn một tích dãy số hay dãy hàm).
Nhà toán học đầu tiên dùng \pi với định nghĩa như trên là William Jones, trong cuốn "Synopsis Palmariorum Matheseos" (tạm dịch, Nhập môn Toán học mới) năm 1706[5]. Cụ thể, ký tự \pi lần đầu tiên xuất hiện trong cụm từ "1/2 Periphery (\pi)" trong đoạn bàn về một đường tròn với bán kính bằng 1. Có thể ông đã chọn \pi bởi vì nó là chữ cái đầu tiên trong cách kí âm tiếng Hy lạp περιφέρεια của từ periphery(nghĩa là viền ngoài, cũng tức là chu vi)[6]. Jones viết rằng các phương trình của \piđược lấy từ "bản viết có sẵn của John Machin thiên tài", dẫn đến phỏng đoán rằngMachin có lẽ đã sử dụng kí tự Hy Lạp này trước Jones, tuy nhiên không có bằng chứng trực tiếp về điều này[7]. Ngoài ra, kí tự \pi đã xuất hiện trước đó trong các kí hiệu hình học; chẳng hạn, vào năm 1631 William Oughtred đã dùng nó để biểu diễn nửa chu vi của hình tròn[7].
Sau khi Jones giới thiệu kí hiệu này năm 1706, nó đã không được các nhà toán học khác chấp nhận; thay vào đó họ thường dùng chữ cái c hoặc p[7]. Điều này thay đổi khi Euler bắt đầu dùng nó năm 1736. Vì Euler thường xuyên trao đổi thư từ với những nhà toán học khác trên toàn châu Âu, việc sử dụng kí tự Hy Lạp này lan rộng nhanh chóng[7]. Năm 1748, Euler sử dụng \pi trong cuốn sách rất phổ biến của ông, Introductio in analysin infinitorum(Dẫn nhập Giải tích vô hạn), trong đó ông viết: "để cho ngắn gọn chúng ta sẽ viết số này là \pi; nghĩa là, \pi bằng một nửa chu vi của đường tròn bán kính bằng 1".[8] Cách kí hiệu này kể từ đó được chấp nhận rộng rãi ở phương Tây[7].

Tính chất

\pi là một số vô tỉ, có nghĩa là nó không thể được biểu diễn dưới dạng tỉ số của hai số nguyên, như 22/7 hay các phân số khác thường được dùng để xấp xỉ \pi[9]. Vì \pi là số vô tỉ, biểu diễn thập phân của nó có số chữ số vô hạn, và nó không kết thúc ở dạng lặp lại vô hạn (vô hạn tuần hoàn) các chữ số. Có nhiều cách để chứng minh \pi là số vô tỉ; phương pháp thường dùng là sử dụng phép vi tích phân và phương pháp chứng minh bằng phản chứng. Mức độ xấp xỉ hóa \pi bằng số hữu tỉ (gọi là độ vô tỉ, hay hằng số Liouville-Roth) vẫn chưa được xác định chính xác; người ta ước lượng rằng độ vô tỉ của \pi lớn hơn e hoặc ln(2), nhưng nhỏ hơn số Liouville.[10].
Bởi \pi là một số siêu việt, bài toán cầu phương hình tròn không thể giải được với số bước làm hữu hạn bằng những công cụ cổ điển là thước kẻ và compa].
\pi là một số siêu việt, tức là nó không phải là nghiệm của bất cứ phương trình đại số với hệ số hữu tỉ nào, như \scriptstyle \frac{x^5}{120}\,-\,\frac{x^3}{6}\,+\,x\,=\,0[11]. Tính chất siêu việt của \pi có hai hệ quả quan trọng: thứ nhất, \pi không thể được biểu diễn bằng tổ hợp các số hữu tỉ và căn bậc n như \scriptstyle \sqrt[3]{31} hay \scriptstyle \sqrt[2]{10}[10]. Thứ hai, vì không có số siêu việt nào có thể được xác định bằng phép dựng hình bằng thước kẻ và compa, nên không thể giải bài toán "cầu phương hình tròn". Nói cách khác, nếu chỉ sử dụng compa và thước kẻ thì không thể xây dựng một hình vuông mà diện tích của nó bằng diện tích của một hình tròn cho trước[12]. Cầu phương hình tròn là một trong những bài toán hình học quan trọng trong thời cổ đại[13]. Một số nhà toán học nghiệp dư thời hiện đại có lúc tuyên bố họ thành công dù điều này là không thể[14].
Các chữ số của \pi không có một quy luật rõ ràng nào và vượt qua những kiểm thử về tính ngẫu nhiên thống kê, trong đó có kiểm thử tính chuẩn tắc; một số vô hạn được gọi là 'chuẩn tắc' khi mọi dãy số khả dĩ (với độ dài bất kì) có tần suất xuất hiện là như nhau[15]. Người ta vẫn chưa thể khẳng định hoặc bác bỏ giả thuyết rằng \pi là 'chuẩn tắc'[15]. Kể từ khi máy vi tính ra đời, người ta đã tính được số \pivới số lượng chữ số lớn, đủ để thực hiện các phân tích thống kê. Yasumasa Kanada đã thực hiện các phân tích thống kê chi tiết về các chữ số thập phân của \pi, và thấy rằng chúng phù hợp với tính chuẩn tắc; chẳng hạn, tần suất xuất hiện các chữ số từ 0 tới 9 được sử dụng để kiểm tra ý nghĩa thống kê, và không tìm thấy bằng chứng về một hình mẫu nào[16]. Bất chấp việc các chữ số của \pi đã vượt qua các bài kiểm tra về tính ngẫu nhiên, \pi dường như vẫn chứa những dãy số có vẻ có quy luật đối với những người không phải nhà toán học, như điểm Feynman, là một dãy sáu chữ số 9 liên tiếp bắt đầu từ vị trí thứ 762 trong biểu diễn thập phân của \pi[17].

Phân số liên tục

Hằng số \pi được biểu diễn trong bức tranh khảm bên ngoài tòa nhà khoa Toán ởĐại học Công nghệ Berlin.
Giống như tất cả các số vô tỉ khác, \pi không thể được biểu diễn bằng một phân số thường; nhưng mặt khác, mọi số vô tỉ, bao gồm cả \pi, có thể được biểu diễn bởi một chuỗi vô hạn những phân số lồng vào nhau, được gọi là phân số liên tục:

\pi=3+\textstyle \frac{1}{7+\textstyle \frac{1}{15+\textstyle \frac{1}{1+\textstyle \frac{1}{292+\textstyle \frac{1}{1+\textstyle \frac{1}{1+\textstyle \frac{1}{1+\ddots}}}}}}}
Chặt cụt phân số liên tục này ở bất kì điểm nào sẽ tạo nên một phân số xấp xỉ với \pi; hai phân số như vậy (22/7 và 355/113) từng được sử dụng trong lịch sử để tính gần đúng hằng số này. Các số gần đúng được sinh ra theo cách này là được gọi là 'xấp xỉ hữu tỉ tốt nhất'; nghĩa là, chúng gần với \pi hơn bất kì phân số nào khác có mẫu số bằng hoặc nhỏ hơn[18]. Mặc dầu phân số liên tục đơn giản cho \pi (ở trên) không thể hiện một nguyên tắc nào[19], các nhà toán học đã khám phá ra vài phân số liên tục tổng quát (tổng quát hóa phân số liên tục thường trong dạng chính tắc) có quy luật, chẳng hạn[20]:
\pi=\textstyle \cfrac{4}{1+\textstyle \frac{1^2}{2+\textstyle \frac{3^2}{2+\textstyle \frac{5^2}{2+\textstyle \frac{7^2}{2+\textstyle \frac{9^2}{2+\ddots}}}}}}

=3+\textstyle \frac{1^2}{6+\textstyle \frac{3^2}{6+\textstyle \frac{5^2}{6+\textstyle \frac{7^2}{6+\textstyle \frac{9^2}{6+\ddots}}}}}

=\textstyle \cfrac{4}{1+\textstyle \frac{1^2}{3+\textstyle \frac{2^2}{5+\textstyle \frac{3^2}{7+\textstyle \frac{4^2}{9+\ddots}}}}}

Giá trị gần đúng

Một số giá trị gần đúng của \pi bao gồm:
  • Dạng phân số: Các giá trị xấp xỉ bao gồm (theo thứ tự độ chính xác tăng dần) 2273331063551135216316604, và 10399333102[18].
  • Dạng thập phân: 100 chữ số thập phân đầu của \pi là 3,14159 26535 89793 23846 26433 83279 50288 41971 69399 37510 58209 74944 59230 78164 06286 20899 86280 34825 34211 70679....[21]

Lịch sử

Thời Cổ đại

Kim tự tháp Kheops ở Giza (xây dựng vào khoảng thời gian 2589-2566 tr.CN) được thiết kế với chu vi khoảng 1760 cubit (1 cubit bằng khoảng 0.5 mét) và chiều cao khoảng 280 cubit. Dựa vào tỉ lệ 1760/280 ≈ 6.2857, xấp xỉ bằng 2\pi ≈ 6.2832, một số nhà Ai Cập học kết luận rằng những nhà xây dựng kim tự tháp đã biết đến số \pi và chủ ý thiết kế kim tự tháp theo tỉ lệ đường tròn[23]. Tuy nhiên nhiều người không đồng tình với ý kiến này và khẳng định mối quan hệ với số \pi đơn thuần là một sự trùng hợp, bởi không có bằng chứng cho thấy những người xây dựng kim tự tháp đã biết đến số \pi, và kích thước của kim tự tháp còn dựa trên nhiều yếu tố khác[24].
Những ước lượng sớm nhất về \pi được tìm thấy ở Ai Cập và Babylon có niên đại từ thiên niên kỉ thứ 2 trước Công nguyên, với sai số tương đối cùng vào cỡ 1 phần trăm. Ở Babylon, một tấm đất sét có niên đại khoảng 1900-1600 tr.CN đã ghi lại một phát biểu hình học, trong đó ám chỉ ước lượng số \pi bằng 25/8 = 3,1250[25]. Ở Ai Cập, cuộn giấy Rhind, có niên đại khoảng 1650 tr.CN, bản sao của một văn bản có từ khoảng 1850 tr.CN, có ghi một công thức tính diện tích hình tròn, trong đó gán cho giá trị của \pi bằng (16/9)2 ≈ 3,1605[25].
Ở Ấn Độ vào khoảng 600 năm trước Công nguyên, bộ Kinh Shulba (viết bằng tiếng Phạn với nhiều nội dung toán học) đã cho số \pi bằng (9785/5568)2 ≈ 3,088.[26]. Vào năm 150 tr.CN hoặc sớm hơn, có tài liệu của Ấn Độ đánh giá \pi bằng \scriptstyle \sqrt{10} ≈ 3,1622[27].
Hai bài thơ trong Kinh thánh Hebrew (được viết giữa thế kỉ 8 và thế kỉ 3 tr.CN) mô tả một hồ nước dùng trong nghi lễ tại Đền Solomon có đường kính 10 cubit và chu vi 30 cubit, bài thơ ngụ ý rằng \pi bằng 3 nếu hồ có hình tròn[28][29]. Học giả người Do Thái Rabbi Nehemiah giải thích sự sai khác nằm ở độ dày của hồ. Công trình về hình học của ông, Mishnat ha-Middot, viết vào khoảng năm 150 CN và coi \pi bằng 21/7[30].

Thời kì của phép xấp xỉ đa giác

\pi có thể ước lượng bằng cách tính chu vi của các đa giác nội tiếp và ngoại tiếp đường tròn.
Thuật toán chặt chẽ đầu tiên được ghi chép để tính giá trị của \pi là một cách tiếp cận hình học sử dụng đa giác, được phát minh vào khoảng năm 250 tr. CN bởi nhà toán học người Hy Lạp Archimedes[31]. Thuật toán đa giác của Archimedes thống trị suốt hơn 1000 năm, khiến cho \pi đôi khi được gọi là "hằng số Archimedes"[32]. Archimedes đã tính toán các giới hạn trên và dưới của \pi bằng cách vẽ haiđa giác đều có cùng số cạnh, một nội tiếp và một ngoại tiếp với cùng một hình tròn, sau đó từ từ tăng số cạnh lên gấp đôi cho đến khi đạt đến đa giác đều 96 cạnh. Bằng cách tính chu vi của các đa giác này, ông chứng minh rằng 223/71 < \pi < 22/7 (3,1408 < \pi < 3,1429). Có thể chính cận trên 22/7 của phép tính đã dẫn đến việc nhiều người cho rằng \pi bằng 22/7[33]. Khoảng năm 150 CN, nhà khoa học Hy Lạp-La MãPtolemaeus, trong bộ Almagest của mình, đã đưa ra giá trị \pi bằng 3,1416, có lẽ là lấy lại kết quả tính toán của Archimedes hoặc của Apollonius xứ Pergaeus[34]. Các nhà toán học, bằng cách sử dụng thuật toán đa giác, đã tính được tới chữ số thứ 39 của \pi vào năm 1630, một kỉ lục mà đến năm 1699 mới được phá vỡ khi chữ số thứ 71 được tính ra bằng phương pháp chuỗi vô hạn[35].
Archimedes đã phát triển cách tiếp cận đa giác để tính toán số \pi.
Ở Trung Hoa cổ đại, các giá trị của \pi bao gồm 3,1547 (khoảng năm thứ nhất sau Công nguyên), \scriptstyle \sqrt{10} (100 sau Công nguyên, xấp xỉ 3,1623) và 142/45 (thế kỉ thứ 3, xấp xỉ 3,1556)[36]. Vào khoảng năm 265, nhà toán học triều Tào Ngụy tên là Lưu Huy đã phát minh ra thuật toán lặp dựa trên đa giác (thuật toán \pi Lưu Huy) và sử dụng nó với một đa giác 3072 cạnh để thu được giá trị của \pi bằng 3,1416[37][38]. Cũng chính Lưu Huy sau đó đã phát triển một phương pháp nhanh hơn để tính \pivà thu được giá trị 3,14 với một đa giác 96 cạnh, bằng cách lợi dụng tính chất là hiệu diện tích các đa giác liên tiếp tạo nên một dãy cấp số nhân với hệ số 4[37]. Vào khoảng năm 480, một nhà toán học Trung Quốc khác là Tổ Xung Chi đã tính toán ra \pi ≈ 355/113, sử dụng thuật toán Lưu Huy cho đa giác 12.288 cạnh. Với giá trị chính xác ở bảy chữ số thập phân đầu tiên, giá trị 3,141592920... là giá trị gần đúng chính xác nhất của \pi mà con người tính được trong suốt hơn 800 năm sau đó[39].
Trong khi đó, nhà thiên văn người Ấn Độ Aryabhata sử dụng giá trị 3,1416 trong sách Āryabhaṭīya của ông (499 sau Công nguyên)[40]Fibonacci vào khoảng năm 1220 đã tính ra giá trị 3,1418 bằng một phương pháp đa giác khác với phương pháp của Archimedes[41]. Văn hào người Ý Dante dường như đã sử dụng giá trị của \pi là \scriptstyle 3+\sqrt{2}/10 ≈ 3,14142[41].
Nhà thiên văn Ba Tư Jamshīd al-Kāshī đã tìm ra 16 chữ số vào năm 1424 bằng cách sử dụng đa giác có 3×228 cạnh[42][43], xác lập một kỉ lục thế giới mới tồn tại được khoảng 180 năm[44]. Nhà toán học Pháp François Viète vào năm 1579 tính được 9 chữ số bằng một đa giác 3×217 cạnh[44]. Nhà toán học xứ Flanders Adriaan van Roomen đạt tới chữ số 15 vào năm 1593[44]. Năm 1596, nhà toán học người Hà Lan Ludolph van Ceulen đạt tới 20 chữ số, một kỉ lục được chính ông về sau nới rộng lên thành 35 chữ số (kết quả số \pi được gọi là "số Ludolph" trong tiếng Đức cho tới tận đầu thế kỉ 20)[45]. Khoa học gia người Hà Lan Willebrord Snellius đạt tới 34 chữ số vào năm 1621[46] và nhà thiên văn học người Áo Christoph Grienberger đạt tới 39 chữ số vào năm 1630[47], đến nay vẫn là kết quả chính xác nhất được tính thủ công bằng thuật toán sử dụng đa giác.

Các chuỗi số vô hạn

Việc tính toán số \pi được cách mạng hóa bởi sự phát triển kĩ thuật chuỗi số vô hạn trong các thế kỉ 16 và 17. Một chuỗi vô hạn là một tổng các số hạng của một dãy vô hạn[48]. Chuỗi vô hạn cho phép các nhà toán học tính toán \pi với độ chính xác lớn hơn nhiều độ chính xác đạt được từ phương pháp của Archimedes và các kĩ thuật hình học khác[48]. Mặc dù chuỗi vô hạn được sử dụng cho số \pi nổi tiếng nhất bởi các nhà toán học châu Âu như James Gregory và Gottfried Leibniz, cách tiếp cận này được khám phá lần đầu tiên ở Ấn Độ vào giữa những năm 1400 và 1500 CN[49]. Bản ghi chép đầu tiên mô tả một chuỗi vô hạn có thể tính toán số \pi nằm trong một bài thơ tiếng Phạn của nhà thiên văn Ấn Độ Nilakantha Somayaji trong tậpTantrasamgraha của ông, ra đời khoảng năm 1500[50]. Trong tập sách, chuỗi này được chép lại mà không có chứng minh, nhưng phép chứng minh đã được trình bày trong một công trình Ấn Độ sau đó, Yuktibhāṣā, do Jyesthadeva biên soạn vào khoảng năm 1530. Nilakantha quy chuỗi này là phát hiện của một nhà toán học Ấn Độ trước đó, Madhava của Sangamagrama, người sống trong khoảng những năm 1350-1425[50]. Một số chuỗi vô hạn được mô tả, bao gồm các chuỗi sin, tang, và cosin, ngày nay được biết dưới tên chuỗi Madhava hay chuỗi Gregory-Leibniz[50]. Madhava đã sử dụng những chuỗi vô hạn để đánh giá \pi tới 11 chữ số vào khoảng năm 1400, nhưng kỉ lục này đã bị đánh bại bởi một thuật toán toán đa giác của Jamshīd al-Kāshī năm 1430[51].
Isaac Newton đã sử dụng chuỗi vô hạnđể tính toán \pi tới 15 chữ số, về sau viết trong một lá thư rằng "Tôi lấy làm hổ thẹn để kể với anh bao nhiêu con số tôi đã thực hiện cho những tinh toán này"[52].
Dãy số vô hạn đầu tiên được khám phá ở châu Âu là một tích vô hạn (thay vì mộttổng vô hạn, vốn phổ biến hơn trong phép tính số \pi) được tìm thấy bởi nhà toán học Pháp François Viète năm 1593[53]:
\frac2\pi = \frac{\sqrt2}2 \times \frac{\sqrt{2+\sqrt2}}2 \times \frac{\sqrt{2+\sqrt{2+\sqrt2}}}2 \times \cdots
Dãy số vô hạn thứ hai ở châu Âu của John Wallis (1655) cũng là một tích vô hạn nữa[53]. Khám phá ra phép vi tích phân, bởi nhà khoa học Anh Isaac Newton và nhà toán học Đức Leibniz vào thập niên 1660 đã dẫn tới sự phát triển nhiều chuỗi vô hạn để đánh giá \pi. Chính Newton cũng dùng một chuỗi arcsin để tính ra một xấp xỉ 15 chữ số cho số \pi vào khoảng năm 1665 hoặc 1666, và về sau này viết rằng "Tôi lấy làm hổ thẹn để kể với anh bao nhiêu con số tôi đã thực hiện cho những tinh toán này, chẳng có việc gì hơn để làm vào lúc đó cả"[52].
Ở châu Âu, công thức Madhava được khám phá lại bởi nhà toán học ScotlandJames Gregory năm 1671, và bởi Leibniz năm 1674[54][55]:

\arctan z = z - \frac {z^3} {3} +\frac {z^5} {5} -\frac {z^7} {7} +\cdots
Công thức này, tức chuỗi Gregory-Leibniz, tương đương \scriptstyle \pi/4 khi đánh giá vớiz = 1[55]. Năm 1699, nhà toán học Anh Abraham Sharp sử dụng chuỗi Gregory-Leibniz để tính \pi tới 71 chữ số, phá vỡ kỉ lục trước đó với 39 chữ số xác lập bởi một thuật toán đa giác[56]. Chuỗi Gregory-Leibniz đơn giản, nhưng nó hội tụ rất chậm (có nghĩa là, tiệm cận với giá trị chính xác một cách từ từ qua từng số hạng), do đó người ta không dùng nó trong các phép tính toán số \pi hiện đại[57].
Năm 1706 John Machin sử dụng chuỗi Gregory-Leibniz để tạo nên một thuật toán hội tụ nhanh hơn nhiều[58]:
 \frac{\pi}{4} = 4 \, \arctan \frac{1}{5} - \arctan \frac{1}{239}
Machin đã đạt tới 100 chữ số của \pi với công thức này[59]. Các nhà toán học khác tạo nên những biến thể của nó, ngày nay được biết dưới tên "các công thức kiểu Machin", được dùng để thiết lập một số kỉ lục tiếp theo cho số chữ số của \pi[59]. Các công thức kiểu Machin duy trì là phương pháp được biết đến nhiều nhất để tính toán \pi khi tiến tới ngưỡng cửa kỉ nguyên máy tính, và chúng đã tạo nên các kỉ lục trong 250 năm, lên đến đỉnh điểm vào một phép gần đúng 620 chữ số năm 1946 bởiDaniel Ferguson - đây chính là kết quả cao nhất mà con người từng đạt được mà không có sự giúp đỡ của một thiết bị tính toán nào[60].
Một kỉ lục đáng chú ý được thiết lập bởi thiên tài tính toán Zacharias Dase vào năm 1844 khi ông 20 tuổi. Ông đã sử dụng một công thức kiểu Machin để tính toán 200 chữ số của \pi trong đầu dưới sự chỉ đạo của nhà toán học Đức Carl Friedrich Gauss[61]. Nhà toán học Anh William Shanks nổi tiếng vì dành 15 năm để tính toán \pi tới 707 chữ số (hoàn thành năm 1873), nhưng về sau người ta tìm thấy một lỗi sai ở chữ số thứ 528, kéo tất cả những số đằng sau sai theo[61].

Tốc độ hội tụ

Một số chuỗi vô hạn cho \pi hội tụ nhanh hơn những chuỗi khác. Cho trước hai chuỗi vô hạn cho \pi, các nhà toán học thông thường sử dụng chuỗi hội tụ nhanh hơn bởi như thế đồng nghĩa với việc giảm được số lượng phép tính cho bất kì độ chính xác yêu cầu nào[62]. Một chuỗi vô hạn cho \pi là chuỗi Gregory-Leibniz: [63]
 \pi = \frac{4}{1} - \frac{4}{3} + \frac{4}{5} - \frac{4}{7} + \frac{4}{9} - \frac{4}{11} + \frac{4}{13} - \cdots
Khi các số hạng riêng lẻ của chuỗi vô hạn này được cộng thêm vào tổng, tổng số tiến gần hơn dần dần tới \pi, và - với một số lượng số hạng đủ - nó sẽ tiến đến \pi gần như mong muốn. Nó hội tụ khá chậm, sau 500 000 số hạng, nó chỉ sinh ra 5 chữ số chính xác của \pi[64].
Một chuỗi vô hạn cho \pi được công bố bởi Nilakantha vào thế kỉ 15 hội tụ nhanh hơn nhiều chuỗi Gregory-Leibniz[65]:
 \pi = 3 + \frac{4}{2\times3\times4} - \frac{4}{4\times5\times6} + \frac{4}{6\times7\times8} - \frac{4}{8\times9\times10} + \cdots
Bảng sau so sánh tốc độ hội tụ của hai chuỗi này:
Chuỗi vô hạn cho \piSau số hạng thứ nhấtSau số hạng thứ 3Sau số hạng thứ 3Sau số hạng thứ 4Sau số hạng thứ 5Hội tụ tới:
\scriptstyle \pi = \frac{4}{1} - \frac{4}{3} + \frac{4}{5} - \frac{4}{7} + \frac{4}{9} - \frac{4}{11} + \frac{4}{13} \cdots.4,00002,6666...3,4666...2,8952...3,3396...\pi = 3,1415...
\scriptstyle \pi = {{3}} + \frac{{4}}{2\times3\times4} - \frac{{4}}{4\times5\times6} + \frac{{4}}{6\times7\times8} \cdots. 3,00003,1666...3,1333...3,1452...3,1396...
Sau 5 số hạng, tổng của chuỗi Gregory-Leibniz nằm trong sai số tuyệt đối cỡ 0,2 của \pi, trong khi tổng của chuỗi Nilakantha sai số chỉ cỡ 0,002. Như vậy chuỗi Nilakantha hội tụ nhanh hơn và hữu dụng hơn trong việc tính toán số \pi. Những chuỗi thậm chí hội tụ còn nhanh hơn bao gồm các chuỗi kiểu Machin và chuỗi Chudnovsky, trong đó chuỗi Chudnovsky tạo ra 14 chữ số thập phân đúng cho mỗi số hạng thêm vào[62].

Tính vô tỉ và tính siêu việt

Không phải tất cả các tiến bộ toán học liên quan tới \pi đều nhằm vào việc tăng độ chính xác của phép xấp xỉ. Khi Euler giảiBài toán Basel vào năm 1735, tìm ra giá trị chính xác của tổng các căn bậc hai, ông đã thiết lập một mối liên hệ giữa \pi và cácsố nguyên tố mà về sau góp phần vào sự phát triển và nghiên cứu hàm Riemann zeta[66]:
 \frac{\pi^2}{6} = \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \frac{1}{4^2} + \cdots
Nhà khoa học Thụy Sĩ Johann Heinrich Lambert vào năm 1761 chứng minh rằng \pi là số vô tỉ, có nghĩa nó không bằng tỉ số của bất kì hai số hữu tỉ nào[9]. Phép chứng minh của Lambert khai thác một biểu diễn phân số liên tục của hàm tang[67]. Nhà toán học Pháp Adrien-Marie Legendre vào năm 1794 chứng tỏ rằng \pi2 cũng là số vô tỉ. Năm 1882, nhà toán học ĐứcFerdinand von Lindemann chứng tỏ rằng \pi là số siêu việt, xác nhận một phỏng đoán được cả Legendre và Euler đưa ra trước đó[68]

Kỉ nguyên máy tính và các thuật toán lặp

John von Neumann tham gia vào nhóm nghiên cứu đầu tiên sử dụng một máy tính số, ENIAC, để tính toán số \pi.
Sự phát triển của máy tính vào giữa thế kỉ 20 một lần nữa đã cách mạng hóa cuộc săn lùng những chữ số của \pi. Các nhà toán học Hoa Kỳ là John Wrench và Levi Smith đã đạt tới 1120 chữ số vào năm 1949 với một máy tính bàn[69]. Sử dụng một chuỗi vô hạn arctang, một nhóm đứng đầu bởi George Reitwiesner và John von Neumann đã đạt được 2037 chữ số với một phép tính đòi hỏi 70 giờ làm việc của máy tính ENIAC[70]. Kỉ lục, luôn dựa vào các chuỗi arctang, liên tục bị phá vỡ sau đó (7 480 chữ số năm 1957, 10 000 chữ số năm 1958, 100 000 năm 1961) cho đến khi 1 triệu chữ số đạt được vào năm 1973[71].
Hai tiến bộ khác khoảng năm 1980 một lần nữa tăng tốc khả năng tính toán số \pi. Thứ nhất, khám phá ra các thuật toán lặp để tính \pi nhanh hơn nhiều các chuỗi vô hạn; và thứ hai, sự phát minh ra thuật toán nhân nhanh cho phép nhân những số lớn một cách nhanh chóng[72]. Những thuật toán như vậy là đặc biệt quan trọng trong việc tính toán số \pi thời hiện đại, bởi hầu hết thời gian vận hành máy tính là dành cho các phép nhân[73]. Chúng bao gồm thuật toán Karatsubaphép nhân Toom-Cook, và các phương pháp dựa trên biến đổi Fourier[74].
Thuật toán lặp Gauss-Legendre:
Khởi tạo
\scriptstyle a_0 = 1 \quad b_0 = \frac{1}{\sqrt 2} \quad t_0 = \frac{1}{4} \quad p_0 = 1
Lặp
\scriptstyle a_{n+1} = \frac{a_n+b_n}{2} \quad \quad b_{n+1} = \sqrt{a_n b_n}
\scriptstyle t_{n+1} = t_n - p_n (a_n-a_{n+1})^2 \quad \quad p_{n+1} = 2 p_n
Sau đó một phép ước lượng \pi được tính từ
\scriptstyle \pi \approx \frac{(a_n + b_n)^2}{4 t_n}
Các thuật toán lặp được công bố một cách độc lập trong năm 1975-1976 bởi nhà vật lý Hoa Kỳ Eugene Salamin và nhà khoa học Australia Richard Brent[75]. Các thuật toán này chấm dứt sự phụ thuộc vào các chuỗi vô hạn. Một thuật toán lặp (iterative algorithm) lặp lại một phép tính đặc trưng, mỗi lần lặp lại sử dụng đầu ra từ bước lặp trước làm đầu vào của nó, và sinh ra một kết quả trong mỗi bước hội tụ về giá trị mong muốn. Cách tiếp cận này thực ra đã được khám 160 năm trước đó bởi Carl Friedrich Gauss, trong một phương pháp mà ngày nay gọi là phương pháp AGM (arithmetic-geometric mean method, phương pháp trung bình hình học-đại số) haythuật toán Gauss-Legendre[75]. Vì được sửa đổi bởi Salamin và Brent, nó cũng còn được gọi là thuật toán Brent-Salamin.
Các thuật toán lặp được sử dụng rộng rãi sau 1980 bởi nó nhanh hơn các thuật toán chuỗi vô hạn: trong khi các chuỗi vô hạn thường tăng số chữ số chính xác dần dần một cách cộng thêm, các thuật toán lặp lại thường "nhân" số chữ số chính xác ở mỗi bước. Ví dụ, thuật toán Brent-Salamin nhân đôi số chữ số trong mỗi lần lặp. Năm 1984, hai anh em người Canada Johnvà Peter Borwein tạo nên một thuật toán lặp nhân bốn lần số chữ số trong mỗi bước; và năm 1987, một thuật toán nhân năm lần mỗi bước[76]. Các phương pháp lặp được sử dụng bởi nhà toán học Nhật Bản Yasumasa Kanada để lập lên một số kỉ lục giữa 1995 và 2002[77]. Sự hội tụ nhanh có được kèm theo một cái giá: các thuật toán lặp đòi hỏi bộ nhớ nhiều hơn đáng kể so với các chuỗi vô hạn[77].

Động lực tính toán số \pi[sửa | sửa mã nguồn]

Khi các nhà toán học khám phá ra những thuật toán mới, và máy tính trở nên sẵn dùng, số các chữ số được biết về \pi tăng nhanh chóng.
Đối với hầu hết các tính toán số liên quan tới \pi, một ít chữ số thôi đã cung cấp độ chính xác cần thiết. Chẳng hạn, theo Jörg Arndt và Christoph Haenel, 39 chữ số là đủ thể thực hiện các tính toánvũ trụ học, bởi đây là độ chính xác cần thiết để tính thể tích vũ trụ hiện biết với độ chính xác cỡ một nguyên tử[78]. Bất chấp điều này, nhiều người đã làm việc rất vất vả để tính toán \pi tới hàng nghìn, hàng triệu và nhiều hơn thế các chữ số[79]. Nỗ lực này một phần có thể quy cho sự thúc ép con người phá vỡ các kỉ lục, và những thành tích như thế với \pi thường xuất hiện trên trang nhất báo chí trên khắp thế giới[80][81]. Chúng cũng có những lợi ích thực tiễn, như là kiểm tra các siêu máy tính, kiểm tra các thuật toán giải tích số (bao gồm các thuật toán nhân chính xác cao); và trong địa hạt toán học thuần túy, chúng cung cấp dữ liệu để đánh giá tính ngẫu nhiên các chữ số của \pi[82].

Các chuỗi hội tụ nhanh

Srinivasa Ramanujan, làm việc một mình ở Ấn Độ, đã tạo nên nhiều chuỗi số mới để tính số \pi.
Các máy tính số \pi hiện đại không chỉ sử dụng duy nhất thuật toán lặp. Các chuỗi vô hạn mới được phát hiện vào những thập niên 1980 và 1990 cũng hội tụ nhanh không kém các thuật toán lặp, nhưng đơn giản hơn và tốn ít bộ nhớ hơn[77]. Chúng đã manh nha xuất hiện vào năm 1914, khi nhà toán học Ấn Độ Srinivasa Ramanujan công bố hàng chục công thức mới cho số \pi, chúng đáng nhớ do tính tao nhã, chiều sâu toán học và sự hội tụ nhanh[83]. Một trong các công thức của ông, dựa trên các phương trình module:
\frac{1}{\pi} = \frac{2 \sqrt 2}{9801} \sum_{k=0}^\infty \frac{(4k)!(1103+26390k)}{(k!)^4 396^{4k}}
Chuỗi này hội tụ nhanh hơn rất nhiều hầu hết mọi chuỗi arctang, bao gồm cả công thức Machin[84]Bill Gosper là người đầu tiên sử dụng nó để tạo nên những tiến bộ trong tính toán \pi, lập nên kỉ lục 17 triệu chữ số vào năm 1985[85]. Các công thức của Ramanujan báo trước các thuật toán hiện đại phát triển bởi anh em nhà Borwein và anh em nhà Chudnovsky[86]Thuật toán Chudnovsky được phát triển vào năm 1987 là:
 \frac{1}{\pi} = 12 \sum^\infty_{k=0} \frac{(-1)^k (6k)! (13591409 + 545140134k)}{(3k)!(k!)^3 640320^{3k + 3/2}}.\!
Nó sinh ra khoảng 14 chữ số của \pi mỗi số hạng[87], và đã được dùng cho một vài phép tính lập kỉ lục về \pi, trong đó có kỉ lục vượt một tỉ chữ số năm 1989 bởi anh em nhà Chudnovsky. Vào ngày 31 tháng 9 năm 2012[88] Fabrice Bellard đã lập kỉ lục khi sử dụng công thức Chudnovsky để tính chữ số thứ 2,7 nghìn tỉ của số Pi[89]trước khi bị Shigeru Kondo vượt mặt khi tính ra chữ số thứ 5 nghìn tỉ vào năm 2010[90] và sau đó là chữ số thứ 10 nghìn tỉ của Pi vào năm 2011.[91]
Năm 2006, nhà toán học Canada Simon Plouffe đã sử dụng "thuật toán hệ thức nguyên PSLQ" (PSLQ: Partial Sum of Least Squares - tổng riêng phần của các bình bương cực tiểu) để tạo ra một vài công thức mới cho \pi, tuân theo mẫu sau:
\pi^k = \sum_{n=1}^\infty \frac{1}{n^k} \left(\frac{a}{q^n-1} + \frac{b}{q^{2n}-1} + \frac{c}{q^{4n}-1}\right)
trong đó \mathit{q} là hằng số Gelfond e\pi \mathit{k} là một số lẻ, và \mathit{a, b, c} là những số hữu tỉ mà Plouffe đưa vào[92].

Thuật toán miệng vòi[sửa | sửa mã nguồn]

Hai thuật toán được khám phá vào năm 1995 đã mở ra một hướng đi mới cho nghiên cứu về số \pi. Chúng gọi là các thuật toán "miệng vòi" (spigot algorithms) bởi vì, giống như nước nhỏ giọt khỏi một miệng vòi, chúng tạo ra từng chữ số riêng lẻ của\pi không được tái sử dụng sau khi đã được tính ra[93][94]. Điều này đối lập với các chuỗi vô hạn hay những thuật toán lặp, là những thuật toán lưu giữ và sử dụng tất cả những chữ số trung gian cho đến khi kết quả cuối cùng được tạo ra[93].
Các nhà toán học Hoa Kỳ Stan Wagon và Stanley Rabinowitz đã tạo nên một thuật toán miệng vòi đơn giản vào năm 1995[94][95][96]. Tốc độ của nó là tương đương với các thuật toán arctang, nhưng không nhanh bằng các thuật toán lặp[95].
Một thuật toán miệng vòi khác, thuật toán trích xuất chữ số Bailey-Borwein-Plouffe (BBP digit extraction algorithm), được phát hiện vào năm 1995 bởi Simon Plouffe[97][98]:
 \pi = \sum_{i=0}^\infty \frac{1}{16^i} \left( \frac{4}{8i + 1} - \frac{2}{8i + 4} - \frac{1}{8i + 5} - \frac{1}{8i + 6}\right)
Công thức này, không giống những công thức trước đó, có thể sinh ra bất kì chữ số hệ thập lục phân của \pi mà không tính toán tới các chữ số đứng trước nó[97]. Các chữ số nhị phân hay bát phân riêng rẽ có thể trích xuất từ các chữ số hệ thập lục phân. Các biến thể của thuật toán này đã được phát hiện, nhưng cho tới nay chưa tìm thấy thuật toán trích xuất chữ số nào sinh ra nhanh chóng các chữ số thập phân[99]. Một ứng dụng quan trọng của các thuật toán trích xuất chữ số là hợp thức hóa những tuyên bố mới về kỉ lục tính toán số \pi: sau khi một kỉ lục được tuyên bố, các kết quả thập phân được chuyển sang hệ thập lục phân, và sau đó một thuật toán trích xuất chữ số được dùng để tính toán một số ngẫu nhiên những chữ số gần cuối, nếu chúng phù hợp, điều này cung cấp một phương pháp tin cậy rằng tính toán tổng thể là đúng[91].
Giữa năm 1998 và 2000, dự án tính toán phân bố PiHex sử dụng công thức Bellard (một bản chỉnh sửa của thuật toán BBP) để tính toán bit thứ một triệu tỉ(1015) của \pi, đã cho ra kết quả là 0[100]. Tháng Chín năm 2010, một nhân viên của Yahoo! đã sử dụng ứng dụng Hadoop của công ty trên một ngàn máy tính trong một thời gian 23 ngày để tính toán 256 bit của pi ở vị trí bit 2 triệu tỉ (2×1015)[101].
Không thể nào tính được phần khiếm khuyết còn lại của số Pi khi cố gắng nhìn xa hơn, phần còn lại siêu nhỏ đấy tiến rất gần số 0 mặc dù không bao giờ bằng 0 được. Nếu giá trị bằng 0 đồng nghĩa với việc nói rằng một số thực a/∞ = 0 (a ∈ N), như thể phủ nhận sự tồn tại của một hạt bụi trong vũ trụ và hạt bụi đó có thể là nơi mà bạn đang sống. [[(a/∞ > 0 (a ∈ N)]]. Tuy nhiên xét về mặt tương đối, tạo ra một cái gì đó với mức độ tương đối chính xác trong khoa học, kĩ thuật hay nghiên cứu nào đó dù là định hướng duy vật hay duy tâm thì nó được chấp nhận như hoàn thiện và từ đó có thể được tiếp tục phát triển.
Đi về phía cân bằng 08:23, ngày 24 tháng 5 năm 2013 (UTC)

Sử dụng[sửa | sửa mã nguồn]

Do \pi liên hệ chặt chẽ với đường tròn, nó xuất hiện trong nhiều công thức thuộc các lĩnh vực hình học và lượng giác, đặc biệt là những công thức liên quan tới đường tròn, hình cầu, hoặc elip. Một số ngành khoa học khác cũng có các công thức liên quan tới \pi, như thống kêphân dạngcơ họcvũ trụ họclý thuyết số, và điện từ học.

Hình học và lượng giác

Diện tích của một đường tròn bằng \pi diện tích màu xám.
\pi xuất hiện trong những công thức về chu vi, diện tích và thể tích các hình hình học liên quan tới đường tròn, như các hình elip, hình cầuhình nónhình xuyến. Một vài công thức phổ biến hơn cả trong số đó là[102]:
  • Chu vi của một đường tròn với bán kính r là  2 \pi r
  • Diện tích của một hình tròn với bán kính r là  \pi r^2
  • Thể tích của một hình cầu với bán kính r là  \tfrac43\pi r^3
  • Diện tích mặt cầu với bán kính r là  4 \pi r^2
\pi xuất hiện trong các tích phân xác định mô tả chu vi, diện tích, hoặc thể tích các hình tạo ra từ đường tròn. Chẳng hạn, một tích phân xác định nửa diện tích của một đường tròn với bán kính bằng 1 được cho bởi[103]:
\int_{-1}^1 \sqrt{1-x^2}\,dx = \frac{\pi}{2}
Trong công thức này, hàm \scriptstyle \sqrt{1-x^2} biểu diễn nửa trên của đường tròn (căn thức là hệ quả của định lý Pythagoras), và tích phân \scriptstyle \int_{-1}^1  tính diện tích giữa nửa đường tròn và trục x.
Các hàm sin và cosin lặp lại với chu kì 2\pi.
Trong lượng giác, các hàm lượng giác liên hệ với các góc, và các nhà toán học thường sử dụng radian như một đơn vị đo. Mặt khác, \pi đóng một vai trò quan trọng trong các góc đo bằng radian, do radian được định nghĩa sao cho một đường tròn chiếm một góc bằng 2\pi radian[104], hoặc nói cách khác, góc 180° bằng với \pi radian, và 1° = \pi/180 radian[104].
Các hàm lượng giác phổ biến thường có chu kì là bội của \pi; chẳng hạn, sin và cosin có chu kỳ 2\pi[105], do đó với bất kì góc θ và bất kì số nguyên k nào, \scriptstyle \sin\theta = \sin\left(\theta + 2\pi k \right) and \scriptstyle \cos\theta = \cos\left(\theta + 2\pi k \right).[105]

Phương pháp Monte Carlo

Các cây kim chiều dài ℓ rải lên các vạch với độ rộng t
Kim Buffon. Các cây kim a và b được thả ngẫu nhiên.
Hàng ngàn chấm bao phủ ngẫu nhiên một hình vuông và một đường tròn nội tiếp với nó
Các chấm ngẫu nhiên được đặt trên một hình vuông nội tiếp với nó.
Phương pháp Monte Carlo, dựa trên phép thử ngẫu nhiên, có thể dùng để ước lượng số \pi.
Họ phương pháp Monte Carlo, vốn dùng để tính toán kết quả của những phép thử ngẫu nhiên nhiều lần, có thể dùng để tạo nên các phép xấp xỉ số \pi[106]Kim Buffonlà một kĩ thuật như vậy: nếu một cây kim có chiều dài  được thả n lần lên một bề mặt trên đó vẽ các đường thẳng song song cách nhau t đơn vị, và nếu x lần trong số đó nó dừng lại cắt qua một vạch (x > 0), thì người ta có thể tính gần đúng \pi dựa trên phép tính[107]:
\pi \approx \frac{2n\ell}{xt}
Một phương pháp Monte Carlo khác để tính \pi là vẽ một đường tròn nội tiếp một hình vuông, và đặt ngẫu nhiên các chấm lên hình vuông. Tỉ lệ các chấm nằm trong hình tròn trên tổng số chấm xấp xỉ bằng \scriptstyle \pi/4.[108]
Phương pháp Monte Carlo để tính gần đúng \pi rất chậm so với những phương pháp khác. Năm 1901 nhà toán học ItaliaMario Lazzarini đã tung một cây kim 3048 lần để thu được kết quả ước lượng \pi bằng 355/113[109], một thí nghiệm nhằm minh họa cho phương pháp hơn là nỗ lực lập kỉ lục về số \pi. Mô phỏng trên máy tính hiện đại cho phép thực hiện "gieo" ngẫu nhiên nhanh hơn nhiều cách tung kim bằng tay như vậy, nhưng nhìn chung nó không bao giờ được dùng để tính \pi khi đòi hỏi độ chính xác và tốc độ[110].

Số phức và giải tích

Mối liên hệ giữa lũy thừa ảo của số evới các điểm trên đường tròn đơn vị có tâm ở gốc tọa độ của mặt phẳng phức được cho bởi Công thức Euler.
Bất kỳ số phức z nào đều có thể biểu diễn bằng một cặp số thực. Trong hệ tọa độ cực, một số (bán kính r) được dùng để biểu diễn khoảng cách từ z tới gốc tọa độ của mặt phẳng phức và một số khác (góc φ) để biểu diễn một phép quay ngược chiều kim đồng hồ từ tia dương của trục thực tới z[111]:
z = r\cdot(\cos\varphi + i\sin\varphi)
Ở đây i2 = −1. Sự xuất hiện thường xuyên của \pi trong giải tích phức liên quan tới biểu diễn hàm mũ của một biến phức, được mô tả bằng công thức Euler[112]:
e^{i\varphi} = \cos \varphi + i\sin \varphi
Ở đây hằng số e là cơ số của lôgarit tự nhiên. Công thức này lập lên một mối liên hệ giữa lũy thừa ảo của e và các điểm trên đường tròn đơn vị có tâm ở gốc của mặt phẳng phức. Đặt φ = \pi trong công thức Euler sinh ra Đồng nhất thức Euler, một công thức được các nhà toán học ca ngợi do chứa đựng năm hằng số toán học quan trọng nhất[112][113]:
e^{i \pi} + 1 = 0
Có n số phức z khác nhau thỏa mãn  z^n = 1, và chúng được gọi là "nghiệm bậc n của đơn vị"[114]. Chúng được cho bởi công thức:
e^{2 \pi i k/n} \qquad (k = 0, 1, 2, \dots, n - 1)
Công thức tích phân Cauchy chi phối các hàm giải tích phức và thiết lập mối quan hệ quan trọng giữa các phép tích phân và vi phân, bao gồm một điều đáng chú ý là giá trị của một hàm phức trong một miền đóng hoàn toán được xác định bởi những giá trị trong miền[115][116]:
f (z_{0}) = \frac{1}{ 2\pi i } \oint_\gamma { f(z) \over z-z_0 }\,dz
\pi có thể tính được từ tập Mandelbrot, bằng cách tính số vòng lặp cần thiết trước khi điểm (−0.75, ε) phân kỳ.
Sự hiện diện của \pi trong fractal (phân dạng) tập Mandelbrot được một người Mỹ tên là David Boll khám phá vào năm 1991[117]. Ông đã kiểm tra biểu hiện của tập Mandelbrot ở gần vùng "cổ" ở (-0.75, 0). Xem xét những điểm có tọa độ (-0.75, ε), khi ε tiến tới 0, số lần tự lặp lại hình dạng của tập cho đến khi phân kì đối với điểm đó nhân với ε hội tụ về \pi. Điểm (0.25, ε) ở đỉnh của một "thung lũng" lớn ở phía phải của tập Mandelbrot cũng biểu hiện tương tự: số lần tự lặp lại trước khi phân kì nhân với căn bậc hai của ε tiến tới \pi[117][118].
Hàm gamma mở rộng khái niệm về giai thừa - vốn thông thường chỉ được định nghĩa cho các số nguyên - sang mọi số thực. Nếu hàm gamma được tính ở các số bán nguyên, thì kết quả sẽ chứa \pi, chẳng hạn \scriptstyle \Gamma(1/2) = \sqrt{\pi}  và \scriptstyle\Gamma(5/2) = \frac {3 \sqrt{\pi}} {4} [119]. Hàm gamma có thể được sử dụng để tạo ra một phép tính gần đúng \scriptstyle n! cho số \scriptstyle nlớn: \scriptstyle n! \sim \sqrt{2 \pi n} \left(\frac{n}{e}\right)^n còn được gọi là xấp xỉ Stirling[120].

Lý thuyết số và hàm zeta Riemann

Hàm zeta Riemann ζ(s) được dùng trong nhiều lĩnh vực của toán học. Khi tính cho \scriptstyle s = 2, nó có thể viết lại thành
 \zeta(2) = \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \cdots
Tìm một nghiệm đơn cho chuỗi vô hạn này là một bài toán nổi tiếng trong toán học gọi là bài toán BaselLeonhard Euler giải nó vào năm 1735 khi ông chỉ ra nó bằng \scriptstyle \frac{\pi^2}{6}[66]. Kết quả của Euler dẫn đến một kết luận quan trọng trong lý thuyết số là xác suất để hai số ngẫu nhiên nguyên tố cùng nhau (nghĩa là không có ước chung nào ngoài 1) bằng \scriptstyle 6/ \pi^2.[121][122]. Xác suất này dựa trên một nhận xét rằng bất kì số nào chia hết cho một số nguyên tố \scriptstyle p là \scriptstyle 1/p (chẳng hạn, cứ bảy số nguyên liên tiếp thì có 1 số chia hết cho 7). Do đó xác suất để hai số cùng chia hết bởi số nguyên tố này là \scriptstyle 1/p^2, và xác suất để ít nhất một trong hai số không chia hết là \scriptstyle 1-1/p^2. Đối với các số nguyên khác nhau, các sự kiện có thể chia hết là độc lập với nhau; do đó xác suất để hai số nguyên tố cùng nhau cho bởi một tích lấy trên tất cả các số nguyên tố[123]:
\prod_p^{\infty} \left(1-\frac{1}{p^2}\right) = \left( \prod_p^{\infty} \frac{1}{1-p^{-2}} \right)^{-1} = \frac{1}{1 + \frac{1}{2^2} + \frac{1}{3^2} + \cdots } = \frac{1}{\zeta(2)} = \frac{6}{\pi^2} \approx 61\%
Xác suất này có thể dùng cùng với một phương pháp sinh số ngẫu nhiên để tính gần đúng \pi sử dụng cách tiếp cận Monte Carlo[124].

Vật lý[sửa | sửa mã nguồn]

Mặc dù không phải là một hằng số vật lí\pi xuất hiện thường xuyên trong các phương trình mô tả các nguyên lý cơ bản của vũ trụ, thường do mối liên hệ giữa \pi với đường tròn và với hệ tọa độ cầu. Một công thức đơn giản trong lĩnh vực cơ học cổ điển cho ta chu kỳ dao động gần đúng T của một con lắc đơn với chiều dài L, dao động với biên độ nhỏ (g là gia tốc trọng trường trên bề mặt Trái Đất)[125]:
T \approx 2\pi \sqrt\frac{L}{g}
Một trong những công thức tối quan trọng của cơ học lượng tử là nguyên lý bất định Heisenberg chỉ ra rằng độ bất định trong phép đo vị trí của một hạt (Δx) và động lượng (Δp) không thể đồng thời nhỏ tùy ý ở cùng một thời điểm (ở đây h là hằng số Planck)[126]:
 \Delta x\, \Delta p \ge \frac{h}{4\pi}
Trong ngành vũ trụ học\pi xuất hiện trong một công thức nền tảng, đó là phương trình trường Einstein tạo nên cơ sở củathuyết tương đối tổng quát và mô tả tương tác cơ bản của lực hấp dẫn như một kết quả của không-thời gian bị uốn cong bởivật chất và năng lượng[127]:
 R_{ik} - {g_{ik} R \over 2} + \Lambda g_{ik} = {8 \pi G \over c^4} T_{ik}
Trong đó R_{ik}\, là tenxơ độ cong Ricci,R\, là độ cong vô hướngg_{ik}\, là tenxơ metric, \Lambda\, là hằng số vũ trụ họcG\, làhằng số hấp dẫnc\, là vận tốc ánh sáng trong chân không, và T_{ik}\, là tenxơ áp suất-năng lượng.
Trong lĩnh vực điện từ họcđịnh luật Coulomb mô tả điện trường giữa hai điện tích (q1 và q2) cách nhau một khoảng r (với ε0biểu diễn cho hằng số điện môi trong chân không)[128]:
 F = \frac{\left|q_1q_2\right|}{4 \pi \varepsilon_0 r^2}
Việc \pi xấp xỉ bằng 3 góp phần vào thời gian sống tương đối lâu của ortho-positronium (hệ lượng tử có một electron và mộtpositron nằm trên cùng một quỹ đạo quay xung quanh một khối tâm). Nghịch đảo thời gian sống \frac{1}{\tau} đối với bậc thấp nhất tronghằng số cấu trúc tinh tế \alpha được cho bởi công thức[129]:
\frac{1}{\tau} = 2\frac{\pi^2 - 9}{9\pi}m\alpha^{6}
trong đó m là khối lượng electron.

Xác suất thống kê

Một đồ thị Hàm Gauss
ƒ(x) = ex2. Vùng tô màu giữa hàm số và trục x có diện tích  \scriptstyle\sqrt{\pi} .
Các lĩnh vực xác suất và thống kê sử dụng thường xuyên phân bố chuẩn như một mô hình đơn giản cho các hiện tượng phức tạp; chẳng hạn các nhà khoa học thông thường giả định rằng các sai số quan sát trong hầu hết các thí nghiệm tuân theo một phân bố chuẩn[130]\pi được tìm thấy trong hàm Gauss (là hàm mật độ xác suất của phân bố chuẩn với giá trị trung bình μ và độ lệch chuẩn σ[131]:
f(x) = {1 \over \sigma\sqrt{2\pi} }\,e^{-(x-\mu )^2/(2\sigma^2)}
Diện tích dưới đồ thị của đường cong phân bố chuẩn được cho bởi tích phân Gauss[131]:
\int_{-\infty}^\infty e^{-x^2} \, dx=\sqrt{\pi},
trong khi tích phân tương tự đối với phân bố Cauchy là
\int_{-\infty }^{\infty } \frac{1}{x^2+1} \, dx = \pi.

Kỹ thuật và địa chất[sửa | sửa mã nguồn]

\pi hiện diện trong một số công thức trong kĩ thuật cấu trúc, như công thức tính độ cong vênh do Euler tìm ra, cho ta biết tải trọng theo trục tối đa F mà một cột dài, mảnh có độ dài Lsuất đàn hồi E, và momen quán tính diện tích I có thể mang được mà không bị cong vênh[132]:
F =\frac{\pi^2EI}{L^2}
Lĩnh vực thủy động lực học cũng chứa \pi trong định luật Stokes, cho phép tính gần đúng lực ma sát F tác dụng lên một vật thể nhỏ dạng cầu bán kính R chuyển động với vận tốc v trong một chất lỏng với độ nhớt động η[133]:
F =6 \, \pi \, \eta \, R \, v
Biến đổi Fourier là một phép toán biểu diễn thời gian như một hàm của tần số, được biết như phổ tần số của nó. Nó có nhiều ứng dụng trong vật lý và kỹ thuật, đặc biệt trong xử lý tín hiệu[134]:
\hat{f}(\xi) = \int_{-\infty}^{\infty} f(x)\ e^{- 2\pi i x \xi}\,dx
Dưới các điều kiện lý tưởng (dốc thoải đều trên một nền xói mòn một cách đồng đều), độ uốn khúc của một con sông tiến gần tới \pi. Độ uốn khúc (sinousity) là tỉ số giữa độ dài thực và khoảng cách theo đường kẻ giữa thượng nguồn và cửa sông. Các dòng chảy nhanh hơn dọc các cạnh bên ngoài của chỗ uốn dòng sông gây ra nhiều xói lở hơn dọc các cạnh trong, do đó đẩy các chỗ uốn ra xa hơn, và gia tăng sự uốn vòng lặp lại tổng thể của dòng sông. Tuy nhiên, sự uốn vòng quá mức dẫn tới ở một số chỗ, dòng cuộn thành một đường vòng quanh, tạo ra những hồ có hình chữ U (box-ow lake), làm giảm độ uốn khúc tổng thể. Sự cân bằng giữa hai nhân tố đối lập này khiến cho dẫn tới độ uốn khúc của dòng sông trung bình gần bằng \pi[135][136].

Ngoài địa hạt khoa học

Ghi nhớ các chữ số

Nhiều người đã cố gắng nhớ càng nhiều càng tốt các chữ số của \pi, một sự luyện tập được gọi là piphilology (kết hợp từ pi vàphilology tức ngữ văn học)[137]. Một kĩ thuật phổ biến là ghi nhớ một câu chuyện hay một bài thơ, trong đó độ dài các từ ứng với số các chữ số: từ thứ nhất có 3 chữ cái, từ thứ hai có 1, từ thứ ba có 4, thứ tư có 1, thứ năm có 4, và tiếp tục như vậy. Một trong những ví dụ sớm nhất về biện pháp hỗ trợ ghi nhớ này được đề xuất bởi nhà khoa học Anh James Hopwood Jeans: "How I want a drink, alcoholic of course, after the heavy lectures involving quantum mechanics"[137]. Một bài thơ (tiếng Anh:poem) dùng cho việc ghi nhớ này đôi khi được gọi là một piem. Ngoài tiếng Anh, các bài thơ để ghi nhớ \pi cũng được sáng tác trong một số ngôn ngữ khác[137]; như trong tiếng Việt, soạn giả Vô Biên trên diễn đàn khoahocnet từng giới thiệu bài "Pi trường Tân thanh" (lẩy Kiều để ghi nhớ 50 chữ số đầu tiên, với quy luật có sửa đổi một chút do đặc thù tiếng Việt[138].
Kỉ lục về ghi nhớ các chữ số của \pi, được xác nhận bởi Sách kỉ lục Guiness, là 67 890 chữ số, được Lữ Siêu, một người Trung Quốc đọc thuộc lòng trong 24 giờ và 4 phút vào ngày 20 tháng 11 năm 2005[139][140]. Năm 2006, một kĩ sư Nhật về hưu tên là Haraguchi Akira tuyên bố là đã đọc thuộc lòng 100 000 chữ số, nhưng tuyên bố này không được sách Kỷ lục Guiness kiểm chứng[141]. Những người lập nên kỉ lục về ghi nhớ các chữ số của \pi thường không dựa vào các bài thơ, mà sử dụng các phương pháp khác, như nhớ các khuôn dạng số hay phương pháp loci (ghi nhớ bằng cách liên hệ số với vị trí)[142].
Một vài tác giả sử dụng các chữ số của \pi để thiết lập nên một dạng hạn từ mới, trong đó độ dài từ yêu cầu phải biểu diễn các chữ số của \pi, trong tiếng Anh gọi là pilish. Truyện thơ ngắn Cadaeic Cadenza chứa 3835 chữ số đầu tiên của \pi theo cách này[143], và toàn bộ cuốn sách Not a Wake chứa 10 000 từ, mỗi từ biểu diễn một chữ số của \pi[144].

Trong văn hóa đại chúng


Bánh Pi (tiếng Anh: Pi PieĐại học Delft
Có lẽ do \pi có định nghĩa đơn giản mà lại hiện diện ở khắp các lĩnh vực, nó được thể hiện trong văn hóa đại chúng nhiều hơn bất kì khái niệm toán học nào khác. Tại bảo tàng Palais de la Découverte ở Paris có một căn phòng hình tròn được gọi là "phòng pi" trên tường thể hiện 707 chữ cái của \pi, dưới dạng những kí tự làm bằng gỗ gắn vào trần vòm. Các chữ số này dựa trên tính toán năm 1853 củaWilliam Shanks có chứa một lỗi sai bắt đầu từ chữ số thứ 528. Lỗi này được phát hiện năm 1946 và được sửa lại vào năm 1949[145]
e to the u, du / dx
e to the x, dx
Cosine, secant, tangent, sine
3.14159
Integral, radical, mu dv
Slipstick, slide rule, MIT!
GOOOOOO TECH!
Lời cổ vũ của trường MIT[146]
Nhiều trường học ở nước Mỹ cử hành kỉ niệmNgày số pi vào 14 tháng 3 (trong ngôn ngữ Anh-Mỹ, ngày này viết là 3/14)[147]. Ngày 9 tháng 3 năm 2009, Hạ viện Hoa Kỳ đã chính thức chọn ngày 14 tháng 3 hàng năm là ngày số Pi nhằm khuyến khích học sinh, giáo viên nghiên cứu toán học.[148] \pi và chuỗi chữ số của nó thường được những người tự xem mình là "lập dị" sử dụng trong những trò đùa của nhóm những người ưa thích toán học và công nghệ. Một vài lời cổ vũ (trong thi đấu thể thao, văn nghệ...) của Học viện Công nghệ Massachusetts (MIT) cũng xuất hiện số "3,14159"[146]. Trong vụ bán đấu giá các tài liệu về bằng phát minh công nghệ có giá trị của tập đoàn Nortel năm 2010, Google đã liên tục đặt giá một cách khác thường dựa trên các hằng số toán học và khoa học, bao gồm \pi[149].
Những người ủng hộ một hằng số toán học mới là tau (τ), bằng 2 lần \pi, lập luận rằng một hằng số dựa trên tỉ số giữa chu vi đường tròn với bán kính của nó thay vì với đường kính sẽ có tính tự nhiên hơn và sẽ đơn giản hóa nhiều công thức[150][151]. Trong khi những đề xuất của họ, như việc tổ chức kỉ niệm ngày 28 tháng 6 như "Ngày Tau" được tường thuật trên truyền thông, họ không được các sách vở khoa học phản ánh[152][153].
Trong tiểu thuyết "Contact", Carl Sagan đề xuất rằng Đấng Sáng tạo ra vũ trụ đã chôn giấu một thông điệp ẩn sâu trong các chữ số của \pi[154]. Các chữ số của \pi cũng được đưa vào lời ca của bài hát "Pi" trong album Aerial của Kate Bush[155]. Pi cũng được dùng để đặt tên cho một bài hát trong album "Horses and Grasses" phát hành năm 2005 của ban nhạc Mỹ Hard 'n Phirm.[156][157]
Năm 1897, nhà toán học nghiệp dư Edwin J. Goodwin đã nỗ lực thuyết phục cơ quan lập pháp bang Indiana (Hoa Kỳ) thông qua Dự luật Indiana Pi, trong đó mô tả một phương pháp cầu phương hình tròn, và chứa những nội dung giả thiết những giá trị sai của \pi như 3,2.[158] Dự luật này nổi danh như một nỗ lực thiết lập một chân lý khoa học bằng sắc lệnh lập pháp. Dự thảo đã được Hạ nghị viện Indiana thông qua, nhưng bị Thượng nghị viện bác bỏ[159].
Trong tập Midnight thuộc sêri Doctor Who, vị Tiến sĩ chạm chán với với Thực thể Nửa đêm (Midnight Entity), kẻ nhập xác một số nhân vật. Nhân vật Sky Silvestry khi bị nhập xác đã bắt chước kiểu nói của Tiến sĩ bằng cách lặp lại khớp nhau số \pi tới 30 chữ số thập phân[160]. Điều này đòi hỏi các diễn viên David Tennant và Leslie Sharp học chuỗi số để có thể nhắc lại nó.
Tiểu thuyết của Yann Martel xuất bản năm 2001,[161] được dựng thành phim năm 2012[162] (Lý An đạo diễn) nói về nhân vật chính tên Pi có thể nhớ được rất nhiều chữ số thập phân của Pi.
Trong Thuyền trưởng Đơn Vị, một tác phẩm của nhà văn Liên Xô Vladimir Lyovshin, Pi là một nhân vật cùng đi với Số Không, thuyền trưởng Đơn Vị và Hoa Tiêu trong cuộc hải trình.

0 Nhận xét :

Đăng nhận xét