View source for Cube root

{{Short description|Number whose cube is a given number}}
{{Use dmy dates|date=June 2023}}
In [[mathematics]], a '''cube root''' of a number {{mvar|x}} is a number {{mvar|y}} that has the given number as its [[cube (algebra)|third power]]; that is <math>y^3=x.</math> The number of cube roots of a number depends on the [[number system]] that is considered.

Every nonzero [[real number]] {{mvar|x}} has exactly one real cube root that is denoted <math display=inline>\sqrt[3]{x}</math> and called the ''real cube root'' of {{mvar|x}} or simply ''the cube root'' of {{mvar|x}} in contexts where [[complex number]]s are not considered. For example, the real cube roots of {{math|8}} and {{math|−8}} are respectively {{math|2}} and {{math|−2}}. The real cube root of an [[integer]] or of a [[rational number]] is generally not a rational number, neither a [[constructible number]].

Every nonzero real or [[complex number]] has exactly three cube roots that are complex numbers. If the number is real, one of the cube roots is real and the two other are nonreal [[complex conjugate]] numbers. Otherwise, the three cube roots are all nonreal. For example, the real cube root of {{math|8}} is {{math|2}} and the other cube roots of {{math|8}} are <math>-1+i\sqrt 3</math> and <math>-1-i\sqrt 3</math>. The three cube roots of {{math|−27''i''}} are  
<math>3i, \tfrac{3\sqrt{3}}{2}-\tfrac{3}{2}i,</math> and <math>-\tfrac{3\sqrt{3}}{2}-\tfrac{3}{2}i.  </math> The number zero has a unique cube root, which is zero itself.

The cube root is a [[multivalued function]]. The ''principal cube root'' is its [[principal value]], that is a unique cube root that has been chosen once for all. The principal cube root is the cube root with the largest [[real part]]. In the case of negative real numbers, the largest real part is shared by the two nonreal cube roots, and the principal cube root is the one with positive imaginary part. So, for negative real numbers, ''the real cube root is not the principal cube root''. For positive real numbers, the principal cube root is the real cube root.

If {{mvar|y}} is any cube root of the complex number {{mvar|x}}, the other cube roots are <math>y\, \tfrac{-1+i\sqrt 3}{2}</math> and <math>y\, \tfrac{-1-i\sqrt 3}{2}.</math>

In an [[algebraically closed field]] of [[characteristic of a field|characteristic]] different from three, every nonzero element has exactly three cube roots, which can be obtained from any of them by multiplying it by either [[root of a polynomial|root]] of the polynomial <math>x^2+x+1.</math> In an algebraically closed field of characteristic three, every element has exactly one cube root.

In other number systems or other [[algebraic structure]]s, a number or element may have more than three cube roots. For example, in the [[quaternion]]s, a real number has infinitely many cube roots.
[[File:Cube-root function.svg|thumb|Plot of {{math|1=''y'' = {{radic|''x''|3}}}}. The plot is symmetric with respect to origin, as it is an [[odd function]]. At {{math|1=''x'' = 0}} this graph has a [[vertical tangent]].]]
[[File:Cube and doubled cube.svg|thumb|A unit cube (side = 1) and a cube with twice the volume (side = {{radic|2|3}} = 1.2599... {{OEIS2C|A002580}}).]]

==Definition==
The cube roots of a number {{Mvar|x}} are the numbers {{Mvar|y}} which satisfy the equation <math>y^3 = x.\ </math>

==Properties==

===Real numbers===
For any real number {{Mvar|x}}, there is exactly one real number {{Mvar|y}} such that <math>y^3=x</math>. Indeed, the [[cube (algebra)|cube function]] is increasing, so it does not give the same result for two different inputs, and covers all real numbers. In other words, it is a [[bijection]] or one-to-one correspondence.  

That is, one can define ''the'' cube root of a real number as its unique cube root that is also real. With this definition, the cube root of a negative number is a negative number. 

However this definition may be confusing when real numbers are considered as specific complex numbers, since, in this case ''the'' cube root is generally defined as the principal cube root, and the principal cube root of a negative real number is not real. 

[[Image:3rd roots of unity.svg|thumb|right|The three cube roots of 1]]
If {{Mvar|x}} and {{Mvar|y}} are allowed to be [[complex number|complex]], then there are three solutions (if {{Mvar|x}} is non-zero) and so {{Mvar|x}} has three cube roots. A real number has one real cube root and two further cube roots which form a [[complex conjugate]] pair. For instance, the cube roots of [[1]] are:

:<math> 1, \quad -\frac{1}{2}+\frac{\sqrt{3}}{2}i, \quad -\frac{1}{2}-\frac{\sqrt{3}}{2}i. </math>

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

===Complex numbers===
[[Image:Complex cube root.jpg|right|thumb|350px|Plot of the complex cube root together with its two additional leaves. The first image shows the main branch, which is described in the text.]]
[[Image:Riemann surface cube root.svg|right|thumb|200px|[[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 as the cube root that has the greatest [[real part]], or, equivalently, the cube root whose [[argument (complex analysis)|argument]] has the least [[absolute value]]. It is related to the principal value of the [[natural logarithm]] by the formula

:<math>x^{1/3} = \exp \left( \frac13 \ln{x} \right).</math>

If we write {{Mvar|x}} as

:<math>x = r \exp(i \theta)\,</math>

where {{Mvar|r}} is a non-negative real number and <math>\theta</math> lies in the range

:<math>-\pi < \theta \le \pi</math>,

then the principal complex cube root is

:<math>\sqrt[3]{x} = \sqrt[3]{r}\exp \left(\frac {i\theta}{3} \right).</math>

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 principal cube root of a negative number is a complex number, and for instance <math>\sqrt [3]{-8}</math> will not be −2, but rather <math>1+i\sqrt 3</math>

This difficulty can also be solved by considering the cube root as a [[multivalued function]]: if we write the original complex number {{Mvar|x}} in three equivalent forms, namely

:<math>x = \begin{cases} r \exp (i \theta ), \\[3px] r \exp (i \theta + 2i\pi ),  \\[3px] r \exp ( i \theta - 2i\pi ). \end{cases} </math>

{{visualisation_complex_number_roots.svg}}
The principal complex cube roots of these three forms are then respectively

:<math>\sqrt[3]{x} = \begin{cases} 
\sqrt[3]{r}\exp \left( \frac{i\theta}{3}\right), 
\\ \sqrt[3]{r}\exp \left(\frac{i\theta}{3} + \frac{2i \pi}{3}  \right), 
\\ \sqrt[3]{r}\exp \left(\frac{i\theta}{3} - \frac{2i \pi}{3} \right). \end{cases} </math>

Unless {{Math|1=''x'' = 0}}, these three complex numbers are distinct, even though the three representations of ''x'' were equivalent. For example, <math>\sqrt [3]{-8}</math> may then be calculated to be −2, <math>1+i\sqrt3</math>, or <math>1-i\sqrt3</math>.

This is related with the concept of [[monodromy]]: if one follows by [[continuous function|continuity]] the function ''cube root'' along a closed path around zero, after a turn the value of the cube root is multiplied (or divided) by <math>e^{2i\pi/3}.</math>

==Impossibility of compass-and-straightedge construction==

Cube roots arise in the problem of finding an angle whose measure is one third that of a given angle ([[angle trisection]]) and in the problem of finding the edge of a cube whose volume is twice that of a cube with a given edge ([[doubling the cube]]). In 1837 [[Pierre Wantzel]] proved that neither of these can be done with a [[compass-and-straightedge construction]].

==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 {{Mvar|a}}:

:<math>x_{n+1} = \frac{1}{3} \left(\frac{a}{x_n^2} + 2x_n\right).</math>

The method is simply averaging three factors chosen such that
:<math> x_n \times x_n \times \frac{a}{x_n^2}=a </math>
at each iteration.

[[Halley's method]] improves upon this with an algorithm that converges more quickly with each iteration, albeit with more work per iteration:

:<math>x_{n+1} = x_n \left(\frac{x_n^3 + 2a}{2x_n^3 + a}\right).</math>

This [[Rate of convergence|converges cubically]], so two iterations do as much work as three iterations of Newton's method.  Each iteration of Newton's method costs two multiplications, one addition and one division, assuming that {{math|{{sfrac|3}}''a''}} is precomputed, so three iterations plus the precomputation require seven multiplications, three additions, and three divisions.

Each iteration of Halley's method requires three multiplications, three additions, and one division,<ref name=metamerist>{{cite web
 |title=In Search of a Fast Cube Root
 |year=2008<!--Based on first archive dates for blog 2008-04-10 & code 2008-04-11-->
 |url=http://metamerist.com/cbrt/cbrt.htm
 |website=metamerist.com
 |archive-url=https://web.archive.org/web/20131227144655/http://metamerist.com/cbrt/cbrt.htm
 |archive-date=2013-12-27 |url-status=dead
}}</ref> so two iterations cost six multiplications, six additions, and two divisions.  Thus, Halley's method has the potential to be faster if one division is more expensive than three additions.<!--It's not certain because it depends on how many iteration you need.  If you need two Newton's iterations but not three, one of Halley's may not be enough, and two will cost too much.-->

With either method a poor initial approximation of {{math|''x''{{sub|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.{{r|metamerist}}

Also useful is this [[generalized continued fraction#Roots of positive numbers|generalized continued fraction]], based on the [[nth root#Computing principal roots|nth root]] method:

If {{Mvar|x}} is a good first approximation to the cube root of {{Mvar|a}} and <math>y=a-x^3</math>, then:

:<math>\sqrt[3]{a} = \sqrt[3]{x^3+y} = x+\cfrac{y} {3x^2+\cfrac{2y} {2x+\cfrac{4y} {9x^2+\cfrac{5y} {2x+\cfrac{7y} {15x^2+\cfrac{8y} {2x+\ddots}}}}}}</math>
:<math>= x+\cfrac{2x \cdot y} {3(2x^3+y)-y-\cfrac{2\cdot 4y^2} {9(2x^3+y)-\cfrac{5\cdot 7y^2} {15(2x^3+y)-\cfrac{8\cdot 10y^2} {21(2x^3+y)-\ddots}}}}.</math>

The second equation combines each pair of fractions from the first into a single fraction, thus doubling the speed of convergence.

==Appearance in solutions of third and fourth degree equations==

[[Cubic equation]]s, which are [[polynomial equation]]s of the third degree (meaning the highest power of the unknown is 3) can always be solved for their three solutions in terms of cube roots and square roots (although simpler expressions only in terms of square roots exist for all three solutions, if at least one of them is a [[rational number]]). If two of the solutions are complex numbers, then all three solution expressions involve the real cube root of a real number, while if all three solutions are real numbers then they may be expressed in terms of the [[Casus irreducibilis|complex cube root of a complex number]].

[[Quartic equation]]s can also be solved in terms of cube roots and square roots.

==History==

The calculation of cube roots can be traced back to [[Babylonian mathematics|Babylonian mathematicians]] from as early as 1800 BCE.<ref name="cbgr">{{cite book|last=Saggs|first=H. W. F.|title=Civilization Before Greece and Rome|url=https://archive.org/details/isbn_9780300050318|url-access=registration|year=1989|publisher=Yale University Press|isbn=978-0-300-05031-8|page=[https://archive.org/details/isbn_9780300050318/page/227 227]}}</ref> In the fourth century BCE [[Plato]] posed the problem of [[doubling the cube#History|doubling the cube]], which required a [[compass-and-straightedge construction]] of the edge of a [[cube (geometry)|cube]] with twice the volume of a given cube; this required the construction, now known to be impossible, of the length <math>\sqrt [3]{2}</math>.

A method for extracting cube roots appears in ''[[The Nine Chapters on the Mathematical Art]]'', a [[Chinese mathematics|Chinese mathematical]] text compiled around the second century BCE and commented on by [[Liu Hui]] in the third century CE.<ref name="oxf">{{cite book|last=Crossley|first=John|last2=W.-C. Lun|first2=Anthony|title=The Nine Chapters on the Mathematical Art: Companion and Commentary|url=https://books.google.com/books?id=eiTJHRGTG6YC&pg=PA213|year=1999|publisher=Oxford University Press|isbn=978-0-19-853936-0|page=213}}</ref> The [[Greek mathematics|Greek mathematician]] [[Hero of Alexandria]] devised a method for calculating cube roots in the first century CE. His formula is again mentioned by Eutokios in a commentary on [[Archimedes]].<ref>{{cite journal|last=Smyly|first=J. Gilbart|title=Heron's Formula for Cube Root|journal=Hermathena|year=1920|volume=19|issue=42|pages=64–67|publisher=Trinity College Dublin|jstor=23037103}}</ref> In 499 CE [[Aryabhata]], a [[mathematician]]-[[astronomer]] from the classical age of [[Indian mathematics]] and [[Indian astronomy]], gave a method for finding the cube root of numbers having many digits in the ''[[Aryabhatiya]]'' (section 2.5).<ref>''[http://www.flipkart.com/aryabhatiya-mohan-apte-book-8174344802 Aryabhatiya] {{Webarchive|url=https://archive.today/20110815204559/http://www.flipkart.com/aryabhatiya-mohan-apte-book-8174344802 |date=15 August 2011 }} {{langx|mr|आर्यभटीय}}'', Mohan Apte, Pune, India, Rajhans Publications, 2009, p. 62, {{ISBN|978-81-7434-480-9}}</ref>

==See also==
* [[Methods of computing square roots]]
* [[List of polynomial topics]]
* [[Nth root]]
* [[Square root]]
* [[Nested radical]]
* [[Root of unity]]

==References==
{{Reflist}}

==External links==
*[http://www.mathwarehouse.com/arithmetic/cube-root-calculator.php  Cube root calculator reduces any number to simplest radical form]
*[http://people.freebsd.org/~lstewart/references/apple_tr_kt32_cuberoot.pdf Computing the Cube Root, Ken Turkowski, Apple Technical Report #KT-32, 1998]. Includes C source code.
*{{mathworld|urlname=CubeRoot|title=Cube Root}}

{{DEFAULTSORT:Cube Root}}
[[Category:Elementary special functions]]
[[Category:Elementary algebra]]
[[Category:Unary operations]]