First of all, a clarification should be made on the definition of the square root. One of the most common definitions in complex analysis is this:
<br />
\sqrt{z} = \sqrt{r}e^{\frac{i\theta}{2}}<br />
when
<br />
z = re^{i\theta},\quad r\geq 0,\quad -\pi < \theta \leq \pi<br />
Many branches of square root exist, and the choice should always be explained clearly. The one mentioned here is one of the most common, and almost standard IMO. Those who want to use some other definition should make it clear themselves. It makes no sense to use some peculiar definition, and insist that others would have the responsibility to know it.
symbolipoint said:
The complex number i is NOT the square root of negative one!
If you use the definition I just mentioned, then \sqrt{-1}=i precisely correct. I mean it is correct in the sense that the left and right sides represent the same spot on the complex plane \mathbb{C}. In other words, the equation is correct like this
<br />
(x_1,y_1)=(x_2,y_2)\quad\Longleftrightarrow\quad\Big(x_1=x_2\quad\land \quad y_1=y_2\Big)<br />
So the formula \sqrt{-1}=i is not correct "in a sense" only, but it is actually correct. Use the formula -1=e^{i\pi} and the mentioned definition of the square root.
IMO it is very unfortunate that some people speak about the formula \sqrt{-1}=i holding only "in a sense". Most of the time mathematics is about clear definitions and proved theorems, and not about vague statements about something being "in a sense". Complex numbers are not the only pedagogical failure of course. Infinitesimal differentials are the other infamous ones...
symbolipoint said:
Also, realize that sqrt(1)=-1 or +1.
gopher_p said:
It is a convention generally accepted among mathematicians and math educators that, for a positve real numbers ##a##, ##\sqrt{a}## denotes the unique positive solution to the equation ##x^2-a=0##
I'm agreeing with gopher_p.
lurflurf said:
we must conclude square root is not injective elsewhere
The mapping z\mapsto \sqrt{z} is injective because
<br />
\sqrt{z_1}=\sqrt{z_2}\quad\implies\quad z_1=z_2<br />
D H said:
Going from ##\frac 1 {-1} = \frac {-1} 1## to ##\sqrt {\frac 1 {-1}} = \sqrt {\frac {-1} 1}## introduces the possibility of an error.
The step
<br />
z_1=z_2\quad\implies\quad \sqrt{z_1}=\sqrt{z_2}<br />
doesn't look very dangerous to me. Are you suggesting that one might accidentaly apply different branches of square roots on left and right? Certainly some other mistakes are more relevant in the original paradox.