Question on surds rule Through the textbook, I've been taught the rule $\frac{\sqrt a}{\sqrt b} = \sqrt\frac{a}{b}$, however I realized that if all numbers are assumed to be real, and $a<0 ,b<0$, then the rule is not true as $\frac{\sqrt{-a}}{\sqrt{-b}} = \sqrt\frac{a}{b}$, whereas in $\frac{\sqrt{-a}}{\sqrt{-b}}$, the process makes it invalid as square rooting negative numbers is impossible. So does this mean that the surds rule (multiplication of surds included) is invalid for negative numbers? Or does it mean complex numbers have to be introduced in all cases?
 A: For all nonnegative real numbers $a$ and $b$ (with $b > 0$), we have
$$ \frac{\sqrt{a}}{\sqrt{b}} = \sqrt{\frac{a}{b}}. $$
After that, all bets are off.  The basic problem is that the function $x \mapsto x^2$ is not injective (one-to-one) over the real numbers.  Thus to define the principal square root, which is what the surd represents, we must restrict the domain of this function to the nonnegative real numbers.  Thus if we are working with real variables, then, for example, $\sqrt{a}$ is nonsense for $a < 0$.
Okay, so real variables cause problems.  What if we work with complex variables, instead?  Unfortunately, even if we are careful, we generally cannot get the "surd rule" to work as you want.  For example, if we could extend it, then we might have
$$ 1 = \sqrt{1} = \sqrt{(-1)^2} = \sqrt{-1}^2 = i^2 = -1, $$
which is clear nonsense.  The problem again comes down to how we define the square root function, and on what domain that definition holds.  There are generally two possible choices, and these choices are more or less arbitrary.
A: The main problem is $\sqrt{\cdot}$ isn't defined for negative values as you've pointed out. While you can find numbers that square to negative numbers using the complex numbers, the problem is that there's no natural way to choose them. That is to say, $i$ and $-i$ are essentially indistinguishable (I mean mathematically. Our notation allows us to tell them apart, but we essentially just picked one of the two at random and called that one $i$ and the other one $-i$. It didn't matter which one we named which.) Thus while you can define a continuous function, $s: \Bbb{R}\to\Bbb{C}$, such that $s(x)^2 = x$ for all $x\in \Bbb{R}$, say by 
$$s(x) := \begin{cases}\sqrt{x} & x\ge 0 \\ i\sqrt{|x|} & x < 0, \end{cases}$$ 
if you check to see whether this satisfies $s(xy)=s(x)s(y)$, or $s(x/y)=s(x)/s(y)$, you'll see that it fails to satisfy either except in special cases.
A: You should start with the definition of the square root and the set of numbers you are working in.  In the reals $\sqrt x$ is only defined for $x \ge 0$ and the result is defined to be nonnegative.  That makes it a well defined function and the rule you cite depends on that.  If you are working in the reals and $a,b \gt 0$, $\frac {\sqrt {-a}}{\sqrt {-b}}$ is undefined.  Whether you can make sense of it by going to the complex field is immaterial.  There is a temptation to say $\sqrt {-a}=i\sqrt a$ but there is no way to distinguish that from $-i\sqrt a$.  This can be useful for exploration of problems, because it does not always cause a problem.  If you use it, you need to get rid of it in your final answer.  If you are working in the complex numbers $\sqrt a$ has an infinite set of values until you choose a branch of the square root.  The identity you quote does not hold any more because of the branch choice.
A: Even if you define the square-root on all real numbers such that $\sqrt{-1} = i$, you will still not have any such property, otherwise:

(WRONG) $\dfrac{1}{i} = \dfrac{\sqrt{1}}{\sqrt{-1}} \overset{???}= \sqrt{\dfrac{1}{-1}} = \sqrt{-1} = i$ and hence $1 \overset{???}= i^2 = -1$.

Bottom-line: You should make sure your textbook is a mathematically proper one, and also try not to simply memorize mathematical 'facts'. Every theorem in mathematics has a proper proof, and the more rigorous mathematics you learn the more you will understand that there is no such thing as a random 'law' to be followed.
