Difference between revisions of "2022 AMC 12B Problems/Problem 24"
Isabelchen (talk | contribs) |
Eaz shadow (talk | contribs) (→Solution 8 (Roots of Unity)) |
||
(12 intermediate revisions by 4 users not shown) | |||
Line 29: | Line 29: | ||
+ 7 \cdot 2^4 \sin^4 \frac{2 \pi}{7} | + 7 \cdot 2^4 \sin^4 \frac{2 \pi}{7} | ||
+ 7 \cdot 2^4 \sin^4 \frac{3 \pi}{7} & = \frac{7 \cdot 2^4}{(2i)^4} | + 7 \cdot 2^4 \sin^4 \frac{3 \pi}{7} & = \frac{7 \cdot 2^4}{(2i)^4} | ||
− | \left( e^{i \frac{\pi}{7}} - e^{i \frac{\pi}{7}} \right)^4 | + | \left( e^{i \frac{\pi}{7}} - e^{i \frac{-\pi}{7}} \right)^4 |
+ \frac{7 \cdot 2^4}{(2i)^4} | + \frac{7 \cdot 2^4}{(2i)^4} | ||
− | \left( e^{i \frac{2 \pi}{7}} - e^{i \frac{2 \pi}{7}} \right)^4 | + | \left( e^{i \frac{2 \pi}{7}} - e^{i \frac{-2 \pi}{7}} \right)^4 |
+ \frac{7 \cdot 2^4}{(2i)^4} | + \frac{7 \cdot 2^4}{(2i)^4} | ||
− | \left( e^{i \frac{3 \pi}{7}} - e^{i \frac{ | + | \left( e^{i \frac{3 \pi}{7}} - e^{i \frac{-3 \pi}{7}} \right)^4 \\ |
& = 7 \left( | & = 7 \left( | ||
e^{i \frac{4 \pi}{7}} - 4 e^{i \frac{2 \pi}{7}} + 6 | e^{i \frac{4 \pi}{7}} - 4 e^{i \frac{2 \pi}{7}} + 6 | ||
Line 80: | Line 80: | ||
</cmath> | </cmath> | ||
~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com) | ~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com) | ||
+ | |||
+ | ~edited by scinderella220 | ||
==Solution 2 (Trigonometry)== | ==Solution 2 (Trigonometry)== | ||
Line 245: | Line 247: | ||
<cmath>=2\left(\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7}+\cos\frac{2\pi}{7}\right)-8\left(\cos\frac{2\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7}\right)+18</cmath> | <cmath>=2\left(\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7}+\cos\frac{2\pi}{7}\right)-8\left(\cos\frac{2\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7}\right)+18</cmath> | ||
<cmath>=2(-0.5)-8(-0.5)+18=21.</cmath> | <cmath>=2(-0.5)-8(-0.5)+18=21.</cmath> | ||
− | (These equalities are based on <math>\cos\theta=\cos(2\pi-\theta)</math> and <math>\cos\frac{2\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7}=-\frac{1}{2}.</math>) | + | (These equalities are based on <math>\cos\theta=\cos(2\pi-\theta)</math> and <math>\cos\frac{2\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7}=-\frac{1}{2}.</math>) (For explanation of this see [https://artofproblemsolving.com/wiki/index.php/2022_AMC_12B_Problems/Problem_24#Supplement_.28Explanation_to_Why_cos.282.CF.80.2F7.29_.2B_cos.284.CF.80.2F7.29_.2B_cos.286.CF.80.2F7.29_.3D_-1.2F2.29 supplement].) |
Finally, because there are <math>7</math> of each type of diagonal, the answer is <math>7\cdot 21=\boxed{147}.</math> | Finally, because there are <math>7</math> of each type of diagonal, the answer is <math>7\cdot 21=\boxed{147}.</math> | ||
~[[BS2012]] | ~[[BS2012]] | ||
+ | == Solution 8 (Roots of Unity) == | ||
− | == | + | Place the figure on the complex plane and let <math>w = e^{\frac{2\pi}{7}}</math> (a <math>7</math>th root of unity). The vertices of the <math>7</math>-gon are <math>w^0,w^1,w^2,\dots,w^6</math>. We wish to find |
+ | <cmath>\sum_{i=0}^5\sum_{j=i+1}^6\lvert w^i-w^j\rvert^4 = \frac{1}{2}\sum_{i=0}^6\sum_{j=0}^6\lvert w^i-w^j\rvert^4.</cmath> | ||
+ | The second expression is more convenient to work with. The factor of <math>\tfrac{1}{2}</math> is because it double-counts each edge (and includes when <math>i=j</math>, but the length is <math>0</math> so it doesn't matter). | ||
+ | |||
+ | Recall the identity <math>|z|^2 = z\overline{z}</math>. Since <math>|w| = 1</math>, <math>\overline{w} = w^{-1}</math>, and | ||
+ | <cmath>\begin{align*} | ||
+ | \lvert w^i-w^j\rvert^4 &= ((w^i-w^j)(w^{-i}-w^{-j}))^2 \\ | ||
+ | &= (2-w^{i-j}-w^{j-i})^2 \\ | ||
+ | &= 4+w^{2i-2j}+w^{2j-2i}+2(-2w^{i-j}-2w^{j-i}+1) \\ | ||
+ | &= 6-4w^{i-j}-4w^{j-i}+w^{2i-2j}+w^{2j-2i}. | ||
+ | \end{align*}</cmath> | ||
− | <math> | + | But notice that, for a fixed value of <math>i</math>, over all values of <math>j</math> from <math>0</math> to <math>6</math>, by properties of modular arithmetic with <math>w^7 = w^0</math> (or expanding), |
+ | each of the <math>w^\bullet</math>-terms takes on every value in <math>w^0,w^1,w^2,\dots,w^6</math> exactly once. Since <math>\sum_{j=0}^6 w^j = 0</math>, | ||
+ | <cmath>\begin{align*} | ||
+ | \frac{1}{2}\sum_{i=0}^6\sum_{j=0}^6\lvert w^i-w^j\rvert^4 &= \frac{1}{2}\sum_{i=0}^6\sum_{j=0}^6(6-4w^{i-j}-4w^{j-i}+w^{2i-2j}+w^{2j-2i}) \\ | ||
+ | &= \frac{1}{2}\sum_{i=0}^6\left(\sum_{j=0}^6 6-4\sum_{j=0}^6 w^{i-j}-4\sum_{j=0}^6 w^{j-i}+\sum_{j=0}^6 w^{2i-2j}+\sum_{j=0}^6 w^{2j-2i}\right) \\ | ||
+ | &= \frac{1}{2}\sum_{i=0}^6\left(\sum_{j=0}^6 6-4\sum_{j=0}^6 w^j-4\sum_{j=0}^6 w^j+\sum_{j=0}^6 w^j+\sum_{j=0}^6 w^j\right) \\ | ||
+ | &= \frac{1}{2}\sum_{i=0}^6\sum_{j=0}^6 6 \\ | ||
+ | &= \frac{1}{2}\cdot7\cdot7\cdot6 \\ | ||
+ | &= \boxed{\textbf{(C) }147}. | ||
+ | \end{align*}</cmath> | ||
− | + | Fun fact: This generalizes to any regular <math>n</math>-gon with <math>n \ge 3</math> to obtain | |
− | + | <cmath>\frac{1}{2}\sum_{i=0}^{n-1}\sum_{j=0}^{n-1}6 = 3n^2,</cmath> | |
− | for | + | though for even <math>n</math>, <math>w^{2i-2j}</math> and <math>w^{2j-2i}</math> take on every value in <math>w^0,w^2,w^4,\dots,w^{n-2}</math> exactly twice. These are the <math>\tfrac{n}{2}</math>th roots of unity, so they still sum to <math>0</math>. |
− | <math> | + | This also explains why <math>n < 3</math> doesn't follow the pattern. For <math>n = 2</math> (one edge of length <math>2</math>), since <math>w^{2i-2j} = (w^2)^{i-j} = 1^{i-j} = 1</math> and similarly for <math>w^{2j-2i}</math>, the constant term in the summation becomes <math>8</math> instead of <math>6</math>. For <math>n = 1</math> (no edges), the constant term becomes <math>0</math>. |
-maxamc | -maxamc | ||
+ | |||
+ | ~edited by [[User:emerald_block|emerald_block]] | ||
== Solution 9 (Inductive Reasoning) == | == Solution 9 (Inductive Reasoning) == | ||
Line 281: | Line 305: | ||
- Prof. Joker | - Prof. Joker | ||
− | ==Supplement (Explanation | + | ==Supplement (Explanation of why cos(2π/7) + cos(4π/7) + cos(6π/7) = -1/2)== |
The sum of all roots of unity is <math>0</math>, therefore, the sum of the real parts of the roots of unity is <math>0</math>. | The sum of all roots of unity is <math>0</math>, therefore, the sum of the real parts of the roots of unity is <math>0</math>. | ||
− | Consider the roots of unity of <math>x^n-1=0</math> where <math>n</math> is odd | + | Consider the roots of unity of <math>x^n-1=0</math> where <math>n</math> is odd on the unit circle, the cosine (real parts) of all the roots under the x-axis is the same as the cosine of all the roots above the x-axis because of symmetry. Hence, <math>2</math> times the sum of the cosines of all the roots above the x-axis plus <math>1</math> is <math>0</math>. |
− | In the context of this problem, <math>2(\cos\frac{2\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7}) + 1 = 0</math>. Hence, <math>\cos\frac{2\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7} = -\frac{1}{2}</math> | + | In the context of this problem, <math>2(\cos\frac{2\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7}) + 1 = 0</math>. Hence, <math>\cos\frac{2\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7} = -\frac{1}{2}</math> |
~[https://artofproblemsolving.com/wiki/index.php/User:Isabelchen isabelchen] | ~[https://artofproblemsolving.com/wiki/index.php/User:Isabelchen isabelchen] |
Latest revision as of 17:28, 16 November 2024
Contents
- 1 Problem
- 2 Solution 1 (Complex Numbers)
- 3 Solution 2 (Trigonometry)
- 4 Solution 3 (Complex Numbers and Trigonometry)
- 5 Solution 4 (Trigonometry)
- 6 Solution 5 (Law of Cosines)
- 7 Solution 6 (Ruler Measure)
- 8 Solution 7 (Pythagorean Theorem and Trig)
- 9 Solution 8 (Roots of Unity)
- 10 Solution 9 (Inductive Reasoning)
- 11 Supplement (Explanation of why cos(2π/7) + cos(4π/7) + cos(6π/7) = -1/2)
- 12 Video Solution
- 13 See Also
Problem
The figure below depicts a regular -gon inscribed in a unit circle. What is the sum of the th powers of the lengths of all of its edges and diagonals?
Solution 1 (Complex Numbers)
There are segments whose lengths are , segments whose lengths are , segments whose lengths are .
Therefore, the sum of the th powers of these lengths is where the fourth from the last equality follows from the property that ~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com)
~edited by scinderella220
Solution 2 (Trigonometry)
There are segments whose lengths are , segments whose lengths are , segments whose lengths are .
Therefore, the sum of the th powers of these lengths is where the second from the last equality follows from the property that
For explanation see supplement.
~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com)
Solution 3 (Complex Numbers and Trigonometry)
As explained in Solutions 1 and 2, what we are trying to find is . Using trig we get Like in the second solution, we also use the fact that , which admittedly might need some explanation.
For explanation see supplement.
Notice that In the brackets we have the sum of the roots of the polynomial . These sum to by Vieta’s formulas, and the desired identity follows. See Roots of unity if you have not seen this technique.
Going back to the question: ~obscene_kangaroo
Solution 4 (Trigonometry)
This solution follows the same steps as the trigonometry solutions (Solutions 2 and 3), except it gives an alternate way to prove the statement below true without complex numbers:
We end up with Using the quadratic formula, we find the solutions for to be and . Because is impossible, . With this result, following similar to steps to Solutions 2 and 3 will get
~lordf
Solution 5 (Law of Cosines)
Let , , and be the lengths of the chords with arcs , and respectively.
Then by the law of cosines we get: The answer is then just (since there's of each diagonal/side), obtained by summing the squares of the above equations and then multiplying by .
(Use the identity that .)
For explanation of this identity see supplement.
- SAHANWIJETUNGA
Solution 6 (Ruler Measure)
Hope you had a ruler handy! This problem can be done with a ruler and basic estimation.
First, measuring the radius of the circle obtains cm (when done on the paper version). Thus, any other measurement we get for the sides/diagonals should be divided by .
Measuring the sides of the circle gets cm. The shorter diagonals are cm, and the longest diagonals measure cm. Thus, we'd like to estimate
We know is slightly less than Let's approximate it as 1 for now. Thus,
Next, is slightly more than We know slightly more than so we can approximate as Thus,
Finally, is slightly less than We say it's around so then
Adding what we have, we get as our estimate. We see is very close to our estimate, so we have successfully finished the problem.
~sirswagger21
Solution 7 (Pythagorean Theorem and Trig)
First, we put the figure in the coordinate plane with the center of the circle at the origin and a vertex on the positive x-axis. Thus, the coordinates of the vertices will be the terminal points of integer multiples of the angle which are for integer Then, we notice there are three types of diagonals: the ones with chords of arcs and We notive there are here are of each type of diagonal. Then, we use the pythagorean theorem to find the distance from to : By the cosine double angle identity, This means that Substituting this in, Summing this up for (These equalities are based on and ) (For explanation of this see supplement.) Finally, because there are of each type of diagonal, the answer is
Solution 8 (Roots of Unity)
Place the figure on the complex plane and let (a th root of unity). The vertices of the -gon are . We wish to find The second expression is more convenient to work with. The factor of is because it double-counts each edge (and includes when , but the length is so it doesn't matter).
Recall the identity . Since , , and
But notice that, for a fixed value of , over all values of from to , by properties of modular arithmetic with (or expanding), each of the -terms takes on every value in exactly once. Since ,
Fun fact: This generalizes to any regular -gon with to obtain though for even , and take on every value in exactly twice. These are the th roots of unity, so they still sum to .
This also explains why doesn't follow the pattern. For (one edge of length ), since and similarly for , the constant term in the summation becomes instead of . For (no edges), the constant term becomes .
-maxamc
~edited by emerald_block
Solution 9 (Inductive Reasoning)
This is how I solve this problem:
It's easy to solve for -gon, -gon, and -gon inscribed in a unit circle. (Okay, it's just the weird names for triangle, square, and hexagon)
For -gon, the sum is equal to times the th power of an edge. Thus,
For -gon, the sum is equal to times the th power of an edge, and times the th power of the diagonal. Thus,
For -gon, the sum is equal to times the th power of an edge, times the th power of the short diagonal, and times the th power of the long diagonal. Thus,
Then, I quickly noticed that , , and . So reasonably, it will work out this formula, . (This step is purely out of guessing, maybe have a look at Solution 8 for more info...)
By inductive reasoning, we got .
- Prof. Joker
Supplement (Explanation of why cos(2π/7) + cos(4π/7) + cos(6π/7) = -1/2)
The sum of all roots of unity is , therefore, the sum of the real parts of the roots of unity is .
Consider the roots of unity of where is odd on the unit circle, the cosine (real parts) of all the roots under the x-axis is the same as the cosine of all the roots above the x-axis because of symmetry. Hence, times the sum of the cosines of all the roots above the x-axis plus is .
In the context of this problem, . Hence,
Video Solution
~ ThePuzzlr
~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com)
See Also
2022 AMC 12B (Problems • Answer Key • Resources) | |
Preceded by Problem 23 |
Followed by Problem 25 |
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.