The 18th-century Swiss mathematician
Leonhard Euler
Leonhard Euler ( ; ; ; 15 April 170718 September 1783) was a Swiss polymath who was active as a mathematician, physicist, astronomer, logician, geographer, and engineer. He founded the studies of graph theory and topology and made influential ...
(1707–1783) is among the most prolific and successful mathematicians in the
history of the field. His seminal work had a profound impact in numerous areas of mathematics and he is widely credited for introducing and popularizing modern notation and terminology.
Mathematical notation
Euler introduced much of the mathematical notation in use today, such as the notation ''f''(''x'') to describe a function and the modern notation for the
trigonometric functions
In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all ...
. He was the first to use the letter ''e'' for the base of the
natural logarithm
The natural logarithm of a number is its logarithm to the base of a logarithm, base of the e (mathematical constant), mathematical constant , which is an Irrational number, irrational and Transcendental number, transcendental number approxima ...
, now also known as
Euler's number. The use of the Greek letter
to denote the
ratio of a circle's circumference to its diameter was also popularized by Euler (although it did not originate with him).
He is also credited for inventing the notation ''
i'' to denote
.
Complex analysis
Euler made important contributions to
complex analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic ...
. He introduced scientific notation. He discovered what is now known as
Euler's formula
Euler's formula, named after Leonhard Euler, is a mathematical formula in complex analysis that establishes the fundamental relationship between the trigonometric functions and the complex exponential function. Euler's formula states that, for ...
, that for any
real number
In mathematics, a real number is a number that can be used to measure a continuous one- dimensional quantity such as a duration or temperature. Here, ''continuous'' means that pairs of values can have arbitrarily small differences. Every re ...
, the complex
exponential function satisfies
:
Richard Feynman
Richard Phillips Feynman (; May 11, 1918 – February 15, 1988) was an American theoretical physicist. He is best known for his work in the path integral formulation of quantum mechanics, the theory of quantum electrodynamics, the physics of t ...
called this "the most remarkable formula in mathematics".
[
] Euler's identity
In mathematics, Euler's identity (also known as Euler's equation) is the Equality (mathematics), equality
e^ + 1 = 0
where
:e is E (mathematical constant), Euler's number, the base of natural logarithms,
:i is the imaginary unit, which by definit ...
is a special case of this:
:
This identity is particularly remarkable as it involves ''e'',
, ''i'', 1, and 0, arguably the five most important constants in mathematics, as well as the four fundamental arithmetic operators: addition, multiplication, exponentiation, and equality.
Analysis
The development of
calculus
Calculus is the mathematics, mathematical study of continuous change, in the same way that geometry is the study of shape, and algebra is the study of generalizations of arithmetic operations.
Originally called infinitesimal calculus or "the ...
was at the forefront of 18th-century mathematical research, and the Bernoullis—family friends of Euler—were responsible for much of the early progress in the field. Understanding the infinite was the major focus of Euler's research. While some of Euler's proofs may not have been acceptable under modern standards of
rigor
Rigour (British English) or rigor (American English; see spelling differences) describes a condition of stiffness or strictness. These constraints may be environmentally imposed, such as "the rigours of famine"; logically imposed, such as ma ...
, his ideas were responsible for many great advances. First of all, Euler introduced the concept of a
function, and introduced the use of the
exponential function and
logarithms
In mathematics, the logarithm of a number is the exponent by which another fixed value, the base, must be raised to produce that number. For example, the logarithm of to base is , because is to the rd power: . More generally, if , the ...
in analytic proofs.
Euler frequently used the logarithmic functions as a tool in analysis problems, and discovered new ways by which they could be used. He discovered ways to express various logarithmic functions in terms of power series, and successfully defined logarithms for complex and negative numbers, thus greatly expanding the scope where logarithms could be applied in mathematics. Most researchers in the field long held the view that
for any positive real
since by using the additivity property of logarithms
. In a 1747 letter to
Jean Le Rond d'Alembert
Jean-Baptiste le Rond d'Alembert ( ; ; 16 November 1717 – 29 October 1783) was a French mathematician, mechanician, physicist, philosopher, and music theorist. Until 1759 he was, together with Denis Diderot, a co-editor of the ''Encyclopé ...
, Euler defined the natural logarithm of −1 as
, a
pure imaginary.
Euler is well known in analysis for his frequent use and development of
power series
In mathematics, a power series (in one variable) is an infinite series of the form
\sum_^\infty a_n \left(x - c\right)^n = a_0 + a_1 (x - c) + a_2 (x - c)^2 + \dots
where ''a_n'' represents the coefficient of the ''n''th term and ''c'' is a co ...
: that is, the expression of functions as sums of infinitely many terms, such as
:
Notably, Euler discovered the power series expansions for ''e'' and the
inverse tangent function
:
His use of power series enabled him to solve the famous
Basel problem
The Basel problem is a problem in mathematical analysis with relevance to number theory, concerning an infinite sum of inverse squares. It was first posed by Pietro Mengoli in 1650 and solved by Leonhard Euler in 1734, and read on 5 December 1735 ...
in 1735:
:
In addition, Euler elaborated the theory of higher transcendental functions by introducing the
gamma function
In mathematics, the gamma function (represented by Γ, capital Greek alphabet, Greek letter gamma) is the most common extension of the factorial function to complex numbers. Derived by Daniel Bernoulli, the gamma function \Gamma(z) is defined ...
and introduced a new method for solving
quartic equation
In mathematics, a quartic equation is one which can be expressed as a ''quartic function'' equaling zero. The general form of a quartic equation is
:ax^4+bx^3+cx^2+dx+e=0 \,
where ''a'' ≠0.
The quartic is the highest order polynom ...
s. He also found a way to calculate integrals with complex limits, foreshadowing the development of
complex analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic ...
. Euler invented the
calculus of variations
The calculus of variations (or variational calculus) is a field of mathematical analysis that uses variations, which are small changes in Function (mathematics), functions
and functional (mathematics), functionals, to find maxima and minima of f ...
including its most well-known result, the
Euler–Lagrange equation.
Euler also pioneered the use of analytic methods to solve number theory problems. In doing so, he united two disparate branches of mathematics and introduced a new field of study,
analytic number theory
In mathematics, analytic number theory is a branch of number theory that uses methods from mathematical analysis to solve problems about the integers. It is often said to have begun with Peter Gustav Lejeune Dirichlet's 1837 introduction of Dir ...
. In breaking ground for this new field, Euler created the theory of
hypergeometric series
In mathematics, the Gaussian or ordinary hypergeometric function 2''F''1(''a'',''b'';''c'';''z'') is a special function represented by the hypergeometric series, that includes many other special functions as specific or limiting cases. It is ...
,
q-series
In the mathematical field of combinatorics, the ''q''-Pochhammer symbol, also called the ''q''-shifted factorial, is the product
(a;q)_n = \prod_^ (1-aq^k)=(1-a)(1-aq)(1-aq^2)\cdots(1-aq^),
with (a;q)_0 = 1.
It is a ''q''-analog of the Pochhamme ...
,
hyperbolic trigonometric functions and the analytic theory of
continued fractions. For example, he proved the
infinitude of primes using the divergence of the harmonic series, and used analytic methods to gain some understanding of the way
prime numbers
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
are distributed. Euler's work in this area led to the development of the
prime number theorem
In mathematics, the prime number theorem (PNT) describes the asymptotic analysis, asymptotic distribution of the prime numbers among the positive integers. It formalizes the intuitive idea that primes become less common as they become larger by p ...
.
Number theory
Euler's great interest in number theory can be traced to the influence of his friend in the St. Peterburg Academy,
Christian Goldbach. A lot of his early work on number theory was based on the works of
Pierre de Fermat
Pierre de Fermat (; ; 17 August 1601 – 12 January 1665) was a French mathematician who is given credit for early developments that led to infinitesimal calculus, including his technique of adequality. In particular, he is recognized for his d ...
, and developed some of Fermat's ideas.
One focus of Euler's work was to link the nature of prime distribution with ideas in analysis. He proved that
the sum of the reciprocals of the primes diverges. In doing so, he discovered a connection between Riemann zeta function and prime numbers, known as the
Euler product formula for the Riemann zeta function.
Euler proved
Newton's identities,
Fermat's little theorem
In number theory, Fermat's little theorem states that if is a prime number, then for any integer , the number is an integer multiple of . In the notation of modular arithmetic, this is expressed as
a^p \equiv a \pmod p.
For example, if and , t ...
,
Fermat's theorem on sums of two squares
In additive number theory, Pierre de Fermat, Fermat's theorem on sums of two squares states that an Even and odd numbers, odd prime number, prime ''p'' can be expressed as:
:p = x^2 + y^2,
with ''x'' and ''y'' integers, if and only if
:p \equiv ...
, and made distinct contributions to the
Lagrange's four-square theorem
Lagrange's four-square theorem, also known as Bachet's conjecture, states that every natural number, nonnegative integer can be represented as a sum of four non-negative integer square number, squares. That is, the squares form an additive basi ...
. He also invented the
totient function φ(n) which assigns to a positive integer n the number of positive integers less than n and coprime to n. Using properties of this function he was able to generalize Fermat's little theorem to what would become known as
Euler's theorem
In number theory, Euler's theorem (also known as the Fermat–Euler theorem or Euler's totient theorem) states that, if and are coprime positive integers, then a^ is congruent to 1 modulo , where \varphi denotes Euler's totient function; that ...
. He further contributed significantly to the understanding of
perfect numbers, which had fascinated mathematicians since
Euclid
Euclid (; ; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the '' Elements'' treatise, which established the foundations of geometry that largely domina ...
. Euler made progress toward the prime number theorem and conjectured the law of
quadratic reciprocity
In number theory, the law of quadratic reciprocity is a theorem about modular arithmetic that gives conditions for the solvability of quadratic equations modulo prime numbers. Due to its subtlety, it has many formulations, but the most standard st ...
. The two concepts are regarded as the fundamental theorems of number theory, and his ideas paved the way for
Carl Friedrich Gauss
Johann Carl Friedrich Gauss (; ; ; 30 April 177723 February 1855) was a German mathematician, astronomer, geodesist, and physicist, who contributed to many fields in mathematics and science. He was director of the Göttingen Observatory and ...
.
Graph theory and topology
In 1736 Euler solved, or rather proved unsolvable, a problem known as the seven bridges of Königsberg.
The city of
Königsberg
Königsberg (; ; ; ; ; ; , ) is the historic Germany, German and Prussian name of the city now called Kaliningrad, Russia. The city was founded in 1255 on the site of the small Old Prussians, Old Prussian settlement ''Twangste'' by the Teuton ...
,
Kingdom of Prussia
The Kingdom of Prussia (, ) was a German state that existed from 1701 to 1918.Marriott, J. A. R., and Charles Grant Robertson. ''The Evolution of Prussia, the Making of an Empire''. Rev. ed. Oxford: Clarendon Press, 1946. It played a signif ...
(now Kaliningrad, Russia) is set on the
Pregel River, and included two large islands which were connected to each other and the mainland by seven bridges. The question is whether it is possible to walk with a route that crosses each bridge exactly once, and return to the starting point.
Euler's solution of the Königsberg bridge problem is considered to be the first theorem of
graph theory
In mathematics and computer science, graph theory is the study of ''graph (discrete mathematics), graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of ''Vertex (graph ...
. In addition, his recognition that the key information was the number of bridges and the list of their endpoints (rather than their exact positions) presaged the development of
topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformat ...
.
Euler also made contributions to the understanding of
planar graphs. He introduced a formula governing the relationship between the number of edges, vertices, and faces of a convex polyhedron. Given such a polyhedron, the alternating sum of vertices, edges and faces equals a constant: ''V'' − ''E'' + ''F'' = 2. This constant, χ, is the
Euler characteristic
In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space's ...
of the plane. The study and generalization of this equation, specially by
Cauchy and Lhuillier,
is at the origin of
topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformat ...
. Euler characteristic, which may be generalized to any
topological space
In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a to ...
as the alternating sum of the
Betti number
In algebraic topology, the Betti numbers are used to distinguish topological spaces based on the connectivity of ''n''-dimensional simplicial complexes. For the most reasonable finite-dimensional spaces (such as compact manifolds, finite simplicia ...
s, naturally arises from
homology. In particular, it is equal to 2 − 2''g'' for a closed oriented
surface
A surface, as the term is most generally used, is the outermost or uppermost layer of a physical object or space. It is the portion or region of the object that can first be perceived by an observer using the senses of sight and touch, and is ...
with genus ''g'' and to 2 − ''k'' for a non-orientable surface with k crosscaps. This property led to the definition of
rotation systems in
topological graph theory.
Applied mathematics
Most of Euler's greatest successes were in applying analytic methods to real world problems, describing numerous applications of
Bernoulli's numbers,
Fourier series
A Fourier series () is an Series expansion, expansion of a periodic function into a sum of trigonometric functions. The Fourier series is an example of a trigonometric series. By expressing a function as a sum of sines and cosines, many problems ...
,
Venn diagram
A Venn diagram is a widely used diagram style that shows the logical relation between set (mathematics), sets, popularized by John Venn (1834–1923) in the 1880s. The diagrams are used to teach elementary set theory, and to illustrate simple ...
s,
Euler number
Leonhard Euler ( ; ; ; 15 April 170718 September 1783) was a Swiss polymath who was active as a mathematician, physicist, astronomer, logician, geographer, and engineer. He founded the studies of graph theory and topology and made influential ...
s,
e and
Ï€ constants, continued fractions and integrals. He integrated
Leibniz
Gottfried Wilhelm Leibniz (or Leibnitz; – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat who is credited, alongside Sir Isaac Newton, with the creation of calculus in addition to many ...
's
differential calculus
In mathematics, differential calculus is a subfield of calculus that studies the rates at which quantities change. It is one of the two traditional divisions of calculus, the other being integral calculus—the study of the area beneath a curve. ...
with Newton's
Method of Fluxions, and developed tools that made it easier to apply calculus to physical problems. In particular, he made great strides in improving
numerical approximation of integrals, inventing what are now known as the ''Euler approximations''. The most notable of these approximations are
Euler method
In mathematics and computational science, the Euler method (also called the forward Euler method) is a first-order numerical analysis, numerical procedure for solving ordinary differential equations (ODEs) with a given Initial value problem, in ...
and the
Euler–Maclaurin formula. He also facilitated the use of
differential equations, in particular introducing the
Euler–Mascheroni constant
Euler's constant (sometimes called the Euler–Mascheroni constant) is a mathematical constant, usually denoted by the lowercase Greek letter gamma (), defined as the limiting difference between the harmonic series and the natural logarith ...
:
:
One of Euler's more unusual interests was the application of mathematical ideas in
music
Music is the arrangement of sound to create some combination of Musical form, form, harmony, melody, rhythm, or otherwise Musical expression, expressive content. Music is generally agreed to be a cultural universal that is present in all hum ...
. In 1739 he wrote the ''
Tentamen novae theoriae musicae,'' hoping to eventually integrate
music theory
Music theory is the study of theoretical frameworks for understanding the practices and possibilities of music. ''The Oxford Companion to Music'' describes three interrelated uses of the term "music theory": The first is the "Elements of music, ...
as part of mathematics. This part of his work, however did not receive wide attention and was once described as too mathematical for musicians and too musical for mathematicians.
Works
The works which Euler published separately are:
*''Dissertatio physica de sono'' (Dissertation on the physics of sound) (Basel, 1727, in quarto)
*''Mechanica, sive motus scientia analytice; expasita'' (St Petersburg, 1736, in 2 vols. quarto)
*''Einleitung in die Arithmetik'' (St Petersburg, 1738, in 2 vols. octavo), in German and Russian
*''Tentamen novae theoriae musicae'' (St Petersburg, 1739, in quarto)
*''Methodus inveniendi lineas curvas, maximi minimive proprietate gaudentes'' (Lausanne, 1744, in quarto)
**
Additamentum II (
English translation)
*''Theoria motuum planetarum et cometarum'' (Berlin, 1744, in quarto)
*''Beantwortung, &c.'' or Answers to Different Questions respecting Comets (Berlin, 1744, in octavo)
*''Neue Grundsatze, &c.'' or New Principles of Artillery, translated from the English of Benjamin Robins, with notes and illustrations (Berlin, 1745, in octavo)
*''Opuscula varii argumenti'' (Berlin, 1746–1751, in 3 vols. quarto)
*''Novae et carrectae tabulae ad loco lunae computanda'' (Berlin, 1746, in quarto)
*''Tabulae astronomicae solis et lunae'' (Berlin, in quarto)
*''Gedanken, &c.'' or Thoughts on the Elements of Bodies (Berlin, in quarto)
*''Rettung der gall-lichen Offenbarung, &c.'', Defence of Divine Revelation against Free-thinkers (Berlin, 1747, in quarto)
*''
Introductio in analysin infinitorum
''Introductio in analysin infinitorum'' (Latin: ''Introduction to the Analysis of the Infinite'') is a two-volume work by Leonhard Euler which lays the foundations of mathematical analysis. Written in Latin and published in 1748, the ''Introducti ...
'' (Introduction to the analysis of the infinites)(Lausanne, 1748, in 2 vols. quarto)
*''Introduction to the Analysis of the Infinite,'' transl. J. Blanton (New York, 1988-1990 in 2 vols.)
*''Scientia navalis, seu tractatus de construendis ac dirigendis navibus'' (St Petersburg, 1749, in 2 vols. quarto)
*''A complete theory of the construction and properties of vessels, with practical conclusions for the management of ships, made easy to navigators. Translated from Théorie complette de la construction et de la manoeuvre des vaissaux, of the celebrated Leonard Euler'', by Hen Watson, Esq. Cornihill, 1790)
*
Exposé concernant l’examen de la lettre de M. de Leibnitz (1752, its
English translation)
*''Theoria motus lunae'' (Berlin, 1753, in quarto)
*''Dissertatio de principio mininiae actionis, una cum examine objectionum cl. prof. Koenigii'' (Berlin, 1753, in octavo)
*''
Institutiones calculi differentialis, cum ejus usu in analysi Intuitorum ac doctrina serierum'' (Berlin, 1755, in quarto)
*''Constructio lentium objectivarum, &c.'' (St Petersburg, 1762, in quarto)
*''Theoria motus corporum solidorum seu rigidorum'' (Rostock, 1765, in quarto)
*''
Institutiones, calculi integralis'' (St Petersburg, 1768–1770, in 3 vols. quarto)
*''Lettres a une Princesse d'Allernagne sur quelques sujets de physique et de philosophie'' (St Petersburg, 1768–1772, in 3 vols. octavo)
*''Letters of Euler to a German Princess on Different Subjects of Physics and Philosophy'' (London, 1795, in 2 vols.)
*''Anleitung zur Algebra'
Elements of Algebra(St Petersburg, 1770, in octavo); Dioptrica (St Petersburg, 1767–1771, in 3 vols. quarto)
*''Theoria motuum lunge nova methodo pertr. arctata'' (St Petersburg, 1772, in quarto)
*''Novae tabulae lunares'' (St Petersburg, in octavo); ''La théorie complete de la construction et de la manteuvre des vaisseaux'' (St Petersburg, 1773, in octavo).
*''Eclaircissements svr etablissements en favour taut des veuves que des marts'', without a date
*''Opuscula analytica'' (St Petersburg, 1783–1785, in 2 vols. quarto). See
F. Rudio, ''Leonhard Euler'' (Basel, 1884).
* and Christian Goldbach, ''Leonhard Euler und Christian Goldbach, Briefwechsel, 1729-1764''. A. P. Juskevic und E. Winter.
�bersetzungen aus dem Russischen und redaktionelle Bearbeitung der Ausgabe: P. Hoffmann(Berlin : Akademie-Verlag, 1965)..
See also
*
List of things named after Leonhard Euler
In mathematics and physics, many topics are named in honor of Swiss mathematician Leonhard Euler (1707–1783), who made many important discoveries and innovations. Many of these items named after Euler include their own unique function, equation ...
References
{{DEFAULTSORT:Contributions Of Leonhard Euler To Mathematics
History of mathematics
Leonhard Euler