Square root of 5

Template:Short description Template:Infobox non-integer number

The square root of 5 is the positive real number that, when multiplied by itself, gives the prime number 5. It is more precisely called the principal square root of 5, to distinguish it from the negative number with the same property. This number appears in the fractional expression for the golden ratio. It can be denoted in surd form as $\sqrt{5}$ .

It is an irrational algebraic number.^[1] The first sixty significant digits of its decimal expansion are:

Template:Gaps (sequence A002163 in the OEIS),

which can be rounded down to 2.236 to within 99.99% accuracy. The approximation Template:Sfrac (≈ 2.23611) for the square root of five can be used. Despite having a denominator of only 72, it differs from the correct value by less than Template:Sfrac (approx. Script error: No such module "val".). As of January 2022, the numerical value in decimal of the square root of 5 has been computed to at least 2,250,000,000,000 digits.^[2]

Rational approximations

The square root of 5 can be expressed as the simple continued fraction

[2; 4, 4, 4, 4, 4, \dots] = 2 + \frac{1}{4 + \frac{1}{4 + \frac{1}{4 + \frac{1}{4 + \binom{}{⋱}}}}} .

(sequence A040002 in the OEIS)

The successive partial evaluations of the continued fraction, which are called its convergents, approach $\sqrt{5}$ :

\frac{2}{1}, \frac{9}{4}, \frac{38}{17}, \frac{161}{72}, \frac{682}{305}, \frac{2889}{1292}, \frac{12238}{5473}, \frac{51841}{23184}, \dots

Their numerators are 2, 9, 38, 161, … (sequence A001077 in the OEIS), and their denominators are 1, 4, 17, 72, … (sequence A001076 in the OEIS).

Each of these is a best rational approximation of $\sqrt{5}$ ; in other words, it is closer to $\sqrt{5}$ than any rational number with a smaller denominator.

The convergents, expressed as $Template:Sfrac$ Script error: No such module "Check for unknown parameters"., satisfy alternately the Pell's equations^[3]

x^{2} - 5 y^{2} = - 1 and x^{2} - 5 y^{2} = 1

When $\sqrt{5}$ is approximated with the Babylonian method, starting with $x 0 = 2$ Script error: No such module "Check for unknown parameters". and using $xn+1 = Template:Sfrac(xn + Template:Sfrac)$ Script error: No such module "Check for unknown parameters"., the $n$ Script error: No such module "Check for unknown parameters".th approximant $x n$ Script error: No such module "Check for unknown parameters". is equal to the $2 n$ Script error: No such module "Check for unknown parameters".th convergent of the continued fraction:

x_{0} = 2.0, x_{1} = \frac{9}{4} = 2.25, x_{2} = \frac{161}{72} = 2.23611 \dots, x_{3} = \frac{51841}{23184} = 2.2360679779 \dots, x_{4} = \frac{5374978561}{2403763488} = 2.23606797749979 \dots

The Babylonian method is equivalent to Newton's method for root finding applied to the polynomial $x^{2} - 5$ . The Newton's method update, $x_{n + 1} = x_{n} - f (x_{n}) / f^{'} (x_{n})$ , is equal to $(x_{n} + 5 / x_{n}) / 2$ when $f (x) = x^{2} - 5$ . The method therefore converges quadratically.

Relation to the golden ratio and Fibonacci numbers

File:Golden Rectangle Construction.svg

The

\frac{\sqrt{5}}{2}

diagonal of a half square forms the basis for the geometrical construction of a golden rectangle.

The golden ratio $φ$ Script error: No such module "Check for unknown parameters". is the arithmetic mean of 1 and $\sqrt{5}$ .^[4] The algebraic relationship between $\sqrt{5}$ , the golden ratio and the conjugate of the golden ratio ( $Φ = −Template:Sfrac = 1 − φ$ Script error: No such module "Check for unknown parameters".) is expressed in the following formulae:

\begin{aligned} \sqrt{5} & = φ - Φ = 2 φ - 1 = 1 - 2 Φ \\ φ & = \frac{1 + \sqrt{5}}{2} \\ Φ & = \frac{1 - \sqrt{5}}{2} . \end{aligned}

(See the section below for their geometrical interpretation as decompositions of a $\sqrt{5}$ rectangle.)

$\sqrt{5}$ then naturally figures in the closed form expression for the Fibonacci numbers, a formula which is usually written in terms of the golden ratio:

F (n) = \frac{φ^{n} - (1 - φ)^{n}}{\sqrt{5}} .

The quotient of $\sqrt{5}$ and $φ$ Script error: No such module "Check for unknown parameters". (or the product of $\sqrt{5}$ and $Φ$ Script error: No such module "Check for unknown parameters".), and its reciprocal, provide an interesting pattern of continued fractions and are related to the ratios between the Fibonacci numbers and the Lucas numbers:^[5]

\begin{aligned} \frac{\sqrt{5}}{φ} = Φ \cdot \sqrt{5} = \frac{5 - \sqrt{5}}{2} & = 1.3819660112501051518 \dots \\ = [1; 2, 1, 1, 1, 1, 1, 1, 1, \dots] \\ \frac{φ}{\sqrt{5}} = \frac{1}{Φ \cdot \sqrt{5}} = \frac{5 + \sqrt{5}}{10} & = 0.72360679774997896964 \dots \\ = [0; 1, 2, 1, 1, 1, 1, 1, 1, \dots] . \end{aligned}

The series of convergents to these values feature the series of Fibonacci numbers and the series of Lucas numbers as numerators and denominators, and vice versa, respectively:

\begin{aligned} 1, \frac{3}{2}, \frac{4}{3}, \frac{7}{5}, \frac{11}{8}, \frac{18}{13}, \frac{29}{21}, \frac{47}{34}, \frac{76}{55}, \frac{123}{89}, \dots \dots [1; 2, 1, 1, 1, 1, 1, 1, 1, \dots] \\ 1, \frac{2}{3}, \frac{3}{4}, \frac{5}{7}, \frac{8}{11}, \frac{13}{18}, \frac{21}{29}, \frac{34}{47}, \frac{55}{76}, \frac{89}{123}, \dots \dots [0; 1, 2, 1, 1, 1, 1, 1, 1, \dots] . \end{aligned}

In fact, the limit of the quotient of the $n^{t h}$ Lucas number $L_{n}$ and the $n^{t h}$ Fibonacci number $F_{n}$ is directly equal to the square root of $5$ :

\lim_{n \to \infty} \frac{L_{n}}{F_{n}} = \sqrt{5} .

Geometry

File:Pinwheel 1.svg

Decomposition of a

1 \times 2

right triangle into five similar triangles, the basis for the aperiodic pinwheel tiling

File:Root rectangles Hambidge 1920.png

Jay Hambidge's construction of "root rectangles"

Template:Distances between double cube corners.svg

Geometrically, $\sqrt{5}$ corresponds to the diagonal of a rectangle whose sides are of length 1 and 2, as is evident from the Pythagorean 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 a subdivision surface.^[6] Together with the algebraic relationship between $\sqrt{5}$ and $φ$ Script error: No such module "Check for unknown parameters"., this forms the basis for the geometrical construction of a golden rectangle from a square, and for the construction of a regular pentagon given its side (since the side-to-diagonal ratio in a regular pentagon is $φ$ Script error: No such module "Check for unknown parameters".).

Since two adjacent faces of a cube would unfold into a 1:2 rectangle, the ratio between the length of the cube's edge and the shortest distance from one of its vertices to the opposite one, when traversing the cube surface, is $\sqrt{5}$ . By contrast, the shortest distance when traversing through the inside of the cube corresponds to the length of the cube diagonal, which is the square root of three times the edge.^[7]

A rectangle with side proportions 1: $\sqrt{5}$ is called a root-five rectangle and is part of the series of root rectangles, a subset of dynamic rectangles, which are based on $\sqrt{1}$ (= 1), $\sqrt{2}$ , $\sqrt{3}$ , $\sqrt{4}$ (= 2), $\sqrt{5}$ ... and successively constructed using the diagonal of the previous root rectangle, starting from a square.^[8] A root-5 rectangle is particularly notable in that it can be split into a square and two equal golden rectangles (of dimensions $Φ$ Script error: No such module "Check for unknown parameters". × 1), or into two golden rectangles of different sizes (of dimensions $Φ$ Script error: No such module "Check for unknown parameters". × 1 and 1 × $φ$ Script error: No such module "Check for unknown parameters".).^[9] It can also be decomposed as the union of two equal golden rectangles (of dimensions 1 × $φ$ Script error: No such module "Check for unknown parameters".) whose intersection forms a square. All this is can be seen as the geometric interpretation of the algebraic relationships between $\sqrt{5}$ , $φ$ Script error: No such module "Check for unknown parameters". and $Φ$ Script error: No such module "Check for unknown parameters". mentioned above. The root-5 rectangle can be constructed from a 1:2 rectangle (the root-4 rectangle), or directly from a square in a manner similar to the one for the golden rectangle shown in the illustration, but extending the arc of length $\sqrt{5} / 2$ to both sides.

Trigonometry

Like $\sqrt{2}$ and $\sqrt{3}$ , the square root of 5 appears extensively in the formulae for exact trigonometric constants, including in the sines and cosines of every angle whose measure in degrees is divisible by 3 but not by 15.^[10] The simplest of these are

\begin{aligned} \sin \frac{π}{10} = \sin 1 8^{\circ} & = \frac{1}{4} (\sqrt{5} - 1) = \frac{1}{\sqrt{5} + 1}, \\ \sin \frac{π}{5} = \sin 3 6^{\circ} & = \frac{1}{4} \sqrt{2 (5 - \sqrt{5})}, \\ \sin \frac{3 π}{10} = \sin 5 4^{\circ} & = \frac{1}{4} (\sqrt{5} + 1) = \frac{1}{\sqrt{5} - 1}, \\ \sin \frac{2 π}{5} = \sin 7 2^{\circ} & = \frac{1}{4} \sqrt{2 (5 + \sqrt{5})} . \end{aligned}

As such, the computation of its value is important for generating trigonometric tables. Since $\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 a dodecahedron.^[7]

Diophantine approximations

Hurwitz's theorem in Diophantine approximations states that every irrational number $x$ Script error: No such module "Check for unknown parameters". can be approximated by infinitely many rational numbers $Template:Sfrac$ Script error: No such module "Check for unknown parameters". in lowest terms in such a way that

| x - \frac{m}{n} | < \frac{1}{\sqrt{5} n^{2}}

and that $\sqrt{5}$ is best possible, in the sense that for any larger constant than $\sqrt{5}$ , there are some irrational numbers $x$ Script error: No such module "Check for unknown parameters". for which only finitely many such approximations exist.^[11]

Closely related to this is the theorem^[12] that of any three consecutive convergents $Template:Sfrac$ Script error: No such module "Check for unknown parameters"., $Template:Sfrac$ Script error: No such module "Check for unknown parameters"., $Template:Sfrac$ Script error: No such module "Check for unknown parameters"., of a number $α$ Script error: No such module "Check for unknown parameters"., at least one of the three inequalities holds:

| α - \frac{p_{i}}{q_{i}} | < \frac{1}{\sqrt{5} q_{i}^{2}}, | α - \frac{p_{i + 1}}{q_{i + 1}} | < \frac{1}{\sqrt{5} q_{i + 1}^{2}}, | α - \frac{p_{i + 2}}{q_{i + 2}} | < \frac{1}{\sqrt{5} q_{i + 2}^{2}} .

And the $\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.^[12]

Algebra

The ring $ℤ [\sqrt{- 5}]$ contains numbers of the form $a + b \sqrt{- 5}$ , where $a$ Script error: No such module "Check for unknown parameters". and $b$ Script error: No such module "Check for unknown parameters". are integers and $\sqrt{- 5}$ is the imaginary number $i \sqrt{5}$ . This ring is a frequently cited example of an integral domain that is not a unique factorization domain.^[13] The number 6 has two inequivalent factorizations within this ring:

6 = 2 \cdot 3 = (1 - \sqrt{- 5}) (1 + \sqrt{- 5}) .

On the other hand, the real quadratic integer ring $ℤ [\frac{\sqrt{5} + 1}{2}]$ , adjoining the Golden ratio $ϕ = \frac{\sqrt{5} + 1}{2}$ , was shown to be Euclidean, and hence a unique factorization domain, by Dedekind.

The field $ℚ [\sqrt{- 5}],$ like any other quadratic field, is an abelian extension of the rational numbers. The Kronecker–Weber theorem therefore guarantees that the square root of five can be written as a rational linear combination of roots of unity:

\sqrt{5} = e^{\frac{2 π}{5} i} - e^{\frac{4 π}{5} i} - e^{\frac{6 π}{5} i} + e^{\frac{8 π}{5} i} .

Identities of Ramanujan

The square root of 5 appears in various identities discovered by Srinivasa Ramanujan involving continued fractions.^[14]^[15]

For example, this case of the Rogers–Ramanujan continued fraction:

\frac{1}{1 + \frac{e^{- 2 π}}{1 + \frac{e^{- 4 π}}{1 + \frac{e^{- 6 π}}{1 + \binom{}{⋱}}}}} = (\sqrt{\frac{5 + \sqrt{5}}{2}} - \frac{\sqrt{5} + 1}{2}) e^{\frac{2 π}{5}} = e^{\frac{2 π}{5}} (\sqrt{φ \sqrt{5}} - φ) .

\frac{1}{1 + \frac{e^{- 2 π \sqrt{5}}}{1 + \frac{e^{- 4 π \sqrt{5}}}{1 + \frac{e^{- 6 π \sqrt{5}}}{1 + \binom{}{⋱}}}}} = (\frac{\sqrt{5}}{1 + \sqrt[5]{5^{\frac{3}{4}} (φ - 1)^{\frac{5}{2}} - 1}} - φ) e^{\frac{2 π}{\sqrt{5}}} .

4 \int_{0}^{\infty} \frac{x e^{- x \sqrt{5}}}{\cosh x} d x = \frac{1}{1 + \frac{1^{2}}{1 + \frac{1^{2}}{1 + \frac{2^{2}}{1 + \frac{2^{2}}{1 + \frac{3^{2}}{1 + \frac{3^{2}}{1 + \binom{}{⋱}}}}}}}} .

References

↑ Dauben, Joseph W. (June 1983) Scientific American Georg Cantor and the origins of transfinite set theory. Volume 248; Page 122.
↑ Script error: No such module "citation/CS1".
↑ Script error: No such module "citation/CS1".
↑ Browne, Malcolm W. (July 30, 1985) New York Times Puzzling Crystals Plunge Scientists into Uncertainty. Section: C; Page 1. (Note: this is a widely cited article).
↑ Richard K. Guy: "The Strong Law of Small Numbers". American Mathematical Monthly, vol. 95, 1988, pp. 675–712
↑ Script error: No such module "citation/CS1".
↑ ^a ^b Script error: No such module "citation/CS1".
↑ Script error: No such module "citation/CS1".
↑ Script error: No such module "citation/CS1".
↑ Julian D. A. Wiseman, "Sin and cos in surds"
↑ Script error: No such module "citation/CS1".
↑ ^a ^b Script error: No such module "citation/CS1".
↑ Script error: No such module "citation/CS1".
↑ Script error: No such module "citation/CS1".
↑ Script error: No such module "citation/CS1". at MathWorld

Script error: No such module "Check for unknown parameters".

Template:Algebraic numbers Template:Irrational number

[1] Dauben, Joseph W. (June 1983) Scientific American Georg Cantor and the origins of transfinite set theory. Volume 248; Page 122.

[2] Script error: No such module "citation/CS1".

[conrad-3] Script error: No such module "citation/CS1".

[4] Browne, Malcolm W. (July 30, 1985) New York Times Puzzling Crystals Plunge Scientists into Uncertainty. Section: C; Page 1. (Note: this is a widely cited article).

[5] Richard K. Guy: "The Strong Law of Small Numbers". American Mathematical Monthly, vol. 95, 1988, pp. 675–712

[6] Script error: No such module "citation/CS1".

[:0-7] Script error: No such module "citation/CS1".

[8] Script error: No such module "citation/CS1".

[9] Script error: No such module "citation/CS1".

[10] Julian D. A. Wiseman, "Sin and cos in surds"

[11] Script error: No such module "citation/CS1".

[khinchin-12] Script error: No such module "citation/CS1".

[13] Script error: No such module "citation/CS1".

[14] Script error: No such module "citation/CS1".

[15] Script error: No such module "citation/CS1". at MathWorld

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

Square root of 5

Contents

Rational approximations

Relation to the golden ratio and Fibonacci numbers

Geometry

Trigonometry

Diophantine approximations

Algebra

Identities of Ramanujan

See also

References

Navigation menu

Square root of 5

Rational approximations

Relation to the golden ratio and Fibonacci numbers

Geometry

Trigonometry

Diophantine approximations

Algebra

Identities of Ramanujan

See also

References

Navigation menu

Search