lean_workbook_plus_5456
ProvedFind the value of given and .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_5456 (x : ℂ) (hx1 : x^2 + x + 1 = 0) (hx2 : x^3 = 1) : x^2015 + x^2016 = -x := by sorry
Source
Find the value of given and .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_5456 (x : ℂ) (hx1 : x^2 + x + 1 = 0) (hx2 : x^3 = 1) : x^2015 + x^2016 = -x := by sorry