A square root of
is a number
such that
.
When written in the form
or especially
,
the square root of
may also be called the radical or surd.
The square root is therefore an nth root with
.
Note that any positive real number has two square roots, one positive and one negative. For example, the square roots of 9 are and
,
since
.
Any nonnegative real number
has a unique nonnegative square root
; this is called the principal
square root and is written
or
. For example, the principal
square root of 9 is
,
while the other square root of 9 is
. In common usage, unless otherwise specified, "the"
square root is generally taken to mean the principal square root. The principal square
root function
is the inverse function of
for
.
Any nonzero complex number also has two square roots. For example, using the imaginary
unit i, the two square roots of
are
. The principal
square root of a number
is denoted
(as in the positive real case) and is returned by the
Wolfram Language function Sqrt[z].
When considering a positive real number , the Wolfram Language
function Surd[x,
2] may be used to return the real square root.
The square roots of a complex number are given by
|
(1) |
In addition,
|
(2) |
As can be seen in the above figure, the imaginary part of the complex square root function has a branch cut along the negative real axis.
There are a number of square root algorithms that can be used to approximate the square root of a given (positive real) number.
These include the Bhaskara-Brouncker algorithm and Wolfram's
iteration. The simplest algorithm for is Newton's iteration:
|
(3) |
with .
The square root of 2 is the irrational number (OEIS A002193)
sometimes known as Pythagoras's constant,
which has the simple periodic continued fraction
[1, 2, 2, 2, 2, 2, ...] (OEIS A040000). The
square root of 3 is the irrational number
(OEIS A002194),
sometimes known as Theodorus's constant, which
has the simple periodic continued fraction
[1, 1, 2, 1, 2, 1, 2, ...] (OEIS A040001).
In general, the continued fractions of the
square roots of all positive integers are periodic.
A nested radical of the form
can sometimes be simplified into a simple square root by equating
|
(4) |
Squaring gives
|
(5) |
so
Solving for
and
gives
|
(8) |
For example,
|
(9) |
|
(10) |
The Simplify command of the Wolfram Language does not apply such simplifications, but FullSimplify does. In general, radical denesting is a difficult problem (Landau 1992ab, 1994, 1998).
A counterintuitive property of inverse functions is that
|
(11) |
so the expected identity (i.e., canceling of the s) does not hold along the negative real axis.
See also
Cube Root, nth Root, Nested Radical, Newton's Iteration, Principal Square Root, Pythagoras's Constant, Quadratic Surd, Radical, Root, Root of Unity, Square Number, Square Root Algorithms, Square Root Inequality, Square Triangular Number, Surd, Theodorus's Constant Explore this topic in the MathWorld classroom
Related Wolfram sites
http://functions.wolfram.com/ElementaryFunctions/Sqrt/
Explore with Wolfram|Alpha
References
Landau, S. "A Note on 'Zippel Denesting.' " J. Symb. Comput. 13, 31-45, 1992a.Landau, S. "Simplification
of Nested Radicals." SIAM J. Comput. 21, 85-110, 1992b.Landau,
S. "How to Tangle with a Nested Radical." Math. Intell. 16,
49-55, 1994.Landau, S. ": Four Different Views." Math. Intell. 20,
55-60, 1998.Sloane, N. J. A. Sequences A002193/M3195,
A002194/M4326, A040000,
and A040001 in "The On-Line Encyclopedia
of Integer Sequences."Spanier, J. and Oldham, K. B. "The
Square-Root Function
and Its Reciprocal," "The
Function and Its Reciprocal," and "The
Function." Chs. 12,
14, and 15 in An
Atlas of Functions. Washington, DC: Hemisphere, pp. 91-99, 107-115,
and 115-122, 1987.Williams, H. C. "A Numerical Investigation
into the Length of the Period of the Continued Fraction Expansion of
." Math. Comput. 36, 593-601, 1981.
Referenced on Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Square Root." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/SquareRoot.html