Functions That Do Not Have Unique Values
When you ask for the square root of a number , you are effectively asking for the solution to the equation . This equation, however, in general has two different solutions. Both and are, for example, solutions to the equation . When you evaluate the "function" , however, you usually want to get a single number, and so you have to choose one of these two solutions. A standard choice is that should be positive for . This is what the Wolfram Language function Sqrt[x] does.
The need to make one choice from two solutions means that Sqrt[x] cannot be a true inverse function for x^2. Taking a number, squaring it, and then taking the square root can give you a different number than you started with.
There is in fact no way to choose so that it is continuous for all complex values of . There has to be a "branch cut"—a line in the complex plane across which the function is discontinuous. The Wolfram Language adopts the usual convention of taking the branch cut for to be along the negative real axis.
When you find an root using , there are, in principle, possible results. To get a single value, you have to choose a particular principal root. There is absolutely no guarantee that taking the root of an power will leave you with the same number.
There are many mathematical functions which, like roots, essentially give solutions to equations. The logarithm function and the inverse trigonometric functions are examples. In almost all cases, there are many possible solutions to the equations. Unique "principal" values nevertheless have to be chosen for the functions. The choices cannot be made continuous over the whole complex plane. Instead, lines of discontinuity, or branch cuts, must occur. The positions of these branch cuts are often quite arbitrary. The Wolfram Language makes the most standard mathematical choices for them.
|Sqrt[z] and z^s||for Re , for Re ( not an integer)|
|ArcSin[z] and ArcCos[z]||and|
|ArcCsc[z] and ArcSec[z]|