<p>If \(f(x) + f(\alpha x) + f(\alpha^2 x) + \cdots + f(\alpha^6 x) = 7A_0 + \sum_{k=1}^{20} A_k x^k \left(1 + \alpha^k + \cdots + \alpha^{6k}\right)\), where \(\alpha\) is a 7th root of unity and \(\alpha \neq 1\), then for \(k \neq 7\) and \(k \neq 14\), \(1 + \alpha^k + \alpha^{2k} + \cdots + \alpha^{6k} = 0\). Hence \(f(x) + f(\alpha x) + \cdots + f(\alpha^6 x) = 7(A_0 + A_7 x^7 + A_{14} x^{14})\). What is the value of \(k\) such that the expression equals \(7(A_0 + A_7 x^7 + A_{14} x^{14})\)?</p>
Step-by-Step Solution
Key Concept: When α is a primitive 7th root of unity, the sum 1 + α^k + α^(2k) + ... + α^(6k) equals 7 if k is a multiple of 7, and equals 0 otherwise. This is because the sum of all 7th roots of unity equals 0, and we're essentially evaluating a geometric series at roots of unity.
<p><strong>Step 1:</strong> Recognize that α is a primitive 7th root of unity, so α^7 = 1 and 1 + α + α^2 + ... + α^6 = 0.</p><p><strong>Step 2:</strong> For the geometric series S_k = 1 + α^k + α^(2k) + ... + α^(6k), this equals (1 - α^(7k))/(1 - α^k).</p><p><strong>Step 3:</strong> Since α^7 = 1, we have α^(7k) = 1 for all integer k. Therefore:</p><ul><li>If k ≢ 0 (mod 7): Then α^k ≠ 1, so S_k = (1-1)/(1-α^k) = 0</li><li>If k ≡ 0 (mod 7): Then α^k = 1, so S_k = 7 (sum of seven 1's)</li></ul><p><strong>Step 4:</strong> In the range k = 1 to 20, only k = 7 and k = 14 satisfy k ≡ 0 (mod 7), making their geometric series equal to 7.</p><p><strong>Step 5:</strong> All other terms vanish, leaving only f(x) + f(αx) + ... + f(α^6x) = 7(A_0 + A_7x^7 + A_14x^14).</p><p><strong>Step 6:</strong> The coefficient 7 arises from the geometric series evaluation at multiples of 7.</p><p>∴ Answer: <strong>7</strong></p>
Correct Answer: 7