# Reply to comment

## Beauty in mathematics

*This article is the winner of the schools category of the Plus new writers award 2009.*

Often when reading a good maths book, the author will get to the end of an explanation of a particularly complicated proof, theorem, or idea, and mention the "beauty" of the maths involved. I always wonder what, exactly, this means. Did I miss a particularly neat diagram? Or, as seems to be the case, is mathematical beauty something buried deep: something that, perhaps, I need a PhD to get to grips with?

I used to think that it was the latter — maybe one day, after years of studying maths at its highest level, I'd suddenly gain a glimpse of some incomprehensibly deep truth and realise the incredible beauty of things which now seem boring and trivial.

Maths can be like a dense jungle — it's hard to penetrate but you never know whom you might might.

But actually, I think you can get a glimpse of what mathematicians mean by beauty without too much effort at all. That's what I'm going to try and convince you of in the rest of this article. Mathematics can be a bit like a dense, never-ending jungle. It can feel like you're hacking away and away at it and never getting anywhere, but if you stop and look around yourself, every once in a while you see incredible, exotic plants and animals to marvel at — and ever so often you find large new swathes of jungle to explore.

The particular thing that I want to introduce you to, that I think is so beautiful, is something that was mentioned in passing on a television programme I was watching. I hardly knew what it meant, and I certainly had no idea how it came about, but I knew I had to find out more.

I am talking about *Euler’s identity*

Now you probably think I'm crazy. What's beautiful about that? Well, I ought to warn you, I'm not alone — *Mathematical Intelligencer* readers voted the identity the "most beautiful theorem in mathematics". The physicist Richard Feynman called the formula it is derived from "one of the most remarkable, almost
astounding, formulas in all of mathematics".

But what is so special about it? Well, first I ought to explain what the symbols actually mean.

You're probably familiar with , it's the ratio between a circle's circumference and its diameter. The number is also a constant, and you may be vaguely familiar with it as the base of the natural logarithm. To 20 decimal places, Both and are *irrational numbers* – they have an infinite number of decimal places and you can't write them down as one integer divided by another.

Probably the strangest of these three numbers is . It is the square root of -1, that is It's called an *imaginary number*, and you can't find it anywhere along the normal number line, as none of the ordinary *real* numbers give a negative number when squared.

Are you starting to get an idea of the beauty of Euler's identity? If you take the constant to the power of multiplied by , and then take away 1, you get to 0. Isn't it a little odd how three very strange numbers which are not connected in any evident way combine to give such a normal and familiar result?

Euler's identity is named after Leonhard Euler, one of the most prolific mathematicians of all times.

So, why does this happen? You might think that it is down to some really complex idea — how do we even take a number to the power of ? Well, actually, it isn't too difficult to see how Euler's identity comes about - that is one thing that makes the identity so wonderful! But first you have to see Euler's *formula*, which leads to his beautiful identity, in full generality:

Doesn't look quite as nice and neat now, does it? But don't be put off. To understand how this formula comes about, we need something called *Taylor series*. These are just a way of expressing functions such as or as infinite sums. They were discovered by the mathematician Brook Taylor (who was also part of the committee which adjudicated the argument between Isaac Newton and Gottfried Leibniz about who first invented the calculus).

The Taylor series for the function is

The Taylor series for the other two functions appearing in Euler's formular are

Now let's multiply the variable in the Taylor series for by the number . We get

All we have to do now is substitute . Since and we get

So you see, after a sequence of fairly complex mathematics we arrive back where we started — at the (seemingly) simple numbers 1 and 0. That is what I think is so beautiful about this identity: it links very strange numbers with very ordinary and fundamental ones. Seeing why it works feels a bit like treading a little-known path through the mathematical jungle to reach a secret destination somewhere in the thick undergrowth.

### About the author

Surein Aziz is 17 years old and currently in year 12 at Farnborough Sixth Form College. He thinks maths is very interesting (and beautiful!) because of the incredible truths and interconnections you can uncover simply by following a sequence of logical steps and identifying patterns. He loves to spend his time thinking about (and sometimes, in simple cases, solving) interesting maths problems, and is hoping to read mathematics at university after he gets his A-levels. He also enjoys playing the violin and fencing. He first encountered Euler's Identity and the idea of its beauty on a TV program, after which he knew he had to research the subject further.