lean_workbook_plus_43160

Disproved

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

Prove that\nb) $\frac {a^{2}}{b + c} + \frac {b^{2}}{c + a} + \frac {c^{2}}{a + b} + a + b + c\geq\frac {3}{2}\sqrt {3(a^{2} + b^{2} + c^{2})}$ \n\nGood luck

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_43160 : ∀ a b c : ℝ, (a^2 / (b + c) + b^2 / (c + a) + c^2 / (a + b) + a + b + c) ≥ (3 / 2) * Real.sqrt (3 * (a^2 + b^2 + c^2))   :=  by sorry

Source

https://huggingface.co/datasets/internlm/Lean-Workbook

View graph