Silver ratio
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.
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: The ratio is here denoted Template:TmathTemplate:Efn
Substituting in the second fraction, It follows that the silver ratio is the positive solution of quadratic equation The quadratic formula gives the two solutions 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] or the hyperbolic sine
Template:Tmath and its algebraic conjugate can be written as sums of eighth roots of unity: which is guaranteed by the Kronecker–Weber theorem.
Template:Tmath is the superstable fixed point of the Newton iteration
The iteration results in the continued radical
Properties
The defining equation can be written
The silver ratio can be expressed in terms of itself as fractions
Similarly as the infinite geometric series
For every integer Template:Tmath one has from this an infinite number of further relations can be found.
Continued fraction pattern of a few low powers
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 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 is dense at the borders of the unit interval.[3]
Quadratic field (√2)
Template:Tmath is the fundamental unit of real quadratic field with discriminant The integers are the numbers with conjugate norm and trace [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 resembles that of the rational integers, i.e. the elements of Template:Tmath Prime factorization is unique up to order and unit factors and there is a Euclidean function on the absolute value of the norm.[6] The primes of Template:Tmath are of three types:
- Template:Tmath with norm Template:Tmath the single rational prime that divides Δk ,Script error: No such module "Check for unknown parameters".
- the factors Template:Tmath of rational primes with norm Template:Tmath[7]
- the rational primes with norm Template:Tmath[8]
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 with weights Template:Tmath
Sigmary expansions are not unique. Due to the identities digit blocks carry to the next power of Template:Tmath resulting in The number one has finite and infinite representations and 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 and
Properties of canonical sigmary expansions, with coefficients
- Every algebraic integer has a finite expansion.[10]
- Every rational number has a purely periodic expansion.[11]
- All numbers that do not lie in Template:Tmath have chaotic expansions.
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 have a purely periodic continued fraction expansion 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] from which are obtained the integral representation [15] and asymptotic formula [16]
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, [17] with "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 A certified value for cScript error: No such module "Check for unknown parameters". is however as yet unknown.
Pell sequences
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 with initial values
The first few terms are 0, 1, 2, 5, 12, 29, 70, 169,... OEIS: A000129.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
The sequence is extended to negative indices using
Powers of Template:Tmath can be written with Pell numbers as linear coefficients 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]
The characteristic equation of the recurrence is with discriminant Template:Tmath If the two solutions are silver ratio Template:Tmath and conjugate Template:Tmath so that the Pell numbers are computed with the Binet formula with Template:Tmath the positive root of
Since the number Template:Tmath is the nearest integer to with and n ≥ 0.Script error: No such module "Check for unknown parameters".
The Binet formula defines the companion sequence
The first few terms are 2, 2, 6, 14, 34, 82, 198,... OEIS: A002203.
This Pell-Lucas sequence has the Fermat property: if p is prime, The converse does not hold, the least odd pseudoprimes 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
The trace of Template:Tmath gives the above Template:Tmath
Geometry
Silver rectangle and regular octagon
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 aesthetics — Yamato-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 and The coordinates of the vertices are given by the 8Script error: No such module "Check for unknown parameters". permutations of [21] The paper square has edge length Template:Tmath and area Template:Tmath The triangles have areas and the rectangles have areas
Silver whirl
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 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 The areas of the triangles in each spiral region sum to 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
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 thus three mutually-perpendicular silver rectangles touch six of its square faces.Script error: No such module "string". The midradius is the centre radius for the square faces is Template:Tmath[23]
Coordinates: 24 permutations of Script error: No such module "string". Midradius: Template:Tmath centre radius for the octagon faces: Template:Tmath[24]
Coordinates: 48 permutations of Script error: No such module "string". Midradius: centre radius for the square faces: Template:Tmath for the octagon faces: Template:Tmath[25]
See also the dual Catalan solids
Silver triangle
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
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 degrees in the ratios Template:Tmath From the law of sines, its edges are in ratios
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 the three whorls of stacked gnomons have areas in ratios
The logarithmic spiral through the vertices of all nested triangles has polar slope or an expansion rate of Template:Tmath for every Template:Tmath degrees of rotation.
| circumcenter | |
| centroid | |
| nine-point center | |
| incenter, α = Template:Sfrac Script error: No such module "Check for unknown parameters". | |
| symmedian point | |
| orthocenter |
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
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 . The triangles on the diagonal have altitudes 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 the rectangles opposite the diagonal both have areas equal to [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
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 degrees, the base angle of the silver triangle:
- with Template:Tmath
Both the lengths of the diagonal sections and the trigonometric values are elements of biquadratic number field
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
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 with initial radius Template:Tmath and parameter 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
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
See also
- Solutions of equations similar to :
- Golden ratio – the positive solution of the equation
- Metallic means – positive solutions of the general equation
- Supersilver ratio – the real solution of the equation
Notes
References
<templatestyles src="Reflist/styles.css" />
- ↑ Script error: No such module "citation/CS1".Script error: No such module "Check for unknown parameters".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "Template wrapper".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".Script error: No such module "Check for unknown parameters".
- ↑ Script error: No such module "Footnotes".: Theorems 245 & 248
- ↑ Script error: No such module "citation/CS1".Script error: No such module "Check for unknown parameters".
- ↑ Script error: No such module "citation/CS1".Script error: No such module "Check for unknown parameters".
- ↑ Script error: No such module "Footnotes".: Theorem 256
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "Footnotes".: Theorem 3.4
- ↑ Script error: No such module "Footnotes".
- ↑ Script error: No such module "citation/CS1".Script error: No such module "Check for unknown parameters".
- ↑ 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 "Check for unknown parameters".
- ↑ Script error: No such module "Footnotes".; Proposition 1
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "citation/CS1".Script error: No such module "Check for unknown parameters".
- ↑ 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".
- ↑ Script error: No such module "citation/CS1".
- ↑ Proved for the golden triangle in: Script error: No such module "citation/CS1".
- ↑ Analogue to the construction in: 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 "Check for unknown parameters".
External links
- YouTube lecture on the silver ratio, Pell sequence and metallic means
- Silver rectangle and Pell sequence at Tartapelago by Giorgio Pietrocola
Template:Algebraic numbers Template:Irrational numbers Template:Metallic ratios