Cost Frequency Ladder Phi Is Self Similar

The self-similar ratio

The golden ratio, usually written φ, is the positive number that satisfies φ² = φ + 1. Dividing both sides by φ gives the equivalent form φ = 1 + 1/φ, which is why the number is called self-similar: it is unchanged by the operation of adding one to its own reciprocal. Its decimal expansion begins 1.6180339887, and it is irrational, meaning it cannot be written as a fraction of two whole numbers. The ancient Greeks knew it as the extreme and mean ratio, the proportion that divides a line so that the whole is to the longer part as the longer part is to the shorter. It appears in the regular pentagon, where the diagonal is φ times the side, and in the Fibonacci sequence, where the ratio of successive terms approaches φ as the sequence grows.

The defining equation r² = r + 1 has exactly one positive solution. The negative solution is 1 − φ, approximately −0.618. This uniqueness is elementary: if r is positive and satisfies the equation, then subtracting φ² = φ + 1 from r² = r + 1 gives (r − φ)(r + φ) = r − φ, which simplifies to (r − φ)(r + φ − 1) = 0. Since r is positive and φ is greater than 1, the second factor r + φ − 1 is strictly positive, so the first factor must vanish and r = φ. No other positive number has the self-similar property.

In Recognition Science, a framework that derives structure from the cost of maintaining a discrete record of events, the golden ratio plays a specific role in a frequency ladder. The framework assigns a cost, a penalty measured by the function J(r) = ½(r + 1/r) − 1, to any positive ratio r between two frequencies. This cost is zero when the ratio is 1, meaning equal frequencies cost nothing, and it is always non-negative for positive ratios. The framework then asks which ratio is the cheapest non-trivial step up from a given frequency f. The answer, proved in its machine-checked library of formal theorems, is that the minimal-cost non-trivial ratio is φ itself. The declaration phi_is_self_similar establishes that φ satisfies the defining equation r² = r + 1, and the companion theorem phi_unique_self_similar proves that it is the only positive number that does.

Concretely, for any positive frequency f, the first φ-harmonic is f × φ. The framework proves that this is the unique first harmonic of f: any other positive ratio r that is self-similar must equal φ, so the step from f to f × φ is the only non-trivial resonance that the cost function selects. This result is what lets the framework name f × φ the first rung of a φ-ladder, a scale-invariant step that repeats at every frequency. The proof is short and relies only on the defining equation and the positivity of φ, not on any additional physical assumption.

What the declaration does not claim is broader than what it does. It does not say that φ is the only ratio with low cost; many ratios have cost close to zero, and the uniqueness applies only within the self-similarity equation. It does not say that the φ-harmonic is the only resonance a physical system can have, only that it is the minimal-cost non-trivial one in this framework. And it does not claim that the golden ratio is special in all of mathematics or physics; it is special here because the cost function and the self-similarity equation single it out.

/-- φ is a self-similar ratio. -/
theorem phi_is_self_similar : IsSelfSimilarRatio phi := phi_sq_eq

/-- φ is the UNIQUE positive self-similar ratio.
    Proof: r² = r + 1 and φ² = φ + 1 give (r−φ)(r+φ) = r−φ,
    so (r−φ)(r+φ−1) = 0. Since r > 0 and φ > 1, r+φ−1 > 0,
    so r = φ. -/
theorem phi_unique_self_similar {r : ℝ} (hr_pos : 0 < r)
    (hr_ss : IsSelfSimilarRatio r) : r = phi := by
  unfold IsSelfSimilarRatio at hr_ss
  have hphi_sq := phi_sq_eq
  have hphi_pos := phi_pos
  have hphi_gt1 := one_lt_phi
  have hdiff : (r - phi) * (r + phi - 1) = 0 := by nlinarith
  rcases mul_eq_zero.mp hdiff with h | h
  · linarith
  · exfalso; nlinarith

/-- The φ-harmonic is forced for any positive frequency. -/
noncomputable def phi_harmonic_forced {f : ℝ} (hf : 0 < f) : PhiHarmonicForced f where
  harmonic := f * phi
  harmonic_eq := rfl
  ratio_is_phi := by rw [mul_div_cancel_left₀ _ (ne_of_gt hf)]
  ratio_self_similar := by
    rw [mul_div_cancel_left₀ _ (ne_of_gt hf)]
    exact phi_is_self_similar
  ratio_unique := fun r hr_pos hr_ss => phi_unique_self_similar hr_pos hr_ss

/-- The φ-harmonic is forced for any positive frequency. -/
noncomputable def phi_harmonic_forced {f : ℝ} (hf : 0 < f) : PhiHarmonicForced f where
  harmonic := f * phi
  harmonic_eq := rfl
  ratio_is_phi := by rw [mul_div_cancel_left₀ _ (ne_of_gt hf)]
  ratio_self_similar := by
    rw [mul_div_cancel_left₀ _ (ne_of_gt hf)]
    exact phi_is_self_similar
  ratio_unique := fun r hr_pos hr_ss => phi_unique_self_similar hr_pos hr_ss

What this page does not claim

The declaration does not claim φ is the only ratio with low cost, only the unique positive solution to r² = r + 1. It does not claim the φ-harmonic is the only resonance a physical system can have. It does not claim the golden ratio is special in all of mathematics or physics, only in this framework.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Cost/FrequencyLadder.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: