mathematical constant

These are constants which one is likely to encounter during pre-college education in many countries.

{{main|Square root of 2}}

File:Square root of 2 triangle.svg of a right-angled triangle with legs of length 1.]]

The square root of 2, often known as root 2 or Pythagoras' constant, and written as {{math|{{sqrt|2}}}}, is the unique positive real number that, when multiplied by itself, gives the number 2. It is more precisely called the principal square root of 2, to distinguish it from the negative number with the same property.

Geometrically the square root of 2 is the length of a diagonal across a square with sides of one unit of length; this follows from the Pythagorean theorem. It is an irrational number, possibly the first number to be known as such, and an algebraic number. Its numerical value truncated to 50 decimal places is:

:{{gaps|1.41421|35623|73095|04880|16887|24209|69807|85696|71875|37694...}} {{OEIS|id=A002193}}.

Alternatively, the quick approximation 99/70 (≈ 1.41429) for the square root of two was frequently used before the common use of electronic calculators and computers. Despite having a denominator of only 70, it differs from the correct value by less than 1/10,000 (approx. 7.2 × 10⁻⁵).

Its simple continued fraction is periodic and given by:

$\backslash sqrt2\; =\; 1\; +\; \backslash frac\{1\}\{2+\backslash frac\{1\}\{2+\backslash frac\{1\}\{2+\backslash frac1\backslash ddots\}\}\}$

{{main|Pi}}

File:Circle Area.svg is {{pi}}.]]

The constant {{pi}} (pi) has a natural definition in Euclidean geometry as the ratio between the circumference and diameter of a circle. It may be found in many other places in mathematics: for example, the Gaussian integral, the complex roots of unity, and Cauchy distributions in probability. However, its ubiquity is not limited to pure mathematics. It appears in many formulas in physics, and several physical constants are most naturally defined with {{pi}} or its reciprocal factored out. For example, the ground state wave function of the hydrogen atom is

:$\backslash psi(\backslash mathbf\{r\})\; =\; \backslash frac\{1\}\{\backslash sqrt\{\backslash pi\{a\_0\}^3\}\}\; e^\{-r/a\_0\},$

where $a\_0$ is the Bohr radius.

{{pi}} is an irrational number, transcendental number and an algebraic period.

The numeric value of {{pi}} is approximately:

:{{gaps|3.14159|26535|89793|23846|26433|83279|50288|41971|69399|37510...}} {{OEIS|id=A000796}}.

Unusually good approximations are given by the fractions 22/7 and 355/113.

Memorizing as well as computing increasingly more digits of {{pi}} is a world record pursuit.

{{main|e (mathematical constant)}}

Image:Exponential.svg

Euler's number {{mvar|e}}, also known as the exponential growth constant, appears in many areas of mathematics, and one possible definition of it is the value of the following expression:

:$e\; =\; \backslash lim\_\{n\backslash to\backslash infty\}\; \backslash left(\; 1\; +\; \backslash frac\{1\}\{n\}\; \backslash right)^n$

The constant {{mvar|e}} is intrinsically related to the exponential function $x\; \backslash mapsto\; e^x$.

The Swiss mathematician Jacob Bernoulli discovered that {{mvar|e}} arises in compound interest: If an account starts at $1, and yields interest at annual rate {{math|R}}, then as the number of compounding periods per year tends to infinity (a situation known as continuous compounding), the amount of money at the end of the year will approach {{math|e^R}} dollars.

The constant {{mvar|e}} also has applications to probability theory, where it arises in a way not obviously related to exponential growth. As an example, suppose that a slot machine with a one in {{math|n}} probability of winning is played {{mvar|n}} times, then for large {{mvar|n}} (e.g., one million), the probability that nothing will be won will tend to {{math|1/e}} as {{mvar|n}} tends to infinity.

Another application of {{mvar|e}}, discovered in part by Jacob Bernoulli along with French mathematician Pierre Raymond de Montmort, is in the problem of derangements, also known as the hat check problem.{{cite web|url=http://www.dartmouth.edu/~chance/teaching_aids/books_articles/probability_book/book.html|title=Introduction to probability theory|author=Grinstead, C.M.|author2=Snell, J.L.|page=85|access-date=2007-12-09|archive-date=2011-07-27|archive-url=https://web.archive.org/web/20110727200156/http://www.dartmouth.edu/~chance/teaching_aids/books_articles/probability_book/book.html|url-status=dead}} Here, {{mvar|n}} guests are invited to a party, and at the door each guest checks his hat with the butler, who then places them into labelled boxes. The butler does not know the name of the guests, and hence must put them into boxes selected at random. The problem of de Montmort is: what is the probability that none of the hats gets put into the right box. The answer is

:$p\_n\; =\; 1-\backslash frac\{1\}\{1!\}+\backslash frac\{1\}\{2!\}-\backslash frac\{1\}\{3!\}+\backslash cdots+(-1)^n\backslash frac\{1\}\{n!\}$

which, as {{mvar|n}} tends to infinity, approaches {{math|1/e}}.

{{mvar|e}} is an irrational number and a transcendental number.

The numeric value of {{mvar|e}} is approximately:

:{{gaps|2.71828|18284|59045|23536|02874|71352|66249|77572|47093|69995...}} {{OEIS|id=A001113}}.

{{main|Imaginary unit}}

File:ImaginaryUnit5.svg. Real numbers lie on the horizontal axis, and imaginary numbers lie on the vertical axis]]

The imaginary unit or unit imaginary number, denoted as {{mvar|i}}, is a mathematical concept which extends the real number system $\backslash R$ to the complex number system $\backslash Complex.$ The imaginary unit's core property is that {{math|i² {{=}} −1}}. The term "imaginary" was coined because there is no (real) number having a negative square.

There are in fact two complex square roots of −1, namely {{mvar|i}} and {{math|−i}}, just as there are two complex square roots of every other real number (except zero, which has one double square root).

In contexts where the symbol {{mvar|i}} is ambiguous or problematic, {{mvar|j}} or the Greek iota ({{mvar|ι}}) is sometimes used. This is in particular the case in electrical engineering and control systems engineering, where the imaginary unit is often denoted by {{mvar|j}}, because {{mvar|i}} is commonly used to denote electric current.

{{Main|Golden ratio}}

Image:Icosahedron-golden-rectangles.svg]]

The number {{mvar|φ}}, also called the golden ratio, turns up frequently in geometry, particularly in figures with pentagonal symmetry. Indeed, the length of a regular pentagon's diagonal is {{mvar|φ}} times its side. The vertices of a regular icosahedron are those of three mutually orthogonal golden rectangles. Also, it is related to the Fibonacci sequence, related to growth by recursion.{{cite book |last=Livio |first=Mario |author-link=Mario Livio |url=https://archive.org/details/goldenratiostory00livi |title=The Golden Ratio: The Story of Phi, The World's Most Astonishing Number |publisher=Broadway Books |year=2002 |isbn=0-7679-0815-5 |location=New York}} Kepler proved that it is the limit of the ratio of consecutive Fibonacci numbers.{{cite book |last1=Tatersall |first1=James |title=Elementary number theory in nine chapters (2nd ed.) |date=2005}} The golden ratio has the slowest convergence of any irrational number.[http://plus.maths.org/content/chaos-numberland-secret-life-continued-fractions "The Secret Life of Continued Fractions"] It is, for that reason, one of the worst cases of Lagrange's approximation theorem and it is an extremal case of the Hurwitz inequality for diophantine approximations. This may be why angles close to the golden ratio often show up in phyllotaxis (the growth of plants).[http://www.maths.surrey.ac.uk/hosted-sites/R.Knott/Fibonacci/fibnat2.html Fibonacci Numbers and Nature - Part 2 : Why is the Golden section the "best" arrangement?], from [http://www.maths.surrey.ac.uk/hosted-sites/R.Knott/ Dr. Ron Knott's] [http://www.maths.surrey.ac.uk/hosted-sites/R.Knott/Fibonacci/ Fibonacci Numbers and the Golden Section], retrieved 2012-11-29. It is approximately equal to:

:{{gaps|1.61803|39887|49894|84820|45868|34365|63811|77203|09179|80576...}} {{OEIS|id=A001622}}.

or, more precisely $\backslash frac\{1+\backslash sqrt\{5\}\}\{2\}.$

These are constants which are encountered frequently in higher mathematics.

{{Main|Euler–Mascheroni constant}}

Image:EulerMascheroni.svg

Euler's constant or the Euler–Mascheroni constant is defined as the limiting difference between the harmonic series and the natural logarithm:

:$\backslash begin\{align\}$

\gamma &= \lim_{n\to\infty}\left(- \ln n+\sum_{k=1}^n \frac1{k} \right)\\[5px]

\end{align}

It appears frequently in mathematics, especially in number theoretical contexts such as Mertens' third theorem or the growth rate of the divisor function. It has relations to the gamma function and its derivatives as well as the zeta function and there exist many different integrals and series involving $\backslash gamma$.

Despite the ubiquity of the Euler-Mascheroni constant, many of its properties remain unknown. That includes the major open questions of whether it is a rational or irrational number and whether it is algebraic or transcendental. In fact, $\backslash gamma$ has been described as a mathematical constant "shadowed only $\backslash pi$ and $e$ in importance."

The numeric value of $\backslash gamma$ is approximately:

:{{gaps|0.57721|56649|01532|86060|65120|90082|40243|10421|59335|93992...}} {{OEIS|id=A001620}}.

{{Main|Apéry's constant}}

Apery's constant is defined as the sum of the reciprocals of the cubes of the natural numbers:$$\backslash zeta(3)\; =\; \backslash sum\_\{n=1\}^\backslash infty\; \backslash frac\{1\}\{n^3\}\; =\; 1\; +\; \backslash frac\{1\}\{2^3\}\; +\; \backslash frac\{1\}\{3^3\}\; +\; \backslash frac\{1\}\{4^3\}\; +\; \backslash frac\{1\}\{5^3\}\; \backslash cdots$$It is the special value of the Riemann zeta function $\backslash zeta(s)$ at $s=3$. The quest to find an exact value for this constant in terms of other known constants and elementary functions originated when Euler famously solved the Basel problem by giving $\backslash zeta(2)=\backslash frac16\backslash pi^2$. To date no such value has been found and it is conjectured that there is none.{{Cite journal |last=Simoson |first=Andrew |date=2023-03-01 |title=In Pursuit of Zeta-3 |url=https://link.springer.com/article/10.1007/s00283-022-10184-z |journal=The Mathematical Intelligencer |language=en |volume=45 |issue=1 |pages=85–87 |doi=10.1007/s00283-022-10184-z |issn=1866-7414}} However, there exist many representations of $\backslash zeta(3)$ in terms of infinite series.

Apéry's constant arises naturally in a number of physical problems, including in the second- and third-order terms of the electron's gyromagnetic ratio, computed using quantum electrodynamics.{{MathWorld|urlname=AperysConstant|title=Apéry's constant|author=Steven Finch}}

$\backslash zeta(3)$ is known to be an irrational number which was proven by the French mathematician Roger Apéry in 1979. It is however not known whether it is algebraic or transcendental.

The numeric value of Apéry's constant is approximately:

:{{gaps|1.20205|69031|59594|28539|97381|61511|44999|07649|86292|34049...}} {{OEIS|id=A002117}}.

{{Main|Catalan's constant}}

Catalan's constant is defined by the alternating sum of the reciprocals of the odd square numbers:

: $G\; =\; \backslash sum\_\{n=0\}^\{\backslash infty\}\; \backslash frac\{(-1)^\{n\}\}\{(2n+1)^2\}\; =\; \backslash frac\{1\}\{1^2\}\; -\; \backslash frac\{1\}\{3^2\}\; +\; \backslash frac\{1\}\{5^2\}\; -\; \backslash frac\{1\}\{7^2\}\; +\; \backslash frac\{1\}\{9^2\}\; -\; \backslash cdots$

It is the special value of the Dirichlet beta function $\backslash beta(s)$ at $s=2$. Catalan's constant appears frequently in combinatorics and number theory and also outside mathematics such as in the calculation of the mass distribution of spiral galaxies.{{citation |last1=Wyse |first1=A. B. |title=Distribution of Mass in the Spiral Nebulae Messier 31 and Messier 33. |date=January 1942 |journal=The Astrophysical Journal |volume=95 |pages=24–47 |bibcode=1942ApJ....95...24W |doi=10.1086/144370 |last2=Mayall |first2=N. U. |author1-link=Arthur Bambridge Wyse |doi-access=free}}

Questions about the arithmetic nature of this constant also remain unanswered, $G$ having been called "arguably the most basic constant whose irrationality and transcendence (though strongly suspected) remain unproven."{{citation |last1=Bailey |first1=David H. |title=The computation of previously inaccessible digits of $\backslash pi^2$ and Catalan's constant |journal=Notices of the American Mathematical Society |volume=60 |issue=7 |pages=844–854 |year=2013 |doi=10.1090/noti1015 |mr=3086394 |last2=Borwein |first2=Jonathan M. |last3=Mattingly |first3=Andrew |last4=Wightwick |first4=Glenn |doi-access=free}} There exist many integral and series representations of Catalan's constant.

It is named after the French and Belgian mathematician Charles Eugène Catalan.

The numeric value of $G$ is approximately:

:{{gaps|0.91596|55941|77219|01505|46035|14932|38411|07741|49374|28167...}} {{OEIS|id=A006752}}.

{{Main|Feigenbaum constants}}

Image:LogisticMap BifurcationDiagram.png

Iterations of continuous maps serve as the simplest examples of models for dynamical systems.{{cite book|author=Collet & Eckmann|year=1980|title=Iterated maps on the inerval as dynamical systems|publisher=Birkhauser|isbn=3-7643-3026-0|url-access=registration|url=https://archive.org/details/iteratedmapsonin0000coll}} Named after mathematical physicist Mitchell Feigenbaum, the two Feigenbaum constants appear in such iterative processes: they are mathematical invariants of logistic maps with quadratic maximum points{{cite book|last=Finch|first=Steven|year=2003|title=Mathematical constants|url=https://archive.org/details/mathematicalcons0000finc|url-access=registration|publisher=Cambridge University Press|page=[https://archive.org/details/mathematicalcons0000finc/page/67 67]|isbn=0-521-81805-2}} and their bifurcation diagrams. Specifically, the constant α is the ratio between the width of a tine and the width of one of its two subtines, and the constant δ is the limiting ratio of each bifurcation interval to the next between every period-doubling bifurcation.

The logistic map is a polynomial mapping, often cited as an archetypal example of how chaotic behaviour can arise from very simple non-linear dynamical equations. The map was popularized in a seminal 1976 paper by the Australian biologist Robert May,{{cite book|first=Robert|last=May|author-link=Robert May, Baron May of Oxford|year=1976|title=Theoretical Ecology: Principles and Applications|publisher=Blackwell Scientific Publishers|isbn=0-632-00768-0}} in part as a discrete-time demographic model analogous to the logistic equation first created by Pierre François Verhulst. The difference equation is intended to capture the two effects of reproduction and starvation.

The Feigenbaum constants in bifurcation theory are analogous to π in geometry and e in calculus. Neither of them is known to be irrational or even transcendental. However proofs of their universality exist.{{cite journal |last=Lanford III |first=Oscar |year=1982 |title=A computer-assisted proof of the Feigenbaum conjectures |journal=Bull. Amer. Math. Soc. |volume=6 |issue=3 |pages=427–434 |doi=10.1090/S0273-0979-1982-15008-X |doi-access=free}}

The respective approximate numeric values of δ and α are:

:{{gaps|4.66920|16091|02990|67185|32038|20466|20161|72581|85577|47576...}} {{OEIS|id=A006890}}.

:{{gaps|2.50290|78750|95892|82228|39028|73218|21578|63812|71376|72714...}} {{OEIS|id=A006891}}.

Some constants, such as the square root of 2, Liouville's constant and Champernowne constant:

:$C\_\{10\}\; =\; 0.\{\backslash color\{blue\}\{1\}\}2\{\backslash color\{blue\}\{3\}\}4\{\backslash color\{blue\}\{5\}\}6\{\backslash color\{blue\}\{7\}\}8\{\backslash color\{blue\}\{9\}\}10\{\backslash color\{blue\}\{11\}\}12\{\backslash color\{blue\}\{13\}\}14\{\backslash color\{blue\}\{15\}\}16\backslash dots$

Image:Ybc7289-bw.jpgn clay tablet gives an approximation of the square root of 2 in four sexagesimal figures: 1; 24, 51, 10, which is accurate to about six decimal figures.{{cite journal|last=Fowler |first=David |author-link=David Fowler (mathematician) |author2=Eleanor Robson |date=November 1998 |title=Square Root Approximations in Old Babylonian Mathematics: YBC 7289 in Context |journal=Historia Mathematica |volume=25 |issue=4 |page=368 |doi=10.1006/hmat.1998.2209 |author-link2=Eleanor Robson |doi-access=free }}
[http://it.stlawu.edu/%7Edmelvill/mesomath/tablets/YBC7289.html Photograph, illustration, and description of the root(2) tablet from the Yale Babylonian Collection]
[http://www.math.ubc.ca/%7Ecass/Euclid/ybc/ybc.html High resolution photographs, descriptions, and analysis of the root(2) tablet (YBC 7289) from the Yale Babylonian Collection]]]

are not important mathematical invariants but retain interest being simple representatives of special sets of numbers, the irrational numbers,{{cite web|url=http://www.cut-the-knot.org/proofs/sq_root.shtml|title=Square root of 2 is irrational|first=Alexander|last=Bogomolny|author-link=Alexander Bogomolny}} the transcendental numbers{{cite journal|title=On Transcendental Numbers|author=Aubrey J. Kempner|journal=Transactions of the American Mathematical Society|volume=17|issue=4|date=Oct 1916|pages=476–482|doi=10.2307/1988833|publisher=Transactions of the American Mathematical Society, Vol. 17, No. 4|jstor=1988833|doi-access=free}} and the normal numbers (in base 10){{cite journal|title=The Construction of Decimals Normal in the Scale of Ten|first=David|last=Champernowne|author-link=D. G. Champernowne|journal=Journal of the London Mathematical Society|volume=8|year=1933|pages=254–260|doi=10.1112/jlms/s1-8.4.254|issue=4}} respectively. The discovery of the irrational numbers is usually attributed to the Pythagorean Hippasus of Metapontum who proved, most likely geometrically, the irrationality of the square root of 2. As for Liouville's constant, named after French mathematician Joseph Liouville, it was the first number to be proven transcendental.{{MathWorld|urlname=LiouvillesConstant|title=Liouville's Constant}}

In the computer science subfield of algorithmic information theory, Chaitin's constant is the real number representing the probability that a randomly chosen Turing machine will halt, formed from a construction due to Argentine-American mathematician and computer scientist Gregory Chaitin. Chaitin's constant, though not being computable, has been proven to be transcendental and normal. Chaitin's constant is not universal, depending heavily on the numerical encoding used for Turing machines; however, its interesting properties are independent of the encoding.

It is common to express the numerical value of a constant by giving its decimal representation (or just the first few digits of it). For two reasons this representation may cause problems. First, even though rational numbers all have a finite or ever-repeating decimal expansion, irrational numbers don't have such an expression making them impossible to completely describe in this manner. Also, the decimal expansion of a number is not necessarily unique. For example, the two representations 0.999... and 1 are equivalent{{cite book|last=Rudin |first=Walter |author-link=Walter Rudin |title=Principles of mathematical analysis |url=https://archive.org/details/principlesofmath00rudi |url-access=registration |edition=3e |year=1976 |orig-year=1953 |publisher=McGraw-Hill |isbn=0-07-054235-X|at=p.61 theorem 3.26}}{{cite book|last=Stewart|first=James|author-link=James Stewart (mathematician)|title=Calculus: Early transcendentals|edition=4e|year=1999|publisher=Brooks/Cole|isbn=0-534-36298-2|page=[https://archive.org/details/calculusearlytra00stew/page/706 706]|url=https://archive.org/details/calculusearlytra00stew/page/706}} in the sense that they represent the same number.

Calculating digits of the decimal expansion of constants has been a common enterprise for many centuries. For example, German mathematician Ludolph van Ceulen of the 16th century spent a major part of his life calculating the first 35 digits of pi.[http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Van_Ceulen.html Ludolph van Ceulen] {{Webarchive|url=https://web.archive.org/web/20150707160846/http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Van_Ceulen.html |date=2015-07-07 }} – biography at the MacTutor History of Mathematics archive. Using computers and supercomputers, some of the mathematical constants, including π, e, and the square root of 2, have been computed to more than one hundred billion digits. Fast algorithms have been developed, some of which — as for Apéry's constant — are unexpectedly fast.

Some constants differ so much from the usual kind that a new notation has been invented to represent them reasonably. Graham's number illustrates this as Knuth's up-arrow notation is used.{{cite journal|journal=Science|last=Knuth|first=Donald|author-link=Donald Knuth|title=Mathematics and Computer Science: Coping with Finiteness. Advances in Our Ability to Compute are Bringing Us Substantially Closer to Ultimate Limitations|volume=194|pages=1235–1242|year=1976|pmid=17797067|issue=4271|doi=10.1126/science.194.4271.1235|s2cid=1690489}}{{cite web|url=http://www.po28.dial.pipex.com/maths/constant.htm|title=mathematical constants|access-date=2007-11-27|archive-url=https://archive.today/20120907101833/http://www.po28.dial.pipex.com/maths/constant.htm|archive-date=2012-09-07|url-status=dead}}

It may be of interest to represent them using continued fractions to perform various studies, including statistical analysis. Many mathematical constants have an analytic form, that is they can be constructed using well-known operations that lend themselves readily to calculation. Not all constants have known analytic forms, though; Grossman's constant{{MathWorld|urlname=GrossmansConstant|title=Grossman's constant}} and Foias' constant{{MathWorld|urlname=FoiasConstant|title=Foias' constant}} are examples.

Symbolizing constants with letters is a frequent means of making the notation more concise. A common convention, instigated by René Descartes in the 17th century and Leonhard Euler in the 18th century, is to use lower case letters from the beginning of the Latin alphabet $a,b,c,\backslash dots$ or the Greek alphabet $\backslash alpha,\backslash beta,\backslash ,\backslash gamma,\backslash dots$ when dealing with constants in general.

However, for more important constants, the symbols may be more complex and have an extra letter, an asterisk, a number, a lemniscate or use different alphabets such as Hebrew, Cyrillic or Gothic.

Sometimes, the symbol representing a constant is a whole word. For example, American mathematician Edward Kasner's 9-year-old nephew coined the names googol and googolplex.{{cite book|title=Mathematics and the Imagination|publisher=Microsoft Press|year=1989|page=23|author=Edward Kasner and James R. Newman}}

:$\backslash mathrm\{googol\}=10^\{100\}\backslash ,\backslash \; ,\backslash \; \backslash mathrm\{googolplex\}=10^\backslash mathrm\{googol\}=10^\{10^\{100\}\}$

Other names are either related to the meaning of the constant (universal parabolic constant, twin prime constant, ...) or to a specific person (Sierpiński's constant, Josephson constant, and so on).

Image:Parabolic constant illustration v4.svg is the ratio, for any parabola, of the arc length of the parabolic segment (red) formed by the latus rectum (blue) to the focal parameter (green).]]

{{Main|List of mathematical constants}}

:

Abbreviations used:

: Gen – General, NuT – Number theory, ChT – Chaos theory, Com – Combinatorics, Ana – Mathematical analysis

• Glossary of mathematical symbols
• Invariant (mathematics)
• List of mathematical constants
• List of numbers
• Physical constant
• List of physical constants

{{reflist|colwidth=30em}}

{{Commons category|Mathematical constants}}

• [http://mathworld.wolfram.com/topics/Constants.html Constants – from Wolfram MathWorld]
• [https://web.archive.org/web/20120329145758/http://oldweb.cecm.sfu.ca/projects/ISC/ Inverse symbolic calculator (CECM, ISC)] (tells you how a given number can be constructed from mathematical constants)
• [http://oeis.org/wiki/Index_to_OEIS On-Line Encyclopedia of Integer Sequences (OEIS)]
• [https://web.archive.org/web/20050812010306/http://pi.lacim.uqam.ca/eng/ Simon Plouffe's inverter]
• [https://web.archive.org/web/20130601103814/http://www.people.fas.harvard.edu/~sfinch/ Steven Finch's page of mathematical constants] (BROKEN LINK)
• Steven R. Finch, "[http://assets.cambridge.org/052181/8052/sample/0521818052ws.pdf Mathematical Constants]," Encyclopedia of mathematics and its applications, Cambridge University Press (2003).
• [http://numbers.computation.free.fr/Constants/constants.html Xavier Gourdon and Pascal Sebah's page of numbers, mathematical constants and algorithms]

{{DEFAULTSORT:Mathematical Constant}}

Constants