lean_workbook_plus_63312

Proved

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

Find the zeros for the polynomial $f(x) = x^4 -4x^3 -9x^2 +36x$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_63312 (f : ℝ → ℝ) (x : ℝ) : x^4 - 4*x^3 - 9*x^2 + 36*x = 0 ↔ x = -3 ∨ x = 0 ∨ x = 3 ∨ x = 4   :=  by sorry

Source