Extend the logarithm function to all nonzero complex numbers by defining
Use this formula to prove the following properties of the complex logarithm.
- , .
- for an integer.
- , where is an integer.
- Proof. For these we use the definition and compute,
- Proof. Let and . Then,
- Proof. Again, we compute,
- Proof. Finally, we have