Radical Equations (and Extraneous Roots?)

Hello. I am having trouble understanding the logic behind the property that states radical expressions with even-number indices cannot be equal to a negative value.

Property: **nth-root(x**^{n}) = |x|, if n is an even number.

Let's take *sqrt(25)* for example: *sqrt(25) = 5* is a valid statement, but *sqrt(25) = -5* is an invalid statement, even though both 5^{2} and (-5)^{2} equal 25.

Why?

Thanks!

Re: Radical Equations (and Extraneous Roots?)

The principal root of 5 is defined to be and more generally, . In this sense, the square root function does not actually give you __any__ number which squares to 25, but a __specific__ one.

To clarify, 5 and -5 are both square roots of 25, but the sign refers only to the principal root.

Re: Radical Equations (and Extraneous Roots?)

Thanks, Gusbob!

So that I understand the syntax: evaluating -√25 would be to find the negative principal root of 25? Or simply its negative square root?

Re: Radical Equations (and Extraneous Roots?)

For the square root case, yes you're evaluating the negative square root.

Without going into higher level maths, I'll just let you know that every real number (even negative ones!) has exactly n number of nth roots in the complex plane. You fix one of them to be a principal root, and the others can be given in terms of this principal root by some complex formula. For the square root case, this complex formula reduces to multiplication by negative 1.