Maths Olympiad Prep

Library / /701 of 740

, 2021

Combinatorics Difficulty 5.7 AIME, harder Prove it United States

Problem:

Eight points are chosen on the circumference of a circle, labelled P1,P2,,P8P_{1}, P_{2}, \ldots, P_{8} in clockwise order. A route is a sequence of at least two points Pa1,Pa2,,PanP_{a_{1}}, P_{a_{2}}, \ldots, P_{a_{n}} such that if an ant were to visit these points in their given order, starting at Pa1P_{a_{1}} and ending at PanP_{a_{n}}, by following n1n-1 straight line segments (each connecting each PaiP_{a_{i}} and Pai+1P_{a_{i+1}}), it would never visit a point twice or cross its own path. Find the number of routes.

Solutions — 2

Solution 1

Solution:

How many routes are there if we are restricted to nn available points, and we must use all nn of them? The answer is n2n2n 2^{n-2}: first choose the starting point, then each move after that must visit one of the two neighbors of your expanding region of visited points (doing anything else would prevent you from visiting every point). Now simply sum over all possible sets of points that you end up visiting:
(88)(826)+(87)(725)++(82)(220)=8744. \binom{8}{8}\left(8 \cdot 2^{6}\right)+\binom{8}{7}\left(7 \cdot 2^{5}\right)+\cdots+\binom{8}{2}\left(2 \cdot 2^{0}\right)=8744.

Solution 2

Solution:

We use recursion. Let f(n)f(n) be the answer for nn points, with the condition that our path must start at PnP_{n} (so our final answer is 8f(8)8 f(8)). Then f(1)=0f(1)=0 and f(2)=1f(2)=1.

Now suppose n3n \geq 3 and suppose the second point we visit is PiP_{i} (1i<n1 \leq i < n). Then we can either stop the path there, yielding one possibility. Alternatively, we can continue the path. In this case, note that it may never again cross the chord PiPnP_{i} P_{n}. If the remainder of the path is among the points P1,,PiP_{1}, \ldots, P_{i}, there are f(i)f(i) possible routes. Otherwise, there are f(ni)f(n-i) possible routes. As a result,
f(n)=i=1n11+f(i)+f(ni)=(n1)+2i=1n1f(i) f(n)=\sum_{i=1}^{n-1} 1+f(i)+f(n-i)=(n-1)+2 \sum_{i=1}^{n-1} f(i)
From here we may compute:

nn12345678
f(n)f(n)01413401213641093

Therefore the answer is 81093=87448 \cdot 1093 = 8744.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.