Imagine you have an elite calculator that can understand verbal instructions, and give verbal answers to certain mathematical questions.
So, if you tell this calculator: "tell me the square root of 9", it replies, "Three".
Now let's give this super-duper android some stuff to do.
Our idea is simple: first we'll give it a number, then ask it's square, then ask for the square root of the square. In diagram form:
$a \to a^2 \to \sqrt{a^2}$
Then, we'll do the steps in the reverse order (because our android is just THAT good):
$a \to \sqrt{a} \to (\sqrt{a})^2$.
We'll ask our cyborg friend to tell us what the "current state" is, after each step. Ok, ready? Let's go!
"Android, the input $a$ is $9$."
Our android does the first routine:
"9...calculating...81...calculating...9"
Next he (she? who knows?) does the second routine:
"9...calculating...3...calculating...9".
Well, both methods seem to give the same answer. Huh.
Let's try a different number:
"Android, the input $a$ is $-4$.
Androidess whirrs:
"-4...calculating...16...calculating...4".
Now for the second routine:
"-4...calculating...calculating...calc...ERROR! ERROR! routine undefined...a34eeee00x1...coredmp."hello.world"/daisy...dai...(bleeeeeeep)"
What went wrong? Android got confused when computing $\sqrt{-4}$.
Now we could get around this with $hotfixpatch/complex.numbers$, in which case Android might respond (with perhaps a bit less bravado):
"-4...calculating...(switch to patch mode)...calculating...$2i$...calculating...-4".
Now our two routines give different answers. So there must be something different about:
$\sqrt{a^2}$, and:
$(\sqrt{a})^2$
having to do with whether or not $a < 0$.
You see, squaring is "sneaky", it always spits out a positive number, even if we start with a negative one. So when we "unsquare" (take the square root), we might not get out what we started with:
$2 \to 4 \to 2$ (OK!)
$-2 \to 4 \to 2$ (what the...?)
Trying to "unsquare" a negative number leads to a peculiar problem: we feel that for $k > 0$ that $\sqrt{-k}$ ought to be "the same size" as $\sqrt{k}$, but neither $\sqrt{k}$ nor $-\sqrt{k}$ seems to do the trick. So whatever $\sqrt{-k}$ is, it's NOT on the normal "number line", it's off in some other direction.