lean_workbook_plus_33866
ProvedThe sum of two numbers is ; their product is . The sum of their reciprocals is:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_33866 (x y : ℝ) (h₁ : x + y = 10) (h₂ : x*y = 20) : x⁻¹ + y⁻¹ = 0.5 := by sorry
Source