If $(x^y)^z = x^{y\cdot z}$, why does $(-5)^{2^{0.5}}$not equal $(-5)^1$?

175 Views Asked by At

As shown by Wolfram Alpha, $(x^2)^{0.5}$ is equal to |x|, but if you tried to simplify it to $x^{2\times {0.5}}$, it would just be $x^1$, or $x$.

Is there some unwritten rule about that distribution law that means you can't do it with fractional exponents?

Edit: What confuses me the most is how Wolfram Alpha also believes $(x^2)^{0.5}$ = x while actually showing a graph of |x|

3

There are 3 best solutions below

2
On BEST ANSWER

With iterated exponentiation the order of the operations are read from the top down. So in your example one has $$(-5)^{2^{0.5}}=(-5)^{\left (2^{0.5} \right )}=(-5)^{\sqrt{2}}$$ which is undefined over the reals. Also note that in general $$x^{y^{z}} \neq x^{yz}$$

0
On

To be precise, $$(x^y)^z \ne x^{yz} \text{for negative $x$.}$$

This is because if $x \not \in \mathbb R^+$ then $x^y$ is not well defined for $y \not \in \mathbb Z$. In this particular case, $(-5^2)^{0.5}$ becomes, $25^{0.5}$. This is generally defined to be $\sqrt{25} = 5$. Your question is the same as asking why the sqaure root function has one value for one $x$, even though the function $f(x)=x^2$ is many one. This is because, contrary to what many people think, the square root is not an inverse of the square function, simply because the square function is not invertible, being many-one.

For a weak analogy, $\tan^{-1}(\tan(x))$ is not necessarily equal to $x$.

0
On

Whenever we have grouping symbols we work from the inside out , following PEMDAS , WIA included. If you want the exponents to cancel do it this way , $$ (x^{0.5})^2$$

Your numerical example becomes $$((-5)^{0.5})^2 = ( \sqrt{-5})^2 = (i \sqrt{5})^2 = i^2 5 = -5 $$

And in general for real numbers x , $$( \sqrt{x})^2 = x$$ $$\sqrt{x^2} = |x| $$

Put it in WIA to see what it gives you.