What is Euler's formula actually saying? | Ep. 4 Lockdown live math
Video Statistics and Information
Channel: 3Blue1Brown
Views: 640,539
Rating: undefined out of 5
Keywords:
Id: ZxYOEwM6Wbk
Channel Id: undefined
Length: 51min 16sec (3076 seconds)
Published: Tue Apr 28 2020
Please note that this website is currently a work in progress! Lots of interesting data and statistics to come.
It's saying there's a fundamental geometric relationship between logarithms and trigonometry.
But what is that saying?
What is this? 3b1b is going to livestream a math lesson tomorrow?
What Euler's formula says depends on what one assumes is known beforehand. Nowadays, at the university level, sine and cosine are often introduced as being precisely the real and imaginary part of exp(it). Then Euler's formula, by itself, is really not much more that splitting a complex valued function into real and imaginary part.
The real deal is showing that the function t β exp(it) is periodic with fundamental period π.
I do not remember the name of that phenomenon, but today I had a math test on complex numbers and now this.
Getting those Matrix feels.
Is this out? Why is it posted if it isn't?
Oilerβs formula says if your door hinge squeaks, you should oil it
I am watching his videos like netflix series in lockdown ,this guy is genius ππ
I love that he's sharing this with high school kids. I'm not sure about other locales, but students in my high school would never be introduced to this relation and get utterly lost in trying to memorize things like double angle formulas, half angle formulas, and all sorts of other relations.
Using this I was lucky enough to skip all that crap back then.
The unit circle can be identified with rotations in the plane. Pick a point to be no rotation, (1,0), then every other point determines a rotation as how far you must go from (1,0). This is a group, we compose two points by composing their associated rotation amount. This group has a smooth parameter, the angle of the rotation, and thus forms a smooth manifold as well. We call these smooth groups Lie groups.
This group constructed above is isomorphic with SO(2), 2x2 real orthogonal matrices. Send the angle x to the element R(x) = ((cos x,sin x), (-sin x, cos x)). Then adding angles x+y is compatible with matrix multiplication, R(x)R(y) = R(x+y).
Using this explicit representation, we can look at the Lie algebra, the tangent space at the identity of the Lie group. For a connected Lie group, every element of the group can be obtained by exponentiating an element of its Lie algebra. One way to think of this is that if the Lie group is the position of the particle on the circle, then the Lie algebra is the velocity at (1,0), given this velocity we can obtain the motion of the particle if the group is connected.
The reason exponentiation is important is this. Say we have some velocity v, then we want to figure out how far we shift from 1 over some time t. If we do it once then we get 1 + ivt. But this isn't quite right, because v tells us infinitesimal information, not average information, thus we have to compose it over and over again. Doing it twice is (1 + ivt/2)2. Keep going to get the limit as n goes to infinity of (1 + ivt/n)n, which is just the definition of eivt.
Let's compute the Lie algebra now. This will just be R'(0), the general element R(x), take the derivative, and evaluate at 0 (because R(0) is the identity matrix = point (1,0)). J = R'(0) = ((0,1),(-1,0)).
Note that J2 = -I. Thus using this matrix, we have an isomorphism of the complex numbers a + ib with 2x2 matrices of the form aI + bJ. Euler's formula in this form is exJ = cosx I + sinx J which of course identifies with eix = cosx + i sinx under the isomorphism.
Now the intuition is very simple. The Lie group is the circle and the special identity point is (1,0). The Lie algebra is the tangent space at the identity, which is the vertical line at (1,0). If we move to complex coordinates (x,y) -> x + iy then this vertical line is the purely imaginary line ix with x real. Now the exponential map on ix takes the line segment from (1,0) to (1,x) and wraps it around the circle. From this it's clear that it's periodic, exp(i 2pi) takes you all the way around, because the length of the line segment and the circumference of the circle are both 2pi.