The tangent to the midpoint between two roots in a third degree polynomial(with three roots) is always the third root. Just saw that at Polymath.
Deriving f(x)=K*(x-a)*(x-b)*(x-c) using the product rule we get
f'(x)= K*((x-a)*(x-b)+(x-a)*(x-c)+(x-b)*(x-c))=
K*((x-a)*(x-b)+(x-c)*(2x-a-b))
taking x=v=(a+b)/2 the second term vanishes and we have
f'(v)= K*(v-a)*(v-b)
the crossing point should be
v - f(v)/f'(v)
as in Newton's method and in this case should be:
v - {K*(v-a)*(v-b)*(v-c)}/{K*(v-a)*(v-b)}
= v - (v - c) = c
Showing posts with label Algebra. Show all posts
Showing posts with label Algebra. Show all posts
Comments on proofs of Euler's identity
You can only proof this identity after you clearly defined what e^(ix) means.
In this sense arguments using calculus and using differential equations are incomplete, without at least a clear definition any argument becomes an heuristic argument.
I know of three ways of defining e^(ix).
(1) From the complex series of e^(z) defined as sum of z^n/n!
(2) as the limit of n to infinity of (1 + ix/n)^n
(3) or directly as cos(x) + i sin(x)
Either way only after defining e^(ix) is that you should show that it has the properties like e^(ia)*e^(ib)=e^(i(a+b)), or (e^ix)'=ie^(ix) that you would expect it to have, and some use them fearlessly.
Number (1) is the most common one, I think number (2) would be a nice thing to use since it is analogous to the real case and can also be interpreted geometrically (as Richard Feynman does for a reference). But using (3) is totally misleading because it doesn't show why it should be true.
That is why I think heuristic arguments are needed to provide "a reason" for us to believe that such a thing should be true. Using circular motion as in my next post seems to me much more simple and much less "out of the blue". While the proof by itself is heuristic it can be made rigorous.
In this sense arguments using calculus and using differential equations are incomplete, without at least a clear definition any argument becomes an heuristic argument.
I know of three ways of defining e^(ix).
(1) From the complex series of e^(z) defined as sum of z^n/n!
(2) as the limit of n to infinity of (1 + ix/n)^n
(3) or directly as cos(x) + i sin(x)
Either way only after defining e^(ix) is that you should show that it has the properties like e^(ia)*e^(ib)=e^(i(a+b)), or (e^ix)'=ie^(ix) that you would expect it to have, and some use them fearlessly.
Number (1) is the most common one, I think number (2) would be a nice thing to use since it is analogous to the real case and can also be interpreted geometrically (as Richard Feynman does for a reference). But using (3) is totally misleading because it doesn't show why it should be true.
That is why I think heuristic arguments are needed to provide "a reason" for us to believe that such a thing should be true. Using circular motion as in my next post seems to me much more simple and much less "out of the blue". While the proof by itself is heuristic it can be made rigorous.
Proof of Euler's formula
This is a proof of Euler's formula that uses the circular motion
Suppose
P(t)= e^(it)
is a trajectory on the complex plane, using some definition of the exponential (the Taylor series definition for example) it is possible to show that
P'(t)=(e^(it))'= i e^(it) =i P(t)
and
P(0)= e^(i0)= e^(0)=1
In fact any reasonable definition of exponential should have these properties if you want to take these for granted all this becomes an heuristic proof.
then P(t) describes a trajectory in the complex plane that at t = 0 is at 1 and which velocity P(t) is always perpendicular, (90 degrees counter-clockwise) to P(t) and the velocity P(t) also has the same modulus as P(t). Such trajectory can only be the circular movement with radius one, unit velocity, starting at the point 1: cos(t) + i sin(t)!! If you want rigor again use the uniqueness of solution of differential equations the Picard–Lindelöf theorem.
e^(it)= cos(t) + i sin(t).
Suppose
P(t)= e^(it)
is a trajectory on the complex plane, using some definition of the exponential (the Taylor series definition for example) it is possible to show that
P'(t)=(e^(it))'= i e^(it) =i P(t)
and
P(0)= e^(i0)= e^(0)=1
In fact any reasonable definition of exponential should have these properties if you want to take these for granted all this becomes an heuristic proof.
then P(t) describes a trajectory in the complex plane that at t = 0 is at 1 and which velocity P(t) is always perpendicular, (90 degrees counter-clockwise) to P(t) and the velocity P(t) also has the same modulus as P(t). Such trajectory can only be the circular movement with radius one, unit velocity, starting at the point 1: cos(t) + i sin(t)!! If you want rigor again use the uniqueness of solution of differential equations the Picard–Lindelöf theorem.
e^(it)= cos(t) + i sin(t).
Why it is so hard to believe that 0.99999 ... = 1?
This is a hard topic, judging from the amount of discussion about it, you can find more references at: Cut-the-knot Wikipedia Polymathematics
The first time I saw 0.99999 ... = 1 I felt unsettled, seeing again all the tension generated by that equality (see polymath above) I decided to write this post.
That equality might be less troublesome if one remembers that the "real number system" (the mathematical setting where this is demonstrated) is just 'a model' for some quantities and not the absolute truth of the universe. Meaning that only after you assume the axioms of that model you can show that 0.99999...=1. Those axioms imply that arbitrary small numbers exist, the problem is do they?
Let me try to explain myself better.
0.99999...=1 is a proven theorem in mathematics (in the real number system), you can also consider it an annoying characteristic of the "real" numbers, since the equality implies that there are two different decimal representations of the same real number "1".
When I say "real number system" I mean a specific mathematical model generally used to describe quantities. As a mathematical model it has well defined axioms, properties, and proved theorems like the one in the title.
First, the name "real number" doesn't mean those numbers are in the real world, of course the real number system is based on some intuitions on how quantities like length, charge, mass (and many others) should behave, and it is indeed a very successful model, but it is nether less just a model.
In measuring quantities (for example length) in the real world always implies some approximation or error. The "real number system" is a mathematical model which supposes that arbitrary good precision is possible, fixing a maximum precision at some small measure would appear strange and it is actually easier, for the models sake, to suppose "infinite" precision.
But can we achieve arbitrary precision? That is something meaningful?
Consider also that this equality has antecedents in Zeno's paradoxes some simple but also unsettling paradoxes.
The way the real number system solved that paradox, had some "bad" consequences like the one in the title.
Some might say that what I wrote here is obvious but I think part of the reason for so much confusion is that people don't say explicitly that stuff. Now for the more arguable part.
Quantum mechanics says that really small quantities give unusual kinds of problems, and many physical theories put at doubt the arbitrarily small in the usual sense. Maybe we should not worry too much with that equality since many modern physicists don't know how to make sense of it too.
The first time I saw 0.99999 ... = 1 I felt unsettled, seeing again all the tension generated by that equality (see polymath above) I decided to write this post.
That equality might be less troublesome if one remembers that the "real number system" (the mathematical setting where this is demonstrated) is just 'a model' for some quantities and not the absolute truth of the universe. Meaning that only after you assume the axioms of that model you can show that 0.99999...=1. Those axioms imply that arbitrary small numbers exist, the problem is do they?
Let me try to explain myself better.
0.99999...=1 is a proven theorem in mathematics (in the real number system), you can also consider it an annoying characteristic of the "real" numbers, since the equality implies that there are two different decimal representations of the same real number "1".
When I say "real number system" I mean a specific mathematical model generally used to describe quantities. As a mathematical model it has well defined axioms, properties, and proved theorems like the one in the title.
First, the name "real number" doesn't mean those numbers are in the real world, of course the real number system is based on some intuitions on how quantities like length, charge, mass (and many others) should behave, and it is indeed a very successful model, but it is nether less just a model.
In measuring quantities (for example length) in the real world always implies some approximation or error. The "real number system" is a mathematical model which supposes that arbitrary good precision is possible, fixing a maximum precision at some small measure would appear strange and it is actually easier, for the models sake, to suppose "infinite" precision.
But can we achieve arbitrary precision? That is something meaningful?
Consider also that this equality has antecedents in Zeno's paradoxes some simple but also unsettling paradoxes.
The way the real number system solved that paradox, had some "bad" consequences like the one in the title.
Some might say that what I wrote here is obvious but I think part of the reason for so much confusion is that people don't say explicitly that stuff. Now for the more arguable part.
Quantum mechanics says that really small quantities give unusual kinds of problems, and many physical theories put at doubt the arbitrarily small in the usual sense. Maybe we should not worry too much with that equality since many modern physicists don't know how to make sense of it too.
Square root of 2 is Irrational
I was looking at the in Internet now and found in this site a different proof of this fact:
"Another elegant proof:
In 1952, Robert Gauntt, then a freshman at Purdue University, gave the following proof[2].
a 2 = 2b2 cannot have a non-zero solution in integers because the last non-zero digit of a square, written in base 3, must be 1, whereas the last non-zero digit of twice a square is 2."
Interesting! note the "last non-zero digit" part.
This proof would be obvious if we were used to base 3.
Here at cut the knot there is a list of different proofs. Proofs number 4 and 3 (in that order) are the ones I like most. The proofs at cut the knot are also reproduced below:
Proof 4
Following is yet another illuminating proof. As in the standard proof, assume p and q are mutually prime (numbers with no common factors). Their squares are still mutually prime for they are built from the same factors. Therefore, the fraction p 2 /q2 cannot cancel out. In particular, p2 /q2 cannot cancel down to equal 2. Therefore, p2 /q 2 .
Proof 3
Following is another intuitive one [Lasckovich, p. 4]. This one is based on the assertion that every number is uniquely (up to the order of factors) representable as a product of primes. (A prime is a number divisible only by itself and 1.) The fact which is known as The Fundamental Theorem of Arithmetic. Assuming it as an axiom (or a given fact), let (p/q)2 = 2 for some integers p and q. Then p2 = 2q2 . Factor both p and q into a product of primes. p2 is factored into a product of the very same primes as p each taken twice. Therefore, p2 has an even number of prime factors. So does q2 . Therefore, 2q2 has an odd number of prime factors. Contradiction.
"Another elegant proof:
In 1952, Robert Gauntt, then a freshman at Purdue University, gave the following proof[2].
a 2 = 2b2 cannot have a non-zero solution in integers because the last non-zero digit of a square, written in base 3, must be 1, whereas the last non-zero digit of twice a square is 2."
Interesting! note the "last non-zero digit" part.
This proof would be obvious if we were used to base 3.
Here at cut the knot there is a list of different proofs. Proofs number 4 and 3 (in that order) are the ones I like most. The proofs at cut the knot are also reproduced below:
Proof 4
Following is yet another illuminating proof. As in the standard proof, assume p and q are mutually prime (numbers with no common factors). Their squares are still mutually prime for they are built from the same factors. Therefore, the fraction p 2 /q2 cannot cancel out. In particular, p2 /q2 cannot cancel down to equal 2. Therefore, p2 /q 2 .
Proof 3
Following is another intuitive one [Lasckovich, p. 4]. This one is based on the assertion that every number is uniquely (up to the order of factors) representable as a product of primes. (A prime is a number divisible only by itself and 1.) The fact which is known as The Fundamental Theorem of Arithmetic. Assuming it as an axiom (or a given fact), let (p/q)2 = 2 for some integers p and q. Then p2 = 2q2 . Factor both p and q into a product of primes. p2 is factored into a product of the very same primes as p each taken twice. Therefore, p2 has an even number of prime factors. So does q2 . Therefore, 2q2 has an odd number of prime factors. Contradiction.
Exponents
In this post we will try to understand some properties of exponents.
How much is 2 3 ? = 2*2*2 = 8
2 4 = 2*2*2*2 =16
2 5 = 2*2*2*2*2 =32
2 6 = 2*2*2*2*2*2 =64
2 2 = 2*2 =4
Lets put all that in sequence...
2 2 2 3 2 4 2 5 2 6
4, 8, 16, 32, 64
Note that when we increase in the exponent we multiply by 2!
So the next terms would be:
128, 256, 512,...
But what the previous terms should be?
When we decrease the exponent... we divide by two!!
2 -1 2 0 2 1 2 2 2 3 2 4 2 5 2 6
z, y, x, 4, 8, 16, 32, 64
x = 4/2 =2
y = x/2 =2/2=1
z = y/2 =1/2 =1/2
2 -1 2 0 2 1 2 2 2 3 2 4 2 5 2 6
1/2,1, 2, 4, 8, 16, 32,64
In here notice 2 1 =2 -that does make some sense
and 2 0 =1!
some more terms:
2 -3 2 -2 2 -1 2 0 2 1 2 2 2 3
c, b, 1/2, 1, 2, 4, 8
b = (1/2)/2 = 1/4
c = b/2 = 1/8
1/8,1/4,1/2,1,2,4,8
Notice that the numbers (1,2,4,8) 'repeat' 1/8=2 -3 = 1/(2 3 )
And that is what happens in general with negative exponents.
2 -n = 1/(2 n )
Now some more properties
2 3 *2 5 = (2*2*2)*(2*2*2*2*2)= 2 "eight times" =2 8
So when we multiply two powers in the same base we add the exponents
For division:
2 7/2 4 = (2*2*2*2*2*2*2)/(2*2*2*2)= 2 "three times" =2 3
There is some cancellation, so when we divide two powers in the same base we subtract the exponents.
(2 3 ) 4 = 2 3 2 3 2 3 2 3 = 2 "twelve times=3*4" = 2 12
Kind of strange to put in words (try it!!) but easier to understand.
How much is 2 3 ? = 2*2*2 = 8
2 4 = 2*2*2*2 =16
2 5 = 2*2*2*2*2 =32
2 6 = 2*2*2*2*2*2 =64
2 2 = 2*2 =4
Lets put all that in sequence...
2 2 2 3 2 4 2 5 2 6
4, 8, 16, 32, 64
Note that when we increase in the exponent we multiply by 2!
So the next terms would be:
128, 256, 512,...
But what the previous terms should be?
When we decrease the exponent... we divide by two!!
2 -1 2 0 2 1 2 2 2 3 2 4 2 5 2 6
z, y, x, 4, 8, 16, 32, 64
x = 4/2 =2
y = x/2 =2/2=1
z = y/2 =1/2 =1/2
2 -1 2 0 2 1 2 2 2 3 2 4 2 5 2 6
1/2,1, 2, 4, 8, 16, 32,64
In here notice 2 1 =2 -that does make some sense
and 2 0 =1!
some more terms:
2 -3 2 -2 2 -1 2 0 2 1 2 2 2 3
c, b, 1/2, 1, 2, 4, 8
b = (1/2)/2 = 1/4
c = b/2 = 1/8
1/8,1/4,1/2,1,2,4,8
Notice that the numbers (1,2,4,8) 'repeat' 1/8=2 -3 = 1/(2 3 )
And that is what happens in general with negative exponents.
2 -n = 1/(2 n )
Now some more properties
2 3 *2 5 = (2*2*2)*(2*2*2*2*2)= 2 "eight times" =2 8
So when we multiply two powers in the same base we add the exponents
For division:
2 7/2 4 = (2*2*2*2*2*2*2)/(2*2*2*2)= 2 "three times" =2 3
There is some cancellation, so when we divide two powers in the same base we subtract the exponents.
(2 3 ) 4 = 2 3 2 3 2 3 2 3 = 2 "twelve times=3*4" = 2 12
Kind of strange to put in words (try it!!) but easier to understand.
Sum of the first n squares
In our last post Volume of the Pyramid we showed that the volume of a truncated solid is the Base*(average of the height at the vertices) for the triangular and square prisms.
Lets now use that idea to calculate the sum of the first n squares.
12 + 22 + 32 + 42 + .... + n2
We can split that in:
1 + 2 + 3 + 4 + 5 + ..... + n
2 + 3 + 4 + 5 + ..... + n
3 + 4 + 5 + ..... + n
4 + 5 + ..... + n
5 + ..... + n
..... + n
. + n
n
If you picture the numbers as the heights of a solid it turns to be a truncated "linear" solid - since the variation is linear, there is also a more formal demonstration of the formula below.
The volume V is:
(B)*(average height at the vertexes)
(n*(n +1)/2)*(1+ n + n)/3
So the sum of the first n squares is
n*(n +1)*(2n +1)/6
You can also put this numbers forming a equilateral triangle rotate by 120o and 240 o and then sum the three versions, getting a nice prism,(it is you can check that). All that is a "3D version" of the classic argument.
1 + 2 +...+(n-1)+ n = S
n +(n-1)+....+2 + 1 = S
n*(n +1) = 2S
S = n*(n +1)/2
We also saw that using averages in the post sums.
Lets now use that idea to calculate the sum of the first n squares.
12 + 22 + 32 + 42 + .... + n2
We can split that in:
1 + 2 + 3 + 4 + 5 + ..... + n
2 + 3 + 4 + 5 + ..... + n
3 + 4 + 5 + ..... + n
4 + 5 + ..... + n
5 + ..... + n
..... + n
. + n
n
If you picture the numbers as the heights of a solid it turns to be a truncated "linear" solid - since the variation is linear, there is also a more formal demonstration of the formula below.
The volume V is:
(B)*(average height at the vertexes)
(n*(n +1)/2)*(1+ n + n)/3
So the sum of the first n squares is
n*(n +1)*(2n +1)/6
You can also put this numbers forming a equilateral triangle rotate by 120o and 240 o and then sum the three versions, getting a nice prism,(it is you can check that). All that is a "3D version" of the classic argument.
1 + 2 +...+(n-1)+ n = S
n +(n-1)+....+2 + 1 = S
n*(n +1) = 2S
S = n*(n +1)/2
We also saw that using averages in the post sums.
tan tan tan
That was a question I saw at Polymathematics raised:
Prove that if A, B, and C are the 3 angles of a triangle,
tan A + tan B + tan C = (tan A)(tan B)(tan C).
There is demonstration for this fact using complex numbers say A + B + C = 180
(cosA + i sinA)*(cosB + i sinB)*(cosC + i sinC)=-1
So this product is real number dividing each factor by the cos we have
(1 + i tanA)*(1 + i tanB)*(1 + i tanC) is real
By foiling and since the imaginary part is 0 we get that identity.
That was the nicest way I could show that identity.
My interest in it was that it can be used to show Hieron's formula, as I was trying to find nicer ways to show it I got the way above.
Prove that if A, B, and C are the 3 angles of a triangle,
tan A + tan B + tan C = (tan A)(tan B)(tan C).
There is demonstration for this fact using complex numbers say A + B + C = 180
(cosA + i sinA)*(cosB + i sinB)*(cosC + i sinC)=-1
So this product is real number dividing each factor by the cos we have
(1 + i tanA)*(1 + i tanB)*(1 + i tanC) is real
By foiling and since the imaginary part is 0 we get that identity.
That was the nicest way I could show that identity.
My interest in it was that it can be used to show Hieron's formula, as I was trying to find nicer ways to show it I got the way above.
Sums
For answers on this post highlight between the xxx's to see
Quickly tell me how much is
95+96+97=
Instead of doing the sum you could just approximate it
Like for example: 3*95
Or even better it could be...
xxx 3*96 xxx
But wait that is exactly 95+96+97
Since xxx 96+96+96 xxx = 95+96+97
As the terms even out.
Now how much is
94+95+96+97+98=
xxx 5*96! xxx
You can guess 93+94+95+96+97+98+99
But wait a second and if you have for example
94+95+96+97=?
There is no central one to average but still
The average should be xxx (95+96)/2 = 95.5 = (94+97)/2 xxx
So the sum is xxx 4*95.5 xxx
It is always the (number of terms)*(average or "middle term")
And now the last sum
37+39+...+79+81
In this case we don't see the middle term but you know what it should be?
xxx (37+81)/2 xxx
That is the (average) is (first+last)/2
So the sum is:
(number of terms)*(average)=(number of terms)*(first+last)/2
That is the sum of an arithmetic progression.
Quickly tell me how much is
95+96+97=
Instead of doing the sum you could just approximate it
Like for example: 3*95
Or even better it could be...
xxx 3*96 xxx
But wait that is exactly 95+96+97
Since xxx 96+96+96 xxx = 95+96+97
As the terms even out.
Now how much is
94+95+96+97+98=
xxx 5*96! xxx
You can guess 93+94+95+96+97+98+99
But wait a second and if you have for example
94+95+96+97=?
There is no central one to average but still
The average should be xxx (95+96)/2 = 95.5 = (94+97)/2 xxx
So the sum is xxx 4*95.5 xxx
It is always the (number of terms)*(average or "middle term")
And now the last sum
37+39+...+79+81
In this case we don't see the middle term but you know what it should be?
xxx (37+81)/2 xxx
That is the (average) is (first+last)/2
So the sum is:
(number of terms)*(average)=(number of terms)*(first+last)/2
That is the sum of an arithmetic progression.
Complex Numbers 3
So we saw that with the rotation-stretching interpretation multiplying and taking powers of complex numbers makes more sense.
Obs. While this interpretation makes multiplication easier it does not help when making addition. Happily addition is easy in the algebraic form "a + bi".
Now we are going to see three bonus of looking at complex numbers in this way.
First bonus: Our theory is somewhat arbitrary why we defined i to rotate 90 o counterclockwise ? It could be clockwise couldn't it ? The answer is yes! Lets say you defined a different clockwise imaginary number j, because you didn't like mine, then you would have a complex number theory just like mine with j's in the place of i's! Your drawings would be the reflection of my drawings. But the arithmetic would be the same.
But your j does the same job as my -i! So in a way the -i does the same job as i, but clockwise. Changing i's to -i's changes the orientation of my rotations. So if I take a number like 3+4i, then 3+4(-i) = 3 - 4i has opposite rotation but the same stretching factor. The operation changing i's to -i's is called conjugation and this reasoning explain most of it's properties directly.
Second bonus: Let's say our stretching factor is 1 (no stretching at all) in this case our complex number only rotate vectors by angles a and b. So they are:
cos(a) + i sin(b)
cos(b) + i sin(b)
An their product by our interpretation:
cos(a+b) + i sin(a+b)
But we can also multiply
cos(a)+i sin(b))*(cos(b)+i sin(b)) by distribution and that is:
(cos(a)cos(b) - sin(a)sin(b)) + i(cos(a)sin(b) + sin(b)cos(a))
And we have the formulas for cos(a+b) and sin(a+b)!,
Although the geometrical demonstration for those formulas is really nice too (there is at least one nice geom. dem. that I know of).
As an exercise you can find what happens when b = -a.
Third bonus: if you remember the First bonus a+bi and a-bi have same stretching but opposite rotation angles u and -u say. Remembering a+bi forms a right triangle with legs a and b lets call c its hypotenuse, that is also its stretching factor.
Then the product of a+bi and a-bi has u + (-u) = 0 rotation and stretching c*c = c2 , so it is really c2 , but algebraically
(a+bi)*(a-bi) = a2 - abi + abi - (bi)2 = a2 -(-b2 )=a2 +b2 .
So a2 + b2 = c2
That is Pythagoras theorem.
Obs. While this interpretation makes multiplication easier it does not help when making addition. Happily addition is easy in the algebraic form "a + bi".
Now we are going to see three bonus of looking at complex numbers in this way.
First bonus: Our theory is somewhat arbitrary why we defined i to rotate 90 o counterclockwise ? It could be clockwise couldn't it ? The answer is yes! Lets say you defined a different clockwise imaginary number j, because you didn't like mine, then you would have a complex number theory just like mine with j's in the place of i's! Your drawings would be the reflection of my drawings. But the arithmetic would be the same.
But your j does the same job as my -i! So in a way the -i does the same job as i, but clockwise. Changing i's to -i's changes the orientation of my rotations. So if I take a number like 3+4i, then 3+4(-i) = 3 - 4i has opposite rotation but the same stretching factor. The operation changing i's to -i's is called conjugation and this reasoning explain most of it's properties directly.
Second bonus: Let's say our stretching factor is 1 (no stretching at all) in this case our complex number only rotate vectors by angles a and b. So they are:
cos(a) + i sin(b)
cos(b) + i sin(b)
An their product by our interpretation:
cos(a+b) + i sin(a+b)
But we can also multiply
cos(a)+i sin(b))*(cos(b)+i sin(b)) by distribution and that is:
(cos(a)cos(b) - sin(a)sin(b)) + i(cos(a)sin(b) + sin(b)cos(a))
And we have the formulas for cos(a+b) and sin(a+b)!,
Although the geometrical demonstration for those formulas is really nice too (there is at least one nice geom. dem. that I know of).
As an exercise you can find what happens when b = -a.
Third bonus: if you remember the First bonus a+bi and a-bi have same stretching but opposite rotation angles u and -u say. Remembering a+bi forms a right triangle with legs a and b lets call c its hypotenuse, that is also its stretching factor.
Then the product of a+bi and a-bi has u + (-u) = 0 rotation and stretching c*c = c2 , so it is really c2 , but algebraically
(a+bi)*(a-bi) = a2 - abi + abi - (bi)2 = a2 -(-b2 )=a2 +b2 .
So a2 + b2 = c2
That is Pythagoras theorem.
Complex Numbers 2
Last post Complex Numbers 1, we saw that:
Positive numbers like 3 stretches vectors.
Pure positive i numbers like 2i rotate by 90o and stretches.
Negative numbers like -3 rotate by 180o and stretches.
Pure negative i numbers like -2i rotate a vector by 270o and stretches.
What you guess composite numbers like 1+i or 2+3i do?
Returning with our vector v we can phrase the question as what is (1+i)*v ? It is (1+i)*v = v + iv, by distribution.
The vector iv forms 90o with v, so v + iv forms a square! and the sum is the diagonal of that square. That is v + iv has 45o, with v and is a little longer by a stretching factor of sqrt(2)=1,41 approximately.
And (1+i)2 should rotate by 45o + 45o = 90o and stretch by sqrt(2) * sqrt(2) = 2.
So it should be 2i!! Checking algebraically
(1+i)2 = (1+i)*(1+i) = 1 + 2i + i2 = 1 + 2i -1 = 2i.
Now what is (3+4i)*v ? It is the diagonal of the rectangle with sides 3v and 4iv, so it is a rotation by the angle of the diagonal with v and a stretching by 5 of v. So what is (3+4i)2 ? Before doing the multiplication we now that the angle will be the double of 3+4i and the stretching will be of 25!
Take a complex number z1 that rotates by 30o and stretches by 7 and another z2 that rotates by 120o and stretches by 4 then z1 * z2 rotates by 30o +120o = 150o and stretches by 4*7= 28.
In the last paragraph I didn't say what those numbers were, with a little trigonometry you find that they are:
7(cos(30o) + i sin(30o))
4(cos(120o) + i sin(120o))
28(cos(150o) + i sin(150o))
And that is the rule of sum the angles and multiply the stretching factors.
This way to write complex numbers is called the polar form it is more useful when we want to multiply or divide complex numbers, and it also makes powering much more easier.
Like if we want to calculate
(2(cos(30o) + i sin(30o)))15
We get 215 of stretching and an angle of 15*30o = 450o = 90o since 360o is a complete turn.
More on the next post.
Positive numbers like 3 stretches vectors.
Pure positive i numbers like 2i rotate by 90o and stretches.
Negative numbers like -3 rotate by 180o and stretches.
Pure negative i numbers like -2i rotate a vector by 270o and stretches.
What you guess composite numbers like 1+i or 2+3i do?
Returning with our vector v we can phrase the question as what is (1+i)*v ? It is (1+i)*v = v + iv, by distribution.
The vector iv forms 90o with v, so v + iv forms a square! and the sum is the diagonal of that square. That is v + iv has 45o, with v and is a little longer by a stretching factor of sqrt(2)=1,41 approximately.
And (1+i)2 should rotate by 45o + 45o = 90o and stretch by sqrt(2) * sqrt(2) = 2.
So it should be 2i!! Checking algebraically
(1+i)2 = (1+i)*(1+i) = 1 + 2i + i2 = 1 + 2i -1 = 2i.
Now what is (3+4i)*v ? It is the diagonal of the rectangle with sides 3v and 4iv, so it is a rotation by the angle of the diagonal with v and a stretching by 5 of v. So what is (3+4i)2 ? Before doing the multiplication we now that the angle will be the double of 3+4i and the stretching will be of 25!
Take a complex number z1 that rotates by 30o and stretches by 7 and another z2 that rotates by 120o and stretches by 4 then z1 * z2 rotates by 30o +120o = 150o and stretches by 4*7= 28.
In the last paragraph I didn't say what those numbers were, with a little trigonometry you find that they are:
7(cos(30o) + i sin(30o))
4(cos(120o) + i sin(120o))
28(cos(150o) + i sin(150o))
And that is the rule of sum the angles and multiply the stretching factors.
This way to write complex numbers is called the polar form it is more useful when we want to multiply or divide complex numbers, and it also makes powering much more easier.
Like if we want to calculate
(2(cos(30o) + i sin(30o)))15
We get 215 of stretching and an angle of 15*30o = 450o = 90o since 360o is a complete turn.
More on the next post.
Complex Numbers 1
In this post we will try to find some light in those strange complex numbers. There is a nice way to present them as rotations and stretchings of vectors, where complex numbers concepts and properties are all very natural, look for that later in this post.
Let's begin by telling my first experiences with complex numbers.
I think my first impressions were based on those mysterious names, after all we would learn about "complex numbers", about the number " i " that was the "square root of -1", that the teacher said before it didn't existed, and also about the "imaginary" numbers in opposition to the more "real" numbers learned before.
The names "complex numbers" and "imaginary numbers" were not a good choice of words from the pedagogical point of view. Well, "i" is the number that squared is -1, what is the logic in that? Lets make some experiments.
For example: 32 = 9 and 52 = 25 so positive numbers squared are positive. (-3)2 = (-3)x(-3) = 9, because negative times negative is positive, so negative numbers squared are also positive!
Concluding that all numbers squared are positive! So no number squared is negative! And in particular no number squared is -1! at worst it is 0.
So they actually invented a number " i " not a "normal number" that squared would be -1, that is what my teacher said to me.
After some algebra facts they let you know that you can plot a complex number like " 3+ 4i " in an x-y axis were the point (3,4) is, unfortunately that was not so helpful. Later on that class my teacher showed me lots of even more bizarre properties of complex numbers.
All that together was a dazzling sequence of "out of the blue" concepts and relations. Actually, complex numbers have a pretty decent history, real flesh and bone people invented it you know, and that history is not "out of the blue" I may tell something of that story latter.
Now I will present complex numbers in a different and I hope better way, first lets explore vectors.
A vector can represent something as velocity or force on a body and lots of other concepts. Lets think of it as a force on an object (which I am not drawing) to fix ideas.
When we apply two forces on an object what happens?
We have a resulting force! That depends on the strength of the original ones and on their direction. There is a way to add them, say u = AB v = AC move the vector u (maintaining direction) to the endpoint of the other C making a vector CD the sum u + v is AD that is the parallelogram law.
If we add v + v we have a vector twice the size in the same direction or v + v = 2v, also, v + v + v = 3v is the vector in the same direction three times longer. 1.5v is the vector with 1.5 the size, -v = -1v is the vector with opposite direction and same size (v + -v = 0), and -5v has opposite direction and is 5 times the size of v.
So when we multiply by a positive number we "stretch" the vector, or maybe shrink it if we multiply by a number smaller than 1, and when we multiply by a negative number the vector inverts its direction and is stretched appropriately.
If we multiply by 3 and after that multiply by 2 we get a vector six times larger, or just 2(3v) = 6v.
Imagine what we get with -3(4v), 5(-1v) and -3(-2v)? Think geometrically!!
-12v, -5v and 6v respectively
Obs. A negative number times a negative number should be positive since we invert the vector two times! - a good justification for that rule/theorem in my opinion.
If we put another vector w somewhere else multiplying by real numbers would also work exactly in the same way.
We can also think that multiplying by -1 rotates vectors by 180o degrees, in that spirit we could rotate vectors by other angles like 90o or 120o . Let's say the number "j" rotates vectors by 90o degrees counterclockwise.
If we multiply our vector by j two times we rotate it by:
90o + 90o = 180o that is -v, or
j*jv = -v = -1v
So j*j = j2 should be -1, and we have a number that squared is -1! j is really our imaginary number i, time for more experiments.
2i rotates 90o and multiplies or stretches by 2
2i*2i rotates by 90o + 90 o =180 o and multiplies by 2x2=4 or 2ix2i = -4.
-i rotates by 90o and inverts the direction so it rotates by 270o .
i3 = i*i*i rotates by 90o + 90o + 90o = 270o also, so i3 = -i.
i4 = i*i*i*i rotates 4*90o = 360o so i4 = 1 = i2 * i2 .
You can guess i5 , i6 , and i37 , note that the algebra coincides with our geometrical ideas.
All properties of complex numbers can be understood in this geometric "rotation-stretching" way, more on that on next post.
Let's begin by telling my first experiences with complex numbers.
I think my first impressions were based on those mysterious names, after all we would learn about "complex numbers", about the number " i " that was the "square root of -1", that the teacher said before it didn't existed, and also about the "imaginary" numbers in opposition to the more "real" numbers learned before.
The names "complex numbers" and "imaginary numbers" were not a good choice of words from the pedagogical point of view. Well, "i" is the number that squared is -1, what is the logic in that? Lets make some experiments.
For example: 32 = 9 and 52 = 25 so positive numbers squared are positive. (-3)2 = (-3)x(-3) = 9, because negative times negative is positive, so negative numbers squared are also positive!
Concluding that all numbers squared are positive! So no number squared is negative! And in particular no number squared is -1! at worst it is 0.
So they actually invented a number " i " not a "normal number" that squared would be -1, that is what my teacher said to me.
After some algebra facts they let you know that you can plot a complex number like " 3+ 4i " in an x-y axis were the point (3,4) is, unfortunately that was not so helpful. Later on that class my teacher showed me lots of even more bizarre properties of complex numbers.
All that together was a dazzling sequence of "out of the blue" concepts and relations. Actually, complex numbers have a pretty decent history, real flesh and bone people invented it you know, and that history is not "out of the blue" I may tell something of that story latter.
Now I will present complex numbers in a different and I hope better way, first lets explore vectors.
A vector can represent something as velocity or force on a body and lots of other concepts. Lets think of it as a force on an object (which I am not drawing) to fix ideas.
When we apply two forces on an object what happens?
We have a resulting force! That depends on the strength of the original ones and on their direction. There is a way to add them, say u = AB v = AC move the vector u (maintaining direction) to the endpoint of the other C making a vector CD the sum u + v is AD that is the parallelogram law.
If we add v + v we have a vector twice the size in the same direction or v + v = 2v, also, v + v + v = 3v is the vector in the same direction three times longer. 1.5v is the vector with 1.5 the size, -v = -1v is the vector with opposite direction and same size (v + -v = 0), and -5v has opposite direction and is 5 times the size of v.
So when we multiply by a positive number we "stretch" the vector, or maybe shrink it if we multiply by a number smaller than 1, and when we multiply by a negative number the vector inverts its direction and is stretched appropriately.
If we multiply by 3 and after that multiply by 2 we get a vector six times larger, or just 2(3v) = 6v.
Imagine what we get with -3(4v), 5(-1v) and -3(-2v)? Think geometrically!!
-12v, -5v and 6v respectively
Obs. A negative number times a negative number should be positive since we invert the vector two times! - a good justification for that rule/theorem in my opinion.
If we put another vector w somewhere else multiplying by real numbers would also work exactly in the same way.
We can also think that multiplying by -1 rotates vectors by 180o degrees, in that spirit we could rotate vectors by other angles like 90o or 120o . Let's say the number "j" rotates vectors by 90o degrees counterclockwise.
If we multiply our vector by j two times we rotate it by:
90o + 90o = 180o that is -v, or
j*jv = -v = -1v
So j*j = j2 should be -1, and we have a number that squared is -1! j is really our imaginary number i, time for more experiments.
2i rotates 90o and multiplies or stretches by 2
2i*2i rotates by 90o + 90 o =180 o and multiplies by 2x2=4 or 2ix2i = -4.
-i rotates by 90o and inverts the direction so it rotates by 270o .
i3 = i*i*i rotates by 90o + 90o + 90o = 270o also, so i3 = -i.
i4 = i*i*i*i rotates 4*90o = 360o so i4 = 1 = i2 * i2 .
You can guess i5 , i6 , and i37 , note that the algebra coincides with our geometrical ideas.
All properties of complex numbers can be understood in this geometric "rotation-stretching" way, more on that on next post.
Subscribe to:
Posts (Atom)