lean_workbook_plus_12969

Disproved

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

Prove that $\frac{1}{(a-b)^2} + \frac{1}{(b-c)^2} + \frac{1}{(c-a)^2} \geqslant \frac{9}{4}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_12969 : ∀ a b c : ℝ, (1 / (a - b) ^ 2 + 1 / (b - c) ^ 2 + 1 / (c - a) ^ 2) ≥ 9 / 4   :=  by sorry

Source