Difference between revisions of "2021 Fall AMC 12A Problems/Problem 25"
(→Solution 3 (Symmetric Congruent Numbers & Interpolation)) |
|||
Line 84: | Line 84: | ||
Now, we compute <math>D \left( m \right)</math> for <math>m = 5 , 7 , 9 , 11</math>. | Now, we compute <math>D \left( m \right)</math> for <math>m = 5 , 7 , 9 , 11</math>. | ||
− | \textbf{Scenario <math>m = 5</math>. | + | <math>\textbf{Scenario}</math> <math>m = 5</math>. |
We have <math>b_i \in \left\{ - 2 , \cdots , 2 \right\}</math>. | We have <math>b_i \in \left\{ - 2 , \cdots , 2 \right\}</math>. | ||
Line 90: | Line 90: | ||
<math>\textbf{Case 1}</math> | <math>\textbf{Case 1}</math> | ||
− | <math>\textbf{Case 1.1: < | + | <math>\textbf{Case 1.1}</math>: <math>b_1 = 0</math> |
We cannot have 3 distinct positive integers. So <math>d_{11} \left( 5 \right) = 0</math>. | We cannot have 3 distinct positive integers. So <math>d_{11} \left( 5 \right) = 0</math>. | ||
− | <math>\textbf{Case 1.2: < | + | <math>\textbf{Case 1.2}</math>: <math>b_2 = 0</math> |
Because there are 2 positive integers, we must have <math>b_3 = 1</math>, <math>b_4 = 2</math>. | Because there are 2 positive integers, we must have <math>b_3 = 1</math>, <math>b_4 = 2</math>. | ||
Line 102: | Line 102: | ||
<math>\textbf{Case 2}</math> | <math>\textbf{Case 2}</math> | ||
− | <math>\textbf{Case 2.1: < | + | <math>\textbf{Case 2.1}</math>: <math>b_1 > 0</math> |
We cannot have 4 distinct positive integers. So <math>d_{24} \left( 5 \right) = 0</math>. | We cannot have 4 distinct positive integers. So <math>d_{24} \left( 5 \right) = 0</math>. | ||
− | <math>\textbf{Case 2.2: < | + | <math>\textbf{Case 2.2}</math>: <math>b_1 < 0 < b_2</math> |
We cannot have 3 distinct positive integers. So <math>d_{23} \left( 5 \right) = 0</math>. | We cannot have 3 distinct positive integers. So <math>d_{23} \left( 5 \right) = 0</math>. | ||
− | <math>\textbf{Case 2.3: < | + | <math>\textbf{Case 2.3}</math>: <math>b_2 < 0 < b_3</math> |
The only solution is <math>\left( b_1 , b_2 , b_3 , b_4 \right) = \left( - 2 , - 1 , 1 , 2 \right)</math>. So <math>d_{22} \left( 5 \right) = 1</math>. | The only solution is <math>\left( b_1 , b_2 , b_3 , b_4 \right) = \left( - 2 , - 1 , 1 , 2 \right)</math>. So <math>d_{22} \left( 5 \right) = 1</math>. | ||
Line 116: | Line 116: | ||
Therefore, <math>D \left( 5 \right) = 24</math>. | Therefore, <math>D \left( 5 \right) = 24</math>. | ||
− | <math>\textbf{Scenario </math>m = 7<math>. | + | <math>\textbf{Scenario}</math> <math>m = 7</math>. |
We have <math>b_i \in \left\{ - 3 , \cdots , 3 \right\}</math>. | We have <math>b_i \in \left\{ - 3 , \cdots , 3 \right\}</math>. | ||
Line 122: | Line 122: | ||
<math>\textbf{Case 1}</math> | <math>\textbf{Case 1}</math> | ||
− | <math>\textbf{Case 1.1: < | + | <math>\textbf{Case 1.1}</math>: <math>b_1 = 0</math> |
We have no feasible solution. Thus, <math>d_{11} \left( 7 \right) = 0</math>. | We have no feasible solution. Thus, <math>d_{11} \left( 7 \right) = 0</math>. | ||
− | <math>\textbf{Case 1.2: < | + | <math>\textbf{Case 1.2}</math>: <math>b_2 = 0</math> |
The only solution is <math>\left( b_1 , b_3 , b_4 \right) = \left( - 3 , 1 , 2 \right)</math>. | The only solution is <math>\left( b_1 , b_3 , b_4 \right) = \left( - 3 , 1 , 2 \right)</math>. | ||
Line 133: | Line 133: | ||
<math>\textbf{Case 2}</math> | <math>\textbf{Case 2}</math> | ||
− | <math>\textbf{Case 2.1: < | + | <math>\textbf{Case 2.1}</math>: <math>b_1 > 0</math> |
We cannot have 4 distinct positive integers. So <math>d_{24} \left( 7 \right) = 0</math>. | We cannot have 4 distinct positive integers. So <math>d_{24} \left( 7 \right) = 0</math>. | ||
− | <math>\textbf{Case 2.2: < | + | <math>\textbf{Case 2.2}</math>: <math>b_1 < 0 < b_2</math> |
To get 3 distinct positive integers, we have <math>\left( b_2 , b_3 , b_4 \right) = \left( 1 , 2 , 3 \right)</math>. This implies <math>b_1 = - 6</math>. However, this is out of the range of <math>b_1</math>. So <math>d_{23} \left( 6 \right) = 0</math>. | To get 3 distinct positive integers, we have <math>\left( b_2 , b_3 , b_4 \right) = \left( 1 , 2 , 3 \right)</math>. This implies <math>b_1 = - 6</math>. However, this is out of the range of <math>b_1</math>. So <math>d_{23} \left( 6 \right) = 0</math>. | ||
− | <math>\textbf{Case 2.3: < | + | <math>\textbf{Case 2.3}</math>: <math>b_2 < 0 < b_3</math> |
We have <math>d_{22} \left( 7 \right) = \binom{3}{2} = 3</math>. | We have <math>d_{22} \left( 7 \right) = \binom{3}{2} = 3</math>. | ||
Line 147: | Line 147: | ||
Therefore, <math>D \left( 7 \right) = 24 \cdot 5</math>. | Therefore, <math>D \left( 7 \right) = 24 \cdot 5</math>. | ||
− | <math>\textbf{Scenario </math>m = 9<math>. | + | <math>\textbf{Scenario}</math> <math>m = 9</math>. |
We have <math>b_i \in \left\{ - 4 , \cdots , 4 \right\}</math>. | We have <math>b_i \in \left\{ - 4 , \cdots , 4 \right\}</math>. | ||
Line 153: | Line 153: | ||
<math>\textbf{Case 1}</math> | <math>\textbf{Case 1}</math> | ||
− | <math>\textbf{Case 1.1: < | + | <math>\textbf{Case 1.1}</math>: <math>b_1 = 0</math> |
The only solution is <math>\left( b_2 , b_3 , b_4 \right) = \left( 2, 3, 4 \right)</math>. | The only solution is <math>\left( b_2 , b_3 , b_4 \right) = \left( 2, 3, 4 \right)</math>. | ||
Thus, <math>d_{11} \left( 9 \right) = 1</math>. | Thus, <math>d_{11} \left( 9 \right) = 1</math>. | ||
− | <math>\textbf{Case 1.2: < | + | <math>\textbf{Case 1.2}</math>: <math>b_2 = 0</math> |
The feasible solutions are <math>\left( b_1 , b_3 , b_4 \right) = \left( - 3 , 1 , 2 \right)</math>, <math>\left( - 4 , 1 , 3 \right)</math>. | The feasible solutions are <math>\left( b_1 , b_3 , b_4 \right) = \left( - 3 , 1 , 2 \right)</math>, <math>\left( - 4 , 1 , 3 \right)</math>. | ||
Line 165: | Line 165: | ||
<math>\textbf{Case 2}</math> | <math>\textbf{Case 2}</math> | ||
− | <math>\textbf{Case 2.1: < | + | <math>\textbf{Case 2.1}</math>: <math>b_1 > 0</math> |
There is no feasible solution. So <math>d_{24} \left( 9 \right) = 0</math>. | There is no feasible solution. So <math>d_{24} \left( 9 \right) = 0</math>. | ||
− | <math>\textbf{Case 2.2: < | + | <math>\textbf{Case 2.2}</math>: <math>b_1 < 0 < b_2</math> |
To get 3 distinct positive integers, we have <math>b_2 + b_3 + b_4 \geq 1 + 2 + 3 = 6</math>. This implies <math>b_1 = - 6</math>. However, this is out of the range of <math>b_1</math>. So <math>d_{23} \left( 9 \right) = 0</math>. | To get 3 distinct positive integers, we have <math>b_2 + b_3 + b_4 \geq 1 + 2 + 3 = 6</math>. This implies <math>b_1 = - 6</math>. However, this is out of the range of <math>b_1</math>. So <math>d_{23} \left( 9 \right) = 0</math>. | ||
− | <math>\textbf{Case 2.3: < | + | <math>\textbf{Case 2.3}</math>: <math>b_2 < 0 < b_3</math> |
We have <math>d_{22} \left( 9 \right) = 8</math>. | We have <math>d_{22} \left( 9 \right) = 8</math>. | ||
Line 185: | Line 185: | ||
<math>\textbf{Case 1}</math> | <math>\textbf{Case 1}</math> | ||
− | <math>\textbf{Case 1.1: < | + | <math>\textbf{Case 1.1}</math>: <math>b_1 = 0</math> |
The only solution is <math>\left( b_2 , b_3 , b_4 \right) = \left( 2, 4, 5 \right)</math>. | The only solution is <math>\left( b_2 , b_3 , b_4 \right) = \left( 2, 4, 5 \right)</math>. | ||
Thus, <math>d_{11} \left( 11 \right) = 1</math>. | Thus, <math>d_{11} \left( 11 \right) = 1</math>. | ||
− | <math>\textbf{Case 1.2: < | + | <math>\textbf{Case 1.2}</math>: <math>b_2 = 0</math> |
The feasible solutions are <math>\left( b_1 , b_3 , b_4 \right) = \left( - 3 , 1 , 2 \right)</math>, <math>\left( - 4 , 1 , 3 \right)</math>, <math>\left( - 5 , 1 , 4 \right)</math>, <math>\left( - 5 , 2 , 3 \right)</math>. | The feasible solutions are <math>\left( b_1 , b_3 , b_4 \right) = \left( - 3 , 1 , 2 \right)</math>, <math>\left( - 4 , 1 , 3 \right)</math>, <math>\left( - 5 , 1 , 4 \right)</math>, <math>\left( - 5 , 2 , 3 \right)</math>. | ||
Line 197: | Line 197: | ||
<math>\textbf{Case 2}</math> | <math>\textbf{Case 2}</math> | ||
− | <math>\textbf{Case 2.1: < | + | <math>\textbf{Case 2.1}</math>: <math>b_1 > 0</math> |
The only feasible solution is <math>\left( b_1 , b_2 , b_3 , b_4 \right) = \left( 1 , 2, 3, 5 \right)</math>. So <math>d_{24} \left( 11 \right) = 1</math>. | The only feasible solution is <math>\left( b_1 , b_2 , b_3 , b_4 \right) = \left( 1 , 2, 3, 5 \right)</math>. So <math>d_{24} \left( 11 \right) = 1</math>. | ||
− | <math>\textbf{Case 2.2: < | + | <math>\textbf{Case 2.2}</math>: <math>b_1 < 0 < b_2</math> |
The only feasible solution is <math>\left( b_1 , b_2 , b_3 , b_4 \right) = \left( -1 , 3, 4, 5 \right)</math>. So <math>d_{23} \left( 11 \right) = 1</math>. | The only feasible solution is <math>\left( b_1 , b_2 , b_3 , b_4 \right) = \left( -1 , 3, 4, 5 \right)</math>. So <math>d_{23} \left( 11 \right) = 1</math>. | ||
− | <math>\textbf{Case 2.3: < | + | <math>\textbf{Case 2.3}</math>: <math>b_2 < 0 < b_3</math> |
We have <math>d_{22} \left( 11 \right) = 16</math>. | We have <math>d_{22} \left( 11 \right) = 16</math>. | ||
Line 226: | Line 226: | ||
Taking <math>\frac{(1.2)-(1.1)}{2}</math>, <math>\frac{(1.3)-(1.2)}{2}</math>, <math>\frac{(1.4)-(1.2)}{2}</math>, we get | Taking <math>\frac{(1.2)-(1.1)}{2}</math>, <math>\frac{(1.3)-(1.2)}{2}</math>, <math>\frac{(1.4)-(1.2)}{2}</math>, we get | ||
+ | <cmath> | ||
\begin{align*} | \begin{align*} | ||
c_3 109 + c_2 12 + c_1 & = 48 \hspace{1cm} (2.1) \\ | c_3 109 + c_2 12 + c_1 & = 48 \hspace{1cm} (2.1) \\ | ||
Line 231: | Line 232: | ||
c_3 301 + c_2 20 + c_1 & = 192 \hspace{1cm} (2.3) | c_3 301 + c_2 20 + c_1 & = 192 \hspace{1cm} (2.3) | ||
\end{align*} | \end{align*} | ||
+ | </cmath> | ||
Taking <math>\frac{(2.2)-(2.1)}{4}</math>, <math>\frac{(2.3)-(2.2)}{4}</math>, we get | Taking <math>\frac{(2.2)-(2.1)}{4}</math>, <math>\frac{(2.3)-(2.2)}{4}</math>, we get |
Revision as of 21:07, 25 November 2021
Contents
Problem
Let be an odd integer, and let denote the number of quadruples of distinct integers with for all such that divides . There is a polynomial such that for all odd integers . What is
Solution 1 (Complete Residue System)
For a fixed value of there is a total of possible ordered quadruples
Let We claim that exactly of these ordered quadruples satisfy that divides
Since we conclude that is the complete residue system modulo for all integers
Given any ordered quadruple in modulo it follows that exactly one of these ordered quadruples satisfy that divides We conclude that so By Vieta's Formulas, we get
~MRENTHUSIASM
Solution 2 (Educated Guess)
Note that you see numbers with absolute value and in the answer choices. What is special about those numbers? Well, you should notice that they are the coefficients of the polynomial when expanded (if you've already memorized this). Then, you can probably guess the polynomial is some form of whether negative or positive. Since is asked, the answer should be reasoned out as
Furthermore, you can gain confidence in your guess since that is the only answer choice with absolute value
~fidgetboss_4000
Solution 3 (Symmetric Congruent Numbers & Interpolation)
Define
Hence, is a one-to-one and onto function of , and the range of is .
Therefore, to solve this problem, it is equivalent for us to count the number of tuples that are all distinct and satisfy .
Denote by the number of such tuples that are also subject to the constraint .
Hence, .
We do the following casework analysis to compute .
: There is one 0 in .
Denote by the number of tuples with .
By symmetry, and .
: There is no 0 in .
Denote by the number of tuples with positive entries.
By symmetry, and .
Therefore,
Now, we compute for .
.
We have .
:
We cannot have 3 distinct positive integers. So .
:
Because there are 2 positive integers, we must have , . Hence, . However, this is out of the range of . Thus, .
:
We cannot have 4 distinct positive integers. So .
:
We cannot have 3 distinct positive integers. So .
:
The only solution is . So .
Therefore, .
.
We have .
:
We have no feasible solution. Thus, .
:
The only solution is . Thus, .
:
We cannot have 4 distinct positive integers. So .
:
To get 3 distinct positive integers, we have . This implies . However, this is out of the range of . So .
:
We have .
Therefore, .
.
We have .
:
The only solution is . Thus, .
:
The feasible solutions are , . Thus, .
:
There is no feasible solution. So .
:
To get 3 distinct positive integers, we have . This implies . However, this is out of the range of . So .
:
We have .
Therefore, .
$\textbf{Scenario$ (Error compiling LaTeX. Unknown error_msg)m = 11$.}$ (Error compiling LaTeX. Unknown error_msg)
We have .
:
The only solution is . Thus, .
:
The feasible solutions are , , , . Thus, .
:
The only feasible solution is . So .
:
The only feasible solution is . So .
:
We have .
Therefore, .
We know that for odd .
Plugging into this equation, we get
Now, we solve this system of equations. Taking , , , we get
Taking , , we get
Taking , we get .
Plugging into Equation (3.1), we get .
Plugging and into Equation (2.1), we get .
Therefore, the answer is .
~Steven Chen (www.professorchenedu.com)
See Also
2021 Fall AMC 12A (Problems • Answer Key • Resources) | |
Preceded by Problem 24 |
Followed by Last Problem |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 • 16 • 17 • 18 • 19 • 20 • 21 • 22 • 23 • 24 • 25 | |
All AMC 12 Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.