Metallic mean
The metallic mean of a natural number is a positive real number, denoted here that satisfies the following equivalent characterizations:
- the unique positive real number such that
- the positive root of the quadratic equation
- the number
- the number whose expression as a continued fraction is
- :
In terms of algebraic number theory, the metallic means are exactly the real quadratic integers that are greater than and have as their norm.
The defining equation of the th metallic mean is the characteristic equation of a linear recurrence relation of the form It follows that, given such a recurrence the solution can be expressed as
where is the th metallic mean, and and are constants depending only on and Since the inverse of a metallic mean is less than, this formula implies that the quotient of two consecutive elements of such a sequence tends to the metallic mean, when tends to the infinity.
For example, if is the golden ratio. If and the sequence is the Fibonacci sequence, and the above formula is Binet's formula. If one has the Lucas numbers. If the metallic mean is called the silver ratio, and the elements of the sequence starting with and are called the Pell numbers.
Geometry
The defining equation of the th metallic mean induces the following geometrical interpretation.Consider a rectangle such that the ratio of its length to its width is the th metallic ratio. If one remove from this rectangle squares of side length, one gets a rectangle similar to the original rectangle; that is, a rectangle with the same ratio of the length to the width.
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 the metallic mean of m one haswhere the numbers are defined recursively by the initial conditions and,
and the recurrence relation
Proof: The equality is immediately true for The recurrence relation implies which makes the equality true for Supposing the equality true up to one has
End of the proof.
One has also
The odd powers of a metallic mean are themselves metallic means. More precisely, if is an odd natural number, then where is defined by the recurrence relation and the initial conditions and
Proof: Let and The definition of metallic means implies that and Let Since if is odd, the power is a root of So, it remains to prove that is an integer that satisfies the given recurrence relation. This results from the identity
This completes the proof, given that the initial values are easy to verify.
In particular, one has
and, in general,
where
For even powers, things are more complicated. If is a positive even integer then
Additionally,
For the square of a metallic ratio we have:
where lies strictly between and. Therefore
Generalization
One may define the metallic mean of a negative integer as the positive solution of the equation The metallic mean of is the multiplicative inverse of the metallic mean of :Another generalization consists of changing the defining equation from to. If
is any root of the equation, one has
The silver mean of m is also given by the integral
Another form of the metallic mean is
Relation to half-angle cotangent
A tangent half-angle formula giveswhich can be rewritten as
That is, for the positive value of, the metallic mean
which is especially meaningful when is a positive integer, as it is with some Pythagorean triangles.
Relation to Pythagorean triples
For a primitive Pythagorean triple,, with positive integers that are relatively prime, if the difference between the hypotenuse and longer leg 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.More precisely, for a primitive Pythagorean triple with, the smaller acute angle satisfies
When, we will always get that
is an integer and that
the -th metallic mean.
The reverse direction also works. For, the primitive Pythagorean triple that gives the -th metallic mean is given by if is a multiple of 4, is given by if is even but not a multiple of 4, and is given by if is odd. For example, the primitive Pythagorean triple gives the 5th metallic mean; gives the 6th metallic mean; gives the 7th metallic mean; gives the 8th metallic mean; and so on.