Leonhard Euler was born in 1707 in Basel, Switzerland, and died in 1783. Over the course of his life he published many articles, some related to fields such as physics and astronomy, but many in the field of mathematics. In mathematics, three contributions he made are Euler’s Identity, his work on Fermat’s Last Theorem, and his solution to the Basel problem. Euler’s Identity is part of the mathematical field of Complex Analysis, which involves the application of various mathematical concepts for complex numbers *a + bi*, where *i = √-1*. Fermat’s Last Theorem is part of number theory, a field focused on the relationships between numbers, but primarily the integers. The Basel Problem involves summations, an important part of Calculus where it is used to solve difficult integrals, as well as other areas of Mathematics.

One of Euler’s more profound equations is Euler’s Identity, which states that *e ^{iΠ} +1 = 0*. This is a special case of Euler’s formula, which shows that

*e*Therefore, in the case of Euler’s Identity,

^{ix}= cos(x) + isin(x).*x = Π*, so

*e*. By adding 1 to both sides, the standard result of

^{iΠ}= cos(Π) + isin(Π) = -1 + i(0) = -1*e*becomes apparent.

^{iΠ}+1 = 0This Identity has been considered by many to be “remarkable” and “among the most beautiful formulas in mathematics” for a variety of reasons. First, it includes both the number one and the number zero, the multiplicative and additive identities. Furthermore, it involves the constant *Π*, the most fundamental constant in geometry, and *e*, also known as Euler’s number, which is the base of the natural logarithm and can be used in many real world applications. Finally, there is i, the fundamental imaginary unit equal to the square root of negative one.

Euler also worked on Fermat’s Last Theorem. The theorem states that for the equation *x ^{n} + y^{n} = z^{n}*, there are no non-zero integer solutions for n equal to any value greater than two. Euler, in a letter to his friend Christian Goldbach, claimed to have a proof of the theorem for the case where n is equal to three. However, part of his proof was incorrect. He relied upon proving that for any numbers p and q where

*p*is a cube, there exist numbers a and b where

^{2}+ 3q^{2}*p*. He incorrectly attempted to prove this using imaginary numbers, and as such invalidated his proof. Despite this, it could still be argued that he proved the case where n equals three as other mathematicians have used some of his other works to correct his mistakes. Additionally, Euler also proved the case of Fermat’s Last Theorem where n is equal to four.

^{2}+ 3q^{2}= (a^{2}+ 3b^{2})^{3}The Basel problem is finding *∑ _{n=1}^{∞}^{1}⁄_{n2}*. Pietro Mengoli, an Italian priest, originally constructed the problem in 1644; in later years, both Jakob Bernoulli and Gottfried Leibniz, two prominent mathematicians of the time, were unable to solve it. This led to the Basel problem becoming a sort of challenge for mathematicians at the time. It is unknown when Euler first began work on the Basel problem; however, in 1731, he calculated an approximation of the first one thousand terms

*. However, we have learned that his approximation of 1.64393 is only accurate to the first two decimal places. Euler continued to develop more and more accurate approximations, eventually ending up with the approximation 1.644934, which is accurate to six decimal places.*

^{1}⁄_{12}+^{1}⁄_{22}+^{1}⁄_{32}+ … +^{1}⁄_{10002}In 1734, Euler published his first proof that the Basel problem was in fact equal to * ^{Π2}⁄_{6}*, which he had previously noticed was approximately equal to 1.644934, his most accurate approximation for the Basel problem. However, he made many logical pitfalls in this intial proof, lending it to the criticism of Daniel Bernoulli, a mathematician and one of his contemporaries. In 1741, Euler had completed his final proof, which remedied the problems of the first. I will now show how Euler proved this, using a result from an earlier proof that

*, which is required for this proof to be valid.*

^{Π2}⁄_{8}= 1 +^{1}⁄_{9}+^{1}⁄_{25}+^{1}⁄_{49}+ …First, Euler expanded the sum and split it into fractions with even and odd denominators *∑ _{n=1}^{∞}^{1}⁄_{n2} = (1 + ^{1}⁄_{9} + ^{1}⁄_{25} + ^{1}⁄_{49} + … ) + (^{1}⁄_{4} + ^{1}⁄_{16} + ^{1}⁄_{36} + ^{1}⁄_{64} + …)*. He then observed that the sum of fractions with even denominators is equal to one forth of the original sum

*(1 +*. He already knew that the sum of the fractions with odd denomitors was

^{1}⁄_{9}+^{1}⁄_{25}+^{1}⁄_{49}+ … ) + (^{1}⁄_{4}+^{1}⁄_{16}+^{1}⁄_{36}+^{1}⁄_{64}+ …) = (1 +^{1}⁄_{9}+^{1}⁄_{25}+^{1}⁄_{49}+ …) + (^{1}⁄_{4})(1 +^{1}⁄_{4}+^{1}⁄_{9}+^{1}⁄_{16}+ …)*. He then substitiued it and the original sum*

^{Π2}⁄_{8}*(1 +*. Euler then subtracted one fourth of the original sum from both sides of the equation, and then multiplied both sides by four thirds to get the final value of

^{1}⁄_{9}+^{1}⁄_{25}+^{1}⁄_{49}+ …) + (^{1}⁄_{4})(1 +^{1}⁄_{4}+^{1}⁄_{9}+^{1}⁄_{16}+ …) =^{Π2}⁄_{8}+^{1}⁄_{4}∑_{n=1}^{∞}^{1}⁄_{n2}*.*

^{Π2}⁄_{6}

^{Π2}⁄_{8}+^{1}⁄_{4}∑_{n=1}^{∞}^{1}⁄_{n2}–> (^{3}⁄_{4})∑_{n=1}^{∞}^{1}⁄_{n2}=^{Π2}⁄_{8}–> ∑_{n=1}^{∞}^{1}⁄_{n2}=^{Π2}⁄_{6}The Basel problem is a special case of the p-series *∑ _{n=1}^{∞}^{1}⁄_{np}* where p = 2. While we now know that the series diverges for p less than or equal to 1 and converges for p greater than 1. Euler worked on the p = 3 case, but his brute force approximations (as initially used in the Basel problem) did not yield any values he recognized. In 1978, it was proven that the number the p=3 case converges to is irrational, but nothing is known about the odd values of p greater than 3.

These are but three of Leonhard Euler’s many contributions in the field of Mathematics. I wrote about these three because I find all of them to be very interesting. Euler’s Identity, of course, has the many mathematical constants, and it amazes me how so many can be related in one equation. Fermat’s Last Theorem is perhaps the most infamous problem in Number Theory, as Fermat scribbled it in the margin of a journal, claiming to have an incredible proof but it would not fit in the margin. And The Basel Problem is the only p-series where the exact sum of the series is known.

Sources:

http://www.amt.edu.au/euler.html

http://betterexplained.com/articles/intuitive-understanding-of-eulers-formula/

http://books.google.com/books?id=eIsyLD_bDKkC&pg=PA160#v=onepage&q&f=false

http://www-history.mcs.st-and.ac.uk/HistTopics/Fermat’s_last_theorem.html

http://people.math.umass.edu/~tevelev/475_2014/mobilio.pdf

http://www.biography.com/people/leonhard-euler-21342391#early-life-and-education

benbraunNice post! My favorite aspect of the Basel problem is that it is a great example of the (many!) awesome infinite series that you get by adding up reciprocals of integers in various families. For example, the harmonic series is the sum of reciprocals of all integers, and it diverges. The Basel problem is the reciprocals of squares, as you discuss. Summing all the reciprocals of factorials gives you the number e, which is awesome! The alternating sum of reciprocals of odd integers gives you pi/4, due to Leibniz. Summing the reciprocals of all the primes gives a divergent series (which gives another proof of the infinitude of primes!). Summing the reciprocals of Sylvester’s sequence (see http://en.wikipedia.org/wiki/Sylvester's_sequence) yields a sum of 1, and this has cool connections with Egyptian fractions. Summing the reciprocals of the triangular numbers (a diagonal in Pascal’s triangle) is a well-known result also due to Leibniz. So, infinite sums of unit fractions are a gateway to lots of fascinating mathematics!

LikeLiked by 1 person