lean_workbook_plus_50738

Disproved

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

$\frac {b}{1+ca}+\frac {c}{1+ab}=1-\frac{ca}{b+ca}+1-\frac{ab}{c+ab}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

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

Source