# Complex fun

1. Apr 25, 2005

### quasar987

Find the flaw in the following reasoning:

$$-4 = -4$$

$$\frac{-4}{1} = \frac{4}{-1}$$

$$\sqrt{\frac{-4}{1}} = \sqrt{\frac{4}{-1}}$$

$$\frac{\sqrt{-4}}{1} = \frac{\sqrt{4}}{\sqrt{-1}}$$

$$\frac{\sqrt{-1}\sqrt{4}}{1} = \frac{\sqrt{4}}{\sqrt{-1}}$$

$$\frac{2i}{1} = \frac{2}{i}$$

$$2i^2 = 2$$

$$-2 = 2$$

It's clear that the equality $\frac{2i}{1} = \frac{2}{i}$ is wrong because on the LHS we have a complex number (of the form a + ib) but the RHS is not. But the real flaw is probably higher. Any idea?

2. Apr 25, 2005

### joeboo

the mistake is in passing from the 3rd to last to the 2nd to last line:

namely, you multiply both sides by i and cancel

$$\frac{i}{i} \neq 1$$

it is -1.

3. Apr 25, 2005

### quasar987

How do you show that?

Also, how do you show that

1/i = -i ?

Last edited: Apr 25, 2005
4. Apr 25, 2005

### Data

The domain of the square root operation must be kept to fractions in which only the numerator can be negative in order for it to be well-defined for negative real numbers, ie. to be explicit, your real number must be in the form $$a/b, \ a \in \mathbb{R}, \ b \in \mathbb{R}^+/\{0\}$$. Here's something simpler, that also appears to work, but is wrong for the same reason:

$$i = \sqrt{-1} = \frac{\sqrt{1}}{\sqrt{-1}} = \frac{1}{i} \Longrightarrow 1=-1$$

The root of the problem is that

$$\frac{1}{i}=i$$

is not valid according to common definitions. In fact, using standard definitions, you get

$$\frac{1}{i} = -i,$$

$$\frac{1}{i} = \frac{1}{i}\cdot \frac{-i}{-i} = \frac{-i}{1} = -i.$$

Last edited: Apr 25, 2005
5. Apr 25, 2005

### Data

This is wrong.

As you get quite quickly from my last post,

$$\frac{i}{i} = i \frac{1}{i} = i(-i) = 1.$$

As a matter of fact, the whole purpose of this is to make sure (well, in fact we assume it, in order to make the complex numbers into a nicely organized field) that

$$\frac{i}{i} = 1.$$

The REAL root of the problem, of course, is that every complex number has two square roots, and the square root operator must choose only one of them to give you if it is to be well-defined. We then need to choose which "nice" properties we want the operator to keep, and typically, we choose those I have mentioned above.

Last edited: Apr 25, 2005
6. Apr 25, 2005

### Night Owl

It might have something to do with the fact that [(-1)^(1/2)]*[(-1)^(1/2)] does not equal [(-1)*(-1)]^(1/2) which equals 1^(1/2), because we know by definition of i that [(-1)^(1/2)]*[(-1)^(1/2)] should equal -1.

Sorry for the ugly equations; I don't know how to make the fancy things you guys can do.

EDIT: Uh, never mind, those posts just before mine made sense...

Last edited: Apr 25, 2005
7. Apr 25, 2005

### joeboo

First off,
$$\frac{1}{i} = -i$$
To see this, I'd first like to point out:
$$\frac{1}{z}$$
is just notation for: The number which is the multiplicative inverse of $z$.
In otherwords, 1/z is that number which when multiplied by z gives 1, ie-
$$z\frac{1}{z} = 1$$

That being said
$$i^2 = -1$$

$$i\cdot i = -1$$

$$-1 \cdot i \cdot i = (-1)(-1)$$

$$( -i )(i) = i \cdot (-i) = 1$$

Therefore,
$$\frac{1}{i} = -i$$
by the above argument

8. Apr 25, 2005

### Data

$$\frac{i}{i} \neq 1,$$

is wrong (as you in fact showed in your post directly above this one).

9. Apr 25, 2005

### quasar987

haha ok it's that simple.

10. Apr 25, 2005

### HallsofIvy

The fundamental error is writing $\sqrt{-1}= i$. -1, like any number has two roots. In the real numbers, we can distinguish between the positive and negative roots. Since the complex numbers cannot be ordered, we cannot do that in general. It is better to define complex numbers as pairs of real numbers (a, b) defining sum (a,b)+ (c,d)= (a+c,b+d) and product (a,b)*(c,d)= (ac- bd,ac+bd). Using that definition, the "paradox" disappears.

11. Apr 25, 2005

### joeboo

Heh. I made an error, fixed it, and didn't realize the error.

Thanks for pointing it out so kindly ( honest )

12. Apr 26, 2005

### eNathan

As far as I know, x over x cancels out to positive one, not negative :surprised

13. Apr 26, 2005

### Data

$$\frac{x}{x} = \Big \{ \begin{array}{cr} 1 & x \neq 0 \\ \mbox{undefined} & x=0\end{array}, \ x \in \mathbb{C}$$

Last edited: Apr 26, 2005