Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I would like to obtain the magnitude of a complex number of this form:

$$z = \frac{1}{\sqrt{\alpha + i \beta}}$$

By a simple test on WolframAlpha it should be

$$\left| z \right| = \frac{1}{\sqrt[4]{\alpha^2 + \beta^2}}$$

The fact is that if I try to cancel the root in the denominator I still have a troublesome expression at the numerator:

$$z = \frac{\sqrt{\alpha + i \beta}}{\alpha + i \beta}$$

And this alternative way seems unuseful too:

$$z = \left( \alpha + i \beta \right)^{-\frac{1}{2}}$$

If WolframAlpha gave the correct result, how to prove it?

share|cite|improve this question
2  
Note that the square root of a given complex number depends on a choice of branch of the square root function, but the magnitude of that square root does not: For any branch $\sqrt{\cdot}$ we have $|\sqrt{z}| = \sqrt{|z|}$. – Travis Jan 29 at 18:22
2  
Augustin's answer is the correct one, and please read and understand egreg's answer. Given $a,b \in \mathbb{C}$, it is fundamentally WRONG to claim that $\sqrt{ab} = \sqrt{a}\sqrt{b}$. Otherwise $1 = \sqrt{-1 \times -1} = \sqrt{-1} \times \sqrt{-1} = i \times i = -1$...!!! – user21820 Jan 30 at 2:03
up vote 12 down vote accepted

If you convert the number to the complex exponential form, the solution is easy.

Let $s = \alpha + \beta i = r e^{\theta i}$, then $z = s^{-\frac{1}{2}} = r^{-\frac{1}{2}} e^{-\frac{\theta}{2}i}$. The conjugate (written with an overbar) of a complex exponential $re^{\theta i}$ is just $re^{-\theta i}$, so calculating $z\bar{z}$ leads to the exponential terms cancelling and leaves $z\bar{z} = r^{-1}$. Now $r = \sqrt{\alpha^2 + \beta^2}$ and you need $|z| = \sqrt{z\bar{z}}$.

share|cite|improve this answer

Assume $\alpha,\beta\in\mathbb{R}$:

$$\left|\frac{1}{\sqrt{\alpha+i\beta}}\right|=\frac{\left|1\right|}{\left|\sqrt{\alpha+i\beta}\right|}=\frac{1}{\left|\left(\alpha+i\beta\right)^{\frac{1}{2}}\right|}=\frac{1}{\left|\alpha+i\beta\right|^{\frac{1}{2}}}=$$ $$\frac{1}{\left(\sqrt{\alpha^2+\beta^2}\right)^{\frac{1}{2}}}=\frac{1}{\left(\left(\alpha^2+\beta^2\right)^{\frac{1}{2}}\right)^{\frac{1}{2}}}=\frac{1}{\left(\alpha^2+\beta^2\right)^{\frac{1}{4}}}=\frac{1}{\sqrt[4]{\alpha^2+\beta^2}}$$

share|cite|improve this answer

$$|z|=|(\alpha+i\beta)^{-\frac{1}{2}}|=|\alpha+i\beta|^{-\frac{1}{2}}=\left(\sqrt{\alpha^2+\beta^2}\right)^{-\frac{1}{2}}=\frac{1}{\sqrt[4]{\alpha^2 + \beta^2}}$$

By the way, you'd need te define what you mean by $\sqrt{\alpha+i\beta}$ or $(\alpha+i\beta)^{-\frac{1}{2}}$ because there are $2$ complex numbers satisfying $z^2=\alpha+i\beta$. They have the same modulus but still. Once you gave some meaning to that, you can show the property on modulus that I used.

share|cite|improve this answer

You could also say: $$\alpha +\beta i=re^{i\theta },$$ for some $r$ and $\theta$. This means that $$\frac{1}{\sqrt {\alpha +\beta i}}=\left (re^{i\theta} \right)^{-\frac 12}$$ has magnitude $r^{-\frac12}$, where $r$ is the magnitude of $\alpha +\beta i$. This means $$r^{-\frac12} =\left(\sqrt{\alpha^2+\beta^2}\,\,\right)^{-\frac12}=\frac 1 {\sqrt[4]{\alpha^2+\beta^2}}.$$

share|cite|improve this answer

The square root of a complex number is not well defined; however, if we consider a complex number $z$ such that $z^2=w$, then $$ |w|=|z^2|=|z|^2 $$ so $$ |z|=\sqrt{|w|} $$ (and this is well defined, since we are talking of nonnegative real numbers).

Your situation is exactly this one, with a slight complication. However, since $$ |w^{-1}|=|w|^{-1} $$ for any $w\ne0$, you know that, when $w=\alpha+i\beta$ and $z^2=w^{-1}$ that $$ |z|=\sqrt{|w^{-1}|}=\sqrt{|w|^{-1}}=\frac{1}{\sqrt{|w|}} $$ because of the arguments above. So $$ |z|=\frac{1}{\sqrt{|w|}}=\frac{1}{\sqrt{\sqrt{\alpha^2+\beta^2}}} =\frac{1}{\sqrt[4]{\alpha^2+\beta^2}} $$

share|cite|improve this answer

$$ |z| = \sqrt{zz^*} $$ so we have $$ \sqrt{\frac{1}{\sqrt{\alpha+i\beta}}\frac{1}{\sqrt{\alpha-i\beta}}}=\sqrt{\frac{1}{\sqrt{(\alpha+i\beta)(\alpha-i\beta)}}} = ? $$

share|cite|improve this answer
1  
Ok, but now the question becomes: how to prove that $$z^* = \frac{1}{\sqrt{\alpha -i \beta}}$$? It is not immediate. I think the main fact here is that I can't easily separate the real and the imaginary part of such an expression. – BowPark Jan 29 at 9:42

$w\in \mathbb C$ lies on a circle of radius $|w|$ centered at $0$, and every value of $w^p$ (for $p\in \mathbb R$) lies on a circle of radius $|w|^p$ centered at $0$.

So both values of $(\alpha+i \beta)^{-\frac12}$ lie on a circle of radius $|\alpha + i\beta|^{-\frac12} = (\alpha^2+\beta^2)^{-\frac14}$ centered at $0$.

share|cite|improve this answer

The magnitude of a complex number is defined like this: $|z|^2 = z\bar{z}$.

In your particular case, that means: $\frac{1}{\sqrt{\alpha + i\beta}}\frac{1}{\sqrt{\alpha - i\beta}} = \frac{1}{\sqrt{\alpha^2 + \beta^2}} = |z|^2$

What did I do here? Just notice that $\sqrt{a}\sqrt{b} = \sqrt{ab}$

and, since $i^2 = -1$ you can work out this: $(a+ib)(a-ib) = a^2 - aib + aib - i^2b^2 = a^2 + b^2$

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.