2

According to my logic,

$$\large\sqrt{x^2} = x^{2\times \frac{1}{2}} = x = x^{\frac{1}{2}\times 2}={(\sqrt{x})}^2$$

But when I look at the graphs of these guys, they're totally different.

Edit: Complex answers are okay, if you know what I mean.

gebruiker
  • 6,154
Nick
  • 6,804
  • 14
    $\sqrt{x^2}=|x|$ and $\sqrt{x}^2=x$. – Nicky Hekster Aug 04 '14 at 15:16
  • 8
    As function the first is defined on $\Bbb R$ whereas the last only on $\Bbb R_{\ge0}$. –  Aug 04 '14 at 15:17
  • 1
  • @NickyHekster: How does restating the expression in a different notation clarify the meaning gap. And what if I allow these as functions to have a codomain of complex numbers? I'm merely trying to understand all this clearly. – Nick Aug 04 '14 at 15:31
  • 4
    You told us that you drew a graph, so that must have been on the reals. The square root is not a well-defined function on complex numbers. Because of the fundamental theorem of algebra, you will always have two different square roots for a given number. If you want to find out the possible values, the easiest way is probably to go with De Moivre's formula. – Nicky Hekster Aug 04 '14 at 15:38
  • I am wondering what the "totally different" graphs were. – GEdgar Jun 03 '15 at 13:47

9 Answers9

9

$f(x)=\sqrt{x^2}=|x|,$ so if $x\ge 0$, then $f(x)=x$. And if $x\lt 0$, then $f(x)=-x.$

On the other hand, $g(x)={\sqrt x}^2=x$ is defined only when $x\ge0.$

Hence, we know that $y=f(x)=\sqrt{x^2}$ is different from $y=g(x)={\sqrt x}^2.$

mathlove
  • 139,939
  • In my universe, I think I can allow complex numbers to exist. What then. – Nick Aug 04 '14 at 15:21
  • 3
    @Nick: Then what does $\sqrt{\cdot}$ mean? What is $\sqrt{i}$, is it $(1+i)/2$ or $-(1+i)/2$? – Najib Idrissi Aug 04 '14 at 15:40
  • @NajibIdrissi: Since $\sqrt .$ is commonly used to give the positive branch value, then I think I'd go with $(1+i)/2$ . Am I right? I have no idea. – Nick Aug 04 '14 at 15:46
  • 3
    What about $\sqrt{-i}$ then, is it $(1-i)/2$ or $(i-1)/2$? It's true you can define $\sqrt{\cdot}$ unambiguously if you really want to, but the choice is arbitrary and you cannot define it in a continuous way, or a way compatible with multiplication. See this for one of many examples. – Najib Idrissi Aug 04 '14 at 15:49
3

Since noone has (yet) pointed out where your logic went wrong,

the expression $a^b$ is not always well-defined : usually you need $b$ to be an integer or $a$ to be a positive real for it to make sense (also you need $b \ge 0$ if $a=0$) (you can define it in more cases but it is complicated enough like this)

So the identity $(a^b)^c = a^{bc}$ is often nonsense because it talks about things that don't exist or they both exist but are not the same. However it is true when $a$ is positive or if both $b$ and $c$ are integers (and surely in some other complicated cases)

In your case $(x^\frac 12)^2$ is only well-defined for positive $x$ and for those $x$ we do have $(x^\frac 12)^2 = x^1$, while $x^1 = (x^2)^\frac 12$ for positive $x$ and not for negative $x$.

mercio
  • 50,180
2

Notice that:

$$\sqrt{x^2} = |x|$$

And

$$\sqrt{x}^2 = x$$

But also notice that the domains are different:

$$\sqrt{x^2}: (-\infty, \infty)$$

And

$$\sqrt{x}^2 = [0, \infty)$$

Make sense now why the graphs would look different?

Varun Iyer
  • 6,074
2

I think your confusion arrises from the idea that the $\sqrt{\cdot}$-fuction is the inverse function of $\cdot^2$. This is not exactly the case; you see $f(x)=x^2 $ does not really allow for an inverse function, because you can always find two distinct values $a_1$ and $a_2$ such that $(a_1)^2=(a_2)^2=x$ (exept maybe for the $0$-case). So there is in fact no "good" reason why we should have $$\sqrt{x^2}=\sqrt{x}^2,$$ because this kind of behaviour is something you would generally expect from functions and their inverse. And since $\sqrt{\cdot}$ is not a proper inverse function for $\cdot^2$ we should not be supprised that in general $\sqrt{x^2}\neq\sqrt x^2$.

For a more elaborate discussion on functions and their inverses, see this.

gebruiker
  • 6,154
2

I think you want an answer allowing for the case of imaginary numbers.

Your are under the impression (under your logic) that $f\circ g(x) = g\circ f(x)$.

This is clearly not true in general, and not true in your case, even if, at first sight, case, $g$ is similar to the inverse of $f$.

But $g$ is NOT the inverse of $f$, for $f$ does not have any inverse, since $x^2$ is not injective, be it in real or imaginary fields...

gebruiker
  • 6,154
Martigan
  • 5,844
  • I was under the consideration that both $\sqrt x$ and $x^2$ are both forms of x^n – Nick Aug 07 '14 at 04:24
  • That they are the same kind of function is true, but they are not defined on the same range of reals. In any case, $x^\frac{1}{2}$ is not the inverse function of $x^2$, and it is a misconception to think that $(x^\frac{1}{2})^2=(x^2)^\frac{1}{2}=x$. They are not equivalent... – Martigan Aug 07 '14 at 08:08
2

Your equation reminds me of the following: Gift $=$ Present. It looks truthful, doesn't it ? But is it always ? Well, if both words are taken to be written in English, even then there's a glitch, since the second one has at least two completely different meanings, so, depending on its interpretation, the equation can be either true or false. But what if the two words are actually an entry in a German-English dictionary, instead of being one from an English thesaurus, as we previously suspected ? Then the equation is false, since the German word Gift means poison$(!)$. Now, a language is for a word what a domain of definition is to a function. So, what is the definition domain of your square root function ? If this domain is $\mathbb R^{^\mathbf+}$ then your equation is indeed true. And if not, then, as it has already been pointed out in the comment section, for $x\in$ R we have $\sqrt{x^2}=|x|$, and $\big(\sqrt x\big)^2=x$. For instance, $\sqrt{(-1)^2}=\sqrt1=1$, but $\Big(\sqrt{-1}\Big)^2=\big(\pm i\big)^2=-1$.

Lucian
  • 48,334
  • 2
  • 83
  • 154
1

$\large\sqrt{x^2}$ the domain of it is $(-\infty,+\infty)$ because $x^2\ge0$ always,so $x \in $$ (-\infty,+\infty)$ and the range of the function is $[0,+\infty)$ since square root function always produces non-negative result(i.e., $\ge 0$) whereas,

${(\sqrt{x})}^2$ the domain of it is $[0,+\infty)$ since square root function accept only positive values including zero($\ge0$) and the range of it is $[0,+\infty)$ since square of any number is greater than zero($\ge0$)

DCoder
  • 278
1

If by the radical symbol you mean the set-valued function that associates to each non-zero complex number $w$ the two complex numbers $z$ satisfying $w = z^{2}$, and if "squaring a set $A$" means "the set obtained by squaring each element of $A$", then for each complex $z$,

  1. $\sqrt{z^{2}} = \{\pm z\}$ by the difference of squares identity: For complex numbers $z_{1}$ and $z_{2}$, you have $z_{1}^{2} = z_{2}^{2}$ if and only if $z_{1} = \pm z_{2}$.

  2. $(\sqrt{z})^{2} = \{z\}$ from the definitions of $\sqrt{\phantom{z}}$ and squaring a set.

0

In real numbers, square roots are defined for non-negative numbers only, and $$\sqrt{x^2}=\left(\sqrt x\right)^2.$$

In complex numbers, the principal square root can be defined to have its argument in $(-\frac\pi2,\frac\pi2]$, and for negative numbers, $\sqrt{x^2}=|x|=-x$, $\sqrt x^2=(i\sqrt{|x|})^2=-|x|=x$, so that $$\sqrt{x^2}=-(\sqrt x)^2.$$

enter image description here