How would you refute this argumentation?

  • Context: Undergrad 
  • Thread starter Thread starter quasar987
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the mathematical properties of absolute values and square roots, specifically examining the validity of certain equalities involving these concepts. Participants explore the implications of these properties in the context of real numbers, questioning the assumptions made in the original argument.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that while |x|^2 = x^2 is true for all real x, the subsequent steps leading to |x| = x are not universally valid, particularly for negative values of x.
  • Others argue that the square root of x^2 is equal to |x|, not x, emphasizing that the equality |x|^{2/2} = x^{2/2} fails because it implies |x| = x, which is only true for x > 0.
  • Several participants discuss the definition of the square root, noting that it is typically defined as the principal square root, which is always non-negative.
  • Some contributions highlight the need to distinguish between the principal square root and the negative root, suggesting that the original argument does not adequately address this distinction.
  • A few participants propose that the argument's flaw lies in treating the square root function as one-to-one without considering its multi-valued nature.
  • There are mentions of different definitions of square roots, with some participants referencing external sources to support their claims about the nature of square roots.

Areas of Agreement / Disagreement

Participants do not reach a consensus, as there are multiple competing views regarding the properties of square roots and absolute values. The discussion remains unresolved, with differing interpretations of mathematical definitions and their implications.

Contextual Notes

Limitations include the dependence on definitions of square roots and the assumptions made about the domain of x. The discussion reveals a lack of clarity regarding the treatment of square roots in various contexts.

quasar987
Science Advisor
Homework Helper
Gold Member
Messages
4,796
Reaction score
32
It is true for all x real that

[tex]|x|^2 = x^2 \Leftrightarrow \sqrt{|x|^2} = \sqrt{x^2} \Leftrightarrow |x|^{2/2} = x^{2/2} \Leftrightarrow |x| = x[/tex]

for all x real, which is not true.

This is not an assignment I have, I'm just wondering. Thanks.
 
Mathematics news on Phys.org
[tex]\sqrt{|x|^2} = \sqrt{x^2} \Leftrightarrow |x|^{2/2} = x^{2/2}[/tex]

This is where is breaks down, it is not true the right hand side of these 2 equalities are the same. If you are taking the square root symbol to be one to one then you are only defining it for a positive co-domain, however:

[tex]x^{\frac{2}{2}}[/tex]

Is defined for more than a positive co-domain. I've probably explained myself really badly being 10 to 3 in the mourning where I live but I hope that helps.
 
The square root of [itex]x^2[/itex] is not equal to x, but |x| !

[tex]\sqrt{x^2}=|x|[/tex]
 
For real x:

[tex]|x|^2 = x^2[/tex]

True

[tex]\sqrt{|x|^2} = \sqrt{x^2}[/tex]

True.

[tex]|x|^{2/2} = x^{2/2}[/tex]

False, since it implies

[tex]|x| = x[/tex]

which is only true for x > 0.
 
For real x:

[tex]|x|^2 = x^2[/tex]

True

[tex]\sqrt{|x|^2} = \sqrt{x^2}[/tex]

True.

[tex]|x|^{2/2} = x^{2/2}[/tex]

False, since
[tex]\sqrt{|x|^2} \neq |x|[/tex]

[tex]\sqrt{|x|^2} = x \vee -x[/tex]
 
gerben [itex]\sqrt{x} = |x| \therefore \sqrt{|x|^2} = |x|[/itex]
 
jcsd, I do not see what you mean (especially not what you mean with the squareroot of x being equal to the absolute value of x).

I was using:
[tex]\sqrt{a^2} = \pm a[/tex]
so if
[tex]a = |x|[/tex]
the answer is
[tex]\pm |x|[/tex]
which is the same as
[tex]\pm x[/tex]
 
gerben said:
jcsd, I do not see what you mean (especially not what you mean with the squareroot of x being equal to the absolute value of x).

I was using:
[tex]\sqrt{a^2} = \pm a[/tex]
so if
[tex]a = |x|[/tex]
the answer is
[tex]\pm |x|[/tex]
which is the same as
[tex]\pm x[/tex]

Soory that should of been [itex]\sqrt{x} = |\sqrt{x}|[/itex] (which necessarily means that [itex]\sqrt{x}[/itex] is always positive).
 
I think I can clear this up. Your first case is true, but you have to do it conditionally. This is what I mean:

|x| = x if x>0
|x| = -x if x<0

THEREFORE

|x|^2 = (x)^2 if x>0
|x|^2 = (-x)^2 if x<0

et cetera
 
  • #10
jcsd said:
Soory that should of been [itex]\sqrt{x} = |\sqrt{x}|[/itex] (which necessarily means that [itex]\sqrt{x}[/itex] is always positive).

Well, that depends on your definition of square root, I use a definition like this:
"the number that when multiplied by itself will produce a given number"

When looking at matworld (http://mathworld.wolfram.com/SquareRoot.html) I also found:
"Note that any positive real number has two square roots, one positive and one negative."

...

I think that with your definition you cannot refute the derivation in the original post, which leads to a result that you do not want to accept, so somewhere you have to change a rule or definition. Perhaps you see another possibility?
 
  • #11
gerben said:
Well, that depends on your definition of square root, I use a definition like this:
"the number that when multiplied by itself will produce a given number"

When looking at matworld (http://mathworld.wolfram.com/SquareRoot.html) I also found:
"Note that any positive real number has two square roots, one positive and one negative."

...

I think that with your definition you cannot refute the derivation in the original post, which leads to a result that you do not want to accept, so somewhere you have to change a rule or definition. Perhaps you see another possibility?

No my definition is the correct one [itex]\sqrt{x}[/itex] is always definition as that is simply it's definition, that should be clear from your mathworld link.

As for the problem the solution is simple:

[tex]|x|^{\frac{2}{2}} \ne x^{\frac{2}{2}}[/tex]
 
  • #12
jcsd said:
No my definition is the correct one [itex]\sqrt{x}[/itex] is always definition as that is simply it's definition, that should be clear from your mathworld link.

No if you follow the mathwolrd link you see that the square root is defined as:
"A square root, also called a radical or surd, of x is a number r such that [itex]r^2 = x[/itex]"
so there are two solutions a positive one and a negative one, the positive solution is also called "the principal square root"... yeah well just take a look for yourself...

jcsd said:
As for the problem the solution is simple:

[tex]|x|^{\frac{2}{2}} \ne x^{\frac{2}{2}}[/tex]

As you can see in post #5 I agree that this is the point where a rule is broken, and I have explained which rule. If you do not agree with this, you have to come up with something else that is wrong, otherwise you have rules that can prove something that you do not agree with.

The problem was that by following seemingly valid rules you would arrive at an invalid expression, so somewhere you must have followed an invalid rule, where is it and which rule? Just saying that the expression is false does not explain anything.
 
  • #13
[tex]\sqrt{x}[/tex] is always positive?

Counter:

[tex]x^2 = a[/tex], condition: a > 0
[tex]x = \sqrt{a}[/tex]
[tex](\sqrt{a})^2 = a[/tex]

But,
[tex](-\sqrt{a})^2 = a[/tex]

Eg. [tex](-2)^2 = 4[tex] <br /> Thus root of 4 is +- 2[/tex][/tex]
 
  • #14
gerben said:
No if you follow the mathwolrd link you see that the square root is defined as:
"A square root, also called a radical or surd, of x is a number r such that [itex]r^2 = x[/itex]"
so there are two solutions a positive one and a negative one, the positive solution is also called "the principal square root"... yeah well just take a look for yourself...

But where did I say I was talking about the term 'square root'? I said [itex]\sqrt{x}[/itex] is always positive that's because this sign signifies the principal square root, [itex]-\sqrt{x}[/itex] signifies the neagtive square root of a real number. This is clearly stated in the Mathworld link.



As you can see in post #5 I agree that this is the point where a rule is broken, and I have explained which rule. If you do not agree with this, you have to come up with something else that is wrong, otherwise you have rules that can prove something that you do not agree with.

The problem was that by following seemingly valid rules you would arrive at an invalid expression, so somewhere you must have followed an invalid rule, where is it and which rule? Just saying that the expression is false does not explain anything.

The whole reason why the 'argumenatation' is wrong i s because it doen't distinguish between the principal value and th eother value sof the square root.
 
  • #15
Zlex said:
[tex]\sqrt{x}[/tex] is always positive?

It's a definition; [itex]\sqrt{x}[/itex] is simply defined as the positive square root.
 
Last edited:
  • #16
jcsd said:
But where did I say I was talking about the term 'square root'? I said [itex]\sqrt{x}[/itex] is always positive that's because this sign signifies the principal square root, [itex]-\sqrt{x}[/itex] signifies the neagtive square root of a real number. This is clearly stated in the Mathworld link.

Ok I see, you are right.

jcsd said:
The whole reason why the 'argumenatation' is wrong i s because it doen't distinguish between the principal value and th eother value sof the square root.

Yes, and apparently the "other way around" than I thought:

[itex]\sqrt{x} = |x|[/itex] (because [itex]\sqrt{-x^2} = \sqrt{x^2} = x[/itex])

so the argument in the original post should be:

[tex]\sqrt{|x|^2} = \sqrt{x^2} \Leftrightarrow |x|^{2/2} = |x^{2/2}| \Leftrightarrow |x| = |x|[/tex]
 
  • #17
I'm surprised how common equations like this one are.

Basic steps to this:
Find a function which can be many to one (such as ^2)
Start from the first 'many' element (-2, for example)
Use the function on the value (get 4)
Use the inverse but use the second 'many' element (get 2)
OMG 2 == -2 !

This is the kind of logic that makes you think functions need to return context along with numbers. (comes from positive branch)
 

Similar threads

  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
3
Views
2K
  • · Replies 70 ·
3
Replies
70
Views
8K
  • · Replies 2 ·
Replies
2
Views
2K