Difference between revisions of "2024 SSMO Speed Round Problems/Problem 10"
(→Solution) |
(→Solution) |
||
Line 7: | Line 7: | ||
Since <math>(a_i)^7 = (a_i)^3 - 2</math> for all <math>1 \leq i \leq 7</math>, since these are roots to the equation, we have that <cmath>\prod_{i=1}^{7} (a_i)^7 + 1 = \prod_{i=1}^{7} (a_i)^3 - 1 = \prod_{i=1}^{7} (a_i-1)(a_i-w)(a_i-w^2)</cmath> where <math>w</math> is a third root of unity. Let <math>f(x) = x^7 - x^3 + 2 = \prod_{i=1}^{7} (x-a_i)</math> and break the above products into <math>3</math> separate products, we have that <cmath>\prod_{i=1}^{7} (a_i-1)(a_i-w)(a_i-w^2) = -\prod_{i=1}^{7} (1-a_i)(w-a_i)(w^2-a_1) = -f(1)\cdot f(w)\cdot f(w^2) = -2</cmath> Therefore, the answer is equal to the square of this product: <math>(-2)^2 = \boxed{4}</math>. | Since <math>(a_i)^7 = (a_i)^3 - 2</math> for all <math>1 \leq i \leq 7</math>, since these are roots to the equation, we have that <cmath>\prod_{i=1}^{7} (a_i)^7 + 1 = \prod_{i=1}^{7} (a_i)^3 - 1 = \prod_{i=1}^{7} (a_i-1)(a_i-w)(a_i-w^2)</cmath> where <math>w</math> is a third root of unity. Let <math>f(x) = x^7 - x^3 + 2 = \prod_{i=1}^{7} (x-a_i)</math> and break the above products into <math>3</math> separate products, we have that <cmath>\prod_{i=1}^{7} (a_i-1)(a_i-w)(a_i-w^2) = -\prod_{i=1}^{7} (1-a_i)(w-a_i)(w^2-a_1) = -f(1)\cdot f(w)\cdot f(w^2) = -2</cmath> Therefore, the answer is equal to the square of this product: <math>(-2)^2 = \boxed{4}</math>. | ||
+ | |||
+ | -Vivdax |
Latest revision as of 19:59, 2 May 2025
Problem
Let be the roots of
. Find the value of
.
Solution
Let be the solutions to
. The set
is just
duplicates of this set (all roots are double roots due to square = 0 condition), so we can just calculate the given product over these roots and then square the final result.
Since for all
, since these are roots to the equation, we have that
where
is a third root of unity. Let
and break the above products into
separate products, we have that
Therefore, the answer is equal to the square of this product:
.
-Vivdax