AMC 10 · 2022 · #24
Grade 12 geometry-2dalgebra
Pick an answer.
Measuring 21 separate segments is hopeless, because none of the seven angles involved has a nice exact value. The whole solve is a chain of regroupings. First regrouping: the 21 segments are not 21 different lengths. A chord depends only on how many steps apart its endpoints are around the circle, and there are only three possible gaps, 1, 2, and 3 steps, with exactly 7 chords in each class. Second regrouping: store a vertex as a complex number instead of a pair of coordinates, so that a squared chord length collapses to 2 - 2cos(2π k)/7 in one line of conjugate algebra. Third regrouping, and the one that actually finishes the problem: rewrite the sum over the three gaps k = 1, 2, 3 as half the sum over all six nonzero gaps k = 1, …, 6. Individually those cosines are ugly, but summed over a complete set of nonzero residues they are forced to total -1 by the roots of unity. The same completeness trick handles the squared cosines after a double-angle rewrite. Nothing here is computed; everything is collapsed.
Only three lengths
There are only three distinct lengths.
A chord in a circle is decided entirely by its central angle, so chords that skip the same number of vertices are automatically the same length.
A chord is decided entirely by its central angle, so chords skipping the same number of vertices are equal.
▸ Why?
Every vertex is one radius from the centre, so equal angles cut out congruent triangles.
▸ Why?
An arc is the share of the whole circle its angle takes, so equal skips mean equal arcs.
Put the vertices at roots of unity
Put them at the roots of unity.
Evenly spaced points on the unit circle are exactly the powers of one rotation, so the geometry becomes arithmetic on exponents.
12.N-CN.B.5Convert To AlgebraSquare a chord with a conjugate
The conjugate product gives a cosine.
Multiplying by the conjugate turns a length into a product of powers, and the two leftover powers are mirror images that add to twice a cosine.
11.N-CN.A.3Introduce A VariableTrade three gaps for six
Symmetry lets us use all six gaps.
One ugly cosine is unknowable, but a full set of them is pinned down by symmetry, so it pays to complete the set.
11.F-TF.A.2Organize Information In More WaysExpand and name the sums
Expand and name the two sums.
Expanding first turns one hard sum into two simpler standard sums that the symmetry of the polygon already knows the answers to.
9.A-SSE.A.2Introduce A VariableSum the cosines
The roots of unity give that sum.
All seven vertex vectors balance around the center and cancel to zero, so dropping the one pointing at 1 leaves exactly -1.
11.A-APR.B.3Convert To AlgebraSum the squared cosines
A double-angle identity gives that sum.
Doubling every angle just shuffles the six vertices among themselves, because 2 has an inverse modulo the odd number 7, so the sum cannot change.
11.F-TF.C.9Look For A PatternAssemble the total
Assembling gives 147.
Two symmetry facts were all the problem ever needed, and once they are substituted the irrational parts vanish and an integer drops out.
9.A-SSE.A.2Identify SubproblemsWhen one angle is too ugly to compute, add in the rest of its family until the set is complete, because a full set of evenly spaced directions always cancels to something simple.
- Only three lengths, seven of each
- Put the vertices at the 7th roots of unity
- Square a chord with a conjugate
- Trade three gaps for all six
- Expand and name the two sums
- The cosines add to -1
- The squared cosines add to 5/2
- Assemble the total