View source for Logarithm of product is a sum of logarithms

==Theorem==
Let $z_1,z_2 \in \mathbb{C}$ such that $-\pi < \mathrm{arg}(z_1) + \mathrm{arg}(z_2) \leq \pi$. Then the following formula holds:
$$\log(z_1z_2) = \log(z_1)+\log(z_2),$$
where $\log$ denotes the [[logarithm]].

==Proof==

==References==
* {{BookReference|Handbook of mathematical functions|1964|Milton Abramowitz|author2=Irene A. Stegun|prev=Logarithm (multivalued) of product is a sum of logarithms (multivalued)|next=Logarithm (multivalued) of a quotient is a difference of logarithms (multivalued)}}: $4.1.7$

[[Category:Theorem]]
[[Category:Unproven]]