2.236067977499789696409173668731276235440... (sequenceA002163 in theOEIS).
A length of can be constructed as thediagonal of a unitrectangle. also appears throughout in the metrical geometry of shapes with fivefold symmetry; the ratio between diagonal and side of aregular pentagon is thegolden ratio.
The square root of 5 is anirrational number, meaning it can not be exactly represented as a fraction where and areintegers. However, it can be approximated arbitrarily closely by suchrational numbers.
Particularly good approximations are the integer solutions ofPell's equations,
which can be algebraically rearranged into the form
For example, the approximation, which is accurate to about 10%, satisfies the negative Pell's equation,; likewise, the approximation, which is accurate within 1%, satisfies the positive equation,. These two approximations are the respective fundamental solutions of each Pell's equation, to whichadditional solutions are algebraically related.
Each step of the algorithm produces a better approximation, one of theconvergents (partial evaluations) of this continued fraction. These are a sequence ofbest rational approximations to, each more accurate than any other rational approximation with the same or smaller denominator. They give all of the solutions to Pell's equations, satisfying.[3] The first several convergents to the continued fraction are:[4]
In thelimit, these approximations converge to. That is,.
One of the oldest methods of calculating a square root of a number, theBabylonian method,[5] starts with an initial guess, and at each step finds a new approximation by averaging the previous approximation and times itsreciprocal,. This is the special case, for the function, ofNewton's method for finding the root of an arbitrary function. For a typical guess, the approximationconverges quadratically (roughly doubles the number of correct digits at each step).[6]
The initial guess is somewhat arbitrary, but when approximating by this method, usually is chosen.[7] With this choice, theth approximation is equal to theth convergent of the continued fraction for.[8]
with digits that differ from the decimal expansion of highlighted in red.
Relation to the golden ratio and Fibonacci numbers
The quotient provides an interesting pattern of continued fractions and are related to the ratios between the Fibonacci numbers and theLucas numbers:[11]
The convergents feature the Lucas numbers as numerators and the Fibonacci numbers as denominators:
Geometrically, corresponds to thediagonal of a rectangle whose sides are of length1 and2, as is evident from thePythagorean theorem. Such a rectangle can be obtained by halving a square, or by placing two equal squares side by side. This can be used to subdivide a square grid into a tilted square grid with five times as many squares, forming the basis for asubdivision surface.[12] Together with the algebraic relationship between and, this forms the basis for the geometrical construction of agolden rectangle from a square, and for the construction of aregularpentagon given its side (since the side-to-diagonal ratio in a regular pentagon is).
Since two adjacent faces of acube would unfold into a rectangle, the ratio between the length of the cube'sedge and the shortest distance from one of itsvertices to the opposite one, when traversing the cubesurface, is. By contrast, the shortest distance when traversing through theinside of the cube corresponds to the length of the cube diagonal, which is thesquare root of three times the edge.[13]
A rectangle with side proportions is part of the series ofdynamic rectangles, which are based on proportions,,,,, ... and successively constructed using the diagonal of the previous root rectangle, starting from a square.[14] A root-5 rectangle is particularly notable in that it can be split into a square and two equal golden rectangles or into two golden rectangles of different sizes.[15] It can also be decomposed as the union of two equal golden rectangles whose intersection forms a square. These shapes pictorially represent the algebraic relationships between, and mentioned above.
The square root of 5 appears intrigonometric constants related to the angles in a regular pentagon and decagon, which when combined which can be combined with other angles involving and to describesines and cosines of everyangle whose measure indegrees isdivisible by 3 but not by 15.[16] The simplest of these are
Computing its value was therefore historically important for generatingtrigonometric tables. Since is geometrically linked to half-square rectangles and to pentagons, it also appears frequently in formulae for the geometric properties of figures derived from them, such as in the formula for the volume of adodecahedron.[13]
and that is best possible, in the sense that for any larger constant than, there are some irrational numbersx for which only finitely many such approximations exist.[17]
Closely related to this is the theorem[18] that of any three consecutiveconvergentspi/qi,pi+1/qi+1,pi+2/qi+2, of a numberα, at least one of the three inequalities holds:
And the in the denominator is the best bound possible since the convergents of the golden ratio make the difference on the left-hand side arbitrarily close to the value on the right-hand side. In particular, one cannot obtain a tighter bound by considering sequences of four or more consecutive convergents.[18]
^Their numerators are 2, 9, 38, 161, ... (sequenceA001077 in theOEIS). Their denominators are 1, 4, 17, 72, ... (sequenceA001076 in theOEIS).
^The Babylonian method is also calledHeron's method, as it appeared inHeron'sMetrica, in roughly the modern form. The earlier Babylonian approach was equivalent but more cumbersome. SeeFowler, David;Robson, Eleanor (1998), "Square Root Approximations in Old Babylonian Mathematics: YBC 7289 in Context",Historia Mathematica,25:366–378,doi:10.1006/hmat.1998.2209
^Parris, Richard (1991), "The Root-Finding Route to Chaos",The College Mathematics Journal,22 (1):48–55,JSTOR2686739
^Browne, Malcolm W. (July 30, 1985)New York TimesPuzzling Crystals Plunge Scientists into Uncertainty. Section: C; Page 1. (Note: this is a widely cited article).
^Ivrissimtzis, Ioannis P.; Dodgson, Neil A.; Sabin, Malcolm (2005), "-subdivision", in Dodgson, Neil A.; Floater, Michael S.; Sabin, Malcolm A. (eds.),Advances in multiresolution for geometric modelling: Papers from the workshop (MINGLE 2003) held in Cambridge, September 9–11, 2003, Mathematics and Visualization, Berlin: Springer, pp. 285–299,doi:10.1007/3-540-26808-1_16,ISBN3-540-21462-3,MR2112357
^Chapman, Scott T.; Gotti, Felix; Gotti, Marly (2019), "How do elements really factor in?", in Badawi, Ayman; Coykendall, Jim (eds.),Advances in Commutative Algebra: Dedicated to David F. Anderson, Trends in Mathematics, Singapore: Birkhäuser/Springer, pp. 171–195,arXiv:1711.10842,doi:10.1007/978-981-13-7028-1_9,ISBN978-981-13-7027-4,MR3991169,S2CID119142526,Most undergraduate level abstract algebra texts use as an example of an integral domain which is not a unique factorization domain