Por definición, $\sqrt x$ es la única no-número real negativo $y$ tal que $y^2=x$, lo $\sqrt x\cdot\sqrt x=x$ es verdad por definición.
Ahora aplicar la definición a $\sqrt{x^2}$: $\sqrt{x^2}$ es la única no-número real negativo $y$ tal que $y^2=x^2$. Si $x=0$, el único número real cuyo cuadrado es$x^2$$0$, así que por supuesto $\sqrt{x^2}=0=|0|$. Si $x\ne 0$, siempre hay dos números reales $y$ tal que $y^2=x^2$: uno de ellos es $x$, y el otro es $-x$. Exactamente uno de estos dos es positivo. Ya no sabemos si $x$ es positivo o no, no sabemos cual de ellos es positivo, pero sabemos que lo es, es $|x|$. Por lo tanto, $|x|$ es el único número real positivo tal que $|x|^2=x^2$, y, por definición,$\sqrt{x^2}=|x|$.
Como un ejemplo, supongamos que $x=-3$. A continuación,$x^2=9$, y la de dos números reales cuyos cuadrados son $9$ $-3$ (es decir, $x$) y $3$ (es decir, $-x$). La no-negativa es $3=-(-3)=|-3|$. Había empezamos con $x=3$, $x^2$ habría sido todavía $9$, y aún estaríamos han querido que el positivo de $x$$-x$, pero esta vez sería $x$, no $-x$. Es cierto, sin embargo, que el $|x|=|3|=3$, la que queremos.