Số e là một hằng số toán học có giá trị gần bằng 2,71828 và có thể được biểu diễn theo nhiều cách khác nhau. Nó là cơ số của logarit tự nhiên, là số duy nhất sao cho logarit tự nhiên của nó bằng 1,[1] và đồng thời là giới hạn của (1 + 1/n)n khi n tiến về vô hạn, một biểu thức nảy sinh từ việc nghiên cứu lãi kép. Nó cũng bằng tổng của chuỗi vô hạn
e cũng được định nghĩa là số dương a duy nhất sao cho đồ thị của hàm y = ax có hệ số góc bằng 1 tại x = 0.
Hàm mũ (tự nhiên) f(x) = ex là hàm số duy nhất có đạo hàm bằng chính nó và có giá trị ban đầu là f(0) = 1, và dễ thấy e = f(1). Logarit tự nhiên, hay logarit cơ số e, là hàm ngược của hàm mũ tự nhiên. Logarit tự nhiên của một số k > 1 được định nghĩa là diện tích hình phẳng giới hạn bởi đồ thị của hàm y = 1/x từ x = 1 đến x = k, khi đó e là giá trị của k sao cho diện tích đó bằng 1 (xem hình). e còn có nhiều cách biểu diễn khác.
e thỉnh thoảng còn được gọi là số Euler theo tên của nhà toán học người Thụy SĩLeonhard Euler (không nên nhầm lẫn với hằng số Euler–Mascheroniγ, còn được gọi tắt là hằng số Euler), hoặc hằng số Napier. Tuy nhiên, ký hiệu e của Euler được cho là đã được giữ lại để vinh danh ông.[2] Hằng số này được tìm ra bởi nhà toán học người Thụy Sĩ Jacob Bernoulli khi nghiên cứu về lãi kép.[3][4]
Số e có tầm quan trọng lớn trong toán học cùng với số 0, 1, π và i. Cả năm số này đều đóng vai trò không thể thiếu trong toán học và cùng xuất hiện trong một phương trình của đồng nhất thức Euler. Giống như hằng số π, e là một số vô tỉ (không thể biểu diễn thành tỉ số giữa hai số nguyên) và là số siêu việt (không phải là nghiệm của một phương trình đa thức khác không với hệ số hữu tỉ). Giá trị của e đến 50 chữ số thập phân là:
2,71828182845904523536028747135266249775724709369995... (dãy số A001113 trong bảng OEIS).
Hằng số e được liên hệ lần đầu tiên vào năm 1618 ở bảng phụ lục trong công trình của John Napier về logarit, nhưng lại không nhắc đến trực tiếp về e mà chỉ liệt kê danh sách các logarit được tính từ nó.[4] Bảng này được thừa nhận là do William Oughtred viết ra. Jacob Bernoulli đã tìm ra chính hằng số e vào năm 1683 khi tìm giá trị của biểu thức[5][6]
Hằng số này được sử dụng lần đầu tiên với ký hiệu là b trong bức thư của Gottfried Leibniz gửi Christiaan Huygens vào năm 1690 và 1691.[7]Leonhard Euler trong thư gửi Christian Goldbach vào ngày 25 tháng 11 năm 1731 đã gọi chữ cái e là cơ số của logarit tự nhiên.[8][9] Euler bắt đầu sử dụng chữ e để ký hiệu cho hằng số vào khoảng 1727 hoặc 1728 trong một bài báo không được xuất bản về sức nổ của súng thần công, và e chỉ xuất hiện trong xuất bản phẩm lần đầu vào năm 1736 trong cuốn Mechanica của ông.[10][11] Dù một số nhà nghiên cứu sử dụng chữ c trong những năm sau đó,[12][13] nhưng chữ e dần trở thành tiêu chuẩn về sau này.
Trong toán học, cách phổ biến nhất là viết hằng số thành chữ "e" in nghiêng, nhưng tiêu chuẩn ISO 80000-2 khuyến nghị sắp chữ các hằng số theo kiểu thẳng đứng như các chữ cái thông thường.[14]
Jacob Bernoulli tìm ra hằng số e vào năm 1683 khi nghiên cứu một bài toán về lãi kép:[4]
Một tài khoản có số dư 1 đô la và nhận 100% lãi suất mỗi năm. Nếu lãi suất được tính một lần thì đến cuối năm, số dư của tài khoản đó là 2 đô la. Điều gì sẽ xảy ra khi lãi suất được tính và thanh toán thường xuyên hơn trong năm?
Nếu lãi được tính hai lần trong năm thì lãi suất cho mỗi 6 tháng sẽ là 50%, do đó 1 đô la ban đầu được nhân hai lần cho 1,5 để có 1,00 × 1,52 = 2,25 đô la vào cuối năm. Khi tính lãi theo quý thì ta có 1,00 × 1,254 = 2,4414… đô la, còn tính lãi theo tháng được 1,00 × (1 + 1/12)12 = 2,613035… đô la. Nếu có n khoảng thời gian tính lãi thì lãi suất trên mỗi khoảng là 100%/n và số dư vào cuối năm là 1,00 × (1 + 1/n)n.
Bernoulli nhận thấy chuỗi này tiến dần về một giới hạn với n càng lớn và khoảng thời gian tính lãi càng nhỏ. Tính lãi theo tuần (n = 52) được 2,692597... đô la, còn tính lãi theo ngày (n = 365) thì được 2,714567... đô la, chỉ nhiều hơn hai xu. Giới hạn khi n tăng lên chính là số e; khi tính lãi liên tục thì số dư của tài khoản tiệm cận đến 2,7182818... đô la.
Tổng quát hơn, một tài khoản có số dư ban đầu là 1 đô la và nhận lãi suất hằng năm là R thì sau t năm sẽ nhận được eRt đô la khi tính lãi liên tục.[15] (Ở đây R là một số thực bằng với lãi suất phần trăm hằng năm, do đó với lãi suất 5% thì R = 5/100 = 0,05.)
Số e cũng có ứng dụng trong lý thuyết xác suất, nảy sinh từ một vấn đề không liên quan rõ ràng với lũy thừa. Giả sử một người chơi một máy đánh bạc n lần và xác suất để thắng là một phần n. Với n lớn (chẳng hạn như một triệu) thì xác suất để người đó thua mọi lần gần bằng 1/e. Với n = 20 thì tỉ số này đã gần bằng 1/2,79.
Đó là một ví dụ về phép thử Bernoulli. Mỗi lần người đó chơi máy thì xác suất để thắng là một trên một triệu. Một triệu lần chơi như thế được mô hình hóa bằng phân phối nhị thức, vốn có liên hệ mật thiết với định lý nhị thức và tam giác Pascal. Xác suất để thắng k lần trên một triệu lần chơi là
Đặc biệt, xác suất để người đó không thắng lần nào (k = 0) là
Điều kiện phương sai bằng 1 (độ lệch chuẩn bằng 1) dẫn đến phân số 1/2 trong số mũ, và điều kiện tổng diện tích dưới đường cong ϕ(x) bằng 1 dẫn đến tỷ số . Hàm số này đối xứng quanh x = 0, tại đó nó đạt giá trị lớn nhất , và có các điểm uốn tại x = ±1.
Một ứng dụng khác của e, vốn do Jacob Bernoulli và Pierre Raymond de Montmort tìm ra, nằm trong bài toán về hoán vị vô trật tự hay còn gọi là bài toán trả mũ.[17] Có n vị khách được mời đến một bữa tiệc và đều phải trả mũ của họ cho quản gia. Quản gia sẽ đặt số mũ này vào n hộp, mỗi hộp được ghi tên của một vị khách duy nhất. Nhưng quản gia lại không hỏi trước tên của các vị khách nên việc xếp mũ vào hộp được thực hiện một cách ngẫu nhiên. Bài toán của de Montmort là tìm xác suất để không có chiếc mũ nào được đặt đúng vào hộp của vị khách đó. Câu trả lời là
Khi số vị khách n tiến đến vô hạn thì pn tiệm cận về 1/e. Hơn nữa, số cách xếp mũ vào hộp để biến cố trên xảy ra là n!/e (làm tròn đến hàng đơn vị) với n là số dương.[18]
Một gậy chiều dài L bị vỡ thành n mảnh có độ dài bằng nhau. Giá trị của n để tích các độ dài này lớn nhất là[19]
hay
vì đạt giá trị lớn nhất tại (bài toán Steiner, xem dưới đây). Đại lượng là một độ đo lượng thông tin thu được từ một biến cố xảy ra với xác suất , do đó phép chia tối ưu trên xuất hiện trong các bài toán kế hoạch tối ưu, chẳng hạn như bài toán thư ký.
Giới hạn trong ngoặc ở vế phải độc lập với biến x và chỉ phụ thuộc vào cơ số a. Khi cơ số đó bằng e thì giới hạn trên bằng 1 nên e được định nghĩa tượng trưng bởi phương trình:
Do đó, hàm mũ cơ số e rất phù hợp cho việc tính vi tích phân, vì nó giúp đơn giản hóa nhiều phép tính liên quan đến đạo hàm.
Một cách tiếp cận khác đến từ việc tính đạo hàm của logarit cơ số a (logax) với x > 0:[22]
trong đó đặt u = h/x. Logarit cơ số a của e bằng 1 nếu a bằng e, do đó
Logarit với cơ số đặc biệt này được gọi là logarit tự nhiên và được ký hiệu là ln, giúp đơn giản hóa phép vi phân do không cần tìm các giới hạn chưa biết.
Như vậy, có hai cách để tìm một số a đặc biệt như thế. Cách thứ nhất là cho đạo hàm của hàm mũ ax bằng với ax rồi giải phương trình để tìm a. Cách thứ hai là cho đạo hàm của logarit cơ số a bằng 1/x và giải tương tự. Cả hai nghiệm a thu được thực chất là giống nhau và bằng số e.
Có nhiều cách biểu diễn số e: giới hạn của một dãy, tổng của một chuỗi vô hạn hay các biểu thức liên quan đến giải tích tích phân. Trên đây, ta đã biết được hai tính chất:
với mọi số thực x, và dấu bằng xảy ra khi và chỉ khi x = 0. Hơn nữa, e là cơ số duy nhất của hàm mũ để bất đẳng thức ax ≥ x + 1 đúng với mọi x.[25] Đó là một trường hợp giới hạn của bất đẳng thức Bernoulli.
Số thực e là một số vô tỉ. Euler chứng minh được điều này bằng cách cho thấy liên phân số của nó có thể được mở rộng ra vô hạn.[28][29][a] Hơn nữa, theo định lý Lindemann–Weierstrass, e là một số siêu việt, có nghĩa là nó không phải là nghiệm của bất kỳ phương trình đa thức khác không với hệ số hữu tỉ. Charles Hermite chứng minh được điều này vào năm 1873.[30]
Có phỏng đoán cho rằng e là số bình thường, có nghĩa là khi e được biểu diễn trên bất kỳ hệ đếm cơ số nào thì các chữ số trong hệ đếm đó được phân bố đồng đều nhau (xuất hiện với xác suất bằng nhau trong bất kỳ chuỗi nào với độ dài cho trước).[31]
Vì chuỗi trên hội tụ với bất kỳ giá trị phức nào của x nên nó có thể được dùng để mở rộng khái niệm ex cho số phức. Cùng với chuỗi Taylor cho sin x và cos x, ta suy ra được công thức Euler đúng với mọi số phức x:
Cùng với các biểu thức giải tích chính xác, e còn có thể được tính gần đúng thông qua các kỹ thuật ngẫu nhiên. Một cách tiếp cận như thế bắt đầu từ một dãy vô hạn các biến độc lập ngẫu nhiên X1, X2,... trong một phân phối đều trên [0, 1]. Gọi V là số n nhỏ nhất để tổng của n biến đầu tiên như vậy lớn hơn 1:
Từ khoảng năm 2010, với sự ra đời của máy tính để bàn hiện đại tốc độ cao, việc tính toán hàng nghìn tỷ chữ số của e trong một khoảng thời gian chấp nhận được là hoàn toàn khả thi. Tính đến ngày 5 tháng 12 năm 2020, e đã được tính đến 31,4 nghìn tỷ chữ số thập phân.[45]
Trong sự xuất hiện của văn hóa Internet, nhiều tổ chức và cá nhân đã đôi lúc tỏ lòng kính trọng và tôn vinh số e. Chẳng hạn, nhà khoa học máy tính Donald Knuth đã cho số phiên bản của phần mềm Metafont của ông tiến dần về số e. Các phiên bản lần lượt là 2, 2.7, 2.71, 2.718,...[46]
Trong đợt IPO của Google năm 2004, công ty đặt mục tiêu huy động được đúng 2.718.281.828 đô la Mỹ, tức là e tỷ đô la làm tròn đến hàng đơn vị.[47] Google cũng đã từng làm một biển quảng cáo đặt tại trung tâm thung lũng Silicon và sau đó tại Cambridge, Massachusetts, Seattle, Washington và Austin, Texas, trong đó có ghi "{first 10-digit prime found in consecutive digits of e}.com" ("{số nguyên tố có 10 chữ số đầu tiên trong dãy chữ số liên tiếp của e}.com").[48] Khi giải được bài toán này và truy cập vào trang web đã cho thì người giải được dẫn đến một bài toán khó hơn với cơ hội được vào Google Labs để làm một bản hồ sơ lý lịch trích ngang.[49] Số nguyên tố có 10 chữ số đầu tiên trong e là 7427466391, bắt đầu từ chữ số thứ 99.[50]
^ abJacob Bernoulli đã xét bài toán về cộng gộp lãi suất liên tục, dẫn đến một chuỗi biểu thức cho e. Xem: Bernoulli, Jacob (1690). “Quæstiones nonnullæ de usuris, cum solutione problematis de sorte alearum, propositi in Ephem. Gall. A. 1685” [Một vài câu hỏi về lãi suất, với lời giải của một bài toán về trò chơi may mắn, đưa ra trong Journal des Savants (Ephemerides Eruditorum Gallicanæ), vào năm (anno) 1685. **]. Acta eruditorum: 219–223. Ở trang 222, Bernoulli đặt câu hỏi: "Alterius naturæ hoc Problema est: Quæritur, si creditor aliquis pecuniæ summam fænori exponat, ea lege, ut singulis momentis pars proportionalis usuræ annuæ sorti annumeretur; quantum ipsi finito anno debeatur?" (Đây là một vấn đề dạng khác: Câu hỏi là, nếu một người cho vay muốn đầu tư [một] lượng tiền nhất định [để] sinh lãi, để nó cộng dồn dần lên, sao cho [tại] bất kỳ thời điểm nào [nó] nhận được [một] phần tỷ lệ với lãi suất hàng năm; người đó sẽ bị nợ bao nhiều [vào] cuối năm?) Bernoulli xây dựng một chuỗi lũy thừa để giải quyết bài toán trên rồi viết: " … quæ nostra serie [biểu thức toán học của một chuỗi hình học] &c. major est. … si a=b, debebitur plu quam 2½a & minus quam 3a." (… mà chuỗi của ta [một chuỗi hình học] lớn hơn [so với]. … nếu a=b, [người cho vay] sẽ bị nợ nhiều hơn 2½a và ít hơn 3a.) Nếu a=b, chuỗi lũy thừa được đưa về chuỗi a × e, nên 2,5 < e < 3. (** Có liên hệ đến bài toán mà Jacob Bernoulli đặt ra và xuất hiện trong Journal des Sçavans năm 1685 ở cuối trang 314.)
^XXIII. Leibniz an Huygens, ngày 27 tháng 1 năm 1691 trong: Gerhardt, C. J. biên tập (1899). Der Briefwechsel von Gottfried Wilhelm Leibniz mit Mathematikern. Berlin: Mayer & Müller. tr. 633. ... b estant une grandeur constante, dont le logarithme est 1, et le logarithme de 1 estant 0.
^Lettre XV. Euler à Goldbach, ngày 25 tháng 11 năm 1731 trong: Fuss, Paul H. biên tập (1843). Correspondance mathématique et physique de quelques célèbres géomètres du XVIIIème siècle [Thư từ toán học và vật lý của một số nhà hình học nổi tiếng thế kỷ 18]. 1. St. Petersburg, Nga. tr. 56–60. (đặc biệt xem tr. 58.) Trích tr. 58: "… (e denotat hic numerum, cujus logarithmus hyperbolicus est = 1), …" (…(e ký hiệu cho một số mà logarit hyperbol [tự nhiên] bằng 1)…)
^Euler, Leonhard (1736). Mechanica, sive Motus scientia analytice exposita. 1. St. Petersburg (Petropoli), Nga: Viện Hàn lâm Khoa học. tr. 68. Trích chương 2, hệ quả 11, đoạn 171, tr. 68:Erit enim seu ubi e denotat numerum, cuius logarithmus hyperbolicus est 1. (Do đó nó [c, vận tốc] sẽ là hay , với e ký hiệu cho một số mà logarit hyperbol [tự nhiên] bằng 1.)
^Boyer, Lee E.; Hippensteel, Philip J.; Luiz, J. Robert (tháng 11 năm 1974). “Mathematics applied in the modern bank”. The Mathematics Teacher. 67 (7): 611–614. Đặc biệt xem tr. 611–612.
^Euler, Leonhard (1783). “De serie Lambertina Plurimisque eius insignibus proprietatibus”(PDF). Acta Academiae Scientiarum Imperialis Petropolitanae. 2: 29–51. In lại trong Euler, Leonhard (1921). Opera Omnia, Series Prima, Vol. 6: Commentationes Algebraicae. Leipzig, Đức: Teubner. tr. 350–369.
^Euler, Leonhard (1744). “De fractionibus continuis dissertatio” [Một bài luận về liên phân số] (PDF). Commentarii academiae scientiarum Petropolitanae. 9: 98–137.
^Hermite, Charles (1873). “Sur la fonction exponentielle”. Comptes rendus hebdomadaires des séances de l'Académie des sciences. 77: 18–24, 74–79, 226–233, 285–293.
^Hofstadter, Douglas (1995). Fluid Concepts and Creative Analogies: Computer Models of the Fundamental Mechanisms of Thought. London: Allen Lane the Penguin Press. tr. 36. ISBN0-7139-9155-0.
^Cotes, Roger (1714). “Logometria”. Philosophical Transactions of the Royal Society of London. 29 (338): 5–45. Trích trang 10: "Porro eadem ratio est inter 2,718281828459 &c et 1, …" (Hơn nữa, tỉ số này nằm giữa 2,718281828459… và 1, …)
^Pedersen, Peder (1944). “Fortsetzung der Berechnung der Grundzahl e der natürlichen Logarithmen bis zur 808. Dezimalstelle”. Meddelelse. Đan Mạch: Geodætisk Institut. 17.; 21 tr. Bình duyệt trong “Recent Mathematical Tables”. Mathematical Tables and Other Aids to Computation. American Mathematical Society. 2: 68–85. tháng 4 năm 1946. doi:10.2307/2002534. JSTOR2002534. (đặc biệt xem tr. 68–69)