`ammoniaAnglePrediction`

definition

show as: view math explainer →

module: IndisputableMonolith.Chemistry.BondAngles
domain: Chemistry
line: 150 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Chemistry.BondAngles on GitHub at line 150.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

 147
 148/-- Ammonia (NH₃) bond angle is between water and tetrahedral.
 149    Observed: 107°. -/
 150def ammoniaAnglePrediction : ℝ := tetrahedralAngleDegrees - 2.5  -- One LP
 151
 152/-! ## Falsification Criteria
 153
 154The tetrahedral angle derivation is falsifiable:
 155
 1561. **Cosine value**: If cos(tetrahedral angle) ≠ -1/3 for sp³ carbon
 157
 1582. **Trend violation**: If bond angle doesn't decrease with lone pairs:
 159   CH₄ (109.5°) > NH₃ (107°) > H₂O (104.5°)
 160
 1613. **Formula violation**: If cos(θ) ≠ -1/(n-1) for other geometries
 162-/
 163
 164end
 165
 166end Chemistry
 167end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.