Math 2.0

statement theorem

Polar form

Statement

Let zz be a complex number with z≠0z \neq 0, let r=∣z∣r = |z| be its modulus and let θ=Arg⁡z\theta = \operatorname{Arg} z be its principal argument. Then z=r(cos⁡θ+isin⁡θ)=reiθ.z = r (\cos \theta + i \sin \theta) = r e^{i \theta}.

Remarks

The second equality is Euler's formula. The pair (r,θ)(r, \theta) gives the polar coordinates of the point zz in the complex plane. Polar form makes products easy: reiθ⋅seiφ=rs ei(θ+φ)r e^{i \theta} \cdot s e^{i \varphi} = r s \, e^{i (\theta + \varphi)}.

Explanations

L1 human

You can describe a point of the plane by its distance from 00 and its direction. For example, 1+i1 + i has distance 2\sqrt{2} and direction π/4\pi/4, so 1+i=2 eiπ/41 + i = \sqrt{2} \, e^{i \pi/4}.

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 13 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. Real numbers object
  3. Set bounded above definition
  4. Euler's formula statement
  5. Real and imaginary parts definition
  6. Supremum definition
  7. Completeness axiom statement
  8. Existence of square roots of nonnegative reals statement
  9. Square root definition
  10. Modulus of a complex number definition
  11. Argument of a complex number definition
  12. Principal value of the argument statement
  13. Polar form statement

What depends on this

6 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Polar_coordinate_system, Complex numbers
  2. Web https://en.wikipedia.org/wiki/Complex_number, Polar form