RE: Dividing by variable when solving algebraic equation
October 27, 2016 at 5:44 am
(This post was last modified: October 27, 2016 at 5:49 am by Alex K.)
(October 27, 2016 at 4:02 am)robvalue Wrote: The essential problem is that mapping 1 to sqrt(1) isn't one to one, unless you force the result to be positive. -1 also maps to sqrt(1). To keep the mapping consistent, when evaluating the split radicals it should be -i * i = 1
I'm not actually sure if there's a formal rule for dealing with this, it's not come up for me.
It's one of the easiest ways to slip up and one of the more confusing aspects of maths.
Yes, exactly, the value of the square root in the complex plane is not unique, because if you go once round the origin in the complex plane for the values you stick in, you only circle half round the origin in the image set, so it depends on which way you go from 1 to -1 what the result for sqrt(-1) is. The branch sqrt(-1)=i is simply the standard convention, but everyone can see that -i*-i=-1 as well.
Splitting the square root into a factor of two square roots lets us suddenly jump into the wrong half of the image set if we stick with the standard convention for both of them.
This is kind of for the specialists:
Basically, the prescription has something to do with analytic continuation: We have to go from 1=1*1 to 1=-1*-1 in a continous fashion.
It would go something like this: you first split the 1 into two factors of 1=1*1, put them under sqrts, so you get 1=sqrt(1)*sqrt(1). Then, to get a continuous well-defined result for the expression sqrt(-1)*sqrt(-1), what you'd have to do is under both sqrts, you have to go from 1 to -1 on a circle around the origin. In order for the product of the two numbers under the sqrts to remain =1 during this continuous process, you have to go clockwise around the origin in the complex plane for one of them, and counter-clockwise for the other. Then, the continuous process of wandering from 1=1*1 ----> -1*-1 , the product always remains 1. So what if we add the square roots?
What will then happen is that with one sqrt(-1) where you went from 1 to -1 counter-clockwise you end up on the standard branch with sqrt(-1)=+i, and with the other sqrt(-1) where you went from 1 to -1 clockwise, you end up with the sqrt(-1)=-i, and you get "sqrt(-1)*sqrt(-1)"=i*-i = 1, the desired result.
