lean_workbook_plus_56295

Disproved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

$\frac {1}{bc} - \frac {1}{b(a + b)} - \frac {1}{c(a + c)} = \frac {2}{(a + b + c)^2}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_56295 : ∀ a b c : ℝ, (1 / (b * c) - 1 / (b * (a + b)) - 1 / (c * (a + c)) = 2 / (a + b + c) ^ 2)   :=  by sorry

Source