Whats wrong with this imaginary number problem?

Click For Summary

Discussion Overview

The discussion revolves around the properties and definitions of the imaginary unit, i, particularly in relation to its representation as the square root of -1. Participants explore the implications of this definition and the resulting mathematical inconsistencies that arise, particularly in proofs that claim to show contradictions such as -1 equaling 1. The scope includes theoretical considerations and mathematical reasoning.

Discussion Character

  • Debate/contested
  • Mathematical reasoning
  • Conceptual clarification

Main Points Raised

  • One participant presents a flawed proof claiming that i equals 1, based on manipulating the definition of i as sqrt(-1).
  • Another participant points out that the rule sqrt(a) * sqrt(b) = sqrt(ab) does not hold for complex numbers, highlighting the need for careful definitions.
  • Some participants argue that defining i as the square root of -1 leads to contradictions, as every complex number has two square roots.
  • A later reply emphasizes the importance of defining i as the number with the property that i^2 = -1, rather than as sqrt(-1).
  • One participant suggests an alternative definition of complex numbers using ordered pairs of real numbers, which avoids the issues associated with the square root definition.
  • Another participant proposes a matrix representation of complex numbers, arguing that it provides a more aesthetically pleasing and consistent framework for manipulation.

Areas of Agreement / Disagreement

Participants generally agree that defining i as the square root of -1 leads to problems, but there is no consensus on the best way to define complex numbers or the implications of these definitions. Multiple competing views remain regarding the nature of i and its mathematical properties.

Contextual Notes

Limitations include the unresolved nature of the definitions of complex numbers and the implications of these definitions on mathematical proofs. The discussion highlights the dependence on definitions and the potential for contradictions when manipulating these definitions without caution.

G01
Science Advisor
Gold Member
Messages
2,709
Reaction score
19
I saw this thing where someone proved that the imaginary number, i, the sqrt(-1) was equal to 1.

here it is:

i= sqrt(-1)

i^2 = [sqrt(-1)]^2

i^2 = sqrt(-1) * sqrt(-1)

i^2 = sqrt(-1*-1)

i^2 = sqrt(1)

i^2 = 1

so

i = 1

I know there's something wrong here but i can't figure it out. any help?
 
Physics news on Phys.org
Isn't this in a "faq" somewhere? The "rule" [itex]\sqrt{a}\sqrt{b}= \sqrt{ab}[/itex] does not hold for complex numbers.
On a more fundamental level, "defining" i to be [itex]\sqrt{-1}[/tex] causes a problem: in the complex numbers every number, including -1, has <b>two</b> square roots. Since the complex numbers are not an "ordered field" as the real numbers are, we can't just declare i to be "the positive root". There are other ways of defining the complex numbers that avoid that problem.[/itex]
 
ok thanks a lot ivy
 
yeah you need to use i^2 = -1 as the definition of i
 
here's a proof that -1=1.
define [tex]i = \sqrt{-1}[/tex]

then [tex]i=i[/tex]

=> [tex]\sqrt{-1} = \sqrt{-1}[/tex]

=> [tex]\sqrt{\frac{1}{-1}} = \sqrt{\frac{-1}{1}}[/tex]

=> [tex]\frac{\sqrt{1}}{\sqrt{-1}} = \frac{\sqrt{-1}}{\sqrt{1}}[/tex]

=> [tex]\sqrt{1}\sqrt{1} = \sqrt{-1}\sqrt{-1}[/tex]

=> [tex]1=-1[/tex]
 
fourier jr said:
here's a proof that -1=1.
define [tex]i = \sqrt{-1}[/tex]
then [tex]i=i[/tex]
=> [tex]\sqrt{-1} = \sqrt{-1}[/tex]
=> [tex]\sqrt{\frac{1}{-1}} = \sqrt{\frac{-1}{1}}[/tex]
=> [tex]\frac{\sqrt{1}}{\sqrt{-1}} = \frac{\sqrt{-1}}{\sqrt{1}}[/tex]
=> [tex]\sqrt{1}\sqrt{1} = \sqrt{-1}\sqrt{-1}[/tex]
=> [tex]1=-1[/tex]

I guess you can prove anything as long as you can define an y number as we want it to be.:-p lol I get it the rule sqrt(ab)=sqrt(a)sqrt(b) doesn't work for complex numbers because i is defined as the sqrt of -1 and that rule would make it something else. Thanks a lot for all your help.:smile:
 
fourier jr said:
...
[tex]\sqrt{1}\sqrt{1} = \sqrt{-1}\sqrt{-1}[/tex]
[tex]1=-1[/tex]

I'm afraid that's wrong since (as others have pointed out already)
[tex]\sqrt{-1} = \pm i, \sqrt{1} = \pm 1[/tex]

and you have not accounted for that. Since that leads to various problems, it is not a good idea to define [itex]i = \sqrt{-1}[/itex].
 
yeah that's what i was trying to say. you've got to define i as the number with the property that i^2 = -1. that "proof" shows what happens when you try to define i as the square root of -1.
 
fourier jr said:
yeah you need to use i^2 = -1 as the definition of i
Even that's not sufficient. There are two complex numbers whose square is equal to -1. Which one do you mean?

A more standard way of defining the complex numbers is as pairs of real numbers, (a,b) with addition defined by (a,b)+ (c,d)= (a+c, b+d) and multiplication by (a,b)*(c,d)= (ac-bd, bc+ ad). Of course, the pairs (a,0) correspond to the real numbers. That way (0,1)*(0,1)= (0(0)-1(1),1(0)+0(1))= (-1, 0) and (0,-1)*(0,-1)= (0(0)-(-1)(-1),(-1)(0)+0(-1))= (-1,0) but now we can define i to be (0,1) rather than (0,-1). Of course, we can write
(a,b)= a(1,0)+ b(0,1) and since we are identifying (1, 0) with the real number 1 and (0,1) with i, a(1,0)+ b(0,1)= a+ bi.
 
  • #10
I personally like this definition. We have the set of all matrices

[tex]\left(<br /> \begin{array}{clrr}<br /> x&-y\\<br /> y&x<br /> \end{array}<br /> \right)[/tex]

such that [itex]x, y \in \mathbb{R}[/itex]. Under addition and multiplication of matrices we have a field. Furthermore, associate every matrix with an entity I will call a "complex number," which I will also write in a more compact notation [itex]x+iy[/itex]. The reason I choose this notation is because if I define [itex]i^2=-1[/itex], then the normal rules of manipulating algebraic expressions will still hold.

I prefer it because the multiplication of two complex numbers doesn't seem so arbitrary (although of course it is just as arbitrary, but I feel it's more aesthetic).
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 4 ·
Replies
4
Views
5K
  • · Replies 29 ·
Replies
29
Views
6K
  • · Replies 3 ·
Replies
3
Views
3K