Is sqrt(-1) x sqrt(-1) = -1 Algebraically Valid?

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

Discussion Overview

The discussion revolves around the algebraic validity of the expression sqrt(-1) x sqrt(-1) = -1, particularly in the context of complex numbers and the implications of choosing different values for sqrt(-1).

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that the argument is valid if sqrt(-1) is defined as either i or -i, leading to the conclusion that sqrt(-1) x sqrt(-1) = -1.
  • Others highlight a potential issue when different values for sqrt(-1) are used in the multiplication, resulting in sqrt(-1) x sqrt(-1) = (i) x (-i) = 1, which raises questions about the validity of the original argument.
  • One participant notes the importance of defining sqrt() as a function that returns a single value, referencing the concept of principal value, while expressing uncertainty about related concepts such as Riemann surfaces.

Areas of Agreement / Disagreement

Participants generally agree that the argument can be valid under certain definitions, but there is disagreement regarding the implications of choosing different values for sqrt(-1) and the necessity of defining sqrt() properly.

Contextual Notes

There are unresolved questions about the implications of using different square roots and the concept of principal value in the context of complex numbers.

TheAlkemist
Messages
99
Reaction score
0
Question:

Is the following mathematical argument algebraically valid:

sqrt(-1) x sqrt(-1) = [sqrt(-1)]2 = -1

I know sqrt(-1) is a complex number, I just want to know if the argument above is valid.

Thanks.
 
Mathematics news on Phys.org
Yes, it's valid.

There is one subtlety: there are two numbers whose square is -1, namely [itex]i[/itex] and [itex]-i[/itex].

Your argument works fine if you choose sqrt(-1) = [itex]i[/itex]:

[tex]\sqrt{-1} \times \sqrt{-1} = i \times i = i^2 = -1[/tex]

and equally well if you choose sqrt(-1) = [itex]-i[/itex]:

[tex]\sqrt{-1} \times \sqrt{-1} = (-i) \times (-i) = (-i)^2 = -1[/tex]

But what happens if I choose sqrt(-1) = [itex]i[/itex] for one of the square roots, and sqrt(-1) = [itex]-i[/itex] for the other one? Then I get

[tex]\sqrt{-1} \times \sqrt{-1} = (i) \times (-i) = -(i^2) = 1[/tex]

Uh oh!
 
jbunniii said:
Yes, it's valid.

There is one subtlety: there are two numbers whose square is -1, namely [itex]i[/itex] and [itex]-i[/itex].

Your argument works fine if you choose sqrt(-1) = [itex]i[/itex]:

[tex]\sqrt{-1} \times \sqrt{-1} = i \times i = i^2 = -1[/tex]

and equally well if you choose sqrt(-1) = [itex]-i[/itex]:

[tex]\sqrt{-1} \times \sqrt{-1} = (-i) \times (-i) = (-i)^2 = -1[/tex]

But what happens if I choose sqrt(-1) = [itex]i[/itex] for one of the square roots, and sqrt(-1) = [itex]-i[/itex] for the other one? Then I get

[tex]\sqrt{-1} \times \sqrt{-1} = (i) \times (-i) = -(i^2) = 1[/tex]

Uh oh!

LOL @ "uh oh!"

Thanks. I actually just searched through the threads and see that this question has been asked several times in different ways. But it make sense now. Thanks again.
 
That so I was told, is the reason for i. Then the matter becomes [tex]\sqrt(-1)x\sqrt(-1) = i^2 = -1.[/tex]
 
Last edited:
The point is that you have to define sqrt() to be a function, i.e. return only one value. I think this is called principal value. Then your calculations works. You just have to remember that [itex]sqrt(x^2)\neq x[/itex] in general.

But I'm not completely sure about this Riemann surface business and what it's for :)
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
Replies
3
Views
2K
  • · Replies 34 ·
2
Replies
34
Views
5K
  • · Replies 11 ·
Replies
11
Views
2K