Prove2Me

lean_workbook_plus_32903

Proved

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

If b+c=0b+c=0, prove that a2n+1+b2n+1+c2n+1=(a+b+c)2n+1a^{2n+1}+b^{2n+1}+c^{2n+1}=(a+b+c)^{2n+1}.

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_32903 (n : ℕ) (a b c : ℤ) (h : b + c = 0) :
  a^(2 * n + 1) + b^(2 * n + 1) + c^(2 * n + 1) = (a + b + c)^(2 * n + 1)   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph