Silver ratio

From Wikipedia, the free encyclopedia
(Redirected from Silver mean)
Jump to navigation Jump to search

Template:Short description Script error: No such module "Distinguish". Template:Infobox non-integer number In mathematics, the silver ratio is a geometrical proportion with exact value 1 + √2,Script error: No such module "Check for unknown parameters". the positive solution of the equation x2 = 2x + 1.Script error: No such module "Check for unknown parameters".

The name silver ratio is by analogy with the golden ratio, the positive solution of the equation x2 = x + 1.Script error: No such module "Check for unknown parameters".

Although its name is recent, the silver ratio (or silver mean) has been studied since ancient times because of its connections to the square root of 2, almost-isosceles Pythagorean triples, square triangular numbers, Pell numbers, the octagon, and six polyhedra with octahedral symmetry.

File:Silver rectangle in octagon.svg
Silver rectangle in a regular octagon.

Definition

If the ratio of two quantities a > b > 0Script error: No such module "Check for unknown parameters". is proportionate to the sum of two and their reciprocal ratio, they are in the silver ratio: ab=2a+ba The ratio ab is here denoted Template:TmathTemplate:Efn

Substituting a=σb in the second fraction, σ=b(2σ+1)σb. It follows that the silver ratio is the positive solution of quadratic equation σ22σ1=0. The quadratic formula gives the two solutions 1±2, the decimal expansion of the positive root begins with Script error: No such module "val". Script error: No such module "Check for unknown parameters". (sequence A014176 in the OEIS).

Using the tangent function [1] σ=tan(3π8)=cot(π8), or the hyperbolic sine σ=exp(arsinh(1)).

Template:Tmath and its algebraic conjugate can be written as sums of eighth roots of unity: with ω= exp(2πi/8)=i,σ=ωω4+ω1σ1=ω3ω4+ω3, which is guaranteed by the Kronecker–Weber theorem.

Template:Tmath is the superstable fixed point of the Newton iteration x12(x2+1)/(x1), with x0[2,3]

The iteration x1+2x/ results in the continued radical σ=1+21+21+

Properties

File:SilverSquare 6.svg
Rectangles with aspect ratios related to σScript error: No such module "Check for unknown parameters". tile the square.

The defining equation can be written 1=1σ1+1σ+1=2σ+1+1σ.

The silver ratio can be expressed in terms of itself as fractions σ=1σ2σ2=σ1σ2+σ+1σ1.

Similarly as the infinite geometric series σ=2n=0σ2nσ2=1+2n=0(σ1)n.

For every integer Template:Tmath one has σn=2σn1+σn2=σn1+3σn2+σn3=2σn1+2σn3+σn4 from this an infinite number of further relations can be found.

Continued fraction pattern of a few low powers σ1=[0;2,2,2,2,...]0.4142(17/41)σ0=[1]σ1=[2;2,2,2,2,...]2.4142(70/29)σ2=[5;1,4,1,4,...]5.8284(5+29/35)σ3=[14;14,14,14,...]14.0711(14+1/14)σ4=[33;1,32,1,32,...]33.9706(33+33/34)σ5=[82;82,82,82,...]82.0122(82+1/82)

σn(1)n1σnmod1.

The silver ratio is a Pisot number, the next quadratic Pisot number after the golden ratio.[2] By definition of these numbers, the absolute value 21 of the algebraic conjugate is smaller than 1,Script error: No such module "Check for unknown parameters". thus powers of Template:Tmath generate almost integers and the sequence σnmod1 is dense at the borders of the unit interval.[3]

Quadratic field (√2)

File:SilverLattice.svg
The mapping ι (ξ) = (ξ, ξ)Script error: No such module "Check for unknown parameters". embeds both con­jugates of integer ξ = a + bσScript error: No such module "Check for unknown parameters". into a point-lattice ΛScript error: No such module "Check for unknown parameters". spanned by unit vectors ι (1)Script error: No such module "Check for unknown parameters". and ι (σ).Script error: No such module "Check for unknown parameters". The fundamental parallelogram with area δ(Λ) = √8Script error: No such module "Check for unknown parameters". in silver; the Minkowski diamond has area 4δ(Λ).Script error: No such module "Check for unknown parameters".

Template:Tmath is the fundamental unit of real quadratic field K=(2) with discriminant Δk=8. The integers [σ] of K are the numbers ξ=a+bσ (a,b), with conjugate ξ=(a+2b)bσ, norm ξξ=(a+b)22b2 and trace ξ+ξ=2(a+b).[4] The first few positive numbers occurring as norm are 1, 2, 4, 7, 8, 9, 14, 16, 17, 18, 23, 25.[5] Arithmetic in the ring Ok=[σ] resembles that of the rational integers, i.e. the elements of Template:Tmath Prime factorization is unique up to order and unit factors ±σ±n(n=0,1,2,), and there is a Euclidean function on the absolute value of the norm.[6] The primes of Template:Tmath are of three types:

and any one of these numbers multiplied by a unit.[9]

The silver ratio can be used as base of a numeral system, here called the sigmary scale.Template:Efn Every real number xScript error: No such module "Check for unknown parameters". in [0,1]Script error: No such module "Check for unknown parameters". can be represented as a convergent series x=n=1anσn, with weights Template:Tmath

File:Sigmary scale.svg
The steps in the sigmary scale resemble the intervals of the mixolydian mode in log scale. Progression to the next octave is paralleled by the carry in 21 and 22.

Sigmary expansions are not unique. Due to the identities σn+1=2σn+σn1σn+1+σn1=2σn+2σn1, digit blocks 21σ and 22σ carry to the next power of Template:Tmath resulting in 100σ and 101σ. The number one has finite and infinite representations 1.0σ,0.21σ and 0.20σ,0.12σ, where the first of each pair is in canonical form. The algebraic number Template:Tmath can be written Template:Tmath or non-canonically as Template:Tmath The decimal number 10=111.12σ, 7σ+3=1100σ and 1σ1=0.1σ.

Properties of canonical sigmary expansions, with coefficients a,b,c:

Script error: No such module "string". Remarkably, the same holds mutatis mutandis for all quadratic Pisot numbers that satisfy the general equation Template:Tmath with integer n > 0.Script error: No such module "Check for unknown parameters".[12] It follows by repeated substitution of Template:Tmath that all positive solutions 12(n+n2+4/) have a purely periodic continued fraction expansion σn=n+1n+1n+1 Vera de Spinadel described the properties of these irrationals and introduced the moniker metallic means.[13]

The silver ratio is related to the central Delannoy numbers Template:Tmath = 1, 3, 13, 63, 321, 1683, 8989,... that count the number of "king walks" between one pair of opposite corners of a square n × nScript error: No such module "Check for unknown parameters". lattice. The sequence has generating function [14] 116x+x2=n=0Dnxn for |x|<1σ2, from which are obtained the integral representation [15] Dn=1πσ2σ2dt(tσ2)(σ2t)tn+1 and asymptotic formula [16] Dnσ2n+12π(σ1)n(1113σ32n+22136σ2(32n)2+𝒪(n3)).

For an application of the sigmary scale, consider the problem of writing a possible third-order coefficient cScript error: No such module "Check for unknown parameters". in terms of the silver ratio. The decimal value of cScript error: No such module "Check for unknown parameters". is approximately 0.006865233,Script error: No such module "Check for unknown parameters". which can be found with the method of dominant balance using the recurrence relation for the central Delannoy numbers, nDn=(6n3)Dn1(n1)Dn2,[17] with D1=D0=1,nmax=105. "The coefficients all lie in Template:Tmath and have denominators equal to some power of the prime Template:Tmath"[18] Choosing denominator d = 32768,Script error: No such module "Check for unknown parameters". the approximate numerator dcScript error: No such module "Check for unknown parameters". has sigmary expansion Template:Tmath and is truncated to a quadratic integer by dropping all digits of order Template:Tmath Write the remaining powers Template:Tmath in linear form with Pell numbers as coefficients (see the following section), take the weighted sum and simplify, giving term 4123309σ3(32n)3. A certified value for cScript error: No such module "Check for unknown parameters". is however as yet unknown.

Pell sequences

File:SilverWord im.png
Silver harmonics: the rectangle and its coloured subzones have areas in ratios 7σ + 3 : σ3 : σ2 : σ : 1.Script error: No such module "Check for unknown parameters".

Script error: No such module "Labelled list hatnote".

These numbers are related to the silver ratio as the Fibonacci numbers and Lucas numbers are to the golden ratio.

The fundamental sequence is defined by the recurrence relation Pn=2Pn1+Pn2 for n>1, with initial values P0=0,P1=1.

The first few terms are 0, 1, 2, 5, 12, 29, 70, 169,... OEISA000129.Script error: No such module "string". The limit ratio of consecutive terms is the silver mean.

Fractions of Pell numbers provide rational approximations of Template:Tmath with error |σPn+1Pn|<18Pn2

The sequence is extended to negative indices using Pn=(1)n1Pn.

Powers of Template:Tmath can be written with Pell numbers as linear coefficients σn=σPn+Pn1, which is proved by mathematical induction on n.Script error: No such module "Check for unknown parameters". The relation also holds for n < 0.Script error: No such module "Check for unknown parameters".

The generating function of the sequence is given by [19] x12xx2=n=0Pnxn for |x|<1σ.

File:Silver Newton map.svg
Newton's method for p(z) =Script error: No such module "Check for unknown parameters". (zTemplate:Isup − 2z − 1)(zTemplate:Isup − 2z + σ) / σ:Script error: No such module "Check for unknown parameters". the silver ratio (right) and its conjugate with perturbing complex roots 1 ± i√σ − 1 Script error: No such module "Check for unknown parameters". at the nuclei of their basins of attraction. Julia set of the Newton map in orange, with unit circle and real curve for reference.

The characteristic equation of the recurrence is x22x1=0 with discriminant Template:Tmath If the two solutions are silver ratio Template:Tmath and conjugate Template:Tmath so that σ+σ¯=2 and σσ¯=1, the Pell numbers are computed with the Binet formula Pn=a(σnσ¯n), with Template:Tmath the positive root of 8x21=0.

Since |aσ¯n|<1/σ2n, the number Template:Tmath is the nearest integer to aσn, with a=1/8 and n ≥ 0.Script error: No such module "Check for unknown parameters".

The Binet formula σn+σ¯n defines the companion sequence Qn=Pn+1+Pn1.

The first few terms are 2, 2, 6, 14, 34, 82, 198,... OEISA002203.

This Pell-Lucas sequence has the Fermat property: if p is prime, QpQ1modp. The converse does not hold, the least odd pseudoprimes n(Qn2) are 132, 385, 312, 1105, 1121, 3827, 4901.[20] Template:Efn

Pell numbers are obtained as integral powers n > 2Script error: No such module "Check for unknown parameters". of a matrix with positive eigenvalue Template:Tmath M=(2110),

Mn=(Pn+1PnPnPn1)

The trace of Template:Tmath gives the above Template:Tmath

Geometry

Silver rectangle and regular octagon

File:Silver rectangle construction.svg
Origami construction of a silver rectangle, with creases in green.

A rectangle with edges in ratio √2 : 1Script error: No such module "Check for unknown parameters". can be created from a square piece of paper with an origami folding sequence. Considered a proportion of great harmony in Japanese aestheticsYamato-hi (大和比) — the ratio is retained if the √2Script error: No such module "Check for unknown parameters". rectangle is folded in half, parallel to the short edges. Rabatment produces a rectangle with edges in the silver ratio (according to Template:Sfrac = √2 − 1Script error: No such module "Check for unknown parameters".). Template:Efn

  • Fold a square sheet of paper in half, creating a falling diagonal crease (bisect 90° angle), then unfold.
  • Fold the right hand edge onto the diagonal crease (bisect 45° angle).
  • Fold the top edge in half, to the back side (reduce width by Template:Sfrac), and open out the triangle. The result is a √2Script error: No such module "Check for unknown parameters". rectangle.
  • Fold the bottom edge onto the left hand edge (reduce height by Template:Sfrac). The horizontal part on top is a silver rectangle.

If the folding paper is opened out, the creases coincide with diagonal sections of a regular octagon. The first two creases divide the square into a silver gnomon with angles in the ratios 5 : 2 : 1,Script error: No such module "Check for unknown parameters". between two right triangles with angles in ratios 4 : 2 : 2Script error: No such module "Check for unknown parameters". (left) and 4 : 3 : 1Script error: No such module "Check for unknown parameters". (right). The unit angle is equal to Template:Sfrac Script error: No such module "Check for unknown parameters". degrees.

If the octagon has edge length Template:Tmath its area is Template:Tmath and the diagonals have lengths σ+1/,σ and 2(σ+1)/. The coordinates of the vertices are given by the 8Script error: No such module "Check for unknown parameters". permutations of (±12,±σ2).[21] The paper square has edge length Template:Tmath and area Template:Tmath The triangles have areas 1,σ1σ and 1σ; the rectangles have areas σ1 and 1σ.

Silver whirl

File:Silver rectangle whirl.svg
A whirl of silver rectangles.

Divide a rectangle with sides in ratio 1 : 2Script error: No such module "Check for unknown parameters". into four congruent right triangles with legs of equal length and arrange these in the shape of a silver rectangle, enclosing a similar rectangle that is scaled by factor Template:Tmath and rotated about the centre by Template:Tmath Repeating the construction at successively smaller scales results in four infinite sequences of adjoining right triangles, tracing a whirl of converging silver rectangles.[22]

The logarithmic spiral through the vertices of adjacent triangles has polar slope k=4πln(σ). The parallelogram between the pair of grey triangles on the sides has perpendicular diagonals in ratio Template:Tmath, hence is a silver rhombus.

If the triangles have legs of length Template:Tmath then each discrete spiral has length σσ1=n=0σn. The areas of the triangles in each spiral region sum to σ4=12n=0σ2n; the perimeters are equal to Template:Tmath (light grey) and Template:Tmath (silver regions).

Arranging the tiles with the four hypotenuses facing inward results in the diamond-in-a-square shape. Ancient Roman tile work. Roman architect Vitruvius recommended the implied ad quadratura ratio as one of three for proportioning a town house atrium. The scaling factor is Template:Tmath and iteration on edge length 2Script error: No such module "Check for unknown parameters". gives an angular spiral of length Template:Tmath

Polyhedra

File:Rhombicuboctahedron by Cutting Rhombic Dodecahedron.svg
Dimensions of the rhombi­cuboctahedron are linked to σ.Script error: No such module "Check for unknown parameters".

The silver mean has connections to the following Archimedean solids with octahedral symmetry; all values are based on edge length = 2.Script error: No such module "Check for unknown parameters".

The coordinates of the vertices are given by 24 distinct permutations of (±σ,±1,±1), thus three mutually-perpendicular silver rectangles touch six of its square faces.Script error: No such module "string". The midradius is 2(σ+1)/, the centre radius for the square faces is Template:Tmath[23]

Coordinates: 24 permutations of (±σ,±σ,±1).Script error: No such module "string". Midradius: Template:Tmath centre radius for the octagon faces: Template:Tmath[24]

Coordinates: 48 permutations of (±(2σ1),±σ,±1).Script error: No such module "string". Midradius: 6(σ+1)/, centre radius for the square faces: Template:Tmath for the octagon faces: Template:Tmath[25]

See also the dual Catalan solids

Silver triangle

File:Silver triangle spiral.svg
Silver triangle and whirling gnomons.

The acute isosceles triangle formed by connecting two adjacent vertices of a regular octagon to its centre point, is here called the silver triangle. It is uniquely identified by its angles in ratios Template:Tmath The apex angle measures Template:Tmath each base angle Template:Tmath degrees. It follows that the height to base ratio is 12tan(6712)=σ2.

By trisecting one of its base angles, the silver triangle is partitioned into a similar triangle and an obtuse silver gnomon. The trisector is collinear with a medium diagonal of the octagon. Sharing the apex of the parent triangle, the gnomon has angles of 6712/3=2212,45 and 11212 degrees in the ratios Template:Tmath From the law of sines, its edges are in ratios 1:σ+1:σ.

The similar silver triangle is likewise obtained by scaling the parent triangle in base to leg ratio Template:Tmath, accompanied with an Template:Tmath degree rotation. Repeating the process at decreasing scales results in an infinite sequence of silver triangles, which converges at the centre of rotation. It is assumed without proof that the centre of rotation is the intersection point of sequential median lines that join corresponding legs and base vertices.[26] The assumption is verified by construction, as demonstrated in the vector image.

The centre of rotation has barycentric coordinates (σ+1σ+5:2σ+5:2σ+5)(σ+12:1:1), the three whorls of stacked gnomons have areas in ratios (σ+12)2:σ+12:1.

The logarithmic spiral through the vertices of all nested triangles has polar slope k=45πln(σσ1), or an expansion rate of Template:Tmath for every Template:Tmath degrees of rotation.

Silver triangle centers: affine coordinates on the axis of symmetry
circumcenter (2σ+1:1σ)(σ1:1)
centroid (23:13)(2:1)
nine-point center (1σ1:1σ+1)(σ:1)
incenter, α = Template:Sfrac Script error: No such module "Check for unknown parameters". ([1+cos(α)]1:[1+sec(α)]1)(sec(α):1)
symmedian point (σ+1σ+2:1σ+2)(σ+1:1)
orthocenter (2σ:1σ2)(2σ:1)

The long, medium and short diagonals of the regular octagon concur respectively at the apex, the circumcenter and the orthocenter of a silver triangle.

Silver rectangle and silver triangle

File:Silver rectangle segmented.svg
Powers of σScript error: No such module "Check for unknown parameters". within a silver rectangle.

Assume a silver rectangle has been constructed as indicated above, with height 1Script error: No such module "Check for unknown parameters"., length Template:Tmath and diagonal length σ2+1. The triangles on the diagonal have altitudes 1/1+σ2; each perpendicular foot divides the diagonal in ratio Template:Tmath

If an horizontal line is drawn through the intersection point of the diagonal and the internal edge of a rabatment square, the parent silver rectangle and the two scaled copies along the diagonal have areas in the ratios σ2:2:1, the rectangles opposite the diagonal both have areas equal to 2σ+1.[27]

Relative to vertex AScript error: No such module "Check for unknown parameters"., the coordinates of feet of altitudes UScript error: No such module "Check for unknown parameters". and VScript error: No such module "Check for unknown parameters". are (σσ2+1,1σ2+1) and (σ1+σ2,11+σ2).

If the diagram is further subdivided by perpendicular lines through UScript error: No such module "Check for unknown parameters". and VScript error: No such module "Check for unknown parameters"., the lengths of the diagonal and its subsections can be expressed as trigonometric functions of argument α=6712 degrees, the base angle of the silver triangle:

File:Silver triangle.svg
Diagonal segments of the silver rectangle measure the silver triangle. The ratio AB:ASScript error: No such module "Check for unknown parameters". is σ.Script error: No such module "Check for unknown parameters".

AB=σ2+1=sec(α)AV=σ2/AB=σsin(α)UV=2/AS=2sin(α)SB=4/AB=4cos(α)SV=3/AB=3cos(α)AS=1+σ2=csc(α)h=1/AS=sin(α)US=AVSB=(2σ3)cos(α)AU=1/AB=cos(α),

with Template:Tmath

Both the lengths of the diagonal sections and the trigonometric values are elements of biquadratic number field K=(2+2).

The silver rhombus with edge Template:Tmath has diagonal lengths equal to Template:Tmath and Template:Tmath The regular octagon with edge Template:Tmath has long diagonals of length Template:Tmath that divide it into eight silver triangles. Since the regular octagon is defined by its side length and the angles of the silver triangle, it follows that all measures can be expressed in powers of σScript error: No such module "Check for unknown parameters". and the diagonal segments of the silver rectangle, as illustrated above, pars pro toto on a single triangle.

The leg to base ratio Template:Tmath has been dubbed the Cordovan proportion by Spanish architect Rafael de la Hoz Arderius. According to his observations, it is a notable measure in the architecture and intricate decorations of the mediæval Mosque of Córdoba, Andalusia.[28]

Silver spiral

File:Silver spiral.svg
Silver spirals with different initial angles on a σScript error: No such module "Check for unknown parameters".− rectangle.

A silver spiral is a logarithmic spiral that gets wider by a factor of Template:Tmath for every quarter turn. It is described by the polar equation r(θ)=aexp(kθ), with initial radius Template:Tmath and parameter k=2πln(σ). If drawn on a silver rectangle, the spiral has its pole at the foot of altitude of a triangle on the diagonal and passes through vertices of paired squares which are perpendicularly aligned and successively scaled by a factor Template:Tmath

Script error: No such module "string".

Ammann–Beenker tiling

File:AmmanSubstRules.png
Patch inflation of Ammann A5-tiles with factor σ2.Script error: No such module "Check for unknown parameters".

The silver ratio appears prominently in the Ammann–Beenker tiling, a non-periodic tiling of the plane with octagonal symmetry, build from a square and silver rhombus with equal side lengths. Discovered by Robert Ammann in 1977, its algebraic properties were described by Frans Beenker five years later.[29] If the squares are cut into two triangles, the inflation factor for Ammann A5-tiles is Template:Tmath the dominant eigenvalue of substitution matrix M=(3243).

See also

  • Solutions of equations similar to x2=2x+1:

Notes

Template:Notelist

References

<templatestyles src="Reflist/styles.css" />

  1. Script error: No such module "citation/CS1".Script error: No such module "Check for unknown parameters".
  2. Script error: No such module "Citation/CS1".
  3. Script error: No such module "Template wrapper".
  4. Script error: No such module "citation/CS1".
  5. Script error: No such module "citation/CS1".Script error: No such module "Check for unknown parameters".
  6. Script error: No such module "Footnotes".: Theorems 245 & 248
  7. Script error: No such module "citation/CS1".Script error: No such module "Check for unknown parameters".
  8. Script error: No such module "citation/CS1".Script error: No such module "Check for unknown parameters".
  9. Script error: No such module "Footnotes".: Theorem 256
  10. Script error: No such module "Citation/CS1".
  11. Script error: No such module "Citation/CS1".
  12. Script error: No such module "Footnotes".: Theorem 3.4
  13. Script error: No such module "Footnotes".
  14. Script error: No such module "citation/CS1".Script error: No such module "Check for unknown parameters".
  15. Script error: No such module "Citation/CS1".
  16. Script error: No such module "Citation/CS1".
  17. Script error: No such module "citation/CS1".Script error: No such module "Check for unknown parameters".
  18. Script error: No such module "Footnotes".; Proposition 1
  19. Script error: No such module "Citation/CS1".
  20. Script error: No such module "citation/CS1".Script error: No such module "Check for unknown parameters".
  21. Script error: No such module "citation/CS1".
  22. Script error: No such module "citation/CS1".
  23. Script error: No such module "citation/CS1".
  24. Script error: No such module "citation/CS1".
  25. Script error: No such module "citation/CS1".
  26. Proved for the golden triangle in: Script error: No such module "citation/CS1".
  27. Analogue to the construction in: Script error: No such module "Citation/CS1".
  28. Script error: No such module "Citation/CS1".
  29. Script error: No such module "citation/CS1".

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

External links

Template:Algebraic numbers Template:Irrational numbers Template:Metallic ratios