I got to thinking about the square root the other day, and there's this thing that bugs me in the back of my mind. As far as I know, $\sqrt{4}$ is unambiguously $2$, and nothing else, as the square root of a number is defined as the positive root of that number. Yet, when solving algebraic equations, people (myself included) seem to follow this logic:
Solve: $x^2 = 9$
Solution: $\sqrt{x^2} = \sqrt{9} \Rightarrow x = \pm3$
All of a sudden, people love the minus sign! But this is obviously notationally incorrect, even though $x$ really is $\pm 3$. For myself, I made a deal with myself a long time ago: square roots of numbers are always positive, square roots of unknowns always have 2 roots (at least in $\mathbb C$ (counted with multiplicity)).
This itch really needs to be scratched, driving me crazy! :) Thanks in advance.
Consider the function $f(x) = \sqrt{x}$. This is a function that gives the positive square root of a number. As you have noted a positive real number has two square roots; one is positive and the other is negative. It is by convention the let $\sqrt{x}$ denote the positive square root. If I want the negative square root I explicitly write $g(x) = -\sqrt{x}$. Note $f(x)$ and $g(x)$ are respectively the top and bottom half of the parabola given by $y^2 = x$. Note we cannot achieve this parabola by a single function of $x$ (as I would teach my college algebra students this parabola fails the vertical line test). Thus is summary $\sqrt{x}$ can only denote the positive square root because we want $\sqrt{x}$ to be a well-defined function. Otherwise $\sqrt{x}$ is a multivalued function. For those you you who have been exposed to complex analysis you know that $\log(z)$ is a multivalued function and we often pick a branch to work with. Something similar is going on here.
Now consider solving equations. When solving equations we typically want all solutions. Thus we will say $x = \pm \sqrt{9} = \pm 3$ when solving $x^2 = 9$. Here we are showing that there are two solutions. If you want to leave $\sqrt{x}$ as a multivalued function it would not be necessary to write it this way with the $\pm$. In most cases people like a "principle" (positive) square root so that $\sqrt{x}$ is really a function. This makes it necessary to explictly denote $-\sqrt{x}$ when we want it.