Math 2.0

Special functions Theorem

de Moivre's formula

Builds on Euler's formulaProduct of exponentials

Statement

For every real number xx and every integer nn, (cos⁡x+isin⁡x)n=cos⁡(nx)+isin⁡(nx).(\cos x + i \sin x)^n = \cos(n x) + i \sin(n x).

Remarks

Proof: by Euler's formula, the left side is (eix)n=einx(e^{i x})^n = e^{i n x}, which is the right side. For n=2n = 2, comparing real and imaginary parts gives cos⁡2x=cos⁡2x−sin⁡2x\cos 2x = \cos^2 x - \sin^2 x and sin⁡2x=2sin⁡xcos⁡x\sin 2x = 2 \sin x \cos x. For non-integer exponents nn, the formula fails in general.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Complex numbers object
  2. Euler's formula statement
  3. Product of exponentials statement
  4. de Moivre's formula statement

Where this leads

5 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/De_Moivre%27s_formula, lead section
About this page
Tag03MTBVG3VE
URIm2://03MTBVG3VE
Kindstatement, theorem
WritingW1 stated
MSC33B10
StatusThis copy of the site has no build data. Run m2 status 03MTBVG3VE.
UsesEuler's formula, Product of exponentials
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge about out: the concepts that the statement is about (0 of 1)
  • edge proves in: at least one proof node (0 of 1)
  • edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
  • explanation L2 (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by