Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Square root of 5

From Wikipedia, the free encyclopedia
(Redirected fromSquare root of five)
Positive real number which when multiplied by itself gives 5

Square root of 5
The diagonal of a2×1 rectangle has length √5.
RationalityIrrational
Representations
Decimal2.23606797749978969...
Algebraic form5{\displaystyle {\sqrt {5}}}
Continued fraction2+14+14+14+x{\displaystyle 2+{\cfrac {1}{4+{\cfrac {1}{4+{\cfrac {1}{4+{{\vphantom {x}} \atop \displaystyle \ddots }}}}}}}}

Thesquare root of 5, denoted5{\displaystyle {\sqrt {5}}}, is the positivereal number that, when multiplied by itself, gives the natural number5. Along with itsconjugate5{\displaystyle -{\sqrt {5}}}, it solves thequadratic equationx25=0{\displaystyle x^{2}-5=0}, making it aquadratic integer, a type ofalgebraic number.5{\displaystyle {\sqrt {5}}} is anirrational number, meaning it cannot be written as a fraction ofintegers.[1] The first forty significant digits of itsdecimal expansion are:

2.236067977499789696409173668731276235440... (sequenceA002163 in theOEIS).

A length of5{\displaystyle {\sqrt {5}}} can be constructed as thediagonal of a2×1{\displaystyle 2\times 1} unitrectangle.5{\displaystyle {\sqrt {5}}} also appears throughout in the metrical geometry of shapes with fivefold symmetry; the ratio between diagonal and side of aregular pentagon is thegolden ratioφ=12(1+5 ){\displaystyle \varphi ={\tfrac {1}{2}}{\bigl (}1+{\sqrt {5}}~\!{\bigr )}}.

Rational approximations

[edit]
See also:Square root algorithms

The square root of 5 is anirrational number, meaning it can not be exactly represented as a fractionx/y{\displaystyle x/y} wherex{\displaystyle x} andy{\displaystyle y} areintegers. However, it can be approximated arbitrarily closely by suchrational numbers.

Particularly good approximations are the integer solutions ofPell's equations,

x25y2=1andx25y2=1,{\displaystyle x^{2}-5y^{2}=1\quad {\text{and}}\quad x^{2}-5y^{2}=-1,}

which can be algebraically rearranged into the form

xy=5±1y2.{\displaystyle {\frac {x}{y}}={\sqrt {5\pm {\frac {1}{y^{2}}}}}.}

For example, the approximation2=51{\displaystyle \textstyle 2={\sqrt {5-1}}}, which is accurate to about 10%, satisfies the negative Pell's equation,22512=45=1{\displaystyle \textstyle 2^{2}-5\cdot 1^{2}=4-5=-1}; likewise, the approximation94=5+116=2.25{\displaystyle \textstyle {\tfrac {9}{4}}={\sqrt {5+{\tfrac {1}{16}}}}=2.25}, which is accurate within 1%, satisfies the positive equation,92542=8180=1{\displaystyle \textstyle 9^{2}-5\cdot 4^{2}=81-80=1}. These two approximations are the respective fundamental solutions of each Pell's equation, to whichadditional solutions are algebraically related.

Solutions to both Pell's equations can also be found systematically by following theEuclidean algorithm, resulting in thesimple continued fraction for5{\displaystyle {\sqrt {5}}},[2]

5=[2;4,4,4,]=2+14+14+14+x.{\displaystyle {\sqrt {5}}=[2;4,4,4,\ldots {}]=2+{\cfrac {1}{4+{\cfrac {1}{4+{\cfrac {1}{4+{{\vphantom {x}} \atop \displaystyle \ddots }}}}}}}.}

Each stepn{\displaystyle n} of the algorithm produces a better approximationxn/yn{\displaystyle x_{n}/y_{n}}, one of theconvergents (partial evaluations) of this continued fraction. These are a sequence ofbest rational approximations to5{\displaystyle {\sqrt {5}}}, each more accurate than any other rational approximation with the same or smaller denominator. They give all of the solutions to Pell's equations, satisfyingxn25yn2=(1)n{\displaystyle \textstyle x_{n}^{2}-5y_{n}^{2}=(-1)^{n}}.[3] The first several convergents to the continued fraction are:[4]

n{\displaystyle {\boldsymbol {n}}}0{\displaystyle 0}1{\displaystyle 1}2{\displaystyle 2}3{\displaystyle 3}4{\displaystyle 4}5{\displaystyle 5}6{\displaystyle 6}7{\displaystyle 7}8{\displaystyle 8}9{\displaystyle 9}{\displaystyle \ldots }
xntyn{\displaystyle {\frac {{\boldsymbol {x_{n}}}{\vphantom {t}}}{\boldsymbol {y_{n}}}}}10{\displaystyle {\frac {1}{0}}}21{\displaystyle {\frac {2}{1}}}94{\displaystyle {\frac {9}{4}}}3817{\displaystyle {\frac {38}{17}}}16172{\displaystyle {\frac {161}{72}}}682305{\displaystyle {\frac {682}{305}}}28891292{\displaystyle {\frac {2889}{1292}}}122385473{\displaystyle {\frac {12238}{5473}}}5184123184{\displaystyle {\frac {51841}{23184}}}21960298209{\displaystyle {\frac {219602}{98209}}}{\displaystyle \ldots }

In thelimit, these approximations converge to5{\displaystyle {\sqrt {5}}}. That is,limnxn/yn=5{\displaystyle \textstyle \lim _{n\to \infty }x_{n}/y_{n}={\sqrt {5}}}.

One of the oldest methods of calculating a square root of a numberd{\displaystyle d}, theBabylonian method,[5] starts with an initial guessx0{\displaystyle x_{0}}, and at each step finds a new approximation by averaging the previous approximation andd{\displaystyle d} times itsreciprocal,xn+1=12(xn+d/xn){\displaystyle x_{n+1}={\tfrac {1}{2}}(x_{n}+d/x_{n})}. This is the special case, for the functionf(x)=x2d{\displaystyle \textstyle f(x)=x^{2}-d}, 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 approximating5{\displaystyle {\sqrt {5}}} by this method, usuallyx0=2{\displaystyle x_{0}=2} is chosen.[7] With this choice, then{\displaystyle n}th approximation is equal to the2n{\displaystyle 2^{n}}th convergent of the continued fraction for5{\displaystyle {\sqrt {5}}}.[8]

x0=21x1=94x2=16172x3=5184123184=2.0,=2.25,2.2361,2.2360679779,,{\displaystyle {\begin{aligned}x_{0}&={\frac {2}{1}}&\!\!x_{1}&={\frac {9}{4}}&\!\!x_{2}&={\frac {161}{72}}&\!\!x_{3}&={\frac {51841}{23184}}\\[3mu]&=2.{\color {BrickRed}0},&&=2.2{\color {BrickRed}5},&&\approx 2.236{\color {BrickRed}1},&&\approx 2.23606\,7977{\color {BrickRed}9},&\!\!\ldots ,\end{aligned}}}

with digits that differ from the decimal expansion of5{\displaystyle {\sqrt {5}}} highlighted in red.

Relation to the golden ratio and Fibonacci numbers

[edit]
See also:Golden field
The1/2√5 diagonal of a halfsquare forms the basis for the geometrical construction of agolden rectangle.

Thegolden ratioφ{\displaystyle \varphi } is thearithmetic mean of 1 and5{\displaystyle {\sqrt {5}}}.[9]5{\displaystyle {\sqrt {5}}} has a relationship to the golden ratio andits algebraic conjugateφ¯{\displaystyle {\overline {\varphi }}} as is expressed in the following formulae:

5=φφ¯=2φ1=12φ¯,φ=1+52=φ¯+5=1 φ¯ =1φ¯,φ¯=152=φ5=1φ=1φ.{\displaystyle {\begin{aligned}{\sqrt {5}}&=\varphi -{\overline {\varphi }}=2\varphi -1=1-2{\overline {\varphi }},\\[5pt]\varphi &={\frac {1+{\sqrt {5}}}{2}}={\overline {\varphi }}+{\sqrt {5}}=-{\frac {1}{~\!{\overline {\varphi }}\!~}}=1-{\overline {\varphi }},\\[5pt]{\overline {\varphi }}&={\frac {1-{\sqrt {5}}}{2}}=\varphi -{\sqrt {5}}=-{\frac {1}{\varphi }}=1-\varphi .\end{aligned}}}5{\displaystyle {\sqrt {5}}} then figures in the closed form expression for theFibonacci numbers:[10]

F(n)=φnφ¯n5.{\displaystyle F(n)={\frac {\varphi ^{n}-{\overline {\varphi }}^{n}}{\sqrt {5}}}.}

The quotient5/φ{\displaystyle {\sqrt {5}}{\big /}\varphi } provides an interesting pattern of continued fractions and are related to the ratios between the Fibonacci numbers and theLucas numbers:[11]

5φ=552=1.381966=[1;2,1,1,1,]{\displaystyle {\begin{aligned}{\frac {\sqrt {5}}{\varphi }}={\frac {5-{\sqrt {5}}}{2}}&=1.381966\dots =[1;2,1,1,1,\ldots ]\end{aligned}}}

The convergents feature the Lucas numbers as numerators and the Fibonacci numbers as denominators:

11,32,43,75,118,1813,2921,,LnFn+1,{\displaystyle {\frac {1}{1}},{\frac {3}{2}},{\frac {4}{3}},{\frac {7}{5}},{\frac {11}{8}},{\frac {18}{13}},{\frac {29}{21}},\ldots ,{\frac {L_{n}}{F_{n+1}}},\ldots }

In thelimit,limnFn+1Fn=Ln+1Ln=φ,limnLnFn=5.{\displaystyle \lim _{n\to \infty }{\frac {F_{n+1}}{F_{n}}}={\frac {L_{n+1}}{L_{n}}}=\varphi ,\qquad \lim _{n\to \infty }{\frac {L_{n}}{F_{n}}}={\sqrt {5}}.}

More precisely, the convergents to the continued fraction for5{\displaystyle {\sqrt {5}}} (see§ Rational approximations above) are:

21,94,3817,16172,682305,,12L3n12F3n,.{\displaystyle {\frac {2}{1}},{\frac {9}{4}},{\frac {38}{17}},{\frac {161}{72}},{\frac {682}{305}},\ldots ,{\frac {{\tfrac {1}{2}}L_{3n}}{{\tfrac {1}{2}}F_{3n}}},\ldots .}

Geometry

[edit]
Decomposition of a1×2 right triangle into five similar triangles, the basis for the aperiodicpinwheel tiling
Jay Hambidge's construction of "root rectangles"
Distances between vertices of a doubleunit cube are square roots of the first sixnatural numbers. (√7 is not possible due toLegendre's three-square theorem.)

Geometrically,5{\displaystyle {\sqrt {5}}} 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 between5{\displaystyle {\sqrt {5}}} andφ{\displaystyle \varphi }, 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φ{\displaystyle \varphi }).

Since two adjacent faces of acube would unfold into a1:2{\displaystyle 1\mathbin {:} 2} 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, is5{\displaystyle {\sqrt {5}}}. 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 proportions1:5{\displaystyle 1\mathbin {:} {\sqrt {5}}} is part of the series ofdynamic rectangles, which are based on proportions1{\displaystyle {\sqrt {1}}},2{\displaystyle {\sqrt {2}}},3{\displaystyle {\sqrt {3}}},4{\displaystyle {\sqrt {4}}},5{\displaystyle {\sqrt {5}}}, ... 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 between5{\displaystyle {\sqrt {5}}},φ{\displaystyle \varphi } andφ1{\displaystyle \varphi ^{-1}} mentioned above.

Trigonometry

[edit]

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 involving2{\displaystyle {\sqrt {2}}} and3{\displaystyle {\sqrt {3}}} to describesines and cosines of everyangle whose measure indegrees isdivisible by 3 but not by 15.[16] The simplest of these are

sinπ10=sin18=14(51)=15+1,sinπ5=sin36=142(55),sin3π10=sin54=14(5+1)=151,sin2π5=sin72=142(5+5).{\displaystyle {\begin{aligned}\sin {\frac {\pi }{10}}=\sin 18^{\circ }&={\tfrac {1}{4}}({\sqrt {5}}-1)={\frac {1}{{\sqrt {5}}+1}},\\[5pt]\sin {\frac {\pi }{5}}=\sin 36^{\circ }&={\tfrac {1}{4}}{\sqrt {2(5-{\sqrt {5}})}},\\[5pt]\sin {\frac {3\pi }{10}}=\sin 54^{\circ }&={\tfrac {1}{4}}({\sqrt {5}}+1)={\frac {1}{{\sqrt {5}}-1}},\\[5pt]\sin {\frac {2\pi }{5}}=\sin 72^{\circ }&={\tfrac {1}{4}}{\sqrt {2(5+{\sqrt {5}})}}\,.\end{aligned}}}

Computing its value was therefore historically important for generatingtrigonometric tables. Since5{\displaystyle {\sqrt {5}}} 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]

Diophantine approximations

[edit]

Hurwitz's theorem inDiophantine approximations states that everyirrational numberx can be approximated byinfinitely manyrational numbersm/n inlowest terms in such a way that

|xmn|<15n2{\displaystyle \left|x-{\frac {m}{n}}\right|<{\frac {1}{{\sqrt {5}}\,n^{2}}}}

and that5{\displaystyle {\sqrt {5}}} is best possible, in the sense that for any larger constant than5{\displaystyle {\sqrt {5}}}, 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:

|αpiqi|<15qi2,|αpi+1qi+1|<15qi+12,|αpi+2qi+2|<15qi+22.{\displaystyle \left|\alpha -{p_{i} \over q_{i}}\right|<{1 \over {\sqrt {5}}q_{i}^{2}},\quad \left|\alpha -{p_{i+1} \over q_{i+1}}\right|<{1 \over {\sqrt {5}}q_{i+1}^{2}},\quad \left|\alpha -{p_{i+2} \over q_{i+2}}\right|<{1 \over {\sqrt {5}}q_{i+2}^{2}}.}

And the5{\displaystyle {\sqrt {5}}} 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]

Algebra

[edit]

The twoquadratic fieldsQ(5 ){\displaystyle \mathbb {Q} {\bigl (}{\sqrt {5}}~\!{\bigr )}} andQ(5 ){\displaystyle \mathbb {Q} {\bigl (}{\sqrt {-5}}~\!{\bigr )}},field extensions of therational numbers, and their associated rings of integers,Z[12+125 ]{\displaystyle \mathbb {Z} {\bigl [}{\tfrac {1}{2}}+{\tfrac {1}{2}}{\sqrt {5}}~\!]} andZ[5 ]{\displaystyle \mathbb {Z} {\bigl [}{\sqrt {-5}}~\!]}, respectively, are basic examples and have been studied extensively.

TheringZ[5]{\displaystyle \mathbb {Z} [{\sqrt {-5}}]} contains numbers of the forma+b5{\displaystyle a+b{\sqrt {-5}}}, wherea andb areintegers and5{\displaystyle {\sqrt {-5}}} is theimaginary numberi5{\displaystyle i{\sqrt {5}}}. This ring is a frequently cited example of anintegral domain that is not aunique factorization domain.[19] For example, the number 6 has two inequivalent factorizations within this ring:6=23=(15)(1+5).{\displaystyle 6=2\cdot 3=(1-{\sqrt {-5}})(1+{\sqrt {-5}}).\,}

On the other hand, the realquadratic integer ring ofgolden integersZ[φ]{\displaystyle \mathbb {Z} [\varphi ]}, adjoining thegolden ratioφ=12(1+5 ){\displaystyle \varphi ={\tfrac {1}{2}}{\bigl (}1+{\sqrt {5}}~\!{\bigr )}}, was shown to beEuclidean, and hence a unique factorization domain, by Dedekind. This is the ring of integers in thegolden fieldQ(5 ){\displaystyle \mathbb {Q} {\bigl (}{\sqrt {5}}~\!{\bigr )}}.[20]

ThefieldQ[5],{\displaystyle \mathbb {Q} [{\sqrt {-5}}],} like any otherquadratic field, is anabelian extension of the rational numbers. TheKronecker–Weber theorem therefore guarantees that the square root of five can be written as a rationallinear combination ofroots of unity:

5=e2πi/5e4πi/5e6πi/5+e8πi/5.{\displaystyle {\sqrt {5}}=e^{2\pi i/5}-e^{4\pi i/5}-e^{6\pi i/5}+e^{8\pi i/5}.\,}[citation needed]

Decimal calculation

[edit]

As of January 2022, the numerical value in decimal of the square root of 5 has been computed to at least 2.25 trillion digits.[21]

See also

[edit]

References

[edit]
  1. ^Dauben, Joseph W. (June 1983)Scientific AmericanGeorg Cantor and the origins of transfinite set theory. Volume 248; Page 122.
  2. ^(sequenceA040002 in theOEIS)
  3. ^Conrad, Keith,"Pell's Equation II"(PDF),uconn.edu, retrieved17 March 2022
  4. ^Their numerators are 2, 9, 38, 161, ... (sequenceA001077 in theOEIS).
    Their denominators are 1, 4, 17, 72, ... (sequenceA001076 in theOEIS).
  5. ^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
  6. ^Parris, Richard (1991), "The Root-Finding Route to Chaos",The College Mathematics Journal,22 (1):48–55,JSTOR 2686739
  7. ^Motzer, Renate (2001), "Irrational Numbers",Fractions, Ratios, and Roots, Wiesbaden: Springer, Ch. 8, pp. 35–39,doi:10.1007/978-3-658-32574-9_8,ISBN 978-3-658-32573-2
  8. ^(sequenceA081459 in theOEIS), (sequenceA081460 in theOEIS)
  9. ^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).
  10. ^Benjamin, Arthur T.;Quinn, Jennifer J. (2022),Proofs that Really Count: The Art of Combinatorial Proof, Dolciani Mathematical Expositions, vol. 27, American Mathematical Society, p. 137,ISBN 9781470472597
  11. ^Richard K. Guy: "The Strong Law of Small Numbers".American Mathematical Monthly, vol. 95, 1988, pp. 675–712
  12. ^Ivrissimtzis, Ioannis P.; Dodgson, Neil A.; Sabin, Malcolm (2005), "5{\displaystyle {\sqrt {5}}}-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,ISBN 3-540-21462-3,MR 2112357
  13. ^abSutton, David (2002),Platonic & Archimedean Solids, Walker & Company, p. 55,ISBN 0802713866
  14. ^Kimberly Elam (2001),Geometry of Design: Studies in Proportion and Composition, New York: Princeton Architectural Press,ISBN 1-56898-249-6
  15. ^Jay Hambidge (1967),The Elements of Dynamic Symmetry, Courier Dover Publications,ISBN 0-486-21776-0
  16. ^Julian D. A. Wiseman, "Sin and cos in surds"
  17. ^LeVeque, William Judson (1956),Topics in number theory, Addison-Wesley Publishing Co., Inc., Reading, Mass.,MR 0080682
  18. ^abKhinchin, Aleksandr Yakovlevich (1964),Continued Fractions, University of Chicago Press, Chicago and London
  19. ^Chapman, Scott T.; Gotti, Felix; Gotti, Marly (2019), "How do elements really factor inZ[5]{\displaystyle \mathbb {Z} [{\sqrt {-5}}]}?", 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,ISBN 978-981-13-7027-4,MR 3991169,S2CID 119142526,Most undergraduate level abstract algebra texts useZ[5]{\displaystyle \mathbb {Z} [{\sqrt {-5}}]} as an example of an integral domain which is not a unique factorization domain
  20. ^Dodd, Fred W. (1983),Number theory in the quadratic field with golden section unit, Passaic, NJ: Polygonal Publishing House,ISBN 0-936428-08-2
  21. ^Yee, Alexander,"Records Set by y-cruncher"
Retrieved from "https://en.wikipedia.org/w/index.php?title=Square_root_of_5&oldid=1327522078"
Category:
Hidden categories:

[8]ページ先頭

©2009-2026 Movatter.jp