A Long, but Easily Accessible Proof of eiπ=1e^{i\pi}=-1

This is directly adopted from the rough script for my presentation. Although it lacks visuals, I feel like the proof is in sufficient detail to be understood. The goal of my proof was to teach students with no knowledge of mathematics beyond Algebra 1 how imaginary powers work, and why eiπ=0e^{i\pi}=0. In this proof, it is key to remember that I am referencing e as an arbitrary number with no significance that simply represents this "ugly" number 2.718...

Understanding e to the pi i

Watch this video first. Some of it will most likely make sense and 3Brown1Blue does an amazing job of explaining how this works. However, to keep the video less than half an hour long, he leaves out certain details which, without prior knowledge of the subject, make his video hard to understand. In this paper (this is a rough script for my presentation), I fill in the holes in his video (such as why e is the base and it’s not just “natural”) and give a thorough, incredibly detailed explanation of real numbers to imaginary powers and conclude with why eiπ=1e^{i\cdot \pi}=-1

Definition of terms: i=1i=\sqrt{-1}


Real numbers: the stuff u worked with since preschool unless you grew up in China, in which case you dealt with real and complex numbers in preschool.

Imaginary numbers: also called complex numbers. They are numbers of the form a+b\cdot i where a and b are real numbers. For simplicities sake of this presentation, assume all complex numbers take the form b\cdot i.


Properties: xa+b=xaxbx^{a+b}=x^{a}\cdot x^b




\huge{\text{Why does e^(i*pi)=-1?}}\\ \color{grey}{\text{A proof that requires knowledge Alg 1 and minimal knowledge of complex numbers}}

Note: this proof only explains how to think of imaginary powers. It does not tell you how to solve the equation xiπ=1x^{i\cdot\pi}=-1

Forget adding as adding and forget multiplication as repetitive adding.

Imagine that all numbers were on a number line and that multiplication and addition were ACTIONS. Adding SHIFTS a number line (or plane) and multiplying STRETCHES a number line (or plane). If we add, say 1, then we shift the line right one. We call 1 and ADDER. If we multiply a number by two, then we stretch a graph to double its original length while keeping 0 in the same place.

Imagine graph of 2x2^x. It goes way way way up. But the graph of 1x1^x is a flat line. Thus the absolute value of 1 to any power is 1. Keep this in mind as you go through the proof.

Now, let’s go back to the number line. Imagine 0 as a fixed point and we place a variable point at 1. Imagine multiplying one by 2q2^q. Well 20=12^0=1, and 2a2b=2a+b2^a \cdot 2^b=2^{a+b}. Therefore, 12q=202q=20+q1\cdot 2^q=2^0\cdot 2^q= 2^{0+q}. q is an ADDER to 0. Therefore, raising a number to the power of a variable turns that number from an adder into a multiplier.

Go to the complex plane. What is this? Well it has real numbers on the “xx axis” and imaginary numbers (of the form nin\cdot i) on the “yy axis”. Adding a real shifts the plane left by some factor, and multiplying scales the plane by some factor. Adding ii shifts the plane up (up to ii), so multiplying does what? Multiplying 1 by any multiplier scales 1 to that number. Well if 1i=i1\cdot i=i, and i is a multiplier, then it must scale 1 to ii, and 2 to 2ii, and 3 to 3ii... This means that it rotates the plane by some amount. Now say that we multiply i\cdot i, which is -1. i is once again a multiplier and hence we rotate the plane one more time. Notice that we have rotated the plane 180o, or π\pi radians... notice the correlation? eiπ=1e^{i\cdot\pi}=-1... rotating the plane π\pi radians... But that’s not a complete proof, the only people who would consider this to be a proof are 1) Physicists and 2) Fermat.

So now we go back to changing adders to multipliers by raising them to a certain power.
xaxb=xa+bx^a\cdot x^b=x^{a+b} and thus x0xi=x0+ix^0\cdot x^i=x^{0+i}. This means that if we take ANY number x and raise it to the i, then we should scale x to somewhere on the vertical axis. So 2i2^i should be mapped somewhere on the vertical axis and 4i4^i should be mapped somewhere on the vertical as well... right? Well not exactly.

Note that (ab)c(a^b)^c is the same as (ac)b(a^c)^b.


ln((ab)c)=cln(ab)=cbln(a)\ln \left((a^b\right)^c)=c\cdot ln(a^b)=c\cdot b\cdot ln(a)

ln((ac)b)=bln(ac)=cbln(a)\ln((a^c)^b)=b\cdot ln(a^c)=c\cdot b\cdot ln(a)

If you have no idea what that meant, don’t worry. Here’s another proof



Let’s assume that ANY number to the power of i exists somewhere on the vertical axis. This means that any number to the power of i takes the form k\cdot i for some real number k. Because we can choose any number, let’s choose 2. If our logic is true, then 2i=ki2^i=ki and 4i=ik24^i=i\cdot k^2

(kk is squared because 4 is 2 squared).

2i=ki2^i=k\cdot i.

Then, squaring both sides,

(2i)2=(ki)2=k2(1)=k2(2^i)^2=(k\cdot i)^2=k^2(-1)=-k^2

Thus (2i)2=k2(2^i)^2=-k^2

Therefore, using our above property (2i)2=(22)i(2^i)^2=(2^2)^i


Thus 4i=k24^i=-k^2

But that contradicts our previous assumption where we stated that ANY number to the power of i equals to kik\cdot i for some number kk. This means that NOT ALL values to the power of i take the form kik \cdot i (note that this does not mean that NO values satisfy this condition, hehe logic).

Well then what value of xx satisfies the equation xi=ix^i=i? Well it turns out that there are infinitely many solutions, but not every solution works. The exact values of the solutions are impossible to calculate without a computer, so here is the smallest possible positive solution: 4.8104773809653516554730..... Lets approximate it to sqrt(23)sqrt(23) for future use (they’re only 0.01464 apart). This number is transcendental (explain meaning). Why don’t all values work and why are there infinitely many solutions? I’ll get to that in a second.

Fact: If we consider i as a multiplier that rotate points in the complex plane, and we consider aiaiai....=abia^i \cdot a^i \cdot a^i \cdot ....= \color{#3D99F6}{a}^{\color{#D61F06}{b}\cdot i} (where b is the number of aia^i on the left side of the equation), the greater a and b are, the more we rotate the the point. Let me explain.

First we prove that the larger the value of b, the more it rotates. Using our estimation of a=23a=\sqrt{23} and the properties listed above; (NOTE: I approximate it to 23\sqrt{23} because it is easier to demonstrate how the power (bb) affects the rotation degree).

230i=1{\color{#3D99F6}{ \sqrt{23}}}^{\color{#D61F06}{0}\cdot i}=1

231i=i{\color{#3D99F6}{ \sqrt{23}}}^{\color{#D61F06}{1}\cdot i}=i

232i=(23i)2=i2=1{\color{#3D99F6}{ \sqrt{23}}}^{\color{#D61F06}{2}\cdot i}=\left(\color{#3D99F6}{ \sqrt{23}}^{i}\right)^{\color{#D61F06}{2}}=i^{\color{#D61F06}{2}}=-1

233i=i3=ii2=i{\color{#3D99F6}{ \sqrt{23}}}^{{\color{#D61F06}{3}}\cdot i}=i^{\color{#D61F06}{3}}=i\cdot i^2=-i

234i=i4=(1)2=1{\color{#3D99F6}{ \sqrt{23}}}^{\color{#D61F06}{4}\cdot i}=i^4=(-1)^2=1.

We’ve gone one full rotation, or 2π2\pi radians, and are back where we started! We can keep doing this an infinite number of times. Note that if we trace out the path of the point as we rotate it around zero, we get a circle of radius 1. Even though we can do this one more time, let’s go one more turn and see what happens.

235ii5=i\color{#3D99F6}{ \sqrt{23}}^{\color{#D61F06}{5}\cdot i}\approx i^{\color{#D61F06}{5}}= i.

Remember how I said that xi=ix^i=i had an infinite number of solutions? Well this is the second solution, approximately 235\color{#3D99F6}{ \sqrt{23}}^{5}. I can no longer “legally” use the equal sign (technically I couldn’t use it in the first place, but then I would have nothing to replace the current \approx signs with) because of the gigantic exponent. Whereas our approximation used to be 0.0146 off, it is now a gigantic 38.98 off! Here is a table of the first few positive solutions:

Will fix table tomorrow (too tired lol)

Solution Numbervalue14.810477380922,575.970496597531,379,410.70580598340247.386629225006301x10853.955478312446234x1011100,000,0005.26991655718763x10272,875,268\begin{array}{|c|c|c|} \hline \text{Solution Number} & \text{value}\\ \hline 1 & 4.8104773809\\ \hline 2 & 2,575.9704965975\\ \hline 3&1,379,410.705805983402\\ \hline 4&7.386629225006301x10^8\\ \hline 5&3.955478312446234x10^{11}\\ \hline 100,000,000&5.26991655718763x10^{272,875,268}\\ \hline \end{array}

Next we will show that the larger aa is in abi{\color{#20A900}{a}}^{{\color{#D61F06}{b}}\cdot i}, the QUICKER we rotate the plane. Let us look at the case where a=23=232a=23=\sqrt{23}^2

230i=(232)0i=1{\color{#20A900}{23}}^{\color{#D61F06}{0}\cdot i}=\left(\sqrt{\color{#20A900}{23}}^2\right)^{\color{#D61F06}{0}\cdot i}=1

231i=(232)1i{\color{#20A900}{23}}^{\color{#D61F06}{1}\cdot i}=\left(\sqrt{\color{#20A900}{23}}^2\right)^{\color{#D61F06}{1}\cdot i}

Using the property (ab)c=(ac)b\left(a^b\right)^c=\left(a^c\right)^b

  (232)1i=(231i)2=i2=1~~\left(\sqrt{\color{#20A900}{23}}^2\right)^{\color{#D61F06}{1}\cdot i}=\left(\sqrt{\color{#20A900}{23}}^{\color{#D61F06}{1}\cdot i}\right)^2=i^2=-1

232i=(232)2i=(232i)2(1)2=123^{\color{#D61F06}{2}\cdot i}=\left(\sqrt{\color{#20A900}{23}}^2\right)^{\color{#D61F06}{2}\cdot i}=\left(\sqrt{\color{#20A900}{23}}^{\color{#D61F06}{2}\cdot i}\right)^2\approx (-1)^2=1

We’ve already gone around the circle once, yet our value of bb is HALF of what it was when we worked with a=23a=\sqrt{23}. This clearly shows that the larger aa is, the quicker we rotate the plane.

One day, some genius named Euler looked at this equation and thought, “Well, how about we define this function in terms of the central angle.” (show audience what central angle is).

Let’s call this angle θ\theta. I will switch back to using the exact value of the first solution to xi=ix^i=i, 4.81047.... You’ll see why in just a second. We need to check for a correlation between θ, b,\theta,~b, and abi {\color{#3D99F6}{a}}^{{\color{#EC7300}{b}}\cdot i}

When θ=0\theta=0, b=0{\color{#EC7300}{b}}={\color{#EC7300}{0}} and 4.810470i=1{\color{#3D99F6}{4.81047}}^{{\color{#EC7300}{0}}\cdot i}=1.

When θ=π2\theta=\frac{\pi}{2}, b=1{\color{#EC7300}{b}}=\color{#EC7300}{1} and 4.810471i=i{\color{#3D99F6}{4.81047}}^{{\color{#EC7300}{1}}\cdot i}=i.


When θ=2π\theta=2\pi, b=4{\color{#EC7300}{b}}=\color{#EC7300}{4} and 4.810474i=1{\color{#3D99F6}{4.81047}}^{{\color{#EC7300}{4}}\cdot i}=1.

An obvious correlation between θ\theta and bb is emerging where θ=π2b\theta=\dfrac{\pi}{2}\cdot b... or 2πθ=b\dfrac{2}{\pi}\cdot\theta=b. Plugging our new value of bb into our old function. We get the following equation.

(4.81047...)bi=(4.81047...)(2πθ)i ({\color{#3D99F6}{4.81047...}})^{{\color{#EC7300}{b}}\cdot i}=({\color{#3D99F6}{4.81047...}})^{\left(\frac{2}{\pi}\cdot\theta\right)\cdot i}

Moving the parentheses around

(4.81047...)(2πθ)i=(4.81047...)(2π)(iθ)({\color{#3D99F6}{4.81047...}})^{\left(\frac{2}{\pi}\cdot\theta\right)\cdot i}=({\color{#3D99F6}{4.81047...}})^{\left(\frac{2}{\pi}\right)\cdot \left(i\theta\right)}

Using the property a(b)c=(a(b))ca^{(b)c}=\left(a^{(b)}\right)^c

(4.81047...)(2π)(iθ)=((4.81047...)(2π))iθ({\color{#3D99F6}{4.81047...}})^{\left(\frac{2}{\pi}\right)\cdot \left(i\theta\right)}=\left(({\color{#3D99F6}{4.81047...}})^{\left(\frac{2}{\pi}\right)}\right)^{i\theta}

And this is this is where the kids work, this is where champions are separated from adults, and this is where babies are made... or some permutation of that. Can anyone guess what number (4.81047...)(2π)({\color{#3D99F6}{4.81047...}})^{\left(\frac{2}{\pi}\right)} is?


And finally, when b=2\color{#EC7300}{b}=\color{#EC7300}{2}, θ=π\theta=\pi and 4.810472i=1{\color{#3D99F6}{4.81047}}^{{\color{#EC7300}{2}}\cdot i}=-1.

Meaning that

4.810472i=eiπ=1{\color{#3D99F6}{4.81047}}^{{\color{#EC7300}{2}} \cdot i}=e^{i\pi}=-1.

Note by Trevor Arashiro
4 years, 7 months ago

No vote yet
1 vote

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}


Sort by:

Top Newest

Nice observations made here.

Check out the Complex Algebra exploration, which builds up to this result.

Calvin Lin Staff - 4 years, 7 months ago

Log in to reply


Problem Loading...

Note Loading...

Set Loading...