lean_workbook_plus_16203
ProvedLet be integer numbers such that . Show that there exist infinitely many positive integers such that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_16203 (a b c : ℤ) (h : (a+b+c) ∣ (a^2+b^2+c^2)) : ∃ n : ℕ, (a+b+c) ∣ (a^n+b^n+c^n) := by sorry
Source