Metallic mean

Generalization of golden and silver ratios
Gold, silver, and bronze ratios within their respective rectangles.

The metallic mean (also metallic ratio, metallic constant, or noble means[1]) of a natural number n is a positive real number, denoted here S n , {\displaystyle S_{n},} that satisfies the following equivalent characterizations:

  • the unique positive real number x {\displaystyle x} such that x = n + 1 x {\textstyle x=n+{\frac {1}{x}}}
  • the positive root of the quadratic equation x 2 n x 1 = 0 {\displaystyle x^{2}-nx-1=0}
  • the number n + n 2 + 4 2 {\textstyle {\frac {n+{\sqrt {n^{2}+4}}}{2}}}
  • the number whose expression as a continued fraction is
    [ n ; n , n , n , n , ] = n + 1 n + 1 n + 1 n + 1 n + {\displaystyle [n;n,n,n,n,\dots ]=n+{\cfrac {1}{n+{\cfrac {1}{n+{\cfrac {1}{n+{\cfrac {1}{n+\ddots \,}}}}}}}}}

Metallic means are generalizations of the golden ratio ( n = 1 {\displaystyle n=1} ) and silver ratio ( n = 2 {\displaystyle n=2} ), and share some of their interesting properties. The term "bronze ratio" ( n = 3 {\displaystyle n=3} ), and terms using other metals names (such as copper or nickel), are occasionally used to name subsequent metallic means.[2] [3]

In terms of algebraic number theory, the metallic means are exactly the real quadratic integers that are greater than 1 {\displaystyle 1} and have 1 {\displaystyle -1} as their norm.

The defining equation x 2 n x 1 = 0 {\displaystyle x^{2}-nx-1=0} of the nth metallic mean is the characteristic equation of a linear recurrence relation of the form x k = n x k 1 + x k 2 . {\displaystyle x_{k}=nx_{k-1}+x_{k-2}.} It follows that, given such a recurrence the solution can be expressed as

x k = a S n k + b ( 1 S n ) k , {\displaystyle x_{k}=aS_{n}^{k}+b\left({\frac {-1}{S_{n}}}\right)^{k},}

where S n {\displaystyle S_{n}} is the nth metallic mean, and a and b are constants depending only on x 0 {\displaystyle x_{0}} and x 1 . {\displaystyle x_{1}.} Since the inverse of a metallic mean is less than 1, this formula implies that the quotient of two consecutive elements of such a sequence tends to the metallic mean, when k tends to the infinity.

For example, if n = 1 , {\displaystyle n=1,} S n {\displaystyle S_{n}} is the golden ratio. If x 0 = 0 {\displaystyle x_{0}=0} and x 1 = 1 , {\displaystyle x_{1}=1,} the sequence is the Fibonacci sequence, and the above formula is Binet's formula. If n = 1 , x 0 = 2 , x 1 = 1 {\displaystyle n=1,x_{0}=2,x_{1}=1} one has the Lucas numbers. If n = 2 , {\displaystyle n=2,} the metallic mean is called the silver ratio, and the elements of the sequence starting with x 0 = 0 {\displaystyle x_{0}=0} and x 1 = 1 {\displaystyle x_{1}=1} are called the Pell numbers. The third metallic mean is sometimes called the "bronze ratio".

Geometry

If one removes n largest possible squares from a rectangle with ratio length/width equal to the nth metallic mean, one gets a rectangle with the same ratio length/width (in the figures, n is the number of dotted lines).
Golden ratio within the pentagram (φ = red/ green = green/blue = blue/purple) and silver ratio within the octagon.

The defining equation x = n + 1 x {\textstyle x=n+{\frac {1}{x}}} of the nth metallic mean induces the following geometrical interpretation.

Consider a rectangle such that the ratio of its length L to its width W is the nth metallic ratio. If one remove from this rectangle n squares of side length W, one gets a rectangle similar to the original rectangle; that is, a rectangle with the same ratio of the length to the width (see figures).

The nth metallic ratio is the arithmetic mean of the hypothenuse and the shortest leg of a right triangle with side lengths of 2 and n. This results from the value n + n 2 + 4 2 {\displaystyle {\frac {n+{\sqrt {n^{2}+4}}}{2}}} and the Pythagorean theorem.

Some metallic means appear as segments in the figure formed by a regular polygon and its diagonals. This is in particular the case for the golden ratio and the pentagon, and for the silver ratio and the octagon see figures

Powers


Denoting by S m {\displaystyle S_{m}} the metallic mean of m one has

S m n = K n S m + K n 1 , {\displaystyle S_{m}^{n}=K_{n}S_{m}+K_{n-1},}

where the numbers K n {\displaystyle K_{n}} are defined recursively by the initial conditions K0 = 0 and K1 = 1, and the recurrence relation

K n = m K n 1 + K n 2 . {\displaystyle K_{n}=mK_{n-1}+K_{n-2}.}

Proof: The equality is immediately true for n = 1. {\displaystyle n=1.} The recurrence relation implies K 2 = m , {\displaystyle K_{2}=m,} which makes the equality true for k = 2. {\displaystyle k=2.} Supposing the equality true up to n 1 , {\displaystyle n-1,} one has

S m n = m S m n 1 + S m n 2 (defining equation) = m ( K n 1 S n + K n 2 ) + ( K n 2 S m + K n 3 ) (recurrence hypothesis) = ( m K n 1 + K n 2 ) S n + ( m K n 2 + K n 3 ) (regrouping) = K n S m + K n 1 (recurrence on  K n ) . {\displaystyle {\begin{aligned}S_{m}^{n}&=mS_{m}^{n-1}+S_{m}^{n-2}&&{\text{(defining equation)}}\\&=m(K_{n-1}S_{n}+K_{n-2})+(K_{n-2}S_{m}+K_{n-3})&&{\text{(recurrence hypothesis)}}\\&=(mK_{n-1}+K_{n-2})S_{n}+(mK_{n-2}+K_{n-3})&&{\text{(regrouping)}}\\&=K_{n}S_{m}+K_{n-1}&&{\text{(recurrence on }}K_{n}).\end{aligned}}}

End of the proof.

One has also [citation needed]

K n = S m n + 1 ( m S m ) n + 1 m 2 + 4 . {\displaystyle K_{n}={\frac {S_{m}^{n+1}-(m-S_{m})^{n+1}}{\sqrt {m^{2}+4}}}.}

The odd powers of a metallic mean are themselves metallic means. More precisely, if n is an odd natural number, then S m n = S M n , {\displaystyle S_{m}^{n}=S_{M_{n}},} where M n {\displaystyle M_{n}} is defined by the recurrence relation M n = m M n 1 + M n 2 {\displaystyle M_{n}=mM_{n-1}+M_{n-2}} and the initial conditions M 0 = 2 {\displaystyle M_{0}=2} and M 1 = m . {\displaystyle M_{1}=m.}

Proof: Let a = S m {\displaystyle a=S_{m}} and b = 1 / S m . {\displaystyle b=-1/S_{m}.} The definition of metallic means implies that a + b = m {\displaystyle a+b=m} and a b = 1. {\displaystyle ab=-1.} Let M n = a n + b n . {\displaystyle M_{n}=a^{n}+b^{n}.} Since a n b n = ( a b ) n = 1 {\displaystyle a^{n}b^{n}=(ab)^{n}=-1} if n is odd, the power a n {\displaystyle a^{n}} is a root of x 2 M n 1 = 0. {\displaystyle x^{2}-M_{n}-1=0.} So, it remains to prove that M n {\displaystyle M_{n}} is an integer that satisfies the given recurrence relation. This results from the identity

a n + b n = ( a + b ) ( a n 1 + b n 1 ) a b ( a n 2 + a n 2 ) = m ( a n 1 + b n 1 ) + ( a n 2 + a n 2 ) . {\displaystyle {\begin{aligned}a^{n}+b^{n}&=(a+b)(a^{n-1}+b^{n-1})-ab(a^{n-2}+a^{n-2})\\&=m(a^{n-1}+b^{n-1})+(a^{n-2}+a^{n-2}).\end{aligned}}}

This completes the proof, given that the initial values are easy to verify.

In particular, one has

S m 3 = S m 3 + 3 m S m 5 = S m 5 + 5 m 3 + 5 m S m 7 = S m 7 + 7 m 5 + 14 m 3 + 7 m S m 9 = S m 9 + 9 m 7 + 27 m 5 + 30 m 3 + 9 m S m 11 = S m 11 + 11 m 9 + 44 m 7 + 77 m 5 + 55 m 3 + 11 m {\displaystyle {\begin{aligned}S_{m}^{3}&=S_{m^{3}+3m}\\S_{m}^{5}&=S_{m^{5}+5m^{3}+5m}\\S_{m}^{7}&=S_{m^{7}+7m^{5}+14m^{3}+7m}\\S_{m}^{9}&=S_{m^{9}+9m^{7}+27m^{5}+30m^{3}+9m}\\S_{m}^{11}&=S_{m^{11}+11m^{9}+44m^{7}+77m^{5}+55m^{3}+11m}\end{aligned}}}

and, in general,[citation needed]

S m 2 n + 1 = S M , {\displaystyle S_{m}^{2n+1}=S_{M},}

where

M = k = 0 n 2 n + 1 2 k + 1 ( n + k 2 k ) m 2 k + 1 . {\displaystyle M=\sum _{k=0}^{n}{{2n+1} \over {2k+1}}{{n+k} \choose {2k}}m^{2k+1}.}

For even powers, things are more complicate. If n is a positive even integer then[citation needed]

S m n S m n = 1 S m n . {\displaystyle {S_{m}^{n}-\left\lfloor S_{m}^{n}\right\rfloor }=1-S_{m}^{-n}.}

Additionally,[citation needed]

1 S m 4 S m 4 + S m 4 1 = S ( m 4 + 4 m 2 + 1 ) {\displaystyle {1 \over {S_{m}^{4}-\left\lfloor S_{m}^{4}\right\rfloor }}+\left\lfloor S_{m}^{4}-1\right\rfloor =S_{\left(m^{4}+4m^{2}+1\right)}}
1 S m 6 S m 6 + S m 6 1 = S ( m 6 + 6 m 4 + 9 m 2 + 1 ) . {\displaystyle {1 \over {S_{m}^{6}-\left\lfloor S_{m}^{6}\right\rfloor }}+\left\lfloor S_{m}^{6}-1\right\rfloor =S_{\left(m^{6}+6m^{4}+9m^{2}+1\right)}.}

Generalization

One may define the metallic mean S n {\displaystyle S_{-n}} of a negative integer n as the positive solution of the equation x 2 ( n ) 1. {\displaystyle x^{2}-(-n)-1.} The metallic mean of n is the multiplicative inverse of the metallic mean of n:

S n = 1 S n . {\displaystyle S_{-n}={\frac {1}{S_{n}}}.}

Another generalization consists of changing the defining equation from x 2 n x 1 = 0 {\displaystyle x^{2}-nx-1=0} to x 2 n x c = 0 {\displaystyle x^{2}-nx-c=0} . If

R = n ± n 2 + 4 c 2 , {\displaystyle R={\frac {n\pm {\sqrt {n^{2}+4c}}}{2}},}

is any root of the equation, one has

R n = c R . {\displaystyle R-n={\frac {c}{R}}.}

The silver mean of m is also given by the integral[citation needed]

S m = 0 m ( x 2 x 2 + 4 + m + 2 2 m ) d x . {\displaystyle S_{m}=\int _{0}^{m}{\left({x \over {2{\sqrt {x^{2}+4}}}}+{{m+2} \over {2m}}\right)}\,dx.}

Another form of the metallic mean is[citation needed]

n + n 2 + 4 2 = e a r s i n h ( n / 2 ) . {\displaystyle {\frac {n+{\sqrt {n^{2}+4}}}{2}}=e^{\operatorname {arsinh(n/2)} }.}

Numerical values

First metallic means[4][5]
N Ratio Value Name
0 0 + 4/2 1
1 1 + 5/2 1.618033989[a] Golden
2 2 + 8/2 2.414213562[b] Silver
3 3 + 13/2 3.302775638[c] Bronze
4 4 + 20/2 4.236067978[d]
5 5 + 29/2 5.192582404[e]
6 6 + 40/2 6.162277660[f]
7 7 + 53/2 7.140054945[g]
8 8 + 68/2 8.123105626[h]
9 9 + 85/2 9.109772229[i]
10 10+ 104/2 10.099019513[j]

See also

Notes

  1. ^ Sloane, N. J. A. (ed.). "Sequence A001622 (Decimal expansion of golden ratio phi (or tau) = (1 + sqrt(5))/2)". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.
  2. ^ OEIS: A014176, Decimal expansion of the silver mean, 1+sqrt(2).
  3. ^ OEIS: A098316, Decimal expansion of [3, 3, ...] = (3 + sqrt(13))/2.
  4. ^ OEIS: A098317, Decimal expansion of phi^3 = 2 + sqrt(5).
  5. ^ OEIS: A098318, Decimal expansion of [5, 5, ...] = (5 + sqrt(29))/2.
  6. ^ OEIS: A176398, Decimal expansion of 3+sqrt(10).
  7. ^ OEIS: A176439, Decimal expansion of (7+sqrt(53))/2.
  8. ^ OEIS: A176458, Decimal expansion of 4+sqrt(17).
  9. ^ OEIS: A176522, Decimal expansion of (9+sqrt(85))/2.
  10. ^ OEIS: A176537, Decimal expansion of (10+sqrt(104)/2.

References

  1. ^ M. Baake, U. Grimm (2013) Aperiodic order. Vol. 1. A mathematical invitation. With a foreword by Roger Penrose. Encyclopedia of Mathematics and its Applications, 149. Cambridge University Press, Cambridge, ISBN 978-0-521-86991-1.
  2. ^ de Spinadel, Vera W. (1999). "The metallic means family and multifractal spectra" (PDF). Nonlinear analysis, theory, methods and applications. 36 (6). Elsevier Science: 721–745.
  3. ^ de Spinadel, Vera W. (1998). Williams, Kim (ed.). "The Metallic Means and Design". Nexus II: Architecture and Mathematics. Fucecchio (Florence): Edizioni dell'Erba: 141–157.
  4. ^ Weisstein, Eric W. "Table of Silver means". MathWorld.
  5. ^ "An Introduction to Continued Fractions: The Silver Means", maths.surrey.ac.uk.

Further reading

  • Stakhov, Alekseĭ Petrovich (2009). The Mathematics of Harmony: From Euclid to Contemporary Mathematics and Computer Science, p. 228, 231. World Scientific. ISBN 9789812775832.

External links

  • Cristina-Elena Hrețcanu and Mircea Crasmareanu (2013). "Metallic Structures on Riemannian Manifolds", Revista de la Unión Matemática Argentina.
  • Rakočević, Miloje M. "Further Generalization of Golden Mean in Relation to Euler's 'Divine' Equation", Arxiv.org.