lean_workbook_plus_65776

Proved

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

Calculate the minimum value of the function $f(x) = x^2+2xy+3y^2+2x+6y+4$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_65776 (x y : ℝ) : x^2 + 2 * x * y + 3 * y^2 + 2 * x + 6 * y + 4 ≥ 1   :=  by sorry

Source