When I was younger I wasn't paying too much attention or the teacher did not make sure we understood how the square root works. Recently I was faced with some problems where having the right knowledge would help a lot. I tried to rethink the stuff, but I got stuck, and the results on internet did not lead to the solutions of my problem
My problem seems to focus on the notations. $\sqrt{c}$ in my mind means any number that squared results "c": $x^2 = c$
As example: $x = \sqrt{4}$ shall have 2 solutions: -2 and 2, because both squared results 4. I understood that $\sqrt{c}$ always means the positive root, so it always have 1 solution. So I take this as a "fake" sqrt, and the 2 is the only solution
In order to comprehend this behavior so I will have faster responses, I told to myself 2 rules:
- when the square root is generated by myself (like applying square root to both sides of ecuation), use the $\pm\sqrt{c}$ notation
- when getting rid of it (such as squaring both sides), just get rid of the square root, calculate solutions, and check them as there could be additional invalid ones
So for $x = \sqrt{4}$, I can square both sides and get $x^2 = 4$, where x is $\pm2$, and then check in the initial ecuation and get rid of -2. The problem comes here: I was told that squaring such a "fake" sqrt could result only in true solutions (aka no check required after) by using || to the member inside. It indeed forces the positivity, but it doesn't work with the following example:
$\sqrt{x} = \sqrt{2}$
The only solution there is 2, but using the || knowledge I was talking about: by squaring both sides I get |x| = |2|, then |x| = 2. It nows yeild 2 solutions: $\pm2$, so the promise that it doesn't require any check is vanished. If it requires checks, why is then even required the ||? My method before being reminded about || took care of the problem without any logic overhead
For $x\ge0$, we define $\sqrt{x}$ as the unique $y\ge0$ solving $y^2=x$. By definition, then, $\sqrt{x}^2=x$ for all $x\ge0$. There's no need to write $\sqrt{x}^2=|x|$; this is equivalent to the previous equation if $x\ge0$, but if $x<0$ then $|x|\ge0$, while $\sqrt{x}^2$ cannot be said to be $\ge0$. If you're familiar with imaginary numbers, you'll know how $\sqrt{x}$ can be defined for $x<0$ (usually with the requirement that it be $\ge0$ changed to its imaginary part being $\ge0$), and will also know that in that case $\sqrt{x}^2=x<0\implies\sqrt{x}\ne|x|$. And if you're unfamiliar with them or prefer to limit our discussion to real-valued square roots, $\sqrt{x}$ is undefined for $x<0$, so in particular $\sqrt{x}^2$ cannot mean the same thing as $x$.
If $x=y\ge0$, $\sqrt{x}=\sqrt{y}$. If $x^2=y^2$ for $x,\,y\in\Bbb R$, $x=\pm y$ and $|x|=|y|$. And regardless of whether we involve imaginary numbers, if $\sqrt{x}=\sqrt{y}$ then $x=\sqrt{x}^2=\sqrt{y}^2=y$.