VOOZH about

URL: https://en.wikipedia.org/wiki/Metallic_mean

⇱ Metallic mean - Wikipedia


Jump to content
From Wikipedia, the free encyclopedia
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 mean[1]) of a natural number n is a positive real number, denoted here πŸ‘ {\displaystyle S_{n},}
that satisfies the following equivalent characterizations:

Metallic means are (successive) derivations of the golden (πŸ‘ {\displaystyle n=1}
) and silver ratios (πŸ‘ {\displaystyle n=2}
), and share some of their interesting properties. The term "bronze ratio" (πŸ‘ {\displaystyle n=3}
) (Cf. Golden Age and Olympic Medals) and even metals such as copper (πŸ‘ {\displaystyle n=4}
) and nickel (πŸ‘ {\displaystyle n=5}
) are occasionally found in the literature.[2][3][a]

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

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

πŸ‘ {\displaystyle x_{k}=aS_{n}^{k}+b\left({\frac {-1}{S_{n}}}\right)^{k},}

where πŸ‘ {\displaystyle S_{n}}
is the nth metallic mean, and a and b are constants depending only on πŸ‘ {\displaystyle x_{0}}
and πŸ‘ {\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 πŸ‘ {\displaystyle n=1,}
πŸ‘ {\displaystyle S_{n}}
is the golden ratio. If πŸ‘ {\displaystyle x_{0}=0}
and πŸ‘ {\displaystyle x_{1}=1,}
the sequence is the Fibonacci sequence, and the above formula is Binet's formula. If πŸ‘ {\displaystyle n=1,x_{0}=2,x_{1}=1}
one has the Lucas numbers. If πŸ‘ {\displaystyle n=2,}
the metallic mean is called the silver ratio, and the elements of the sequence starting with πŸ‘ {\displaystyle x_{0}=0}
and πŸ‘ {\displaystyle x_{1}=1}
are called the Pell numbers.

Geometry

[edit]
πŸ‘ Image
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 πŸ‘ {\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).

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

[edit]
This section does not cite any sources. Please help improve this section by adding citations to reliable sources. Unsourced material may be challenged and removed. (August 2020) (Learn how and when to remove this message)

Denoting by πŸ‘ {\displaystyle S_{m}}
the metallic mean of m one has

πŸ‘ {\displaystyle S_{m}^{n}=K_{n}S_{m}+K_{n-1},}

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

πŸ‘ {\displaystyle K_{n}=mK_{n-1}+K_{n-2}.}

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

πŸ‘ {\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]

πŸ‘ {\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 πŸ‘ {\displaystyle S_{m}^{n}=S_{M_{n}},}
where πŸ‘ {\displaystyle M_{n}}
is defined by the recurrence relation πŸ‘ {\displaystyle M_{n}=mM_{n-1}+M_{n-2}}
and the initial conditions πŸ‘ {\displaystyle M_{0}=2}
and πŸ‘ {\displaystyle M_{1}=m.}

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

πŸ‘ {\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

πŸ‘ {\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]

πŸ‘ {\displaystyle S_{m}^{2n+1}=S_{M},}

where

πŸ‘ {\displaystyle M=\sum _{k=0}^{n}{{2n+1} \over {2k+1}}{{n+k} \choose {2k}}m^{2k+1}.}

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

πŸ‘ {\displaystyle {S_{m}^{n}-\left\lfloor S_{m}^{n}\right\rfloor }=1-S_{m}^{-n}.}

Additionally,[citation needed]

πŸ‘ {\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)}}
πŸ‘ {\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)}.}

For the square of a metallic ratio we have:πŸ‘ {\displaystyle S_{m}^{2}=[m{\sqrt {m^{2}+4}}+(m+2)]/2=(p+{\sqrt {p^{2}+4}})/2}

where πŸ‘ {\displaystyle p=m{\sqrt {m^{2}+4}}}
lies strictly between πŸ‘ {\displaystyle m^{2}+1}
and πŸ‘ {\displaystyle m^{2}+2}
. Therefore

πŸ‘ {\displaystyle S_{m^{2}+1}<S_{m}^{2}<S_{m^{2}+2}}

Generalization

[edit]

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

πŸ‘ {\displaystyle S_{-n}={\frac {1}{S_{n}}}.}

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

πŸ‘ {\displaystyle R={\frac {n\pm {\sqrt {n^{2}+4c}}}{2}},}

is any root of the equation, one has

πŸ‘ {\displaystyle R-n={\frac {c}{R}}.}

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

πŸ‘ {\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[4]

πŸ‘ {\displaystyle {\frac {n+{\sqrt {n^{2}+4}}}{2}}=e^{\operatorname {arsinh(n/2)} }.}

Relation to half-angle cotangent

[edit]

A tangent half-angle formula gives πŸ‘ {\displaystyle \cot \theta ={\frac {\cot ^{2}{\frac {\theta }{2}}-1}{2\cot {\frac {\theta }{2}}}}}
which can be rewritten as πŸ‘ {\displaystyle \cot ^{2}{\frac {\theta }{2}}-(2\cot \theta )\cot {\frac {\theta }{2}}-1=0\,.}
That is, for the positive value of πŸ‘ {\textstyle \cot {\frac {\theta }{2}}}
, the metallic mean πŸ‘ {\displaystyle S_{2\cot \theta }=\cot {\frac {\theta }{2}}\,,}
which is especially meaningful when πŸ‘ {\textstyle 2\cot \theta }
is a positive integer, as it is with some Pythagorean triangles.

Relation to Pythagorean triples

[edit]
πŸ‘ Image
Metallic Ratios in Primitive Pythagorean Triangles

For a primitive Pythagorean triple, a2 + b2 = c2, with positive integers a < b < c that are relatively prime, if the difference between the hypotenuse c and longer leg b is 1, 2 or 8 then the Pythagorean triangle exhibits a metallic mean. Specifically, the cotangent of one quarter of the smaller acute angle of the Pythagorean triangle is a metallic mean.[5]

More precisely, for a primitive Pythagorean triple (a, b, c) with a < b < c, the smaller acute angle Ξ± satisfies πŸ‘ {\displaystyle \tan {\frac {\alpha }{2}}={\frac {c-b}{a}}\,.}
When c βˆ’ b ∈ {1, 2, 8}, we will always get that πŸ‘ {\displaystyle n=2\cot {\frac {\alpha }{2}}={\frac {2a}{c-b}}}
is an integer and that πŸ‘ {\displaystyle \cot {\frac {\alpha }{4}}=S_{n}\,,}
the n-th metallic mean.

The reverse direction also works. For n β‰₯ 5, the primitive Pythagorean triple that gives the n-th metallic mean is given by (n, n2/4 βˆ’ 1, n2/4 + 1) if n is a multiple of 4, is given by (n/2, (n2 βˆ’ 4)/8, (n2 + 4)/8) if n is even but not a multiple of 4, and is given by (4n, n2 βˆ’ 4, n2 + 4) if n is odd. For example, the primitive Pythagorean triple (20, 21, 29) gives the 5th metallic mean; (3, 4, 5) gives the 6th metallic mean; (28, 45, 53) gives the 7th metallic mean; (8, 15, 17) gives the 8th metallic mean; and so on.

Numerical values

[edit]
First metallic means[6][7]
n Ratio Value Name
πŸ‘ {\displaystyle n}
πŸ‘ {\displaystyle {\frac {n+{\sqrt {4+n^{2}}}}{2}}={\frac {n}{2}}+{\sqrt {1+\left({\frac {n}{2}}\right)^{2}}}}
0 πŸ‘ {\displaystyle {\frac {0+{\sqrt {4}}}{2}}=0+{\sqrt {1}}}
1
1 πŸ‘ {\displaystyle {\frac {1+{\sqrt {5}}}{2}}}
1.618033988...[8] Golden
2 πŸ‘ {\displaystyle {\frac {2+{\sqrt {8}}}{2}}=1+{\sqrt {2}}}
2.414213562...[9] Silver
3 πŸ‘ {\displaystyle {\frac {3+{\sqrt {13}}}{2}}}
3.302775637...[10] Bronze[11]
4 πŸ‘ {\displaystyle {\frac {4+{\sqrt {20}}}{2}}=2+{\sqrt {5}}}
4.236067977...[12] Copper[11][a]
5 πŸ‘ {\displaystyle {\frac {5+{\sqrt {29}}}{2}}}
5.192582403...[13] Nickel[11][a]
6 πŸ‘ {\displaystyle {\frac {6+{\sqrt {40}}}{2}}=3+{\sqrt {10}}}
6.162277660...[14]
7 πŸ‘ {\displaystyle {\frac {7+{\sqrt {53}}}{2}}}
7.140054944...[15]
8 πŸ‘ {\displaystyle {\frac {8+{\sqrt {68}}}{2}}=4+{\sqrt {17}}}
8.123105625...[16]
9 πŸ‘ {\displaystyle {\frac {9+{\sqrt {85}}}{2}}}
9.109772228...[17]
10 πŸ‘ {\displaystyle {\frac {10+{\sqrt {104}}}{2}}=5+{\sqrt {26}}}
10.099019513...[18]

Relation to Aperiodic Order

[edit]

The πŸ‘ {\displaystyle k}
-th metallic mean serves as the inflation ratio for one-dimensional substitution tilings, such as πŸ‘ {\displaystyle a\to a^{k}b}
and πŸ‘ {\displaystyle b\to a}
. These sequences exhibit long-range aperiodic order. By applying an interval removal process to these tilings, one can construct self-similar Cantor sets where the Hausdorff dimension is determined by the metallic mean scaling factor.[19]

See also

[edit]

Notes

[edit]
  1. ^ a b c This name appears to have originated from de Spinadel's paper.

References

[edit]
  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. ^ a b "Metallic means - OeisWiki". oeis.org. Retrieved 2025-07-31.
  5. ^ Rajput, Chetansing; Manjunath, Hariprasad (2024). "Metallic means and Pythagorean triples | Notes on Number Theory and Discrete Mathematics". Bulgarian Academy of Sciences.{{cite web}}: CS1 maint: numeric names: authors list (link)
  6. ^ Weisstein, Eric W. "Table of Silver means". MathWorld.
  7. ^ "An Introduction to Continued Fractions: The Silver Means", maths.surrey.ac.uk.
  8. ^ 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.
  9. ^ OEISA014176, Decimal expansion of the silver mean, 1+sqrt(2).
  10. ^ OEISA098316, Decimal expansion of [3, 3, ...] = (3 + sqrt(13))/2.
  11. ^ a b c "The Family of Metallic Means".
  12. ^ OEISA098317, Decimal expansion of phi^3 = 2 + sqrt(5).
  13. ^ OEISA098318, Decimal expansion of [5, 5, ...] = (5 + sqrt(29))/2.
  14. ^ OEISA176398, Decimal expansion of 3+sqrt(10).
  15. ^ OEISA176439, Decimal expansion of (7+sqrt(53))/2.
  16. ^ OEISA176458, Decimal expansion of 4+sqrt(17).
  17. ^ OEISA176522, Decimal expansion of (9+sqrt(85))/2.
  18. ^ OEISA176537, Decimal expansion of 5 + sqrt(26).
  19. ^ Hutchinson, John (1981). "Fractals and self similarity". Indiana University Mathematics Journal. 30 (5): 713. doi:10.1512/iumj.1981.30.30055. ISSN 0022-2518.

Further reading

[edit]
  • 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

[edit]