Cube root

Plot of y = ${\sqrt[{3}]{x}}$ for $x\geq 0$. Complete plot is symmetric with respect to origin, as it is an odd function. At x = 0 this graph has a vertical tangent.

In mathematics, a cube root of a number, denoted ${\sqrt[{3}]{x}}$ or x^1/3, is a number a such that a³ = x. All real numbers have exactly one real cube root and a pair of complex conjugate roots, and all nonzero complex numbers have three distinct complex cube roots. For example, the real cube root of 8 is 2, because 2³ = 8. All the cube roots of −27i are

${\sqrt[{3}]{-27i}}={\begin{cases}3i\\{\frac {3{\sqrt {3}}}{2}}-{\frac {3}{2}}i\\-{\frac {3{\sqrt {3}}}{2}}-{\frac {3}{2}}i.\end{cases}}$

The cube root operation is not associative or distributive with addition or subtraction.

The cube root operation is associative with exponentiation and distributive with multiplication and division if considering only real numbers, but not always if considering complex numbers, for example:

$({\sqrt[{3}]{8}})^{3}=8$

but

${\sqrt[{3}]{8^{3}}}={\begin{cases}\ \ 8\\-4+4{\sqrt {3}}i\\-4-4{\sqrt {3}}i.\end{cases}}$

Formal definition

The cube roots of a number x are the numbers y which satisfy the equation

$y^{3}=x.\$

Real numbers

If x and y are real, then there is a unique solution and so the cube root of a real number is sometimes defined by this equation. If this definition is used, the cube root of a negative number is a negative number. The principal cube root of x is also represented by

${\sqrt[{3}]{x}}=x^{1/3}.$

If x and y are allowed to be complex, then there are three solutions (if x is non-zero) and so x has three cube roots. A real number has one real cube root and two further cube roots, which form a complex conjugate pair. This can lead to some interesting results.

For instance, the cube roots of the number one are:

${\sqrt[{3}]{1}}={\begin{cases}\ \ 1\\-{\frac {1}{2}}+{\frac {\sqrt {3}}{2}}i\\-{\frac {1}{2}}-{\frac {\sqrt {3}}{2}}i.\end{cases}}$

These two roots lead to a relationship between all roots. If a number is one cube root of any real or complex number, the other two cube roots can be found by multiplying that number by the two complex cube roots of one.

Complex numbers

Plot of the complex cube root together with its two additional leaves. The first picture shows the main branch which is described in the text

Riemann surface of the cube root. One can see how all three leaves fit together

For complex numbers, the principal cube root is usually defined by

$x^{1/3}=\exp({\tfrac {1}{3}}\ln {x})$

where ln(x) is the principal branch of the natural logarithm. If we write x as

$x=r\exp(i\theta )\,$

where r is a non-negative real number and θ lies in the range

$-\pi <\theta \leq \pi$,

then the complex cube root is

${\sqrt[{3}]{x}}={\sqrt[{3}]{r}}\exp({\tfrac {1}{3}}i\theta ).$

This means that in polar coordinates, we are taking the cube root of the radius and dividing the polar angle by three in order to define a cube root. With this definition, the cube root of a negative number is a complex number, and for instance ${\sqrt[{3}]{-8}}$ will not be $-2$, but rather $1+i{\sqrt {3}}.$

This limitation can easily be avoided if we write the original complex number x in three equivalent forms, namely

$x={\begin{cases}r\exp(i\theta ),\\r\exp {\bigl (}i(\theta +2\pi ){\bigr )},\\r\exp {\bigl (}i(\theta -2\pi ){\bigr )}.\end{cases}}$

The three complex cube roots are then

${\sqrt[{3}]{x}}={\begin{cases}{\sqrt[{3}]{r}}\exp({\tfrac {1}{3}}i\theta ),\\{\sqrt[{3}]{r}}\exp {\bigl (}i({\tfrac {1}{3}}\theta +{\tfrac {2}{3}}\pi ){\bigr )},\\{\sqrt[{3}]{r}}\exp {\bigl (}i({\tfrac {1}{3}}\theta -{\tfrac {2}{3}}\pi ){\bigr )}.\end{cases}}$

In general, these three complex numbers are distinct, even though the three representations of x were the same. For example, ${\sqrt[{3}]{-8}}$ may then be calculated to be $1+i{\sqrt {3}}$, $-2$ or $1-i{\sqrt {3}}$.

In programs that are aware of the imaginary plane, the graph of the cube root of x on the real plane will not display any output for negative values of x. To also include negative roots, these programs must be explicitly instructed to only use real numbers.

Cube root on standard calculator

From the identity:

${\frac {1}{3}}={\frac {1}{2^{2}}}\left(1+{\frac {1}{2^{2}}}\right)\left(1+{\frac {1}{2^{4}}}\right)\left(1+{\frac {1}{2^{8}}}\right)\left(1+{\frac {1}{2^{16}}}\right)\dots .$

There is a simple method to compute cube roots using a non-scientific calculator, using only the multiplication and square root buttons, after the number is on the display. No memory is required.

• Press the square root button once.
• Press the multiplication button.
• Press the square root button twice.
• Press the multiplication button.
• Press the square root button four times.
• Press the multiplication button.
• Press the square root button eight times.
• Press the multiplication button...

This process continues until the number does not change after pressing the multiplication button because the repeated square root gives 1 (this means that the solution has been figured to as many significant digits as the calculator can handle). Then, press the square root button one last time. At this point an approximation of the cube root of the original number will be shown in the display.

If the first multiplication is replaced by division, instead of the cube root, the fifth root will be shown on the display.

Why this method works

After raising x to the power in both sides of the above identity, one obtains:

$x^{\frac {1}{3}}=x^{{\frac {1}{2^{2}}}\left(1+{\frac {1}{2^{2}}}\right)\left(1+{\frac {1}{2^{4}}}\right)\left(1+{\frac {1}{2^{8}}}\right)\left(1+{\frac {1}{2^{16}}}\right)...}.$ (*)

The left hand side is the cube root of x.

The steps shown in the method give:

After 2nd step:

$x^{\frac {1}{2}}$

After 4th step:

$x^{{\frac {1}{2}}(1+{\frac {1}{2^{2}}})}$

After 6th step:

$x^{{\frac {1}{2}}(1+{\frac {1}{2^{2}}})(1+{\frac {1}{2^{4}}})}$

After 8th step:

$x^{{\frac {1}{2}}(1+{\frac {1}{2^{2}}})(1+{\frac {1}{2^{4}}})(1+{\frac {1}{2^{8}}})}$

etc.

After computing the necessary terms according to the calculator precision, the last square root finds the right hand of (*).

Numerical methods

Newton's method is an Iterative method that can be used to calculate the cube root. For real floating point numbers this method reduces to the following iterative algorithm to produce successively better approximations of the cube root of $a$:

$x_{i+1}={\frac {1}{3}}\left({\frac {a}{x_{i}^{2}}}+2x_{i}\right).$

Halley's method improves upon this with an algorithm that converges more quickly with each step, albeit consuming more multiplication operations:

$x_{i+1}=x_{i}\left({\frac {x_{i}^{3}+2a}{2x_{i}^{3}+a}}\right).$

With either method a poor initial approximation of $x_{0}$ can give very poor algorithm performance, and coming up with a good initial approximation is somewhat of a black art. Some implementations manipulate the exponent bits of the floating point number; i.e. they arrive at an initial approximation by dividing the exponent by 3. This has the disadvantage of requiring knowledge of the internal representation of the floating point number, and therefore a single implementation is not guaranteed to work across all computing platforms.

The following optimized C programming language implementation uses Halley's method. It demonstrates successively raising an initial approximation by powers of 2, until it has a third as many binary digits as the input. It works for non-negative integer inputs:

double cube_root(unsigned long a_)
{
    unsigned long   x_ = 1;
    double          x, xxx, a;
    if (a_ == 0)
        return 0.0;
    if (a_ == 1)
        return 1.0;
    a = (double) a_;
    do {
        a_ >>= 3;
        x_ <<= 1;
    } while (a_);
    x = (double) x_;
    xxx = x * x * x, x = x * (xxx + a + a) / (xxx + xxx + a);
    /* Accurate to 2 decimal digits: */
    xxx = x * x * x, x = x * (xxx + a + a) / (xxx + xxx + a);
    /* Accurate to 7 decimal digits: */
    xxx = x * x * x, x = x * (xxx + a + a) / (xxx + xxx + a);
    /* Accurate to 15 decimal digits: */
    xxx = x * x * x, x = x * (xxx + a + a) / (xxx + xxx + a);
    return x;
}

See also

• List of polynomial topics
• Radical (mathematics)
• Square root
• Nested radical
• Primitive root
• Root of unity
• Shifting nth-root algorithm

External links

• Brightstorm Algebra video on Cube Root concept
• Cube root calculator reduces any number to simplest radical form
• "Cube root". PlanetMath.
• Weisstein, Eric W. "Cube Root". MathWorld.