lean_workbook_plus_61201

Disproved

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

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

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

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

Source