Math 2.0

statement proposition

The complex exponential is 2πi-periodic

Statement

For each z∈Cz \in \mathbb{C}, ez+2πi=ez,e^{z + 2 \pi i} = e^{z}, where eze^z is the complex exponential of zz.

Remarks

Proof: by Euler's formula, e2πi=cos⁡2π+isin⁡2π=1e^{2 \pi i} = \cos 2\pi + i \sin 2\pi = 1. By the product of exponentials, ez+2πi=eze2πi=eze^{z + 2\pi i} = e^z e^{2\pi i} = e^z. The periods of exp⁡\exp are exactly the numbers 2πik2 \pi i k with k∈Zk \in \mathbb{Z}, by exp z = 1 iff z is in 2πiZ. So exp⁡\exp is not injective on C\mathbb{C}. It is injective on each horizontal strip {z:a<Im⁡z≤a+2π}\{z : a < \operatorname{Im} z \le a + 2\pi\} with a∈Ra \in \mathbb{R}.

Explanations

L1 human

Adding 2πi2 \pi i to zz adds a full turn to the direction of eze^z and does not change its size. So eze^z takes the same value again: the exponential repeats itself along each vertical line, with step 2π2\pi.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

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

What this needs

To read this node, read these 5 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Complex numbers object
  2. Complex exponential definition
  3. Euler's formula statement
  4. Product of exponentials statement
  5. The complex exponential is 2πi-periodic statement

Sources

  1. Web https://en.wikipedia.org/wiki/Exponential_function, Complex exponential