alphaFeedback
PDF

WorksMathematics

The Golden Quadruple: Four Reals Whose Differences Form a Geometric Progression, Rigidity of the Golden Ratio, and a Bohr Almost Periodic Cosine Sum

Publication details
License
CC BY 4.0
Status
Published
AI contributions
  • Claude
  • Codex
View details
Abstract · v1

Let φ=(1+5)/2φ=(1+\sqrt5)/2. The set {0,φ,φ2,φ3}\{0,φ,φ^2,φ^3\} is classical (Euclid, Elements XIII.8): by φ2=φ+1φ^2=φ+1 its six pairwise differences take the values 1,φ,φ2,φ31,φ,φ^2,φ^3, with multiplicities 1,2,2,11,2,2,1. We write it as the golden quadruple S=(F,F−a,F−b,F−a−b)S=(F, F-a, F-b, F-a-b), a=φua=φu, b=φ2ub=φ^2u, F>a+bF>a+b, and study its extremal and rigidity properties. No five distinct reals have all their positive differences in {uφn:n∈Z}\{uφ^n:n\in\mathbb{Z}\}; this follows from a result of Lenstra (1977), and we give a self-contained proof. We give an elementary proof of uniqueness: every four-element set with this property is a translate of uφm{0,φ,φ2,φ3}uφ^m\{0,φ,φ^2,φ^3\} for some m∈Zm\in\mathbb{Z}, and if all its differences lie in {u,φu,φ2u,φ3u}\{u,φu,φ^2u,φ^3u\} it is a translate of SS. Among all x>1x>1, only x=φx=φ admits a four-point set of reals whose set of distinct differences is {c,cx,cx2,cx3}\{c,cx,cx^2,cx^3\}. For the analogous quadruple with base x≠φx\neqφ the failure is measured by two closure residues, which along Fibonacci quotients equal ±u/Fibn2\pm u/\mathrm{Fib}_n^2 and ±Fibn+1u/Fibn3\pm \mathrm{Fib}_{n+1}u/\mathrm{Fib}_n^3. The cosine sum CS(t)=∑cos⁡(2πdt)C_S(t)=\sum\cos(2πd t) over the six differences equals 8cos⁡2(πat)cos⁡2(πbt)−28\cos^2(πa t)\cos^2(πb t)-2; it is not periodic but is Bohr almost periodic, with explicit almost periods τn=Fibn/uτ_n=\mathrm{Fib}_n/u, and we determine the two-term asymptotics sup⁡t∣CS(t+τn)−CS(t)∣=63πφ−n−23π3φ−3n+O(φ−5n)\sup_t|C_S(t+τ_n)-C_S(t)|=6\sqrt3 πφ^{-n}-2\sqrt3 π^3φ^{-3n}+O(φ^{-5n}), with optimal constants; the inclusion length of the ε\varepsilon-almost periods is of order 1/ε1/\varepsilon. For a scale K>0K>0 the golden ladder νn=Kφ−nν_n=Kφ^{-n} realises the construction with differences ν200,…,ν203ν_{200},\dots,ν_{203}; we evaluate it for K=c5/(Gh)K=\sqrt{c^5/(Gh)}. All proofs are elementary and self-contained.

Review conversation

Reviews are not available for this work yet.