View source for Square root

{{Short description|Number whose square is a given number}}
{{Redirect|Square roots|other uses|Square Roots (disambiguation)}}
{{pp-semi-indef}}

[[File:Nuvola apps edu mathematics blue-p.svg|thumb|right|168px|Notation for the (principal) square root of {{mvar|x}}.]]
[[Image:Five Squared.svg|thumb|right|168px<!-- at 160px and 200px lines render with unequal widths -->|For example, {{math|{{radic|25}} {{=}} 5}}, since {{math|25 {{=}} 5 &sdot; 5}}, or {{math|5<sup>2</sup>}} (5 squared).]]

In [[mathematics]], a '''square root''' of a number {{mvar|x}} is a number {{mvar|y}} such that <math>y^2 = x</math>; in other words, a number {{mvar|y}} whose ''[[square (algebra)|square]]'' (the result of multiplying the number by itself, or <math>y \cdot y</math>) is {{mvar|x}}.<ref>Gel'fand, [https://books.google.com/books?id=Z9z7iliyFD0C&pg=PA120 p. 120] {{webarchive|url=https://web.archive.org/web/20160902151740/https://books.google.com/books?id=Z9z7iliyFD0C&pg=PA120 |date=2016-09-02 }}
</ref> For example, 4 and −4 are square roots of 16 because <math>4^2 = (-4)^2 = 16</math>.

Every [[nonnegative]] [[real number]] {{mvar|x}} has a unique nonnegative square root, called the ''principal square root'' or simply ''the square root'' (with a definite article, see below), which is denoted by <math>\sqrt{x},</math> where the symbol "<math>\sqrt{~^~}</math>" is called the ''[[radical sign]]''<ref>{{Cite web|title=Squares and Square Roots|url=https://www.mathsisfun.com/square-root.html|access-date=2020-08-28|website=www.mathsisfun.com}}</ref> or ''radix''. For example, to express the fact that the principal square root of 9 is 3, we write <math>\sqrt{9} = 3</math>. The term (or number) whose square root is being considered is known as the ''radicand''. The radicand is the number or expression underneath the radical sign, in this case, 9. For non-negative {{mvar|x}}, the principal square root can also be written in [[Exponentiation|exponent]] notation, as <math>x^{1/2}</math>.

Every [[positive number]] {{mvar|x}} has two square roots: <math>\sqrt{x}</math> (which is positive) and <math>-\sqrt{x}</math> (which is negative). The two roots can be written more concisely using the [[plus–minus sign|±&nbsp;sign]] as <math>\pm\sqrt{x}</math>. Although the principal square root of a positive number is only one of its two square roots, the designation "''the'' square root" is often used to refer to the principal square root.<ref>{{cite book |title=A First Course in Complex Analysis With Applications |edition=2nd |first1=Dennis G. |last1=Zill |first2=Patrick |last2=Shanahan |publisher=Jones & Bartlett Learning |year=2008 |isbn=978-0-7637-5772-4 |page=78 |url=https://books.google.com/books?id=YKZqY8PCNo0C |url-status=live |archive-url=https://web.archive.org/web/20160901081936/https://books.google.com/books?id=YKZqY8PCNo0C |archive-date=2016-09-01 }} [https://books.google.com/books?id=YKZqY8PCNo0C&pg=PA78 Extract of page 78] {{webarchive|url=https://web.archive.org/web/20160901091148/https://books.google.com/books?id=YKZqY8PCNo0C&pg=PA78 |date=2016-09-01 }}</ref><ref>{{Cite web|last=Weisstein|first=Eric W.|title=Square Root|url=https://mathworld.wolfram.com/SquareRoot.html|access-date=2020-08-28|website=mathworld.wolfram.com|language=en}}</ref>

Square roots of negative numbers can be discussed within the framework of [[complex number]]s. More generally, square roots can be considered in any context in which a notion of the "[[square (algebra)|square]]" of a mathematical object is defined. These include [[function space]]s and [[square matrices]], among other [[mathematical structure]]s.

==History==
[[File:Ybc7289-bw.jpg|left|thumb|YBC 7289 clay tablet]]

The [[Yale Babylonian Collection]] clay tablet [[YBC 7289]] was created between 1800&nbsp;BC and 1600&nbsp;BC, showing <math>\sqrt{2}</math> and <math display="inline">\frac{\sqrt{2}}{2} = \frac{1}{\sqrt{2}}</math> respectively as 1;24,51,10 and 0;42,25,35 [[Sexagesimal|base 60]] numbers on a square crossed by two diagonals.<ref>{{cite web | url=http://www.math.ubc.ca/~cass/Euclid/ybc/analysis.html | title=Analysis of YBC 7289 | work=ubc.ca | access-date=19 January 2015}}</ref> (1;24,51,10) base 60 corresponds to 1.41421296, which is correct to 5 decimal places (1.41421356...).

The [[Rhind Mathematical Papyrus]] is a copy from 1650&nbsp;BC of an earlier [[Berlin Papyrus 6619|Berlin Papyrus]] and other texts{{snd}}possibly the [[Kahun Papyrus]]{{snd}}that shows how the Egyptians extracted square roots by an inverse proportion method.<ref>Anglin, W.S. (1994). ''Mathematics: A Concise History and Philosophy''. New York: Springer-Verlag.</ref>

In [[History of India|Ancient India]], the knowledge of theoretical and applied aspects of square and square root was at least as old as the ''[[Sulba Sutras]]'', dated around 800–500&nbsp;BC (possibly much earlier).<ref>{{Cite journal |last=Seidenberg |first=A. |date=1961 |title=The ritual origin of geometry |url=http://dx.doi.org/10.1007/bf00327767 |journal=Archive for History of Exact Sciences |volume=1 |issue=5 |pages=488–527 |doi=10.1007/bf00327767 |s2cid=119992603 |issn=0003-9519 |quote=Seidenberg (pp. 501-505) proposes: "It is the distinction between use and origin." [By analogy] "KEPLER needed the ellipse to describe the paths of the planets around the sun; he did not, however invent the ellipse, but made use of a curve that had been lying around for nearly 2000 years". In this manner Seidenberg argues: "Although the date of a manuscript or text cannot give us the age of the practices it discloses, nonetheless the evidence is contained in manuscripts." Seidenberg quotes Thibaut from 1875: "Regarding the time in which the Sulvasutras may have been composed, it is impossible to give more accurate information than we are able to give about the date of the Kalpasutras. But whatever the period may have been during which Kalpasutras and Sulvasutras were composed in the form now before us, we must keep in view that they only give a systematically arranged description of sacrificial rites, which had been practiced during long preceding ages." Lastly, Seidenberg summarizes: "In 1899, THIBAUT ventured to assign the fourth or the third centuries B.C. as the latest possible date for the composition of the Sulvasutras (it being understood that this refers to a codification of far older material)."|url-access=subscription }}</ref> A method for finding very good approximations to the square roots of 2 and 3 are given in the ''[[Baudhayana Sulba Sutra]]''.<ref>Joseph, ch.8.</ref> [[Apastamba]] who was dated around 600 BCE has given a strikingly accurate value for <math>\sqrt{2}</math> which is correct up to five decimal places as <math display="inline"> 1 + \frac{1}{3} + \frac{1}{3\times 4} - \frac{1}{3\times 4\times 34}</math>.<ref>{{cite journal |last1=Dutta |first1=Bibhutibhusan |date=1931 |title=On the Origin of the Hindu Terms for "Root" |url=https://www.jstor.org/stable/2300909 |journal= The American Mathematical Monthly|volume= 38|issue=7 |pages= 371–376|doi=10.2307/2300909 |jstor=2300909 |access-date= 30 March 2024|url-access=subscription }}</ref><ref>{{cite web |url=https://maa.org/press/periodicals/convergence/ancient-indian-rope-geometry-in-the-classroom-approximating-the-square-root-of-2#:~:text=The%20Śulba-sūtras%20of%20Āpastamba,is%20less%20than%200.0003%25! |title=Ancient Indian Rope Geometry in the Classroom - Approximating the Square Root of 2 |author1=Cynthia J. Huffman|author1-link=Cynthia Huffman |author2=Scott V. Thuong |date= 2015 |website=www.maa.org |publisher= |access-date=30 March 2024 |quote=Increase the measure by its third and this third by its own fourth, less the thirty-fourth part of that fourth. This is the value with a special quantity in excess.}}</ref>
<ref>{{cite web |url=https://mathshistory.st-andrews.ac.uk/Biographies/Apastamba/ |title=Apastamba |author=J J O'Connor |author2=E F Robertson |date= November 2020|website=www.mathshistory.st-andrews.ac.uk|publisher= School of Mathematics and Statistics, University of St Andrews, Scotland |access-date=30 March 2024 }}</ref> [[Aryabhata]], in the ''[[Aryabhatiya]]'' (section 2.4), has given a method for finding the square root of numbers having many digits.

It was known to the ancient Greeks that square roots of [[Natural number|positive integers]] that are not [[Square number|perfect square]]s are always [[irrational number]]s: numbers not expressible as a [[ratio]] of two integers (that is, they cannot be written exactly as <math>\frac{m}{n}</math>, where {{mvar|m}} and {{mvar|n}} are integers). This is the theorem [[Euclid's Elements|''Euclid X, 9'']], almost certainly due to [[Theaetetus (mathematician)|Theaetetus]] dating back to {{circa|380&nbsp;BC}}.<ref>{{cite book
|first= Sir Thomas L. 
|last= Heath
|title= The Thirteen Books of The Elements, Vol. 3
|url=https://archive.org/stream/thirteenbookseu03heibgoog#page/n14/mode/1up
|year=1908
|publisher=Cambridge University Press
|page=3
}}</ref>
The discovery of irrational numbers, including the particular case of the [[square root of 2]], is widely associated with the Pythagorean school.<ref>{{cite book |title=History of Mathematics: A Supplement |author1=Craig Smorynski |edition=illustrated, annotated |publisher=Springer Science & Business Media |year=2007 |isbn=978-0-387-75480-2 |page=49 |url=https://books.google.com/books?id=_zliInaOM8UC}} [https://books.google.com/books?id=_zliInaOM8UC&pg=PA49 Extract of page 49]</ref><ref>{{cite book |title=Calculus: Single Variable, Volume 1 |author1=Brian E. Blank |author2=Steven George Krantz |edition=illustrated |publisher=Springer Science & Business Media |year=2006 |isbn=978-1-931914-59-8 |page=71 |url=https://books.google.com/books?id=hMY8lbX87Y8C}} [https://books.google.com/books?id=hMY8lbX87Y8C&pg=PA71 Extract of page 71]</ref> Although some accounts attribute the discovery to [[Hippasus]], the specific contributor remains uncertain due to the scarcity of primary sources and the secretive nature of the brotherhood.<ref>Boyer, Carl B.; Merzbach, Uta C. (2011). A History of Mathematics (3rd ed.). Hoboken, NJ: John Wiley & Sons. pp. 51–53. ISBN 978-0470525487.</ref><ref>Stillwell, John (2010). ''Mathematics and Its History'' (3rd ed.). New York, NY: Springer. pp. 14–15. ISBN 978-1441960528.</ref> It is exactly the length of the [[diagonal]] of a [[unit square|square with side length 1]].

In the Chinese mathematical work ''[[Writings on Reckoning]]'', written between 202&nbsp;BC and 186&nbsp;BC during the early [[Han dynasty]], the square root is approximated by using an "excess and deficiency" method, which says to "...combine the excess and deficiency as the divisor; (taking) the deficiency numerator multiplied by the excess denominator and the excess numerator times the deficiency denominator, combine them as the dividend."<ref>Dauben (2007), p. 210.</ref>

A symbol for square roots, written as an elaborate R, was invented by [[Regiomontanus]] (1436–1476). An R was also used for radix to indicate square roots in [[Gerolamo Cardano]]'s ''[[Ars Magna (Gerolamo Cardano)|Ars Magna]]''.<ref>{{cite web | url=http://nrich.maths.org/6546|title=The Development of Algebra - 2|work=maths.org|access-date=19 January 2015|url-status=live|archive-url=https://web.archive.org/web/20141124102946/http://nrich.maths.org/6546|archive-date=24 November 2014}}</ref>

According to historian of mathematics [[David Eugene Smith|D.E. Smith]], Aryabhata's method for finding the square root was first introduced in Europe by [[Pietro di Giacomo Cataneo|Cataneo]]—in 1546.

According to Jeffrey A. Oaks, Arabs used the letter ''[[Gimel#Arabic ĝīm|jīm/ĝīm]]'' ({{lang|ar|ج}}), the first letter of the word "{{lang|ar|جذر}}" (variously transliterated as ''jaḏr'', ''jiḏr'', ''ǧaḏr'' or ''ǧiḏr'', "root"), placed in its initial form ({{lang|ar|ﺟ}}) over a number to indicate its square root. The letter ''jīm'' resembles the present square root shape. Its usage goes as far as the end of the twelfth century in the works of the Moroccan mathematician [[Ibn al-Yasamin]].<ref>{{cite thesis | title=Algebraic Symbolism in Medieval Arabic Algebra | first1=Jeffrey A. | last1=Oaks | publisher=Philosophica | year=2012 | page=36 | url=http://logica.ugent.be/philosophica/fulltexts/87-2.pdf | url-status=live | archive-url=https://web.archive.org/web/20161203134229/http://logica.ugent.be/philosophica/fulltexts/87-2.pdf | archive-date=2016-12-03 }}</ref>

The symbol "√" for the square root was first used in print in 1525, in [[Christoph Rudolff]]'s ''Coss''.<ref>{{Cite book| last=Manguel|first=Alberto| chapter=Done on paper: the dual nature of numbers and the page | title=The Life of Numbers | year=2006 |publisher=Taric, S.A. | isbn=84-86882-14-1}}</ref>

==Properties and uses==
[[Image:Square root 0 25.svg|thumb|400px|The graph of the function {{math|1=''f''(''x'') = √''x''}}, made up of half a [[parabola]] with a vertical [[Directrix (conic section)#Eccentricity, focus and directrix|directrix]] ]]
The principal square root function <math>f(x) = \sqrt{x}</math> (usually just referred to as the "square root function") is a [[function (mathematics)|function]] that maps the [[Set (mathematics)|set]] of nonnegative real numbers onto itself. In [[geometry|geometrical]] terms, the square root function maps the [[area]] of a square to its side length.

The square root of {{mvar|x}} is rational if and only if {{mvar|x}} is a [[rational number]] that can be represented as a ratio of two perfect squares. (See [[square root of 2]] for proofs that this is an irrational number, and [[quadratic irrational]] for a proof for all non-square natural numbers.) The square root function maps rational numbers into [[algebraic number]]s, the latter being a [[superset]] of the rational numbers).

For all real numbers {{mvar|x}},<math display="block">
\sqrt{x^2} = \left|x\right| = 
\begin{cases} 
  x,  & \text{if }x \ge 0 \\
  -x, & \text{if }x < 0. 
\end{cases}
</math> (see [[absolute value]]).

For all nonnegative real numbers {{mvar|x}} and {{mvar|y}},<math display="block">\sqrt{xy} = \sqrt x \sqrt y</math>
and
<math display="block">\sqrt x = x^{1/2}.</math>

The square root function is [[Continuous function|continuous]] for all nonnegative {{mvar|x}}, and [[derivative|differentiable]] for all positive {{mvar|x}}. If {{math|''f''}} denotes the square root function, whose derivative is given by:<math display="block">f'(x) = \frac{1}{2\sqrt x}.</math>

The [[Taylor series]] of <math>\sqrt{1 + x}</math> about {{math|1=''x'' = 0}} converges for {{math|{{abs|''x''}} ≤ 1}}, and is given by

<math display="block">\sqrt{1 + x} = \sum_{n=0}^\infty \frac{(-1)^n(2n)!}{(1-2n)(n!)^2(4^n)}x^n = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \frac{1}{16} x^3 - \frac{5}{128} x^4 + \cdots,</math>

The square root of a nonnegative number is used in the definition of [[Euclidean norm]] (and [[Euclidean distance|distance]]), as well as in generalizations such as [[Hilbert space]]s. It defines an important concept of [[standard deviation]] used in [[probability theory]] and [[statistics]]. It has a major use in the formula for solutions of a [[quadratic equation]]. [[Quadratic field]]s and rings of [[quadratic integer]]s, which are based on square roots, are important in algebra and have uses in geometry. Square roots frequently appear in mathematical formulas elsewhere, as well as in many [[physics|physical]] laws.

==Square roots of positive integers==
A positive number has two square roots, one positive, and one negative, which are [[opposite (mathematics)|opposite]] to each other. When talking of ''the'' square root of a positive integer, it is usually the positive square root that is meant.

The square roots of an integer are [[algebraic integer]]s—more specifically [[quadratic integer]]s.

The square root of a positive integer is the product of the roots of its [[prime number|prime]] factors, because the square root of a product is the product of the square roots of the factors. Since  <math display="inline">\sqrt{p^{2k}} = p^k,</math> only roots of those primes having an odd power in the [[integer factorization|factorization]] are necessary. More precisely, the square root of a prime factorization is<math display="block">\sqrt{p_1^{2e_1+1} \cdots p_k^{2e_k+1}p_{k+1}^{2e_{k+1}} \dots p_n^{2e_n}} = p_1^{e_1} \dots p_n^{e_n} \sqrt{p_1\dots p_k}.</math> 

===As decimal expansions===
The square roots of the [[square number|perfect square]]s (e.g., 0, 1, 4, 9, 16) are [[integers]]. In all other cases, the square roots of positive integers are [[irrational number]]s, and hence have non-[[repeating decimal]]s in their [[decimal representation]]s. Decimal approximations of the square roots of the first few natural numbers are given in the following table.

{|class="wikitable"
! {{mvar|n}} !! <math>\sqrt{n},</math> truncated to 50 decimal places
|- 
|align="right" | 0 || 0
|- 
|align="right" | 1 || 1
|-
|align="right" | 2 || [[Square root of 2|{{gaps|1.4142135623|7309504880|1688724209|6980785696|7187537694}}]]
|-
|align="right" | 3 || [[Square root of 3|{{gaps|1.7320508075|6887729352|7446341505|8723669428|0525381038}}]]
|-
|align="right" | 4 || 2
|-
|align="right" | 5 || [[Square root of 5|{{gaps|2.2360679774|9978969640|9173668731|2762354406|1835961152}}]]
|-
|align="right" | 6 || [[Square root of 6|{{gaps|2.4494897427|8317809819|7284074705|8913919659|4748065667}}]]
|-
|align="right" | 7 || [[Square root of 7|{{gaps|2.6457513110|6459059050|1615753639|2604257102|5918308245}}]]
|-
|align="right" | 8 || {{gaps|2.8284271247|4619009760|3377448419|3961571393|4375075389}}
|-
|align="right" | 9 || 3
|-
|align="right" | 10 || {{gaps|3.1622776601|6837933199|8893544432|7185337195|5513932521}}
|}

===As expansions in other numeral systems===
As with before, the square roots of the [[square number|perfect square]]s (e.g., 0, 1, 4, 9, 16) are integers. In all other cases, the square roots of positive integers are [[irrational number]]s, and therefore have non-repeating digits in any standard [[positional notation]] system.

The square roots of small integers are used in both the [[SHA-1]] and [[SHA-2]] hash function designs to provide [[nothing up my sleeve number]]s.

===As periodic continued fractions===
A result from the study of [[irrational number]]s as [[simple continued fraction]]s was obtained by [[Joseph Louis Lagrange]] {{circa|1780}}. Lagrange found that the representation of the square root of any non-square positive integer as a continued fraction is [[Periodic continued fraction|periodic]]. That is, a certain pattern of partial denominators repeats indefinitely in the continued fraction. In a sense these square roots are the very simplest irrational numbers, because they can be represented with a simple repeating pattern of integers.

{|
|- 
|align="right"|<math>\sqrt{2}</math>|| = [1; 2, 2, ...]
|-
|align="right"|<math>\sqrt{3}</math>|| = [1; 1, 2, 1, 2, ...]
|-
|align="right"|<math>\sqrt{4}</math>|| = [2]
|-
|align="right"|<math>\sqrt{5}</math>|| = [2; 4, 4, ...]
|-
|align="right"|<math>\sqrt{6}</math>|| = [2; 2, 4, 2, 4, ...]
|-
|align="right"|<math>\sqrt{7}</math>|| = [2; 1, 1, 1, 4, 1, 1, 1, 4, ...]
|-
|align="right"|<math>\sqrt{8}</math>||= [2; 1, 4, 1, 4, ...]
|-
|align="right"|<math>\sqrt{9}</math>|| = [3]
|-
|align="right"|<math>\sqrt{10}</math>|| = [3; 6, 6, ...]
|- 
|align="right"|<math>\sqrt{11}</math>|| = [3; 3, 6, 3, 6, ...]
|-
|align="right"|<math>\sqrt{12}</math>|| = [3; 2, 6, 2, 6, ...]
|-
|align="right"|<math>\sqrt{13}</math>|| = [3; 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, ...]
|-
|align="right"|<math>\sqrt{14}</math>|| = [3; 1, 2, 1, 6, 1, 2, 1, 6, ...]
|-
|align="right"|<math>\sqrt{15}</math>|| = [3; 1, 6, 1, 6, ...]
|-
|align="right"|<math>\sqrt{16}</math>|| = [4]
|-
|align="right"|<math>\sqrt{17}</math>|| = [4; 8, 8, ...]
|-
|align="right"|<math>\sqrt{18}</math>|| = [4; 4, 8, 4, 8, ...]
|-
|align="right"|<math>\sqrt{19}</math>|| = [4; 2, 1, 3, 1, 2, 8, 2, 1, 3, 1, 2, 8, ...]
|-
|align="right"|<math>\sqrt{20}</math>|| = [4; 2, 8, 2, 8, ...]
|}

The [[square bracket]] notation used above is a short form for a continued fraction. Written in the more suggestive algebraic form, the simple continued fraction for the square root of 11, [3; 3, 6, 3, 6, ...], looks like this:<math display="block">
\sqrt{11} = 3 + \cfrac{1}{3 + \cfrac{1}{6 + \cfrac{1}{3 + \cfrac{1}{6 + \cfrac{1}{3 + \ddots}}}}}
</math>

where the two-digit pattern {3, 6} repeats over and over again in the partial denominators. Since {{math|1=11 = 3<sup>2</sup> + 2}}, the above is also identical to the following [[generalized continued fraction#Roots of positive numbers|generalized continued fractions]]:

<math display="block">
\sqrt{11} = 3 + \cfrac{2}{6 + \cfrac{2}{6 + \cfrac{2}{6 + \cfrac{2}{6 + \cfrac{2}{6 + \ddots}}}}} = 3 + \cfrac{6}{20 - 1 - \cfrac{1}{20 - \cfrac{1}{20 - \cfrac{1}{20 - \cfrac{1}{20 - \ddots}}}}}.
</math>

==Computation==
{{Main article|Square root algorithms}}
Square roots of positive numbers are not in general [[rational number]]s, and so cannot be written as a terminating or recurring decimal expression. Therefore in general any attempt to compute a square root expressed in decimal form can only yield an approximation, though a sequence of increasingly accurate approximations can be obtained.

Most [[pocket calculator]]s have a square root key. Computer [[spreadsheet]]s and other [[software]] are also frequently used to calculate square roots. Pocket calculators typically implement efficient routines, such as the [[Newton's method]] (frequently with an initial guess of 1), to compute the square root of a positive real number.<ref>{{cite book| last=Parkhurst|first=David F.|title=Introduction to Applied Mathematics for Environmental Science| url=https://archive.org/details/introductiontoap00park_663|url-access=limited| year=2006| publisher=Springer| isbn=9780387342283| pages=[https://archive.org/details/introductiontoap00park_663/page/n249 241]}}</ref><ref>{{cite book|last=Solow|first=Anita E.| title=Learning by Discovery: A Lab Manual for Calculus|year=1993|publisher=Cambridge University Press| isbn=9780883850831| pages=[https://archive.org/details/learningbydiscov0001unse/page/48 48]|url=https://archive.org/details/learningbydiscov0001unse/page/48}}</ref> When computing square roots with [[Common logarithm|logarithm table]]s or [[slide rule]]s, one can exploit the identities<math display="block">\sqrt{a} = e^{(\ln a)/2} = 10^{(\log_{10} a)/2},</math>
where {{math|ln}} and {{math|log<sub>10</sub>}} are the [[Natural logarithm|natural]] and [[base-10 logarithm]]s.

By trial-and-error,<ref>{{cite book |title=Mathematics for Biological Scientists |first1=Mike |last1=Aitken |first2=Bill |last2=Broadhurst |first3=Stephen |last3=Hladky |publisher=Garland Science |year=2009 |isbn=978-1-136-84393-8 |page=41 |url=https://books.google.com/books?id=KywWBAAAQBAJ |url-status=live |archive-url=https://web.archive.org/web/20170301101038/https://books.google.com/books?id=KywWBAAAQBAJ |archive-date=2017-03-01 }} [https://books.google.com/books?id=KywWBAAAQBAJ&pg=PA41 Extract of page 41] {{webarchive|url=https://web.archive.org/web/20170301100516/https://books.google.com/books?id=KywWBAAAQBAJ&pg=PA41 |date=2017-03-01 }}</ref> one can square an estimate for <math>\sqrt{a}</math> and raise or lower the estimate until it agrees to sufficient accuracy. For this technique it is prudent to use the identity<math display="block">(x + c)^2 = x^2 + 2xc + c^2,</math>
as it allows one to adjust the estimate {{mvar|x}} by some amount {{mvar|c}} and measure the square of the adjustment in terms of the original estimate and its square.

The most common [[iterative method]] of square root calculation by hand is known as the "[[Babylonian method]]" or "Heron's method" after the first-century Greek philosopher [[Hero of Alexandria|Heron of Alexandria]], who first described it.<ref>{{cite book
  | last = Heath
  | first = Sir Thomas L.
  | title = A History of Greek Mathematics, Vol. 2
  | publisher = Clarendon Press
  | year = 1921
  | location = Oxford
  | pages = [https://archive.org/details/ahistorygreekma00heatgoog/page/n340 323]–324
  | url = https://archive.org/details/ahistorygreekma00heatgoog
  }}</ref> The method uses the same iterative scheme as the [[Newton–Raphson method]] yields when applied to the function {{math|1=''y'' = ''f''(''x'') = ''x''<sup>2</sup> − ''a''}}, using the fact that its slope at any point is {{math|1=''dy''/''dx'' = ''{{prime|f}}''(''x'') = 2''x''}}, but predates it by many centuries.<ref>{{Cite book
 |title      = Elementary functions: algorithms and implementation
 |first1     = Jean-Mic
 |last1      = Muller
 |publisher  = Springer
 |year       = 2006
 |isbn       = 0-8176-4372-9
 |pages      = 92–93
 |url        = https://books.google.com/books?id=g3AlWip4R38C
 }}, [https://books.google.com/books?id=g3AlWip4R38C&pg=PA92 Chapter 5, p 92] {{webarchive|url=https://web.archive.org/web/20160901091516/https://books.google.com/books?id=g3AlWip4R38C&pg=PA92 |date=2016-09-01 }}
</ref> The algorithm is to repeat a simple calculation that results in a number closer to the actual square root each time it is repeated with its result as the new input. The motivation is that if {{mvar|x}} is an overestimate to the square root of a nonnegative real number {{mvar|a}} then {{math|''a''/''x''}}<!-- please avoid intermixing <math> with a bare text in one paragraph: it is the ugliest pair among 3 existing styles --> will be an underestimate and so the average of these two numbers is a better approximation than either of them. However, the [[inequality of arithmetic and geometric means]] shows this average is always an overestimate of the square root (as noted [[Square root#Geometric construction of the square root|below]]), and so it can serve as a new overestimate with which to repeat the process, which [[Limit of a sequence|converges]] as a consequence of the successive overestimates and underestimates being closer to each other after each iteration. To find {{mvar|x}}:

# Start with an arbitrary positive start value {{mvar|x}}. The closer to the square root of {{mvar|a}}, the fewer the iterations that will be needed to achieve the desired precision.
# Replace {{mvar|x}} by the average {{math|(''x'' + ''a''/''x'') / 2}} between {{math|''x''}} and {{math|''a''/''x''}}.
# Repeat from step 2, using this average as the new value of {{mvar|x}}.

That is, if an arbitrary guess for <math>\sqrt{a}</math> is {{math|''x''<sub>0</sub>}}, and {{math|1 = ''x''<sub>''n'' + 1</sub> = (''x<sub>n</sub>'' + ''a''/''x<sub>n</sub>'') / 2}}, then each {{math|''x''<sub>''n''</sub>}} is an approximation of <math>\sqrt{a}</math> which is better for large {{mvar|n}} than for small {{mvar|n}}. If {{mvar|a}} is positive, the convergence is [[Rate of convergence|quadratic]], which means that in approaching the limit, the number of correct digits roughly doubles in each next iteration. If {{math|1=''a'' = 0}}, the convergence is only linear; however, <math>\sqrt{0} = 0</math> so in this case no iteration is needed.

Using the identity<math display="block">\sqrt{a} = 2^{-n}\sqrt{4^n a},</math>
the computation of the square root of a positive number can be reduced to that of a number in the range {{closed-open|1, 4}}. This simplifies finding a start value for the iterative method that is close to the square root, for which a [[Polynomial function|polynomial]] or [[Piecewise linear function|piecewise-linear]] [[Approximation theory|approximation]] can be used.

The [[Computational complexity theory|time complexity]] for computing a square root with {{mvar|n}} digits of precision is equivalent to that of multiplying two {{mvar|n}}-digit numbers.

Another useful method for calculating the square root is the shifting nth root algorithm, applied for {{math|1= ''n'' = 2}}.

The name of the square root [[Function (programming)|function]] varies from [[programming language]] to programming language, with <code>sqrt</code><ref>{{cite web |title=Function sqrt |work=CPlusPlus.com |date=2016 |publisher=The C++ Resources Network |url=http://www.cplusplus.com/reference/clibrary/cmath/sqrt/ |access-date=June 24, 2016 |url-status=live |archive-url=https://web.archive.org/web/20121122050619/http://www.cplusplus.com/reference/clibrary/cmath/sqrt/ |archive-date=November 22, 2012 }}</ref> (often pronounced "squirt"<ref>{{cite book |title=C++ for the Impatient |first=Brian |last=Overland |page=338 |publisher=Addison-Wesley |date=2013 |isbn=9780133257120 |oclc=850705706 |url=https://books.google.com/books?id=eJFpV-_t4WkC&q=%22squirt%22+sqrt+C%2B%2B&pg=PA338 |access-date=June 24, 2016 |url-status=live |archive-url=https://web.archive.org/web/20160901082021/https://books.google.com/books?id=eJFpV-_t4WkC&pg=PA338&dq=%22squirt%22+sqrt+C%2B%2B&hl=en&sa=X&ved=0ahUKEwjEwfj04sHNAhUY0GMKHatGDnsQ6AEIKDAC#v=onepage&q=%22squirt%22%20sqrt%20C%2B%2B&f=false |archive-date=September 1, 2016 }}</ref>) being common, used in [[C (programming language)|C]] and derived languages such as [[C++]], [[JavaScript]], [[PHP]], and [[Python (programming language)|Python]].

==Square roots of negative and complex numbers==<!-- This section is linked from [[Complex number]] -->
{{multiple image |align=left |direction=horizontal 
 |image1=Complex sqrt leaf1.jpg |caption1=First leaf of the complex square root
 |image2=Complex sqrt leaf2.jpg |caption2=Second leaf of the complex square root
 |image3=Riemann surface sqrt.svg |caption3=Using the [[Riemann surface]] of the square root, it is shown how the two leaves fit together
}}
{{clear}}
The square of any positive or negative number is positive, and the square of 0 is 0. Therefore, no negative number can have a [[real number|real]] square root.  However, it is possible to work with a more inclusive set of numbers, called the [[complex number]]s, that does contain solutions to the square root of a negative number. This is done by introducing a new number, denoted by {{math|''i''}} (sometimes by {{math|''j''}}, especially in the context of [[electric current|electricity]] where ''i'' traditionally represents electric current) and called the [[imaginary unit]], which is ''defined'' such that {{math|1=''i''<sup>2</sup> = −1}}. Using this notation, we can think of {{math|''i''}} as the square root of −1, but we also have {{math|1=(−''i'')<sup>2</sup> = ''i''<sup>2</sup> = −1}} and so {{math|−''i''}} is also a square root of −1. By convention, the principal square root of −1 is {{math|''i''}}, or more generally, if {{math|''x''}} is any nonnegative number, then the principal square root of {{math|−''x''}} is
<math display="block">\sqrt{-x} = i \sqrt x.</math>

The right side (as well as its negative) is indeed a square root of {{math|−''x''}}, since<math display="block">(i\sqrt x)^2 = i^2(\sqrt x)^2 = (-1)x = -x.</math>

For every non-zero complex number {{mvar|z}} there exist precisely two numbers {{mvar|w}} such that {{math|1=''w''<sup>2</sup> = ''z''}}: the principal square root of {{mvar|z}} (defined below), and its negative.

===Principal square root of a complex number===
{{Visualisation complex number roots}}
To find a definition for the square root that allows us to consistently choose a single value, called the [[principal value]], we start by observing that any complex number <math>x + i y</math> can be viewed as a point in the plane, <math>(x, y),</math> expressed using [[Cartesian coordinate system|Cartesian coordinates]]. The same point may be reinterpreted using [[polar coordinates]] as the pair <math>(r, \varphi),</math> where <math>r \geq 0</math> is the distance of the point from the origin, and <math>\varphi</math> is the angle that the line from the origin to the point makes with the positive real (<math>x</math>) axis. In complex analysis, the location of this point is conventionally written <math>r e^{i\varphi}.</math> If<math display=block>z = r e^{i \varphi} \text{ with } -\pi < \varphi \leq \pi,</math>
then the {{em|{{visible anchor|principal square root}}}} of <math>z</math> is defined to be the following:<math display=block>\sqrt{z} = \sqrt{r} e^{i \varphi / 2}.</math> 
The principal square root function is thus defined using the non-positive real axis as a [[branch cut]]. If <math>z</math> is a non-negative real number (which happens if and only if <math>\varphi = 0</math>) then the principal square root of <math>z</math> is <math>\sqrt{r} e^{i (0) / 2} = \sqrt{r};</math> in other words, the principal square root of a non-negative real number is just the usual non-negative square root. It is important that <math>-\pi < \varphi \leq \pi</math> because if, for example, <math>z = - 2 i</math> (so <math>\varphi = -\pi/2</math>) then the principal square root is<math display=block>\sqrt{-2 i} = \sqrt{2 e^{i\varphi}} = \sqrt{2} e^{i\varphi/2} = \sqrt{2} e^{i(-\pi/4)} = 1 - i</math>
but using <math>\tilde{\varphi} := \varphi + 2 \pi = 3\pi/2</math> would instead produce the other square root <math>\sqrt{2} e^{i\tilde{\varphi}/2} = \sqrt{2} e^{i(3\pi/4)} = -1 + i = - \sqrt{-2 i}.</math> 

The principal square root function is [[Holomorphic function|holomorphic]] everywhere except on the set of non-positive real numbers (on strictly negative reals it is not even [[Continuous function|continuous]]). The above Taylor series for <math>\sqrt{1 + x}</math> remains valid for complex numbers <math>x</math> with <math>|x| < 1.</math>

The above can also be expressed in terms of [[trigonometric function]]s:<math display=block>\sqrt{r \left(\cos \varphi + i \sin \varphi \right)} = \sqrt{r} \left(\cos \frac{\varphi}{2} + i \sin \frac{\varphi}{2} \right).</math>

===Algebraic formula===
[[Image:Imaginary2Root.svg|right|thumb|The square roots of {{mvar|i}}]]
When the number is expressed using its real and imaginary parts, the following formula can be used for the principal square root:<ref>{{cite book
 |title       = Handbook of mathematical functions with formulas, graphs, and mathematical tables
 |first1      = Milton
 |last1       = Abramowitz
 |first2      = Irene A.
 |last2       = Stegun
 |publisher   = Courier Dover Publications
 |year        = 1964
 |isbn        = 0-486-61272-4
 |page        = 17
 |url         = https://books.google.com/books?id=MtU8uP7XMvoC
 |url-status     = live
 |archive-url  = https://web.archive.org/web/20160423180235/https://books.google.com/books?id=MtU8uP7XMvoC
 |archive-date = 2016-04-23
}}, [http://www.math.sfu.ca/~cbm/aands/page_17.htm Section 3.7.27, p. 17] {{webarchive|url=https://web.archive.org/web/20090910094533/http://www.math.sfu.ca/~cbm/aands/page_17.htm |date=2009-09-10 }}
</ref><ref>{{cite book
 |title       = Classical algebra: its nature, origins, and uses
 |first1      = Roger
 |last1       = Cooke
 |publisher   = John Wiley and Sons
 |year        = 2008
 |isbn        = 978-0-470-25952-8
 |page        = 59
 |url         = https://books.google.com/books?id=lUcTsYopfhkC&pg=PA59
 |url-status     = live
 |archive-url  = https://web.archive.org/web/20160423183239/https://books.google.com/books?id=lUcTsYopfhkC&pg=PA59
 |archive-date = 2016-04-23
}}
</ref>

<math display=block>
\sqrt{x+iy} = \sqrt{\tfrac12\bigl(\sqrt{\textstyle x^2+y^2} + x\bigr)} + 
              i\sgn(y) \sqrt{\tfrac12\bigl(\sqrt{\textstyle x^2+y^2} - x\bigr)},
</math>

where {{math|1=sgn(''y'') = 1}} if {{math|''y'' ≥ 0}} and {{math|1=sgn(''y'') =  −1}} otherwise.<ref>This sign function differs from the usual [[sign function]] by its value at {{math|0}}.</ref> In particular, the imaginary parts of the original number and the principal value of its square root have the same sign. The real part of the principal value of the square root is always nonnegative.

For example, the principal square roots of {{math|±''i''}} are given by:

<math display=block>
   \sqrt{i} = \frac{1+i}{\sqrt2}, \qquad
   \sqrt{-i} = \frac{1 - i}{\sqrt2}.</math>

===Notes===

In the following, the complex {{mvar|z}} and {{mvar|w}} may be expressed as:

* <math> z = |z| e^{i \theta_z}</math>
* <math> w = |w| e^{i \theta_w}</math>

where <math>-\pi<\theta_z\le\pi</math> and <math>-\pi<\theta_w\le\pi</math>.

Because of the discontinuous nature of the square root function in the complex plane, the following laws are '''not true''' in general.

*  <math>\sqrt{zw} = \sqrt{z} \sqrt{w}</math> {{pb}} Counterexample for the principal square root: {{math|1=''z'' = −1}} and {{math|1=''w'' = −1}} {{pb}} This equality is valid only when <math>-\pi<\theta_z+\theta_w\le\pi</math>
* <math>\frac{\sqrt{w}}{\sqrt z} = \sqrt{\frac{w}{z}}</math> {{pb}} Counterexample for the principal square root: {{math|1=''w'' = 1}} and {{math|1=''z'' = −1}} {{pb}} This equality is valid only when <math>-\pi<\theta_w-\theta_z\le\pi</math>
*<math>\sqrt{z^*} = \left( \sqrt z \right)^*</math> {{pb}} Counterexample for the principal square root: {{math|1=''z'' = −1}}) {{pb}} This equality is valid only when <math>\theta_z\ne\pi</math>

A similar problem appears with other complex functions with branch cuts, e.g., the [[complex logarithm]] and the relations {{math|1=log''z'' + log''w'' = log(''zw'')}} or {{math|1=log(''z''<sup>*</sup>) = log(''z'')<sup>*</sup>}} which are not true in general.

Wrongly assuming one of these laws underlies several faulty "proofs", for instance the following one showing that {{math|1=−1 = 1}}:
<math display="block">\begin{align}
-1 &= i \cdot i \\
&= \sqrt{-1} \cdot \sqrt{-1} \\
&= \sqrt{\left(-1\right)\cdot\left(-1\right)} \\
&= \sqrt{1} \\
&= 1.
\end{align}</math>

The third equality cannot be justified (see [[invalid proof]]).<ref>{{cite book |last1=Maxwell |first1=E. A. |url=https://archive.org/details/fallaciesinmathe0000maxw_z1t0/page/n5/mode/2up |title=Fallacies in Mathematics |publisher=Cambridge University Press |year=1959 |isbn=9780511569739}}</ref>{{rp|at=Chapter VI, Section I, Subsection 2 ''The fallacy that +1 = −1''}} It can be made to hold by changing the meaning of √ so that this no longer represents the principal square root (see above) but selects a branch for the square root that contains <math>\sqrt{1}\cdot\sqrt{-1}.</math> The left-hand side becomes either<math display="block">\sqrt{-1} \cdot \sqrt{-1}=i \cdot i=-1</math>
if the branch includes {{math|+''i''}} or<math display="block">\sqrt{-1} \cdot \sqrt{-1}=(-i) \cdot (-i)=-1</math>
if the branch includes {{math|−''i''}}, while the right-hand side becomes<math display="block">\sqrt{\left(-1\right)\cdot\left(-1\right)} = \sqrt{1} = -1,</math>
where the last equality, <math>\sqrt{1} = -1,</math> is a consequence of the choice of branch in the redefinition of {{math|√}}.

=={{mvar|n}}th roots and polynomial roots==

The definition of a square root of <math>x</math> as a number <math>y</math> such that <math>y^2 = x</math> has been generalized in the following way.

A [[cube root]] of <math>x</math> is a number <math>y</math> such that <math>y^3 = x</math>; it is denoted <math>\sqrt[3]x.</math>

If {{mvar|n}} is an integer greater than two, a [[Nth root|{{mvar|n}}-th root]] of <math>x</math> is a number <math>y</math> such that <math>y^n = x</math>; it is denoted <math>\sqrt[n]x.</math>

Given any [[polynomial]] {{math|''p''}}, a [[polynomial root|root]] of {{math|''p''}} is a number {{mvar|y}} such that {{math|1=''p''(''y'') = 0}}. For example, the {{mvar|n}}th roots of {{mvar|x}} are the roots of the polynomial (in {{mvar|y}}) <math>y^n - x.</math>

[[Abel–Ruffini theorem]] states that, in general, the roots of a polynomial of degree five or higher cannot be expressed in terms of {{mvar|n}}th roots.

==Square roots of matrices and operators==
{{Main article|Square root of a matrix}}
{{See also|Square root of a 2 by 2 matrix}}

If ''A'' is a [[positive-definite matrix]] or operator, then there exists precisely one positive definite matrix or operator ''B'' with {{math|1=''B''<sup>2</sup> = ''A''}}; we then define {{math|1=''A''<sup>1/2</sup> = ''B''}}. In general matrices may have multiple square roots or even an infinitude of them. For example, the {{nowrap|2 × 2}} [[identity matrix]] has an infinity of square roots,<ref>Mitchell, Douglas W., "Using Pythagorean triples to generate square roots of I<sub>2</sub>", ''Mathematical Gazette'' 87, November 2003, 499–500.</ref> though only one of them is positive definite.

==In integral domains, including fields==
Each element of an [[integral domain]] has no more than 2 square roots. The [[difference of two squares]] identity {{math|1=''u''<sup>2</sup> − ''v''<sup>2</sup> = (''u'' − ''v'')(''u'' + ''v'')}} is proved using the [[commutative ring|commutativity of multiplication]]. If {{mvar|u}} and {{mvar|v}} are square roots of the same element, then {{math|1=''u''<sup>2</sup> − ''v''<sup>2</sup> = 0}}. Because there are no [[zero divisors]] this implies {{math|1=''u'' = ''v''}} or {{math|1=''u'' + ''v'' = 0}}, where the latter means that two roots are [[additive inverse]]s of each other. In other words if an element a square root {{mvar|u}} of an element {{mvar|a}} exists, then the only square roots of {{mvar|a}} are {{mvar|u}} and {{mvar|&minus;u}}. The only square root of 0 in an integral domain is 0 itself.

In a field of [[characteristic (algebra)|characteristic]]&nbsp;2, an element either has one square root or does not have any at all, because each element is its own additive inverse, so that {{math|1=&minus;''u'' = ''u''}}. If the field is [[finite field|finite]] of characteristic&nbsp;2 then every element has a unique square root. In a [[field (mathematics)|field]] of any other characteristic, any non-zero element either has two square roots, as explained above, or does not have any.

Given an odd [[prime number]] {{mvar|p}}, let {{math|1=''q'' = ''p''<sup>''e''</sup>}} for some positive integer {{mvar|e}}. A non-zero element of the field {{math|[[finite field|'''F'''<sub>''q''</sub>]]}} with {{mvar|q}} elements is a [[quadratic residue]] if it has a square root in {{math|'''F'''<sub>''q''</sub>}}. Otherwise, it is a quadratic non-residue. There are {{math|(''q'' − 1)/2}} quadratic residues and {{math|(''q'' − 1)/2}} quadratic non-residues; zero is not counted in either class. The quadratic residues form a [[group (mathematics)|group]] under multiplication. The properties of quadratic residues are widely used in [[number theory]].

==In rings in general==
Unlike in an integral domain, a square root in an arbitrary (unital) ring need not be unique up to sign. For example, in the ring <math>\mathbb{Z}/8\mathbb{Z}</math> of integers [[modular arithmetic|modulo 8]] (which is commutative, but has zero divisors), the element 1 has four distinct square roots: ±1 and ±3.

Another example is provided by the ring of [[quaternion]]s <math>\mathbb{H},</math> which has no zero divisors, but is not commutative.  Here, the element −1 has [[quaternion#Square roots of −1|infinitely many square roots]], including {{math|±''i''}}, {{math|±''j''}}, and {{math|±''k''}}.  In fact, the set of square roots of {{math|−1}} is exactly<math display="block">\{ai + bj + ck \mid a^2 + b^2 + c^2 = 1\} .</math>

A square root of 0 is either 0 or a zero divisor. Thus in rings where zero divisors do not exist, it is uniquely 0. However, rings with zero divisors may have multiple square roots of 0.  For example, in <math>\mathbb{Z}/n^2\mathbb{Z},</math> any multiple of {{mvar|n}} is a square root of 0.

==Geometric construction of the square root==
[[File:SqrtGeom.gif|thumb|[[Straightedge and compass construction|Constructing]] the length <math>x = \sqrt{a}</math>, given the <math>a</math> and the unit length]]
[[File:Spiral_of_Theodorus.svg|thumb|The [[Spiral of Theodorus]] up to the triangle with a hypotenuse of {{math|{{radic|17}}}}]]
[[File:Root_rectangles_Hambidge_1920.png|thumb|[[Jay Hambidge]]'s construction of successive square roots using [[root rectangle]]s]]
The square root of a positive number is usually defined as the side length of a [[square]] with the [[area]] equal to the given number. But the square shape is not necessary for it: if one of two [[similarity (geometry)|similar]] [[Euclidean plane|planar Euclidean]] objects has the area ''a'' times greater than another, then the ratio of their linear sizes is <math>\sqrt{a}</math>.

A square root can be constructed with a compass and straightedge. In his [[Euclid's Elements|Elements]], [[Euclid]] ([[floruit|fl.]] 300&nbsp;BC) gave the construction of the [[geometric mean]] of two quantities in two different places: [http://aleph0.clarku.edu/~djoyce/java/elements/bookII/propII14.html Proposition II.14] and [http://aleph0.clarku.edu/~djoyce/java/elements/bookVI/propVI13.html Proposition VI.13]. Since the geometric mean of ''a'' and ''b'' is <math>\sqrt{ab}</math>, one can construct <math>\sqrt{a}</math> simply by taking {{math|1=''b'' = 1}}.

The construction is also given by [[Descartes]] in his ''[[La Géométrie]]'', see figure 2 on [https://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=00570001&seq=12&frames=0&view=50 page 2]. However, Descartes made no claim to originality and his audience would have been quite familiar with Euclid.

Euclid's second proof in Book VI depends on the theory of [[Similar triangles#Similar triangles|similar triangles]]. Let AHB be a line segment of length {{math|''a'' + ''b''}} with {{math|1=AH = ''a''}} and {{math|1=HB = ''b''}}. Construct the circle with AB as diameter and let C be one of the two intersections of the perpendicular chord at H with the circle and denote the length CH as ''h''. Then, using [[Thales' theorem]] and, as in the [[Pythagorean theorem#Proof using similar triangles|proof of Pythagoras' theorem by similar triangles]], triangle AHC is similar to triangle CHB (as indeed both are to triangle ACB, though we don't need that, but it is the essence of the proof of Pythagoras' theorem) so that AH:CH is as HC:HB, i.e. {{math|1= ''a''/''h'' = ''h''/''b''}}, from which we conclude by cross-multiplication that {{math|1= ''h''<sup>2</sup> = ''ab''}}, and finally that <math>h = \sqrt{ab}</math>. When marking the midpoint O of the line segment AB and drawing the radius OC of length {{math|(''a'' + ''b'')/2}}, then clearly OC > CH, i.e. <math display=inline>\frac{a + b}{2} \ge \sqrt{ab}</math> (with equality if and only if {{math|1=''a'' = ''b''}}), which is the [[inequality of arithmetic and geometric means|arithmetic–geometric mean inequality for two variables]] and, as noted [[Square root#Computation|above]], is the basis of the [[Greek Mathematics|Ancient Greek]] understanding of "Heron's method".

Another method of geometric construction uses [[right triangle]]s and [[Mathematical induction|induction]]: <math>\sqrt{1}</math> can be constructed, and once <math>\sqrt{x}</math> has been constructed, the right triangle with legs 1 and <math>\sqrt{x}</math> has a [[hypotenuse]] of <math>\sqrt{x + 1}</math>. Constructing successive square roots in this manner yields the [[Spiral of Theodorus]] depicted above.

==See also==
{{div col}}
* [[Apotome (mathematics)]]
* [[Cube root]]
* [[Fast inverse square root]]
* [[Functional square root]]
* [[Integer square root]]
* [[Nested radical]]
* [[Nth root]]
* [[Root of unity]]
* [[Solving quadratic equations with continued fractions]]
* [[Square root algorithms]]
* [[Square-root sum problem]]
* {{annotated link|Square-root method}}
* {{section link|Quantum gate|Square root of NOT gate (√NOT)}}
{{div col end}}

==Notes==
{{Reflist}}

==References==
* {{cite book | last = Dauben | first = Joseph W. | author-link = Joseph Dauben | editor-last = Katz | editor-first = Victor J. | title = The Mathematics of Egypt, Mesopotamia, China, India, and Islam | chapter = Chinese Mathematics I | publisher = Princeton University Press | location = Princeton | year = 2007 | url = https://books.google.com/books?id=3ullzl036UEC | isbn = 978-0-691-11485-9}}
* {{cite book|title=Algebra|edition=3rd|first1=Izrael M.|last1=Gel'fand|first2=Alexander|author1-link=Israel Gelfand|last2=Shen|publisher=Birkhäuser|year=1993|isbn=0-8176-3677-3|page=120|url=https://books.google.com/books?id=Z9z7iliyFD0C}}
* {{cite book | last = Joseph | first = George | title = The Crest of the Peacock | publisher = Princeton University Press | location = Princeton | year = 2000 | isbn = 0-691-00659-8 | url = https://archive.org/details/crestofpeacockno00jose }}
* {{cite book | last = Smith | first = David | author-link = David Eugene Smith| title = History of Mathematics | publisher = Dover Publications | location = New York | year = 1958 | isbn = 978-0-486-20430-7 | volume = 2}}
* {{citation|last=Selin|first=Helaine|author-link=Helaine Selin|title=Encyclopaedia of the History of Science, Technology, and Medicine in Non-Western Cultures|url=https://books.google.com/books?id=kt9DIY1g9HYC&pg=PA1268|year=2008|publisher=Springer|bibcode=2008ehst.book.....S|isbn=978-1-4020-4559-2}}.

==External links==
{{commons category}}
* [http://www.azillionmonkeys.com/qed/sqroot.html Algorithms, implementations, and more]{{snd}}Paul Hsieh's square roots webpage
* [http://johnkerl.org/doc/square-root.html How to manually find a square root]
* [http://www.ams.org/samplings/feature-column/fc-2013-05 AMS Featured Column, Galileo's Arithmetic by Tony Philips]{{snd}}includes a section on how Galileo found square roots

{{DEFAULTSORT:Square Root}}
[[Category:Elementary special functions]]
[[Category:Elementary mathematics]]
[[Category:Unary operations]]