def
definition
hypothesis1
show as:
view math explainer →
open explainer
Generate a durable explainer page for this declaration.
open lean source
IndisputableMonolith.StandardModel.WZMassRatio on GitHub at line 78.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
used by
formal source
75 √(1 - 1/φ²) = √(1 - 0.382) = √0.618 ≈ 0.786
76
77 This is too small compared to observed 0.881. -/
78noncomputable def hypothesis1 : ℝ := Real.sqrt (1 - 1/phi^2)
79
80/-- Hypothesis 2: cos(θ_W) = (φ + 1) / (φ + 2)
81
82 (1.618 + 1) / (1.618 + 2) = 2.618 / 3.618 ≈ 0.724
83
84 This is also too small. -/
85noncomputable def hypothesis2 : ℝ := (phi + 1) / (phi + 2)
86
87/-- Hypothesis 3: cos(θ_W) = φ / √(φ² + 1)
88
89 1.618 / √(2.618 + 1) = 1.618 / 1.902 ≈ 0.851
90
91 Getting closer! -/
92noncomputable def hypothesis3 : ℝ := phi / Real.sqrt (phi^2 + 1)
93
94/-- Hypothesis 4: cos(θ_W) = √(1 - 1/(φ² + 1))
95
96 √(1 - 1/3.618) = √(1 - 0.276) = √0.724 ≈ 0.851
97
98 Same as hypothesis 3. -/
99noncomputable def hypothesis4 : ℝ := Real.sqrt (1 - 1/(phi^2 + 1))
100
101/-- Hypothesis 5: cos(θ_W) = √(1 - 1/(2φ + 1))
102
103 √(1 - 1/4.236) = √(1 - 0.236) = √0.764 ≈ 0.874
104
105 Very close to observed 0.881! -/
106noncomputable def hypothesis5 : ℝ := Real.sqrt (1 - 1/(2*phi + 1))
107
108/-- Hypothesis 6: A more complex φ-expression.