lean_workbook_plus_60054

Disproved

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

the eqn looks like $x^{3} + y^{3} + z^{3} -3xyz= (xyz)(x^{2} + y^{2} + z^{2}) + (x+y+z)(- xy -yz -zx)$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_60054 : ∀ x y z : ℤ, x^3 + y^3 + z^3 - 3*x*y*z = (x*y*z)*(x^2 + y^2 + z^2) + (x + y + z)*(-x*y - y*z - z*x)   :=  by sorry

Source