×

# De Moivre's Formula

This week, we learn about De Moivre’s Formula.

You may first choose to read Polar Form if you have not already done so.

How would you use De Moivre's Formula to solve the following?

>

For a positive integer $$n$$, express $$\tan (n \theta)$$ in terms of $$t = \tan \theta$$.

For those who want a coding challenge, use this to determine $$tan \, 1^\circ$$ to 10 decimal places. How does this compare to $$\frac{\pi}{180}$$, which would be the naive approximation $$\tan \theta \approx \theta$$?

Note by Calvin Lin
4 years, 1 month ago

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold
- bulleted- list
• bulleted
• list
1. numbered2. 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 1paragraph 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 \times 3$$
2^{34} $$2^{34}$$
a_{i-1} $$a_{i-1}$$
\frac{2}{3} $$\frac{2}{3}$$
\sqrt{2} $$\sqrt{2}$$
\sum_{i=1}^3 $$\sum_{i=1}^3$$
\sin \theta $$\sin \theta$$
\boxed{123} $$\boxed{123}$$

Sort by:

I always wonder if De Moivre's formula came before Euler's formula. I mean it is very easy to derive De Moivre's formula using Euler's formula.

$${(\cos x + i\sin x)}^n = {(e^{ix})}^n = e^{in x} = \cos(n x) + i \sin(n x)$$

- 4 years, 1 month ago

Actually, Euler's Formula states that $$\cos x + i \sin x = e^{ix}$$ for some $$e$$. In order to prove Euler's Formula, we have to prove that $$\text{cis}$$ is an exponential function, which we do through de Moivre's Theorem.

- 4 years, 1 month ago

Euler's formula is actually usually proven using the Taylor expansion, not de Moivre's Theorem. In fact, Euler himself used the Taylor expansion proof in the paper in which he published the formula. Though what you're suggesting would work, proving $$e^{ix} = \cos x + i \sin x$$ by Taylor expansion is much simpler and de Moivre's is a natural extension of Euler's formula, as Jatin showed.

- 4 years, 1 month ago

The whole thing sort of depends on what functions you choose to define and what you then try to show. For example, the introduction of Walter Rudin's text, "Real and Complex Analysis" begins by defining $e^z = \sum_{k=0}^\infty \frac{z^k}{k!},$ from which he efficiently progresses through a number of assertions, beginning with the convergence of the series for all $$z \in \mathbb{C}$$, defining the trigonometric functions $$\sin$$ and $$\cos$$ and the value of $$\pi$$ from the series expansion, and then showing that these definitions satisfy the necessary properties. It is one of the most elegant introductory passages I have ever read in any mathematics textbook, and it reveals why Rudin is so renowned for his expository elegance.

- 4 years, 1 month ago

We can write $$tan(n \theta)$$=$$\frac{cos(n \theta)}{sin(n \theta)}$$. So, we have to calculate the real and imaginary parts of $$cos(n \theta)+isin(n \theta)$$ separately.

$$cos(n \theta)+isin(n \theta)$$=$$(cos \theta + isin \theta)^n$$

=$$cos^n\theta$$+$${n \choose 1}(cos^{n-1} \theta)(isin \theta)$$+$${n \choose 2}(cos^{n-2} \theta)(isin^2 \theta)$$+..........+$${n \choose n-1}(cos \theta)(isin^{n-1} \theta)$$+$$isin^n \theta$$

We see that the terms which are in even position are real (and equal to $$cos(n \theta)$$) and the terms which are in odd position are imaginary (and equal to $$sin(n \theta)$$). So, when n is even,

$$cos(n \theta)$$=$$\sum_{k=1}^{\frac{n}{2}} {n \choose 2k}cos^{n-2k} \theta sin^{2k} \theta (-1)^k$$

$$sin(n \theta)$$=$$\sum_{k=1}^{\frac{n}{2}} {n \choose 2k+1}cos^{n-2k-1} \theta sin^{2k+1} \theta (-1)^k$$

$$tan(n \theta)$$ can be obtained by $$\frac{cos(n \theta)}{sin(n \theta)}$$

But the problem I am facing here is how to convert the terms into $$tan \theta$$?

- 4 years, 1 month ago

Hint: $$\tan \theta = \frac{ \sin \theta } { \cos \theta }$$.

Note that you quote the tangent formula wrongly.

Staff - 4 years, 1 month ago

Sorry, this really was a big mistake. Thank you for pointing this out.

So, my new answer is $$tan(n \theta)$$=$$\frac{\sum_{k=0}^{\frac{n}{2}} {n \choose 2k+1}cos^{n-2k-1} \theta sin^{2k+1} \theta (-1)^k}{\sum_{k=0}^{\frac{n}{2}} {n \choose 2k}cos^{n-2k} \theta sin^{2k} \theta (-1)^k}$$.

We can write $$tan \theta$$=$$\frac{sin \theta}{cos \theta}$$

Thus, my answer reduces to $$tan(n \theta)$$=$$\frac{\sum_{k=0}^{\frac{n}{2}} {n \choose 2k+1}cos^{n} \theta tan^{2k+1} \theta (-1)^k}{\sum_{k=0}^{\frac{n}{2}} {n \choose 2k}cos^{n} \theta tan^{2k} \theta (-1)^k}$$.

So, $$cos^n \theta$$ can be taken out and cancelled.

The answer becomes $$tan(n \theta)$$=$$\frac{\sum_{k=0}^{\frac{n}{2}} {n \choose 2k+1} tan^{2k+1} \theta (-1)^k}{\sum_{k=0}^{\frac{n}{2}} {n \choose 2k} tan^{2k} \theta (-1)^k}$$.

Replace $$tan \theta$$ with $$t$$.

$$tan(n \theta)$$=$$\frac{\sum_{k=0}^{\frac{n}{2}} {n \choose 2k+1} t^{2k+1} (-1)^k}{\sum_{k=0}^{\frac{n}{2}} {n \choose 2k} t^{2k} (-1)^k}$$.

This was for n=even. For n=odd, replace the$$\frac{n}{2}$$ in the limits by $$\frac{n-1}{2}$$.

Is this answer right? Can it be simplified any further?

- 4 years, 1 month ago

Yes this is correct as I too derived the same result but used another technique (Tangents of sum) (see it here.). Although I couldn't possibly simplify it further.

- 4 years, 1 month ago

Isn't $$cos(nθ)=\cos^nθ+\sum_{k=1}^{\frac{n}{2}} {n \choose 2k}\cos^{n−2k}θ\sin^{2k}θ(−1)^k$$ ???

- 4 years, 1 month ago

Yes, you are right. The mistake I had done in the first comment was that k should have started from 0. My second comment rectifies that mistake.

- 4 years, 1 month ago