lean_workbook_plus_33497

Disproved

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

Prove that \n\n $\frac{a^2+b^2}{a+b}+\frac{c^2+a^2}{c+a}+\frac{b^2+c^2}{b+c}\geq a+b+c$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_33497 : ∀ a b c : ℝ, (a^2 + b^2) / (a + b) + (c^2 + a^2) / (c + a) + (b^2 + c^2) / (b + c) ≥ a + b + c   :=  by sorry

Source