wu :: forums (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi)
riddles >> general problem-solving / chatting / whatever >> i^2 = 1
(Message started by: dante on Jun 21st, 2007, 9:20pm)

Title: i^2 = 1
Post by dante on Jun 21st, 2007, 9:20pm
This is what I found when I was doing my high school .. Till now no one answered ..

-1 ^ -1 = -1
-1 ^ (-1/2) = -1 ^ (1/2)
1/(-1^(1/2))=-1 ^(1/2)
1/i = i
i^2 =1

Sorry if someone has already said this

Title: Re: i^2 = 1
Post by Sir Col on Jun 22nd, 2007, 4:30am
(-1)1/2 = i

(-1)-1/2 = ((-1)1/2)-1 = i-1 = 1 / i = i / i2 = i / -1 = -i

So your second line, (-1)-1/2 = (-1)1/2, is not true.

[edit]Tidied up sloppy notation; thanks, FiBsTeR.[/edit]

Title: Re: i^2 = 1
Post by Grimbal on Jun 22nd, 2007, 5:27am
but
  (-1)-1 = -1
is true, ok?  So take the square root
  left: ((-1)-1)1/2 = (-1)-1·1/2 = (-1)-1/2
  right: (-1)1/2

So, (-1)-1/2 = (-1)1/2

::)

Title: Re: i^2 = 1
Post by dante on Jun 22nd, 2007, 6:53am
Thanx grimbal ...

Title: Re: i^2 = 1
Post by rmsgrey on Jun 22nd, 2007, 7:05am
But:

(-1)2=1=12

((-1)2)1/2=(12)1/2
(-1)2/2=12/2
(-1)1=11
-1=1

so:

i2=-1

Title: Re: i^2 = 1
Post by FiBsTeR on Jun 22nd, 2007, 7:38am
I would like to clear one thing up first:

I've been taught that, for examle:

-1½ http://www.ocf.berkeley.edu/~wwu/YaBBImages/symbols/ne.gif (-1)½, since the exponentiation occurs before the multiplication.

In the above lines, am I to assume that this is being abided by? There are many instances above where this occurs, and I want to be sure I am interpreting them correctly.

EXAMPLE:

on 06/22/07 at 04:30:51, Sir Col wrote:
-11/2 = i

To me, this is not true, because the square root of 1 would be taken before being multiplied by -1, so:
-11/2 = -1.

EDIT: My original post had a "does not equal sign" that didn't show up.

Title: Re: i^2 = 1
Post by FiBsTeR on Jun 22nd, 2007, 7:54am
Going back to the original problem, I think the flaw comes in taking the square root and assuming that there is still equality.

For example, suppose I have a=3 and b=-3:

a2=9 and b2=9, but I would be wrong to assume that a=b.

Title: Re: i^2 = 1
Post by dante on Jun 22nd, 2007, 9:25am

on 06/22/07 at 07:05:22, rmsgrey wrote:
But:

(-1)2=1=12

((-1)2)1/2=(12)1/2
(-1)2/2=12/2
(-1)1=11
-1=1

so:

i2=-1

I wish to know what is your conclusion

if x = y then
x^1/2 != y^1/2
or
x^1/2 not neccessarily equal to y^1/2

is there any rule of maths behind it .. am just curious

Title: Re: i^2 = 1
Post by Sameer on Jun 22nd, 2007, 9:52am
ok look at it this way

if x2 = 1, what are the possible values of x?

Title: Re: i^2 = 1
Post by Sir Col on Jun 23rd, 2007, 5:16am
Sorry, FiBsTeR, you're right. I was being sloppy with my notation: I should have written (-1)1/2.



on 06/22/07 at 05:27:51, Grimbal wrote:
but...

::)

Thank you, Grimbal!  :P

The point I was trying to make, dante, is that your first line is valid, whereas the second line is invalid. So the error must have occurred in raising both sides to the power of 1/2.

It is my understanding that when we raise a positive base to a unit fraction we focus on what is called the principle value.

For example, 641/2 = 8. However, there are two square roots of 64: 8 and -8.

Similarly if we wished to evaluate 641/3 we get the principle value 4, but there are another two roots: -2+2sqrt(3)i and -2-2sqrt(3)i.

Now when we evaluate (-64)1/2 we have the two roots: 8i and -8i. Hence it is not clear which of these should be the principle value.

In general application of the third power law, (ab)c = abc, is only valid when a is positive.

I hope that helps.

Title: Re: i^2 = 1
Post by rmsgrey on Jun 23rd, 2007, 7:05am

on 06/22/07 at 09:25:42, dante wrote:
I wish to know what is your conclusion

if x = y then
x^1/2 != y^1/2
or
x^1/2 not neccessarily equal to y^1/2

is there any rule of maths behind it .. am just curious

Taking a square root involves making a choice. For positive numbers, the default is to take the positive root, but that doesn't work so well when you start extending into other numbers.

Title: Re: i^2 = 1
Post by FiBsTeR on Jun 23rd, 2007, 7:31am

on 06/23/07 at 05:16:20, Sir Col wrote:
Now when we evaluate (-64)1/2 we have the two roots: 8i and -8i. Hence it is not clear which of these should be the principle value.


Now my question is this: given any equation, not limited to positive quantities on both sides, can you raise both sides to the ½ power and still have equality?

Title: Re: i^2 = 1
Post by towr on Jun 24th, 2007, 8:02am

on 06/23/07 at 07:31:03, FiBsTeR wrote:
Now my question is this: given any equation, not limited to positive quantities on both sides, can you raise both sides to the ½ power and still have equality?
You can always have equality after applying a mapping to equal values. But, you have to map the equal values to equal results.
The problem is not whether you can have equality, but whether you might not also have something else if you choose differently.

If you have an equality between two 'quantities', they are wholly exchangable; they wouldn't be equal if they weren't.

Title: Re: i^2 = 1
Post by FiBsTeR on Jun 24th, 2007, 1:11pm

on 06/24/07 at 08:02:49, towr wrote:
The problem is not whether you can have equality, but whether you might not also have something else if you choose differently.


Well, if I understand you correctly, the problem in the proof comes in choosing the wrong value in the second line after taking the square root.

(-1)-1 = -1
[(-1)-1]½ = (-1)½
From here, there are two "choices" for the left-hand side: (-1)½ or -(-1)½. Using the first value, the equality does not hold, so the error in the proof (I'm assuming) is that the negative value should have been "chosen":
-(-1) = (-1)½
-1/i = i
i2 = 1, which is true.

A simpler way of seeing this is given the equation:
i4 = 1
i2 = 1/(i2)
After taking the square root, the left-hand side is either: i or -i. Again, the negative i must be chosen to maintain a true statement:
-i = 1/i
i2 = -1, which is true.

Someone please tell me if there is a mistake here, because I've never encountered this kind of thing before where you have to "choose" a correct value in order to maintain equality.

Title: Re: i^2 = 1
Post by towr on Jun 24th, 2007, 2:53pm
I think the short answer is that powers (and also logarithms) work differently on complex numbers than what you might expect from how they work on real numbers. This is briefly mentioned on wikipedia here (http://en.wikipedia.org/wiki/Exponentiation#Failure_of_power_and_logarithm_identities). Of course, they seem to fail to mention how to deal with this problem properly.

Title: Re: i^2 = 1
Post by Sir Col on Jun 25th, 2007, 12:36am
I have been led to believe that equality does not hold when raising to non-integer powers. The example FiBsTeR gave is a good one: a2 = b2 does not imply that a = b. That is, finding the nth root creates n "branches of equality". So in the example given here, a = b or a = -b. Similarly if x3 = y3 then x = y, (-1+sqrt(3)i)y/2, (-1-sqrt(3)i)y/2.

Title: Re: i^2 = 1
Post by towr on Jun 25th, 2007, 1:23am

on 06/25/07 at 00:36:46, Sir Col wrote:
I have been led to believe that equality does not hold when raising to non-integer powers.
It has to hold for some choice of roots. If two expressions are equal, then they are different representations of the same value, but they're still the same value.
It's the rewriting of the expressions that has to be the problem, if you rewrite it in an inappropriate way, you change the value of the expression (and obsviously lose equality by it).


Quote:
The example FiBsTeR gave is a good one: a2 = b2 does not imply that a = b.
a2 = b2  does imply that (a2)1/2 = (b2)1/2, but this isn't equivalent to a=b, we lose something when we multiply the exponents.

Title: Re: i^2 = 1
Post by Obob on Jun 25th, 2007, 1:40am
But saying what the two sides of (a2)1/2=(b2)1/2 mean is tricky.  For the only consistent way of defining the square root of an arbitrary complex number z is that it is the set of all complex numbers w with w2=z.  So this equality expresses an equality of sets, not one of numbers.  And, indeed, if a2=b2 then (a2)1/2 = {a,-a} = {b,-b} = (b2)1/2

Title: Re: i^2 = 1
Post by srn347 on Sep 8th, 2007, 8:24pm
(a^b)^c=a^bc doesn't work if a is negative and b and/or c is/are fractions(or are complex numbers).



Powered by YaBB 1 Gold - SP 1.4!
Forum software copyright © 2000-2004 Yet another Bulletin Board