lean_workbook_plus_77497

Disproved

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

prove $\frac{b^2+c^2}{b+c}+\frac{c^2+a^2}{c+a}+\frac{a^2+b^2}{a+b}\geq a+b+c$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

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

Source