lean_workbook_plus_50451
ProvedIf . Prove that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_50451 (a b c : ℝ) (h : a + b + c = 0) : (a^2 + b^2 + c^2)^2 = 2 * (a^4 + b^4 + c^4) := by sorry
Source
If . Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_50451 (a b c : ℝ) (h : a + b + c = 0) : (a^2 + b^2 + c^2)^2 = 2 * (a^4 + b^4 + c^4) := by sorry