One Equals Minus One

From ProofWiki
Jump to navigation Jump to search

Paradox

\(\ds -1\) \(=\) \(\ds \sqrt {-1} \sqrt {-1}\)
\(\ds \) \(=\) \(\ds \sqrt {-1 \times -1}\)
\(\ds \) \(=\) \(\ds \sqrt 1\)
\(\ds \) \(=\) \(\ds 1\)


Resolution

This is a falsidical paradox arising from incorrect reasoning about the nature of square roots.


Explanation

The property:

$\sqrt a \times \sqrt b = \sqrt {a b}$

can only be used when:

$a \ge 0$ and $b \ge 0$

It is specifically false when both $a$ and $b$ are negative.



Since $-1 < 0$, this property of square roots cannot be applied to this statement.


This is how the analysis is to go:

\(\ds -1\) \(=\) \(\ds \sqrt {-1} \sqrt {-1}\)
\(\ds \) \(=\) \(\ds i \sqrt 1 \cdot i \sqrt 1\) as $\sqrt {-a}$ is defined as being $i \sqrt a$ for $a > 0$
\(\ds \) \(=\) \(\ds \paren {i \cdot i} \sqrt 1 \sqrt 1\)
\(\ds \) \(=\) \(\ds -1 \cdot 1\) as $i^2 = -1$
\(\ds \) \(=\) \(\ds -1\)

and all is well with the world.

$\blacksquare$


Also see


Sources