Intereting Posts

Dirichlet series
Proof of an inequality about $\frac{1}{z} + \sum_{n=1}^{\infty}\frac{2z}{z^2 – n^2}$
Complex Functions Analysis $f(z)=\frac{z-a}{1-\bar{a}z}$
Best Algebraic Topology book/Alternative to Allen Hatcher free book?
Let H be a proper subgroup of G of order prime $p^k$ and $N(H) = \{a \in G|aHa^{-1} = H\}.$Show that $N(H) \neq H.$
Commutator subgroup of rank-2 free group is not finitely generated.
Direct product of groups in categorical terms
Prove $\limsup_{n \rightarrow \infty} a_n\geq1$ if $\lim_{n \rightarrow \infty} a_na_{n+1}=1$
Rank of square matrix $A$ with $a_{ij}=\lambda_j^{p_i}$, where $p_i$ is an increasing sequence
surjectivity of group homomorphisms
What's $(-1)^{2/3}\; $?
Unity in Partial Ring of Quotients $Q(R, T)$
Confusion about the definition of function
Weak formulation with Dirichlet boundary conditions
Why is the image of a smooth embedding f: N \rightarrow M an embedded submanifold?

Why does the following law

$$(z_1z_2)^w=z_1^wz_2^w$$

sometimes fail, such as when $z_1=z_2=-1$ and $w=-i$?

- Show that $|z_1 + z_2|^2 < (1+C)|z_1|^2 + \left(1 + \frac{1}{C}\right) |z_2|^2$
- Show that a complex expression is smaller than one
- How would you explain why $e^{i\pi}+1=0$ to a middle school student?
- Complex numbers equation problem
- Proof of $\sin nx=2^{n-1}\prod_{k=0}^{n-1} \sin\left( x + \frac{k\pi}{n} \right)$
- Apollonius circle, its radius and center

And what are the conditions I need for $z_1$ and $z_2$ so that the above identity hold for all complex values of w?

- How to figure out the Argument of complex number?
- Prove that an expression is zero for all sets of distinct $a_1, \dotsc, a_n\in\mathbb{C}$
- Projections on the Riemann Sphere are antipodal
- What is the value of $1^i$?
- Usefulness of alternative constructions of the complex numbers
- Solutions of $|z| = z^5$ in $\Bbb{C}$?
- Why $\sqrt{-1 \times {-1}} \neq \sqrt{-1}^2$?
- Is $z^{-1}(e^z-1)$ surjective?
- Does logging infinitely converge?
- Am I wrong in thinking that $e^{i \pi} = -1$ is hardly remarkable?

The if we write $z_i = r_ie^{i\theta_i}$ and $w = x + iy$ then we have $$(z_1z_2)^w = e^{\ln(r_1r_2)x}e^{i\ln(r_1r_2)y}e^{i(\theta_1+\theta_2) x}e^{-y(\theta_1 + \theta_2)}$$

The same formal identity holds for $z_1^wz_2^w.$ The reason the two calculations come out different is that when calculating $(z_1z_2)^w,$ you reduce $\theta_1+\theta_2$ mod $2\pi$ after you multiply $z_1$ and $z_2$, but before you exponentiate. Thus the problematic factor is $e^{-y(\theta_1+\theta_2)}$ which will be a factor of $e^{2\pi y}$ different between the two calculations if such a reduction takes place. Therefore the two calculations come out the same whenever $\theta_1 + \theta_2 < 2\pi$.

That’s not the case in your example, since for $z_1 = z_2 = -1,$ $\theta_1 = \theta_2 = \pi$ so you reduce $\theta_1 + \theta_2 = 2\pi$ to $0$ in one of the calculations. Thus the answers are different by a factor of $e^{2\pi}.$

Note first that when $w=0$, then clearly the equality holds. So let $w \neq 0$. Then

$$(z_1z_2)^w = z_1^wz_2^w \iff exp(wln(z_1z_2)) = exp(wln(z_1))exp(wln(z_2)) \iff exp(wln(z_1z_2)) = exp(w(ln(z_1)+ln(z_2))) \iff wln(z_1z_2) = w(ln(z_1)+ln(z_2)) \iff ln(z_1z_2) = ln(z_1)+ln(z_2)$$

Hence we found the required condition on $z_1$ and $z_2$ such that the equality holds, namely

$$ln(z_1z_2) = ln(z_1)+ln(z_2)$$

- Real integral by keyhole contour
- Solving Cubic when There are Known to be 3 Real Roots
- Can a number have infinitely many digits before the decimal point?
- Derangements with repetitive numbers
- Trigonometric Uncertainty Propagation
- Equivalence of continuity definitions
- C* algebra of bounded Borel functions
- $a\mid b$ if and only if $ac \mid bc$ where $c\neq 0$
- Determining when a certain binomial sum vanishes
- Are the coordinate functions of a Hamel basis for an infinite dimensional Banach space discontinuous?
- Some equivalent formulations of compactness of a metric space
- What's the rationale for requiring that a field be a $\boldsymbol{non}$-$\boldsymbol{trivial}$ ring?
- Closed model categories in the sense of Quillen vs the modern sense
- Characteristic function of a square of normally distributed RV
- An $R$ module and $S$ module that cannot be an $R$-$S$ bimodule