Author |
Topic: 1=0? (Math skills needed) (Read 2053 times) |
|
godskook
Newbie
Posts: 2
|
 |
1=0? (Math skills needed)
« on: Mar 7th, 2004, 5:46pm » |
 Quote  Modify
|
I stumbled on this wierd equation just today so I don't know how accurate my algebra is.
(1/-1)1/2=1/i=(1/i)(i/i)=i/i2=-i
or
(1/-1)1/2=(-1)1/2=i
which means that i=-i or 1=-1 or 1=0 ?
What is wrong with this?
<for those who don't know (-1)1/2=i>
|
| « Last Edit: Mar 7th, 2004, 5:48pm by godskook » |
 IP Logged |
|
|
|
towr
wu::riddles Moderator
Uberpuzzler
Some people are average, some are just mean.
Gender: 
Posts: 13730
|
|
Re: 1=0? (Math skills needed)
« Reply #1 on: Mar 8th, 2004, 2:30am » |
Quote Modify
|
1 = [sqrt]1 = [sqrt](-1*-1) = [sqrt]-1*[sqrt]-1 = i*i = -1
of course [sqrt](x2) = [pm]x and not just x, and so [sqrt]1 = [pm]1
So there's not really a problem.
If you limit [sqrt]x to the principle root, I don't think you can count on [sqrt](a*b) = [sqrt]a * [sqrt]b any more..
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
Sir Col
Uberpuzzler
impudens simia et macrologus profundus fabulae
Gender:
Posts: 1825
|
|
Re: 1=0? (Math skills needed)
« Reply #2 on: Mar 8th, 2004, 6:24am » |
Quote Modify
|
I don't think that's quite right, towr. Although it is true to say that given x2=1, x=[pm]1, but [sqrt]1=1; that is, [sqrt] is just a function.
I think the problem with the "proof", as you suggested, is that [sqrt](a/b)=[sqrt]a/[sqrt]b only holds for real numbers.
|
|
IP Logged |
mathschallenge.net / projecteuler.net
|
|
|
Earendil
Newbie
 
Gender:
Posts: 46
|
|
Re: 1=0? (Math skills needed)
« Reply #4 on: Mar 8th, 2004, 7:43am » |
Quote Modify
|
I think both towr and Sir Col have a piece of truth.
What happens is that the function square root is different in the Real domain and in the Complex domain.
The "Real" sqrt of k returns only the positive value of the equation x² = k and the "Complex" sqrt of k returns all values that satisfy the equation x² = k.
Example
(real)[sqrt]1 = 1
(complex)[sqrt]1 -> x² = 1 -> x = +- 1
So what you have found are both answers (x1,x2) to x² = -1 and that does not imply that x1 = x2. If you suppose that they were equal then you would also have to suppose that both the solutions you obtain by Basquara are also always equal, and that sure isn't true 
|
|
IP Logged |
|
|
|
Benoit_Mandelbrot
Junior Member
Almost doesn't count.
Gender:
Posts: 133
|
|
Re: 1=0? (Math skills needed)
« Reply #5 on: Mar 8th, 2004, 9:23am » |
Quote Modify
|
I believe what's happening is that you're assigning i to a different value. You're saying that i=1/i, which is untrue. Therefore, you can't do what you dit.
|
|
IP Logged |
Because of modulo, different bases, and significant digits, all numbers equal each other!
|
|
|
Sir Col
Uberpuzzler
impudens simia et macrologus profundus fabulae
Gender:
Posts: 1825
|
|
Re: 1=0? (Math skills needed)
« Reply #6 on: Mar 8th, 2004, 9:29am » |
Quote Modify
|
I know it is unlike you to ever post anything which you haven't check first, towr, which was why I posted it with maximum respect and a rather tentative, "I don't think that's quite right...". It was just that I recall being drilled with identifying and removing this "misconception" when I was training to be a teacher.
I must say, though, that the jury is still out for me. However, I'm inclined to go with Earendil's explanation about the difference between a principle value in the real domain versus multiple values in the complex domain; confer nth root of unity.
I stumbled two interesting articles that address the question:
The Art and Science of Mathematical Sin (by H. Arsham, University of Baltimore; the relevant part is in the penultimate paragraph)
Square Roots in Complex Numbers (Ask Dr. Math @ Math Forum)
|
| « Last Edit: Mar 8th, 2004, 10:13am by Sir Col » |
IP Logged |
mathschallenge.net / projecteuler.net
|
|
|
towr
wu::riddles Moderator
Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: 1=0? (Math skills needed)
« Reply #7 on: Mar 8th, 2004, 10:03am » |
Quote Modify
|
If [sqrt]x2 could only be x, then [sqrt] can't be the inverse of 2. But if it is the inverse then it can't be a function. And most people don't want it to not be a function.
But of course since [bbr] [subset] [bbc], if it is multivalued in [bbc], then it can be so for [bbr].
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
Earendil
Newbie
Gender:
Posts: 46
|
|
Re: 1=0? (Math skills needed)
« Reply #8 on: Mar 8th, 2004, 12:40pm » |
Quote Modify
|
Indeed it can be multiple-valued in R and it will still be called (complex)sqrt (This is only a matter of convention). While the (real)sqrt is single valued.
Anyway if any function is of the type f(x) = (t1,t2) you certainly can not imply that t1 = t2. I guess we all agree about that
|
|
IP Logged |
|
|
|
godskook
Newbie
Posts: 2
|
|
Re: 1=0? (Math skills needed)
« Reply #9 on: Mar 8th, 2004, 7:32pm » |
Quote Modify
|
As far as the answer to this problem goes, I talked with my math teacher.
The flaw in my algebra is that exponentials don't all distribute when negatives are involved.
i.e. (ab)1/2=!a1/2b1/2
unless "a" and "b" are both positive.
Concerning the sub issue of how many answers there are for the square root function, there is only one.
i.e. 11/2=1 all the time.
What most of you are thinking about is that when one applies the square root function to an existing equation one picks up a +- sign which only stays until the all variables are known.
i.e. x2=1
(x2)1/2= +-((1)1/2)
x= +-1
But if x=3 and x=1+-(2)1/2
then we choose the sign that makes the equation work.
p.s. Earendil is your login name from the Silmarillion. If so are you related to Elros? LOL
|
|
IP Logged |
|
|
|
towr
wu::riddles Moderator
Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: 1=0? (Math skills needed)
« Reply #10 on: Mar 9th, 2004, 5:22am » |
Quote Modify
|
on Mar 8th, 2004, 7:32pm, godskook wrote:| As far as the answer to this problem goes, I talked with my math teacher. |
|
As a general rule, teachers don't know everything.
Quote:| Concerning the sub issue of how many answers there are for the square root function, there is only one. |
|
Yes, if it is a function.
But it can't be an inverse relation to the square in that case..
Quote:| What most of you are thinking about is that when one applies the square root function to an existing equation one picks up a +- sign which only stays until the all variables are known. |
|
No, that isn't what we are thinking of.. We don't apply the square root function, but we apply the relation, because we want the inverse to the square function.
Applying a function will always only give one answer, and never pick up a [pm]
|
| « Last Edit: Mar 9th, 2004, 5:22am by towr » |
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
Earendil
Newbie
Gender:
Posts: 46
|
|
Re: 1=0? (Math skills needed)
« Reply #11 on: Mar 9th, 2004, 8:18am » |
Quote Modify
|
Hum... what godskook said in the last post made me think that possibly some concepts are being wrongly understood. When you solve the equation x² = 4 usually people go directly to the obvious approach:
x² = 4
x = +-4
But there is a little thing missing in between the steps...
x² = 4
sqrt(x²) = sqrt(4)
|x| = 2
x = +-2
___
Back to the main theme, what godskook said was correct indeed... In the Real Domain you can't use the property
sqrt(b) = sqrt(-b) * sqrt(-1)
But that has nothing to do with the topic as the property used wasn't that one but
sqrt(b) = sqrtb(a*b/a)
...
The problem is that sqrt() isn't a funcion in the Complex Domain so it delivers 2 values always =þ
|
|
IP Logged |
|
|
|
kellys
Junior Member
Gender:
Posts: 78
|
|
Re: 1=0? (Math skills needed)
« Reply #12 on: Mar 9th, 2004, 7:27pm » |
Quote Modify
|
towr is right. Just my 2 cents:
1) There is no such thing as a positive complex number! The complex numbers have no ordering[in the sense you're used to], so to say that a proposition only applies to "positive complex numbers" is nonsense.
(If you don't believe me - Is i "positive"? Suppose it is. Then you're going want -i to be "negative". You'll also want two "negatives" to multiply to be a "positive", and two "positives" to multiply to be a "positive", etc.. But then,
i*i = -1, so -1 is "positive"?
(i)*(-i) = -1, so -1 is "negative"?
and so on...
)
2) Just think of the square root of a complex number as a _set_ and you shouldn't have these problems. Thus, the initial equations simply state that both i and -i are square roots of -1. What's wrong with that? They both square to -1. So they're both roots. Here are some more true statements,
(1)1/4 = i, -i, 1, and -1. That is, 1 has four fourth roots. This also illustrates why you shouldn't use the symbol [pm] when in the complex numbers (in the real number we would have said (1)1/4 = [pm]1, and we would have missed two values if we tried to infer the same thing holds in the complex numbers)
|
|
IP Logged |
|
|
|
Icarus
wu::riddles Moderator
Uberpuzzler
Boldly going where even angels fear to tread.
Gender:
Posts: 4863
|
|
Re: 1=0? (Math skills needed)
« Reply #13 on: Mar 9th, 2004, 8:41pm » |
Quote Modify
|
Okay, I have now written and rejected two long posts trying to make my point without rambling. I can't seem to accomplish it, so I am just going to lay out what I want to address.
1) x2 = 4 [bigto] x = [pm]2 really is all there is to it. The rest is only elaboration.
2) There are two accepted usages for "square root", even for positive reals: It is acceptable to use "square root of A" as both an arbitrary reference to either solution of x2 = A and to use it to mean specifically the positive solution only. In the former, it is used, as towr has said, as a general relation. In the latter, it is used as that specific form of relation known as a "function".
3) When we move beyond the non-negative reals, we lose any conventional "functional" definition for "square root". Only the more general meaning remains as a convention.
4) We can choose for our own purposes to define a square root function on broader sets of numbers, but this definition is ours and not a universally accepted standard. So we must bear in mind that it needs to be explained to anyone we are talking to on the subject. And we need to be aware that just because a relation works for the positive reals does not mean it will also work with our extended definition.
5) The reason no convention exists for extending [surd]x or x1/2 beyond the non-negative reals as a function is that any particular definition we choose will prove to be a poor choice in certain situations. For this reason, it is preferred to let each person define the function as best fits the need of the problem at hand.
6) In addition to simply throwing out one of the values, like we do in the positive reals, there are two other ways of defining the square root as a function on broader sets. The first is to change the target space from [bbc] to [bbc] + [bbc] - the set of un-ordered pairs from [bbc], under which the square root consists of the set of both roots. The other means is to change the domain from [bbc] to the Riemann Surface generated by the polynomial x2. This consists of two copies of [bbc] pinned together at 0 and connected in such a way that circling 0 twice will take you from one to the other and then back again to where you started on the first. The same point on both copies is mapped to differing roots on each.
So it is not completely true that [surd] is not a function for complex numbers. But neither is it completely true that it is.
|
|
IP Logged |
"Pi goes on and on and on ...
And e is just as cursed.
I wonder: Which is larger
When their digits are reversed? " - Anonymous
|
|
|
Icarus
wu::riddles Moderator
Uberpuzzler
Boldly going where even angels fear to tread.
Gender:
Posts: 4863
|
|
Re: 1=0? (Math skills needed)
« Reply #14 on: Mar 9th, 2004, 8:51pm » |
Quote Modify
|
I have to add a comment about this which you posted while I was attempting to put together something coherent.
on Mar 9th, 2004, 7:27pm, kellys wrote:| (1)1/4 = i, -i, 1, and -1. That is, 1 has four fourth roots. This also illustrates why you shouldn't use the symbol [pm] when in the complex numbers (in the real number we would have said (1)1/4 = [pm]1, and we would have missed two values if we tried to infer the same thing holds in the complex numbers) |
|
No, this only provides example that a 4th degree polynomial (x4 - 1) has 4 roots. There is nothing wrong with using [pm] signs, such as x = [pm]1, [pm]i. It is not the sign that causes missed roots!
|
|
IP Logged |
"Pi goes on and on and on ...
And e is just as cursed.
I wonder: Which is larger
When their digits are reversed? " - Anonymous
|
|
|
kellys
Junior Member
Gender:
Posts: 78
|
|
Re: 1=0? (Math skills needed)
« Reply #15 on: Mar 9th, 2004, 10:35pm » |
Quote Modify
|
Well, as with any argument in mathematics, it's all about definitions. I hope we can agree that the answer to godskook's question is that the equalities are perfectly valid, and are essentially the same as those in towr's initial response.
Of course [pm] is still a perfectly valid symbol, but the equations xn=1 have a different symmetry than in the reals, so I would avoid [pm] in this case.
|
|
IP Logged |
|
|
|
towr
wu::riddles Moderator
Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: 1=0? (Math skills needed)
« Reply #16 on: Mar 10th, 2004, 12:36am » |
Quote Modify
|
The equalities aren't perfectly valid, since they leave something out. Otherwise 1=-1 would be valid, and it's not.
You can't choose one of the two values on the one side, the other on the other side, and then claim they are equal. In otherwords, [sqrt]1={-1,1} doesn't imply -1=[sqrt]1=1
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
kellys
Junior Member
Gender:
Posts: 78
|
|
Re: 1=0? (Math skills needed)
« Reply #17 on: Mar 10th, 2004, 11:08am » |
Quote Modify
|
Is either equality, taken on its own, valid?
|
|
IP Logged |
|
|
|
Sir Col
Uberpuzzler
impudens simia et macrologus profundus fabulae
Gender:
Posts: 1825
|
|
Re: 1=0? (Math skills needed)
« Reply #18 on: Mar 10th, 2004, 11:39am » |
Quote Modify
|
My understanding (and I still don't feel comfortable with it!) is that [sqrt] is a one-to-many function (called a multvalued function). Similar to how cosine is a many-to-one function: cos(0)=1 and cos(2[pi])=1, but this does not imply that 2[pi]=0. That is, [sqrt]1=1 and [sqrt]1=-1, but they are separate branches of the same value.
I found this related article:
http://mathworld.wolfram.com/MultivaluedFunction.html
|
|
IP Logged |
mathschallenge.net / projecteuler.net
|
|
|
kellys
Junior Member
Gender:
Posts: 78
|
|
Re: 1=0? (Math skills needed)
« Reply #19 on: Mar 10th, 2004, 11:52am » |
Quote Modify
|
on Mar 7th, 2004, 5:46pm, godskook wrote:
which means that i=-i or 1=-1 or 1=0 ?
What is wrong with this? |
|
Oh oops - when I said that godskook's equalities were valid I wasn't counting the conclusion. Anyways, the point is that the first two equalities are valid, but the inference is not.
|
|
IP Logged |
|
|
|
Icarus
wu::riddles Moderator
Uberpuzzler
Boldly going where even angels fear to tread.
Gender:
Posts: 4863
|
|
Re: 1=0? (Math skills needed)
« Reply #20 on: Mar 10th, 2004, 7:52pm » |
Quote Modify
|
No, godskook's first equation cannot be considered valid. It depends on the following two choices for definition of ()1/2: 11/2 = 1 (as opposed to -1), and (-1)1/2 = i (as opposed to -i). With these choices, the identity (a/b)1/2 = a1/2/b1/2 fails to hold. But the equation uses this false identity anyway. Note that the equation concludes that (-1)1/2 = -i, but uses (-1)1/2 = i at one stage in the calcuation.
Sir Col - "multi-valued functions" are not true functions. They are relations between two variables (all functions are such relations, but also have a uniqueness of value condition that "multi-valued functions" do not). They can be associated with actual functions by any of the means I mentioned, however.
A point of clarification or obfuscation - you decide which: most branches of mathematics would accept the word "function" used to describe the map [surd] : [bbc] [to] [bbc] + [bbc], where the latter is the set of all unordered pairs from [bbc]. Analysts, however, are more restrictive in their definitions. To the analyst, "function" means that the target space is either [bbr] or [bbc], or on rare occasion some other base field. Anything else, such as this "multi-valued" definition of [surd] is called a "map".
|
|
IP Logged |
"Pi goes on and on and on ...
And e is just as cursed.
I wonder: Which is larger
When their digits are reversed? " - Anonymous
|
|
|
kellys
Junior Member
Gender:
Posts: 78
|
|
Re: 1=0? (Math skills needed)
« Reply #21 on: Mar 10th, 2004, 9:54pm » |
Quote Modify
|
So (-1)1/2[ne]-i?
And I suppose that also means,
(1)1/3 = 1
But,
(1)1/3 [ne] -1/2 + i ([sqrt]3)/2,
(1)1/3 [ne] -1/2 - i ([sqrt]3)/2 ?
Also, what is (-i)1/3 and why did you choose that particular value?
|
|
IP Logged |
|
|
|
Sir Col
Uberpuzzler
impudens simia et macrologus profundus fabulae
Gender:
Posts: 1825
|
|
Re: 1=0? (Math skills needed)
« Reply #22 on: Mar 11th, 2004, 12:47am » |
Quote Modify
|
If you're right, kellys, then what I thought from the beginning is true...
Given z3=1, it is true that z=1, -(1/2)[pm][sqrt]3/2 are solutions.
But 11/3=3[sqrt]1=1.
If x1/2[equiv][sqrt]x, I agree that x2=1 [bigto] x=[pm][sqrt]1=[pm]1, but [sqrt]1=11/2=1, and has one positive value/root.
I am thoroughly confused! 
|
|
IP Logged |
mathschallenge.net / projecteuler.net
|
|
|
towr
wu::riddles Moderator
Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: 1=0? (Math skills needed)
« Reply #23 on: Mar 11th, 2004, 3:02am » |
Quote Modify
|
I think,
for [bbr] 11/3 = 1
for [bbc] 11/3 [in] {1, 1/2+i[sqrt]3/2, 1/2-i[sqrt]3/2}, it isn't equal to a one of them a priori
The confusion comes from what [sqrt] (or cuberoot etc) means
[sqrt] = {(x,a) | x [in] [bbr] [wedge] a2 = x [wedge] a > 0} (a functional relation, [forall]a,b,c: (a,b) [wedge] (a,c) [to] b=c)
or
[sqrt] = {(x,a) | x [in] [bbc] [wedge] a2 = x } (a mapping relation which isn't functional, [forall]a[ne]0[exists]b,c: (a,b) [wedge] (a,c) [wedge] b[ne]c)
What you get is [sqrt]x [in] {a | (x,a) [in] [sqrt]}, which in the one case has just one element, and in the other two.
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
Sir Col
Uberpuzzler
impudens simia et macrologus profundus fabulae
Gender:
Posts: 1825
|
|
Re: 1=0? (Math skills needed)
« Reply #24 on: Mar 11th, 2004, 4:48am » |
Quote Modify
|
Nice explanation! It now makes perfect sense to me and I'll stick with that. Thanks, towr.
|
|
IP Logged |
mathschallenge.net / projecteuler.net
|
|
|
|
RIDDLES SITE
WRITE MATH!
Home 
Help 
Search 
Members 
Login 
Register
Reply
Notify of replies
Send Topic
Print