Square root: Difference between revisions

Content deleted Content added

Inline

Revision as of 02:35, 14 October 2008

In mathematics, a square root of a number x is a number r such that r² = x, or in words, a number r whose square (the result of multiplying the number by itself) is x. Every non-negative real number x has a unique non-negative square root, called the principal square root and denoted with a radical symbol as ${\sqrt {x}}$ . For example, the principal square root of 9 is 3, denoted ${\sqrt {9}}$ = 3, because 3² = 3 × 3 = 9. If otherwise unqualified, "the square root" of a number refers to the principal square root: the square root of 2 is approximately 1.4142.

Every positive number x has two square roots. One of them is ${\sqrt {x}}$ , which is positive, and the other $-{\sqrt {x}}$ , which is negative. Together, these two roots are denoted $\pm {\sqrt {x}}$ . Square roots of negative numbers can be discussed within the framework of complex numbers. More generally, square roots can obviously be considered in any context in which a notion of "squaring" of some mathematical objects is defined (including algebras of matrices, endomorphism rings, etc).

terms, the square root function maps the area of a square to its side length.

For all real numbers x,

{\sqrt {x^{2}}}=\left|x\right|={\begin{cases}x,&{\mbox{if }}x\geq 0\\-x,&{\mbox{if }}x<0.\end{cases}}

(see absolute value)

For all non-negative real numbers x and y,

{\sqrt {xy}}={\sqrt {x}}{\sqrt {y}}

and

{\sqrt {x}}=x^{1/2}.

The square root function is continuous for all non-negative x and differentiable for all positive x. Its derivative is given by

f'(x)={\frac {1}{2{\sqrt {x}}}}.

The Taylor series of √1 + x about x = 0 converges for | x | < 1 and is given by

{\sqrt {1+x}}=1+\textstyle {\frac {1}{2}}x-{\frac {1}{8}}x^{2}+{\frac {1}{16}}x^{3}-{\frac {5}{128}}x^{4}+\dots \!

Computation

Many methods of calculating square roots exist today, some meant to be done by hand and some meant to be done by machine.

Many, but not all pocket calculators have a square root key. Computer spreadsheets and other software are also frequently used to calculate square roots. Computer software programs typically implement good routines to compute the exponential function and the natural logarithm or logarithm, and then compute the square root of x using the identity

 | id = 
 | isbn = }}</ref>  It involves a simple algorithm, which results in a number closer to the actual square root each time it is repeated.  To find r, the square root of a real number x:

Start with an arbitrary positive start value r (the closer to the square root of x, the better).
Replace r by the average between r and x/r, that is: $(r+x/r)/2\,$ (It is sufficient to take an approximate value of the average in order to ensure convergence.)
Repeat step 2 until r and x/r are as close as desired.

The time complexity for computing a square root with n digits of precision is equivalent to that of multiplying two n-digit numbers.

Square roots of negative and complex numbers

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 square root. However, it is possible to work with a larger set of numbers, called the complex numbers, that does contain solutions to the square root of a negative number. This is done by introducing a new number, denoted by i (sometimes j, especially in the context of electricity) and called the imaginary unit, which is defined such that i² = −1. Using this notation, we can think of i as the square root of −1, but notice that we also have (−i)² = i² = −1 and so −i is also a square root of −1. Similarly to the real numbers, we say the principal square root of −1 is i, or more generally, if x is any positive number, then the principal square root of −x is oink@!!!! and

-{\sqrt {i}}=-{\frac {1}{\sqrt {2}}}(1+i).

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 x + iy can be viewed as a point in the plane, (x, y), expressed using Cartesian coordinates. The same point may be reinterpreted using polar coordinates as the pair (r, φ), where r ≥ 0 is the distance of the point from the origin, and φ is the angle that the line from the origin to the point makes with the positive real (x) axis. In complex analysis, this value is conventionally written r e^iφ. Now, since r is a nonnegative real number, we can take its positive square root; and since squaring always doubles the angle φ, to undo squaring we halve the angle. The result is what is called in complex analysis a branch cut: if z = r e^iφ with −π < φ ≤ π, then we define:

{\sqrt {z}}={\sqrt {r}}\,e^{i\phi /2}.

Thus defined, the square root function is holomorphic everywhere except on the non-positive real numbers (where it isn't even continuous). The above Taylor series for √1 + x remains valid for complex numbers x with | x | < 1.

When the number is in rectangular form the following formula can be used for the principal value:

{\sqrt {x+iy}}={\sqrt {\frac {r+x}{2}}}+i{\frac {y}{\sqrt {2(r+x)}}}

where

r=|x+iy|={\sqrt {x^{2}+y^{2}}}

is the absolute value or modulus of the complex number, unless x = −r and y = 0. Notice that the sign of the imaginary part of the root is the same as the sign of the imaginary part of the original number. The real part of the principal value is always non-negative.

Note that because of the discontinuous nature of the square root function in the complex plane, the law √zw = √z√w is in general not true. (Equivalently, the problem occurs because of the freedom in the choice of branch. The chosen branch may or may not yield the equality; in fact, the choice of branch for the square root need not contain the value of √z√w at all, leading to the equality's failure. A similar problem appears with the complex logarithm and the relation log z + log w = log(zw).) Wrongly assuming this law underlies several faulty "proofs", for instance the following one showing that −1 = 1:

-1=i\cdot i={\sqrt {-1}}\cdot {\sqrt {-1}}={\sqrt {-1\cdot -1}}={\sqrt {1}}=1

The third equality cannot be justified (see invalid proof). It can be made to hold by changing the meaning of √ so that this no longer represents the principal square root but selects a branch for the square root that contains (√−1)·(−1). The left hand side becomes either

{\sqrt {-1}}\cdot {\sqrt {-1}}=i\cdot i=-1

if the branch includes +i or

{\sqrt {-1}}\cdot {\sqrt {-1}}=(-i)\cdot (-i)=-1

if the branch includes −i, while the right hand side becomes

{\sqrt {-1\cdot -1}}={\sqrt {1}}=-1,

where the last equality, √1 = −1, is a consequence of the choice of branch in the redefinition of √.

Square roots of matrices and operators

If A is a positive-definite matrix or operator, then there exists precisely one positive definite matrix or operator B with B² = A; we then define √A = B.

More generally, to every normal matrix or operator A there exist normal operators B such that B² = A. In general, there are several such operators B for every A and the square root function cannot be defined for normal operators in a satisfactory manner. Positive definite operators are akin to positive real numbers, and normal operators are akin to complex numbers.

Principal square roots of the positive integers

As decimal expansions

The square roots of the perfect squares (1, 4, 9, 16, etc.) are integers. In all other cases, the square roots are irrational numbers, and therefore their decimal representations are non-repeating decimals.

${\sqrt {1}}$	$=\,$	1
${\sqrt {2}}$	$\approx$	1.4142135623 7309504880 1688724209 6980785696 7187537694 8073176679 7379907324 78462	1 million, 2 million, 5 million, 10 million
${\sqrt {3}}$	$\approx$	1.7320508075 6887729352 7446341505 8723669428 0525381038 0628055806 9794519330 16909	1 million
${\sqrt {4}}$	$=\,$	2
${\sqrt {5}}$	$\approx$	2.2360679774 9978969640 9173668731 2762354406 1835961152 5724270897 2454105209 25638	1 million
${\sqrt {6}}$	$\approx$	2.4494897427 8317809819 7284074705 8913919659 4748065667 0128432692 5672509603 77457	1 million
${\sqrt {7}}$	$\approx$	2.6457513110 6459059050 1615753639 2604257102 5918308245 0180368334 4592010688 23230	1 million
${\sqrt {8}}$	$\approx$	2.8284271247 4619009760 3377448419 3961571393 4375075389 6146353359 4759814649 56924	1million
${\sqrt {9}}$	$=\,$	3
${\sqrt {10}}$	$\approx$	3.1622776601 6837933199 8893544432 7185337195 5513932521 6826857504 8527925944 38639	1 million
${\sqrt {11}}$	$\approx$	3.3166247903 5539984911 4932736670 6866839270 8854558935 3597058682 1461164846 42609
${\sqrt {12}}$	$\approx$	3.4641016151 3775458705 4892683011 7447338856 1050762076 1256111613 9589038660 33818
${\sqrt {13}}$	$\approx$	3.6055512754 6398929311 9221267470 4959462512 9657384524 6212710453 0562271669 48293
${\sqrt {14}}$	$\approx$	3.7416573867 7394138558 3748732316 5493017560 1980777872 6946303745 4673200351 56307
${\sqrt {15}}$	$\approx$	3.8729833462 0741688517 9265399782 3996108329 2170529159 0826587573 7661134830 91937
${\sqrt {16}}$	$=\,$	4
${\sqrt {17}}$	$\approx$	4.1231056256 1766054982 1409855974 0770251471 9922537362 0434398633 5730949543 46338
${\sqrt {18}}$	$\approx$	4.2426406871 1928514640 5066172629 0942357090 1562613084 4219530039 2139721974 35386
${\sqrt {19}}$	$\approx$	4.3588989435 4067355223 6981983859 6156591370 0392523244 4936890344 1381595573 28203
${\sqrt {20}}$	$\approx$	4.4721359549 9957939281 8347337462 5524708812 3671922305 1448541794 4908210418 51276

As expansions in other numeral systems

The square roots of the perfect squares (1, 4, 9, 16, etc.) are integers. In all other cases, the square roots are irrational numbers, and therefore their representations in any standard positional notation system are non-repeating. Even in non-standard positional numeral systems, the only notable exception is golden ratio base.

The hexadecimal representations of some square roots are used in some SHA hash function implementations.

As periodic continued fractions

One of the most intriguing results from the study of irrational numbers as continued fractions 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. 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.

${\sqrt {2}}$	$=\,$	[1; 2, 2, ...]
${\sqrt {3}}$	$=\,$	[1; 1, 2, 1, 2, ...]
${\sqrt {4}}$	$=\,$	[2]
${\sqrt {5}}$	$=\,$	[2; 4, 4, ...]
${\sqrt {6}}$	$=\,$	[2; 2, 4, 2, 4, ...]
${\sqrt {7}}$	$=\,$	[2; 1, 1, 1, 4, 1, 1, 1, 4, ...]
${\sqrt {8}}$	$=\,$	[2; 1, 4, 1, 4, ...]
${\sqrt {9}}$	$=\,$	[3]
${\sqrt {10}}$	$=\,$	[3; 6, 6, ...]
${\sqrt {11}}$	$=\,$	[3; 3, 6, 3, 6, ...]
${\sqrt {12}}$	$=\,$	[3; 2, 6, 2, 6, ...]
${\sqrt {13}}$	$=\,$	[3; 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, ...]
${\sqrt {14}}$	$=\,$	[3; 1, 2, 1, 6, 1, 2, 1, 6, ...]
${\sqrt {15}}$	$=\,$	[3; 1, 6, 1, 6, ...]
${\sqrt {16}}$	$=\,$	[4]
${\sqrt {17}}$	$=\,$	[4; 8, 8, ...]
${\sqrt {18}}$	$=\,$	[4; 4, 8, 4, 8, ...]
${\sqrt {19}}$	$=\,$	[4; 2, 1, 3, 1, 2, 8, 2, 1, 3, 1, 2, 8, ...]
${\sqrt {20}}$	$=\,$	[4; 2, 8, 2, 8, ...]

The square bracket notation used above is a sort of mathematical shorthand to conserve space. Written in more traditional notation the simple continued fraction for the square root of 11 – [3; 3, 6, 3, 6, ...] – looks like this:

{\sqrt {11}}=3+{\cfrac {1}{3+{\cfrac {1}{6+{\cfrac {1}{3+{\cfrac {1}{6+{\cfrac {1}{\ddots }}}}}}}}}}\,

where the two-digit pattern {3, 6} repeats over and over and over again in the partial denominators.

Geometric construction of the square root

A square root can be constructed with a compass and straightedge. In his Elements, Euclid (fl. 300 BC) gave the construction of the geometric mean of two quantities in two different places: Proposition II.14 and Proposition VI.13. Since the geometric mean of a and b is √ab, one can construct √a simply by taking b = 1.

The construction is also given by Descartes in his La Géométrie, see figure 2 on page 2. However, Descartes made no claim to originality and his audience would have been quite familiar with Euclid.

Another method of geometric construction uses right triangles and induction: √1 can, of course, be constructed, and once √x has been constructed, the right triangle with 1 and √x for its legs has a hypotenuse of √x + 1. The Spiral of Theodorus is constructed using successive square roots in this manner.

History

The Rhind Mathematical Papyrus is a copy from 1650 BC of an even earlier work and shows us how the Egyptians extracted square roots.^[1]

In 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 B.C. (possibly much earlier). A method for finding very good approximations to the square roots of 2 and 3 are given in the Baudhayana Sulba Sutra.^[2] Aryabhata in the Aryabhatiya (section 2.4), has given a method for finding the square root of numbers having many digits.

In the Chinese mathematical work Writings on Reckoning, written between 202 BC and 186 BC during the early Han Dynasty, the square root is approximated by using a "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."^[3]

According to historian of mathematics D.E. Smith, Aryabhata's method for finding the square root was first introduced in Europe by Cataneo in 1546.^[4]

Notes

^ Anglin, W.S. (1994). Mathematics: A Concise History and Philosophy. New York: Springer-Verlag.
^ Joseph, ch.8.
^ Dauben, p. 210.
^ Smith, p. 148.

References

Smith D.E., History of Mathematics (book 2)
Joseph, George G., The Crest of the Peacock: Non-European Roots of Mathematics, 2nd ed. Penguin Books, London. (2000). ISBN 0-691-00659-8.
Dauben, Joseph W. (2007). "Chinese Mathematics," in The Mathematics of Egypt, Mesopotamia, China, India, and Islam: A Sourcebook, 187–384. Edited by Victor J. Katz. Princeton: Princeton University Press. ISBN 0691114854.

External links

Japanese soroban techniques - Professor Fukutaro Kato's method
Japanese soroban techniques - Takashi Kojima's method
Algorithms, implementations, and more - Paul Hsieh's square roots webpage
Square root of positive real numbers with implementation in Rexx.
MATHPATH: Square roots via Mediants
How to manually find a square root

[1] Anglin, W.S. (1994). Mathematics: A Concise History and Philosophy. New York: Springer-Verlag.

[2] Joseph, ch.8.

[3] Dauben, p. 210.

[4] Smith, p. 148.

[1]

[2]

[3]

[4]

@@ Line 3: / Line 3: @@
 Every positive number ''x'' has two square roots. One of them is <math>\sqrt{x}</math>, which is positive, and the other <math>-\sqrt{x}</math>, which is negative. Together, these two roots are denoted <math>\pm\sqrt{x}</math>. Square roots of negative numbers can be discussed within the framework of [[complex number]]s. More generally, square roots can obviously be considered in any context in which a notion of "squaring" of some mathematical objects is defined (including [[matrix algebra|algebras of matrices]], [[endomorphism ring]]s, etc).
+ terms, the square root function maps the [[area (mathematics)|area]] of a [[square (geometry)|square]] to its side length.
-Square roots of [[integers]] that are not [[Square number|perfect square]]s are always ''[[irrational number]]s'': numbers not expressible as a [[ratio]] of two integers. For example, &radic;<span style = "text-decoration:overline">2</span> cannot be written exactly as ''m''/''n'', where ''n'' and ''m'' are integers. Nonetheless, it is exactly the length of the [[diagonal]] of a [[square (geometry)|square]] with side length 1. This has been known since ancient times, with the discovery that <math>\sqrt{2}</math> is irrational attributed to [[Hipparchus]], a disciple of [[Pythagoras]]. (''See [[square root of 2]] for proofs of the irrationality of this number and [[quadratic irrational]] for a proof for all non-square natural numbers'')
-== Properties ==
-[[Image:Square_root_0_25.svg|thumb|400px|The graph of the function <math>f(x) = \sqrt{x}</math>, made up of half a [[parabola]] with a vertical [[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]] which maps the [[Set (mathematics)|set]] of non-negative real numbers '''R'''<sup>+</sup> &cup; {0} onto itself, and, like all functions, always returns a unique value.  The square root function also maps [[rational number]]s into [[algebraic number]]s (a [[superset]] of the rational numbers); <math>\sqrt{x}</math> is rational if and only if ''x'' is a rational number which can be represented as a ratio of two [[perfect square]]s.  In [[geometry|geometrical]] terms, the square root function maps the [[area (mathematics)|area]] of a [[square (geometry)|square]] to its side length.
 *For all real numbers ''x'',
@@ Line 34: / Line 30: @@
 Many, but not all [[pocket calculator]]s have a square root key. Computer [[spreadsheet]]s and other [[software]] are also frequently used to calculate square roots. Computer software programs typically implement good routines to compute the [[exponential function]] and the [[natural logarithm]] or [[logarithm]], and then compute the square root of ''x'' using the identity
-:<math>\sqrt{x} = e^{\frac{1}{2}\ln x}</math> or <math>\sqrt{x} = 10^{\frac{1}{2}\log x}</math>
-The same identity is exploited when computing square roots with [[logarithm table]]s or [[slide rule]]s.
-The most common [[iterative method]] of square root calculation by hand is known as the "[[Babylonian_method#Babylonian_method|Babylonian method]]" or "Heron's method" after the first century Greek philosopher [[Heron of Alexandria]] who first described it.<ref>{{cite book
-  | last = Heath
-  | first = Thomas
-  | authorlink =
-  | coauthors =
-  | title = A History of Greek Mathematics, Vol. 2
-  | publisher = Clarendon Press
-  | date = 1921
-  | location = Oxford
-  | pages = p.323-324
-  | url = http://books.google.com/books?id=LOA5AAAAMAAJ&pg=PR323
-  | doi =
   | id =
   | isbn = }}</ref>  It involves a simple algorithm, which results in a number closer to the actual square root each time it is repeated.  To find ''r'', the square root of a real number ''x'':
@@ Line 63: / Line 45: @@
 [[Image:Riemann_surface_sqrt.jpg|right|thumb|Using the Riemann surface of the square root, one can see how the two leaves fit together]]
 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 square root.  However, it is possible to work with a larger 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 ''i'' (sometimes ''j'', especially in the context of [[electric current|electricity]]) and called the [[imaginary unit]], which is ''defined'' such that ''i''<sup>2</sup>&nbsp;=&nbsp;&minus;1. Using this notation, we can think of ''i'' as the square root of &minus;1, but notice that we also have (&minus;''i'')<sup>2</sup>&nbsp;=&nbsp;''i''<sup>2</sup>&nbsp;=&nbsp;&minus;1 and so &minus;''i'' is also a square root of &minus;1. Similarly to the real numbers, we say the principal square root of &minus;1 is ''i'', or more generally, if ''x'' is any positive number, then the principal square root of &minus;''x'' is
+oink@!!!!
-:<math>\sqrt{-x} = i \sqrt x</math>
-because
-:<math>(i\sqrt x)^2 = i^2(\sqrt x)^2 = (-1)x = -x.</math>
-By the argument given above, ''i'' can be neither positive nor negative. This creates a problem: for the complex number ''z'', we cannot define &radic;<span style = "text-decoration:overline">''z''</span> to be the "positive" square root of ''z''.
-For every non-zero complex number ''z'' there exist precisely two numbers ''w'' such that ''w''<sup>2</sup>&nbsp;=&nbsp;''z''. For example, the square roots of ''i'' are:
-:<math>\sqrt{i} = \frac{1}{\sqrt{2}}(1+i)</math>
 and
 :<math>- \sqrt{i} = - \frac{1}{\sqrt{2}}(1+i).</math>