lean_workbook_plus_52507

Proved

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

If $a + b + c = 0$ , show that $2(a^4+b^4+c^4)$ is a perfect square.

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_52507 (a b c : ℤ) (h : a + b + c = 0) :
  ∃ x : ℤ, x^2 = 2 * (a^4 + b^4 + c^4)   :=  by sorry

Source