lean_workbook_plus_30901
Proved.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_30901 (a b c k : ℝ) : k + 2 = 2 * (a + b + c) / a → 2 / (k + 2) = a / (a + b + c) := by sorry
Source
.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_30901 (a b c k : ℝ) : k + 2 = 2 * (a + b + c) / a → 2 / (k + 2) = a / (a + b + c) := by sorry