MathDB
bashing out 3^7 terms

Source: 2023 AIME II/8

February 16, 2023
AMCAIMEAIME II

Problem Statement

Let ω=cos2π7+isin2π7\omega=\cos\frac{2\pi}{7}+i\cdot\sin\frac{2\pi}{7}, where i=1i=\sqrt{-1}. Find k=06(ω3k+ωk+1).\prod_{k=0}^{6}(\omega^{3k}+\omega^k+1).