Chemistry Solvation Shells From Config Dim Shell Radius

The shell radius definition

In chemistry, solvation shells are the layers of solvent molecules that arrange themselves around a dissolved ion. For an ionic solute in water, a common picture distinguishes five such layers: the primary hydration shell directly touching the ion, the secondary and tertiary shells beyond it, a bulk-boundary layer, and finally the far bulk. The Recognition Science framework models these five layers as a discrete set of shells, and its declaration shellRadius assigns each shell a radius using a simple rule.

The rule is a geometric progression. The radius of the k-th shell is defined as phi raised to the power k, where phi is the golden ratio, approximately 1.618. The framework proves that the ratio of any shell's radius to the one before it is exactly phi, and that every radius is positive. This means the shells are spaced by a constant multiplicative factor, each one about 1.618 times farther from the ion than the previous one. The framework's machine-checked library of formal theorems verifies these two properties as theorems, not assumptions.

The definition itself is a model, not a measurement. It chooses the golden ratio as the spacing factor because of the framework's broader results, where phi emerges as a self-similar scaling constant. The framework does not claim that real water shells follow this exact spacing, nor that the number five is derived from experiment. The five-shell structure and the phi spacing are a definitional choice within the framework, a way to represent solvation layers in its own terms. The proof that the ratio is phi follows from the definition; it does not establish that actual hydration shells in a laboratory obey this pattern.

What the declaration does establish is internal consistency. Given the choice to model five shells with radii as powers of phi, the framework proves the spacing ratio and positivity as formal theorems. This gives the model a clean mathematical backbone. It leaves open, as a separate empirical question, whether real solvation shells match this geometric ladder. The value of the declaration is that it fixes a precise, checkable structure; the cost is that it says nothing about physical water without additional experimental grounding.

noncomputable def shellRadius (k : ℕ) : ℝ := phi ^ k

theorem shellRadius_ratio (k : ℕ) : shellRadius (k + 1) / shellRadius k = phi := by
  unfold shellRadius
  have hpos : (0 : ℝ) < phi ^ k := pow_pos phi_pos k
  rw [div_eq_iff hpos.ne', pow_succ]
  ring

theorem shellRadius_pos (k : ℕ) : 0 < shellRadius k := pow_pos phi_pos k

What this page does not claim

The declaration does not claim that real solvation shells in water follow a phi-spacing pattern. It does not derive the number five from any physical measurement. It does not establish that the golden ratio is the observed spacing in laboratory hydration studies.

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/Chemistry/SolvationShellsFromConfigDim.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: