Maths Olympiad Prep

Track / Stage 5 / 321 of 400 #921 of 1964

Problem 921

AIME late
Algebra Difficulty 5.8 Find the answer

Example 1 Given that pp is a prime number greater than 3. Find
k=1p(1+2cos2kπp) \prod_{k=1}^{p}\left(1+2 \cos \frac{2 k \pi}{p}\right)

(2012, Tsinghua University Mathematics Autumn Camp Test)

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Official solution

【Analysis】This is an application problem of roots of unity. The key is to first express cos2kπp\cos \frac{2 k \pi}{p} using roots of unity, and then use the properties of roots of unity for calculation.
Let ε=e2πxp\varepsilon=\mathrm{e}^{\frac{2 \pi x}{p}}. Then
εp=1,εp2=eπi=1,2cos2kπp=εk+εk. Hence k=1p(1+2cos2kπp)=3k=1p1(1+εk+εk)=3k=1p1(1+εk+ε2k)k=1p1εk=3k=1p1(1+εk+ε2k)ε2x112=3k=1p1(1+εk+ε2k)=3k=1n1(1ε3k)(1εk). \begin{array}{l} \varepsilon^{p}=1, \varepsilon^{\frac{p}{2}}=\mathrm{e}^{-\pi \mathrm{i}}=-1, \\ 2 \cos \frac{2 k \pi}{p}=\varepsilon^{k}+\varepsilon^{-k} . \\ \text { Hence } \prod_{k=1}^{p}\left(1+2 \cos \frac{2 k \pi}{p}\right) \\ =3 \prod_{k=1}^{p-1}\left(1+\varepsilon^{k}+\varepsilon^{-k}\right) \\ =\frac{3 \prod_{k=1}^{p-1}\left(1+\varepsilon^{k}+\varepsilon^{2 k}\right)}{\prod_{k=1}^{p-1} \varepsilon^{k}} \\ =\frac{3 \prod_{k=1}^{p-1}\left(1+\varepsilon^{k}+\varepsilon^{2 k}\right)}{\varepsilon^{\frac{2 x-11}{2}}} \\ =3 \prod_{k=1}^{p-1}\left(1+\varepsilon^{k}+\varepsilon^{2 k}\right) \\ =3 \prod_{k=1}^{n-1} \frac{\left(1-\varepsilon^{3 k}\right)}{\left(1-\varepsilon^{k}\right)} . \end{array}

Since the prime p>3p>3, we have (3,p)=1(3, p)=1.
Thus, 3,3×2,,3(p1)3,3 \times 2, \cdots, 3(p-1) exactly cover all non-zero residue classes of pp.
Therefore, k=1p1(1ε3k)=k=1p1(1εk)\prod_{k=1}^{p-1}\left(1-\varepsilon^{3 k}\right)=\prod_{k=1}^{p-1}\left(1-\varepsilon^{k}\right).
Hence, k=1p(1+2cos2kπp)=3\prod_{k=1}^{p}\left(1+2 \cos \frac{2 k \pi}{p}\right)=3.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.