Trigonometry/Relating Power Series for Sine Cosine Exponential
Relationships between exponential function and trigonometric functions
[edit | edit source]A similar function is the exponential function <math>e(\theta)\,</math> which is defined by the statement: the rate of change of <math>e(\theta)\,</math> is <math>e(\theta)\,</math> and the value of <math>e(0)\,</math> is 1. Here we only have to apply the rate of change operator once to get back where we started. Explicitly:
<math>\frac{e(\theta+\delta\theta)-e(\theta)}{\delta\theta}</math> tends to <math>e(\theta)\,</math> as <math>\delta\theta\,</math> tends to zero.
which can be rewritten replacing <math>\theta\,</math> by <math>i\theta\,</math> where <math>\,i</math> is any constant number, to get:
<math>\frac{e(i\theta+\delta i\theta)-e(i\theta)}{\delta i\theta}</math> tends to <math>e(i\theta)\,</math> as <math>\delta\theta\,</math> tends to zero.
because <math>i\,</math> is a constant, <math>\delta i\theta = i\delta\theta\,</math>, performing this substitution, we get:
<math>\frac{e(i\theta+i\delta\theta)-e(i\theta)}{i\delta\theta}</math> tends to <math>e(i\theta)\,</math> as <math>\delta\theta\,</math> tends to zero.
<math>\Rightarrow \frac{e(1(\theta+\delta\theta))-e(i\theta)}{i\delta\theta}</math> tends to <math>e(i\theta)\,</math> as <math>\delta\theta\,</math> tends to zero.
<math>\Rightarrow \frac{d e(i\theta)}{d\theta} = i*e(i\theta)</math>
That is, the rate of change of <math>e(i\theta)\,</math> with <math>\theta\,</math> is <math>i*e(i\theta)\,</math>. We can continue this process to find the rate of change of <math>i*e(i\theta)\,</math> with <math>\theta\,</math>:
<math>\frac{d i*e(i\theta)}{d\theta}</math> is the limit of:
<math>\frac{i*e(i(\theta+\delta\theta))-i*e(i\theta)}{\delta\theta}</math> as <math>\delta\theta\,</math> tends to zero, which is the same as:
<math>\frac{i(e(i(\theta+\delta\theta))-e(i\theta))}{\delta\theta}</math> as <math>\delta\theta\,</math> tends to zero, which is:
<math>i\frac{d e(i\theta)}{d\theta} = i*i*e(i\theta)</math>
Performing this 4 time successively yields and comparing with the same action on the <math>cos()\,</math> function:
<math>\frac{d e(i\theta)}{d\theta} = i*e(i\theta)</math> <math>\frac{d cos(\theta)}{d\theta} = - sin(\theta)</math>
<math>\frac{d i*e(i\theta)}{d\theta} = i*i*e(i\theta)</math> <math>\frac{d -sin(\theta)}{d\theta} = - cos(\theta)</math>
<math>\frac{d i*i*e(i\theta)}{d\theta} = i*i*i*e(i\theta)</math> <math>\frac{d -cos(\theta)}{d\theta} = sin(\theta)</math>
<math>\frac{d i*i*i*e(\theta)}{d\theta} = i*i*i*i*e(i\theta)</math> <math>\frac{d sin(\theta)}{d\theta} = cos(\theta)</math>
If only there was a number <math>i\,</math>, such that <math>i*i = -1</math>, and hence <math>i*i * i*i = -1 * -1 = 1</math>, then we could relate the function <math>cos()\,</math> to the function <math>e()\,</math>. Fortunately, there is a number that will work: the square roots of -1. From here on <math>i\,</math> will denote a square root of -1. <math>-i*-i = (-1)*i*(-1)*i = (-1)*(-1)*i*i = (1)*(-1)=-1</math> is also a solution. We can expect then that <math>cos(\theta)\,</math> is some linear combination of <math>e(i\theta)\,</math> and <math>e(-i\theta)\,</math>, perhaps:
<math>cos(\theta) = A*e(i\theta)+B*e(-i\theta)\,</math>
We know that <math>cos(0) = 1\,</math>, so:
<math>cos(0) = 1 = A*e(i*0)+B*e(-i*0) = A*e(0)+B*e(0) = A + B\,</math>
Finding the rate of change with <math>\theta\,</math>:
<math>\Rightarrow \frac{d cos(\theta)}{d\theta} = \frac{d(\frac{A*e(i\theta)}{d\theta}+d(B*e(-i\theta))}{d\theta}</math>
<math>=> - sin(\theta) = i*A*e(i\theta) + -i*B*e(-i\theta) = - cos(\frac{\pi}{2}-\theta)</math>
setting <math>\theta = 0\,</math>, remembering that <math>cos(\frac{\pi}{2}) = 0\,</math>,
<math>\Rightarrow 0 = iA - iB = i(A-B) \Rightarrow A = B</math>
So now we know that <math>A+B = 1</math> and <math>A = B</math>, so <math>A+A = 1</math>, so <math>A = 1/2</math> and <math>B = 1/2</math>.
To summarize what we know so far:
<math>cos(\theta) = \frac{e(i\theta) + e(-i\theta)}{2}</math> where <math>\theta\,</math> is in radians and <math>i\,</math> is a square root of -1.
Replacing <math>\theta\,</math> by <math>-\theta\,</math> gives conversely:
<math>cos(-\theta) = \frac{e(-i\theta) + e(i\theta)}{2}</math>, the same formula, so we must have that <math>cos(\theta) = cos(-\theta)\,</math>.
Given:
<math>cos(\theta) = \frac{\frac{e(i\theta)}{2} + e(-i\theta)}{2}</math>
We can find the rate of change with θ of both sides to fined the sin() in terms of e()
-sin(θ) = i+e( iθ)/2 - i*e(-iθ)/2
=> sin(θ) = i*e(-iθ)/2 - i*e( iθ)/2
Substituting -θ for θ gives:
sin(-θ) = i*e(iθ)/2 - i*e(-iθ)/2 = -sin(θ)
thus sin() is an odd function, compare this to cos() which is an even function because cos(θ) = cos(-θ).
We can find the function e() in terms of cos() and sin():
cos(θ) + i * sin(θ) = e(iθ)/2 + e(-iθ)/2 + i*i*e(-iθ)/2 - i*i*e(iθ)/2
= e(iθ)/2 + e(-iθ)/2 - e(-iθ)/2 + e(iθ)/2
= e(iθ)
This is called "Euler's Formula".
From the "Cosine Double Angle Formula", we know that:
cos(2θ) = 2 * cos(θ)**2 - 1
Let θ = π/2, so that cos(π/2) = 0, then:
cos(2π/2) = 2 * cos(π/2)**2 - 1 => cos (π) = 2 * 0**2 - 1 => cos (π) = - 1
By Pythagoras:
sin(π)**2 + cos(π)**2 = 1 => sin(π)**2 + -1**2 = 1 => sin(π)**2 = 0 => sin(π) = 0
Consequently, we can evaluate e(iπ) as:
e(iπ) = cos(π) + i * sin(π) = -1 + i * 0 = -1;
Similarly, we can evaluate e(-iθ) from e(iθ):
e( iθ) = cos( θ) + i * sin( θ) => e(-iθ) = cos(-θ) + i * sin(-θ) => e(-iθ) = cos(θ) - i * sin( θ) as cos() is even, sin() is odd
This result allows us to evaluate e(iθ)e(-iθ):
e(iθ)e(-iθ) = (cos(θ) + i * sin(θ))(cos(θ) - i * sin(θ))
= (cos(θ)**2 - i*i*sin(θ)**2)
= cos(θ)**2 + sin(θ)**2 as i*i = -1
= 1 Pythagoras
Starting again from the "Cosine Double Angle Formula", we know that:
cos(2θ) = 2 * cos(θ)**2 - 1
Replace cos() by its formulation in e():
cos(θ) = e(iθ)/2 + e(-iθ)/2
to get:
e(2iθ)/2 + e(-2iθ)/2 = 2 * (e(iθ)/2 + e(-iθ)/2)**2 - 1
= 2 * (e(iθ)/2)**2+(e(-iθ)/2)**2 +2e(iθ)e(-iθ)/4) - 1
= (e(iθ)**2)/2+(e(-iθ)**2)/2 + e(iθ)e(-iθ) - 1
But
e(iθ)e(-iθ) = 1
so we continue the algebraic simplification to get:
e(2iθ)/2 + e(-2iθ)/2 = (e(iθ)**2)/2+(e(-iθ)**2)/2 + e(iθ)e(-iθ) - 1
= (e(iθ)**2)/2+(e(-iθ)**2)/2 + 1 - 1
= (e(iθ)**2)/2+(e(-iθ)**2)/2
Again
e(iθ)e(-iθ) = 1
so we are forced to conclude that
e( 2iθ) = e( iθ)**2 and e(-2iθ) = e(-iθ)**2 for any angle θ.
The e() function is behaving like exponentiation, that is we can write:
e(iθ) = e**iθ
where e is some number whose value is as yet unknown, which is the solution to the equation:
e**iπ = -1
As the e() function behaves like an exponential:
e(i*θ1) * e(i*θ2) = e**(i*θ1) * e** (i*θ2) = e**(i*(θ1+θ2)) = e(i(θ1+θ2))
In particular:
(cos(θ) + i * sin(θ))**n = e(iθ)**n
= (e**iθ)**n
= e**inθ
= e(inθ)
= (cos(nθ) + i * sin(nθ))
Lets try this formula out with n = 2:
(cos(θ) + i * sin(θ))**2 = cos(2θ) + i * sin(2θ)
=> (cos(θ)**2 - sin(θ))**2 + 2 * i * cos(θ)sin(θ) = cos(2θ) + i * sin(2θ)
Now, the number i is manifestly not a real number, as no real number is a solution to the equation i*i = -1, yet both the cos() and sin() functions produce real numbered results, they are, after all, just the ratios of the lengths of the sides of triangles. Consequently in the above we can equate the parts of the equations which are separated by being multiplied by i to get two equations:
cos(2θ) = cos(θ)**2 - sin(θ))**2 sin(2θ) = 2*cos(θ)*sin(θ)
Recall the "Cosine Angle Sum Formula" of:
cos(θ1+θ2) = cos(θ1)cos(θ2) - sin(θ1)sin(θ2)
Set θ = θ1 = θ2 to get the identical result:
cos(θ+θ) = cos(2θ) = cos(θ)cos(θ) - sin(θ)sin(θ)
Likewise the Recall the "Sine Angle Sum Formula" of:
sin(θ1+θ2) = cos(θ1)sin(θ2) + sin(θ1)cos(θ2)
Set θ = θ1 = θ2 to get the identical result:
sin(θ+θ) = sin(2θ) = cos(θ)sin(θ) + sin(θ)cos(θ) = 2*sin(θ)cos(θ)
Using Cosine and Sine Angle Sum Formulae and equating parts, we can deduce that:
e(i*θ1) * e(i*θ2)) = (cos(θ1) + i * sin(θ1)) * (cos(θ2) + i * sin(θ2)) = (cos(θ1)*cos(θ2) - sin(θ1)*sin(θ2) + i(cos(θ1)sin(θ2)) + cos(θ2)sin(θ1)) = cos(θ1 + θ2) + isin(θ1 + θ2) = e(i(θ1+θ2))
wherein the e() function demonstrates its exponential nature to perfection.
The ability of i to partition single equations into two orthogonal simultaneous equations makes expressions of the form e(iθ), and hence trigonometery, invaluable in such diverse applications as electronics: simultaneously representing current and voltage in the same equation; and quantum mechanics, where it is necessary to represent position and momentum, or time and energy as pairs of variables partitioned by the uncertainty principle.