10

In the statement $\forall a, b \geq0, \sqrt{a} \cdot \sqrt{b} = \sqrt{ab}$, why is it necessary to restrict $a$ and $b$ to being $\geq 0$? It seems that one should be able to say, for example, $(-3)^{1/2} \cdot (-3)^{1/2} = (-3 \cdot -3)^{1/2} = 9^{1/2} = 3$, so where is the flaw in this statement, since it just seems to be using laws of exponents.

Edit: I don't think people are understanding what I'm asking. To reemphasize, my question is: why do we say $\forall a, b \geq 0, \sqrt{a} \cdot \sqrt{b} = \sqrt{ab}$, instead of just $\forall a, b \in \mathbb{R}, \sqrt{a} \cdot \sqrt{b} = \sqrt{ab}$

anse
  • 103

3 Answers3

14

Let us freely use these supposed laws of exponents.

You used one to show that $(-3)^{1/2}(-3)^{1/2}=9^{1/2}$. Presumably this is $3$.

But another familiar law of exponents is $a^xa^y=a^{x+y}$. Use this with $a=-3$, $x=y=1/2$. We get $(-3)^{1/2}(-3)^{1/2}=(-3)^1=-3$.

Remark: Ordinary laws can give inconsistent results, giving lawyers opportunities to get rich. Mathematical laws have to meet a higher standard.

Response to edit: Restricting attention to real $a$ and $b$ will not work, since there is no way to assign a real number to the expression $(-a)^{1/2}$ without violating some laws of the algebra of real numbers. So to give meaning to the expression, we have to introduce complex numbers. But then as shown above, and in other answers, we can by application of the "laws" reach the highly undesirable conclusion that $3=-3$.

André Nicolas
  • 514,336
2

The order of operations is: parentheses, exponents, multiplication/division, addition/subtraction.

For instance: $$(4)^{1/2}\times(9)^{1/2}=2\times 3=6.$$

How is this evaluated: $(-4)^{1/2}\times(-9)^{1/2}$?

Two possible answers: 1) In the set of real numbers, it is undefined. 2) In the set of complex numbers: $$(-4)^{1/2}\times(-9)^{1/2}=2i\times3i=-6.$$

If $$(-4)^{1/2}\times(-9)^{1/2}=((-4)\times (-9))^{1/2}=(36)^{1/2}=6,$$ then multiplication precedes exponentiation and it violates the order of operations.

farruhota
  • 32,168
2

$\sqrt a$ is only defined for $a\ge 0$. This is the reason.

And if you work with complex numbers? Well, then the property could be false.

Emanuele Paolini
  • 22,203
  • 2
  • 40
  • 70