lean_workbook_plus_59436

import Mathlib.Analysis.Complex.Basic

theorem lean_workbook_plus_59436 : ∀ a b c : ℝ, a > 0 ∧ b > 0 ∧ c > 0 ∧ a + b > c ∧ a + c > b ∧ b + c > a → a^2 + (b - a) * (c - a) > 0   :=  by sorry