# A proof for sqrt(x^2)=|x|

1. May 29, 2009

### ShayanJ

Hi
Can someone give me a proof for sqrt(x^2)=|x|?
I mean why sqrt(x^2)!=+x,-x?
thanks

2. May 29, 2009

### HallsofIvy

Staff Emeritus
$\sqrt{x}$, like any function, is "single valued". That's part of the definition of function: for any specific value of x, f(x) must be a single value.

It is true that, for example, $x^2= 4$ has two roots: x= -2 and x= 2. But $\sqrt{4}$ is specifically defined as "the non-negative number whose square is 4". More generally $\sqrt{a}$ is defined as "the non-negative number whose square is a".

In fact, the reason why we have to write the solutions to $x^2= a$ as "$\pm\sqrt{a}$" is because $\sqrt{a}$ alone does NOT include "$\pm$".

3. May 29, 2009

### jambaugh

Remember that the square function
$$f(x)=x^2$$
is not invertible over its whole domain. (Its graph doesn't pass the horizontal line test.) This because there is not a unique solution for x to the equation:
$$y = x^2$$
To be invertible the inverse relation must be a function i.e. yield a single unique value.

In order to "make" our square function invertible we must restrict the domain:

$$f_+(x) = x^2\quad (x\ge 0)$$
(i.e. if x is negative the function is undefined)

In this case we can then define an inverse function
$$f_+^{-1}(y) = \sqrt{y}$$

Note we could have chosen to restrict the domain differently:

$$f_-(x) = x^2 \quad (x \le 0)$$

This then would have inverse:
$$f_-^{-1}(y)= - \sqrt{y}$$

The square root function gives the "principle root". Since there are two solutions to the equation x^2 = 4, namely 2 and -2 then in order that sqrt be a function (have a unique value) we must pick one of the two solutions. We adopt the convention of choosing the positive solution and call this the "principle" solution. We could have "gone the other way" but more often the solution we want is the positive one.

As for your proof you should break the problem down into cases, x = 0, x>0, x < 0. Show that the value output is the same as |x| in each case.

4. May 29, 2009

### qntty

$$|z|=|a+bi|=\sqrt{a^2+b^2}\implies |a|=\sqrt{a^2}$$

5. May 30, 2009

### Tibarn

It's more of a definition than anything you can prove.

6. May 30, 2009

### ShayanJ

Hey qntty that is right only if the set of real numbers were a subset of the set of complex numbers,but its not.
And to you tibarn.What if I tell you that the sentence "There are infinite number of prime numbers.",has a proof?

7. May 30, 2009

### matt grime

Shyan, the set of real numbers *is* a subset of the complex numbers.

I've no idea what you mean by your last sentence, Shyan. It is the definition of the square root function (or perhaps convention if you prefer) that the square root of a positive number r is the positive one of the two possible solutions to x^2=r. We could form a perfectly good version of mathematics where it is the negative one. It would be perverse and silly but perfectly possible. In that sense you can't 'prove' it in any non-trivial way

8. May 30, 2009

### ShayanJ

yeah.I was making a big mistake and I understood it when I was writing a tough answer(I thought it is) for you matt grime.So I think qntty's answer is the ultimate one(but thanks to all posters)and the thread is finished.
Thank every one for the answers

9. May 30, 2009

### daudaudaudau

Shyan, let me ask you a question. How do you prove that |x| = x and not |x| = +x,-x ?

Because it is DEFINED that way. Same thing goes for the square root. "qntty" has not proved anything.

10. May 30, 2009

### ShayanJ

first:|x|=x if x>=0,-x if x<0
second:Yes he did.
sqrt(x^2) is defined to be |x|.but I didn't know why it is.qntty told the reason.So he PROVED it.
In fact he passed the way that the mathematicians has passed to reach to the definition of sqrt(x^2) in front of our eyes.And I think that is one kind of PROVING.

Last edited: May 30, 2009
11. May 30, 2009

### daudaudaudau

"first:|x|=x if x>=0,-x if x<0"

NO NO NO. You are using the definition and that is no good according to your own standards. PROVE it to me!

12. May 30, 2009

### matt grime

qntty didn't prove anything - he just used the fact that sqrt(x) returns the positive root. Which is what you claim you want proving....

13. May 30, 2009

### ShayanJ

Yes I used the definition but what was the thing that you used?
if it was a definition too:
then there are just two candidates for the definition of |x|.yours and mine.So if I prove that yours is wrong,then mine will be true.And that's exactly what I'm going to do.
Imagine x=-2.as your definition says,|-2|=-2,but we all know that a modulus won't be equal to a negative number.So your definition is wrong and mine is true.

14. May 30, 2009

### daudaudaudau

Now prove that modulus is always positive.

15. May 30, 2009

### ShayanJ

Ok.|a| means the distance between the 0 point and +a or -a.a distance can not be negative.So modulus is always positive or zero.
Is it finished?

16. May 30, 2009

### AUMathTutor

This question is a matter of definition.

If I ask "Which real number x has the property that x^2 = 25?", the answer is there are two: +5 and -5.

sqrt(25) is defined to be a function, hence, single-valued.The positive root is taken, as far as I can tell, because writing it takes less time (the + sign can be assumed on positive numbers...)

17. May 31, 2009

### matt grime

But you've defined the modulus function to be the distance. You didn't need to do that; I can define |x| to be negative and then claim that distance is -|x|. As I said before it is entirely perverse to do so, but would also have been legitimate.

You are not seeking a proof that is anything other than the vacuous one. You might perhaps want a justification for it. The functions |x| and sqrt(x^2) are identical on the real numbers, and that is an immediate consequence of the definition of each. It is not a deep fact, and it requires nothing that really merits the word 'proof'.

18. May 31, 2009

### ShayanJ

Well I think in the chain of proofs,we reach somewhere that we have to accept sth without proof and also sth must be set as a law.Like for example:axioms of euclid.
And that's because we can fight for ever and get no result.so I think you are right at the end.and sqrt(x^2)=|x| is sth like an axiom or maybe a law.
Ok
thanks to all.

19. May 31, 2009

### Tibarn

sqrt(x^2) equals x if x>0 and -x otherwise.
|x| equals x if x>0 and -x otherwise.
Therefore, sqrt(x^2) = |x|.
Pedantic, yes, but this is a definition, not a deep fact.

20. May 31, 2009

### daudaudaudau

You just have to understand the meaning of the word "definition".

An example: By definition, the word "knife" refers to a metallic or plastic object used for cutting stuff. You can use it to stab someone or you can use it when you eat. That is how "knife" is defined. IT IS COMPLETELY ARBITRARY. You might as well define "knife" to mean the same as "monkey" or whatever. Go ahead, invent your own language.

The same thing goes for the symbol "sqrt". Is has a certain definition, a certain meaning.