City Zhautykov 2023 Grade 8 Problem 7

Complex $x$ satisfies $x ^ 2 + x + 1 = 0$. Find the value of $x^{2023}+ \frac{1}{x^{2023}}$.

The problem statement differs from the original one in using complex $x$ instead of real.

import Mathlib.Data.Complex.Basic

def answer : ℂ := sorry

theorem solution (x : ℂ) (h : x ^ 2 + x + 1 = 0) : x ^ 2023 + 1 / x ^ 2023 = answer := sorry

Submit Solution

Login to submit a solution.

Recent Submissions