# Thread: Prove that absolute value of a equals square root of a squared

1. ## Prove that absolute value of a equals square root of a squared

Hello, I am reviewing the precal section of a calculus textbook and one of the problems asks you to prove that

Absolute value of a = the square root of a squared

I have proved a few other properties of absolute values but for some reason this one is stumping me. Could anyone start me in the right direction? This is one of my first encounters with elementary proofs. Thank you!

2. ## Re: Prove that absolute value of a equals square root of a squared

Originally Posted by Ragnarok
Hello, I am reviewing the precal section of a calculus textbook and one of the problems asks you to prove that

Absolute value of a = the square root of a squared

I have proved a few other properties of absolute values but for some reason this one is stumping me. Could anyone start me in the right direction? This is one of my first encounters with elementary proofs. Thank you!
It depends how you define the absolute value. If it's defined to be

\displaystyle \displaystyle \begin{align*} |x| = \begin{cases} \phantom{-}x \textrm{ if } x \geq 0 \\ -x \textrm{ if } x < 0\end{cases} \end{align*}

since it makes any negatives positive, it can be thought of as the distance from 0.

Now if we remember that any square root has two possible answers, \displaystyle \displaystyle \begin{align*} \sqrt{x^2} = \pm x \end{align*}, that means the answer is something that is \displaystyle \displaystyle \begin{align*} x \end{align*} units away from \displaystyle \displaystyle \begin{align*} 0 \end{align*}, which is exactly how the absolute value is defined

3. ## Re: Prove that absolute value of a equals square root of a squared

Thank you, that is the absolute value definition I am working with. I understand the theorem intuitively but I don't know how to prove it rigorously. In this case it looks so "obvious" to me that I don't know how one goes about proving it, and what we can assume. For example can I say that

x squared = absoluteValue(x squared)

without proving that? I apologize for not using formatting, I am on a phone right now and can't look it up.

4. ## Re: Prove that absolute value of a equals square root of a squared

Originally Posted by Ragnarok
Thank you, that is the absolute value definition I am working with. I understand the theorem intuitively but I don't know how to prove it rigorously. In this case it looks so "obvious" to me that I don't know how one goes about proving it, and what we can assume. For example can I say that

x squared = absoluteValue(x squared)

without proving that? I apologize for not using formatting, I am on a phone right now and can't look it up.
Yes you can, since \displaystyle \displaystyle \begin{align*} x^2 \geq 0 \end{align*} for all \displaystyle \displaystyle \begin{align*} x \in \mathbf{R} \end{align*}. Therefore by definition of \displaystyle \displaystyle \begin{align*} |X| = X \textrm{ if } X \geq 0 \end{align*}, with \displaystyle \displaystyle \begin{align*} X = x^2 \end{align*}, we have \displaystyle \displaystyle \begin{align*} \left|x^2\right| = x^2 \end{align*}

,

,

,

,

,

,

,

,

,

,

,

,

,

,

### why √x^2 =mod x

Click on a term to search for related topics.