Proving Abolutee-Value Identities: |x^2| = |x|^2, |x^n| = |x|^n, |x| = sqrt{x^2}, ...

char007

New member
Joined
Jun 23, 2018
Messages
1
Can anyone help me to prove these identities?



\(\displaystyle \mbox{(a) }\, \big|\,x^2\,\big|\, =\, \big|\,x\,\big|^2\)

\(\displaystyle \mbox{(b) }\, \big|\, x^n\, \big|\, =\, \big|\, x\, \big|^n\, \mbox{ for every integer }\, n\)

\(\displaystyle \mbox{(c) }\, \big|\, x\, \big|\, =\, \sqrt{\strut x^2\,}\)

\(\displaystyle \mbox{(d) }\, \big|\, x\, -\, y\,\big|\, \leq\, \big|\, x\, \big|\, +\, \big|\, y\, \big|\)

\(\displaystyle \mbox{(e) }\, \big|\, x\, -\, y\, \big|\, \geq\, \bigg|\big|\, x\, \big|\, -\, \big|\, y\, \big|\bigg|\)

Hint: In (e), prove that \(\displaystyle \big|\, x\, -\, y\, \big|\, \geq\, \big|\, x\, \big|\, -\, \big|\, y\, \big|\) and \(\displaystyle \big|\, x\, -\, y\, \big|\, \geq\, \big|\, y\, \big|\, -\, \big|\, x\, \big|\)
 

Attachments

Last edited by a moderator:

tkhunny

Moderator
Staff member
Joined
Apr 12, 2005
Messages
9,784
Can anyone help me to prove these identities?



\(\displaystyle \mbox{(a) }\, \big|\,x^2\,\big|\, =\, \big|\,x\,\big|^2\)

\(\displaystyle \mbox{(b) }\, \big|\, x^n\, \big|\, =\, \big|\, x\, \big|^n\, \mbox{ for every integer }\, n\)

\(\displaystyle \mbox{(c) }\, \big|\, x\, \big|\, =\, \sqrt{\strut x^2\,}\)

\(\displaystyle \mbox{(d) }\, \big|\, x\, -\, y\,\big|\, \leq\, \big|\, x\, \big|\, +\, \big|\, y\, \big|\)

\(\displaystyle \mbox{(e) }\, \big|\, x\, -\, y\, \big|\, \geq\, \bigg|\big|\, x\, \big|\, -\, \big|\, y\, \big|\bigg|\)

Hint: In (e), prove that \(\displaystyle \big|\, x\, -\, y\, \big|\, \geq\, \big|\, x\, \big|\, -\, \big|\, y\, \big|\) and \(\displaystyle \big|\, x\, -\, y\, \big|\, \geq\, \big|\, y\, \big|\, -\, \big|\, x\, \big|\)
You could start with this...

If x > 0, then |x| = x
If x < 0, then |x| = -x
 
Last edited by a moderator:

Jomo

Elite Member
Joined
Dec 30, 2014
Messages
3,005
Can anyone help me to prove these identities?



\(\displaystyle \mbox{(a) }\, \big|\,x^2\,\big|\, =\, \big|\,x\,\big|^2\)

\(\displaystyle \mbox{(b) }\, \big|\, x^n\, \big|\, =\, \big|\, x\, \big|^n\, \mbox{ for every integer }\, n\)

\(\displaystyle \mbox{(c) }\, \big|\, x\, \big|\, =\, \sqrt{\strut x^2\,}\)

\(\displaystyle \mbox{(d) }\, \big|\, x\, -\, y\,\big|\, \leq\, \big|\, x\, \big|\, +\, \big|\, y\, \big|\)

\(\displaystyle \mbox{(e) }\, \big|\, x\, -\, y\, \big|\, \geq\, \bigg|\big|\, x\, \big|\, -\, \big|\, y\, \big|\bigg|\)

Hint: In (e), prove that \(\displaystyle \big|\, x\, -\, y\, \big|\, \geq\, \big|\, x\, \big|\, -\, \big|\, y\, \big|\) and \(\displaystyle \big|\, x\, -\, y\, \big|\, \geq\, \big|\, y\, \big|\, -\, \big|\, x\, \big|\)
Hi. Sure someone here can help. That is never a problem. But 1st you need to tell us where you are stuck or what you have tried and then once we see where you are going wrong then we can help. Thanks.
 
Last edited by a moderator:

Dr.Peterson

Elite Member
Joined
Nov 12, 2017
Messages
3,039
Can anyone help me to prove these identities?



\(\displaystyle \mbox{(a) }\, \big|\,x^2\,\big|\, =\, \big|\,x\,\big|^2\)

\(\displaystyle \mbox{(b) }\, \big|\, x^n\, \big|\, =\, \big|\, x\, \big|^n\, \mbox{ for every integer }\, n\)

\(\displaystyle \mbox{(c) }\, \big|\, x\, \big|\, =\, \sqrt{\strut x^2\,}\)

\(\displaystyle \mbox{(d) }\, \big|\, x\, -\, y\,\big|\, \leq\, \big|\, x\, \big|\, +\, \big|\, y\, \big|\)

\(\displaystyle \mbox{(e) }\, \big|\, x\, -\, y\, \big|\, \geq\, \bigg|\big|\, x\, \big|\, -\, \big|\, y\, \big|\bigg|\)

Hint: In (e), prove that \(\displaystyle \big|\, x\, -\, y\, \big|\, \geq\, \big|\, x\, \big|\, -\, \big|\, y\, \big|\) and \(\displaystyle \big|\, x\, -\, y\, \big|\, \geq\, \big|\, y\, \big|\, -\, \big|\, x\, \big|\)
As tkhunny said, the basic way to prove each of these is to use separate cases. The first three will be similar: show that it is true for all x >= 0, and then show that it is true for all x < 0. The last two will require also considering other conditions, such as whether x-y is >=0 or <0.
 
Last edited by a moderator:
Top