Casework Aime
Casework Aime
Casework Aime
How many three-digit numbers satisfy the property that the middle digit is the
average of the first and the last digits?
Solutions
Let us count the good paths. The bug starts at an arbitrary vertex, moves to a
neighboring vertex (3 ways), and then to a new neighbor (2 more ways).
So, without loss of generality, let the cube have vertex such
that and are two opposite faces with above and
above . The bug starts at and moves first to , then to .
From this point, there are two cases.
Case 1: the bug moves to . From , there is only one good move available,
to . From , there are two ways to finish the trip, either by
going or . So there are 2 good paths in
this case.
Case 2: the bug moves to . Case 2a: the bug moves . In this case,
there are 0 good paths because it will not be possible to visit both and
without double-visiting some vertex. Case 2b: the bug moves . There is
a unique good path in this case, .
Thus, all told we have 3 good paths after the first two moves, for a total
of good paths. There were possible paths the bug
could have taken, so the probability a random path is good is the ratio of good
Solution 1 (Casework)
We know that a subset with less than chairs cannot contain adjacent
chairs. There are only sets of chairs so that they are all adjacent. There
are subsets of chairs where all are adjacent, and or where
there are only If there are chairs, have all adjacent, or
Solution 2 (PIE)
Starting with small cases, we see that four chairs give , five chairs
give , and six chairs give Thus, n chairs
should give , as confirmed above. This claim can be verified by the
principle of inclusion-exclusion: there are ways to arrange adjacent
chairs, but then we subtract ways to arrange Finally, we add to
account for the full subset of chairs. Thus, for we get a first count
of
However, we overcount cases in which there are two distinct groups of three
or more chairs. Time to casework: we have cases for two groups of directly
opposite each other, for two groups of four, for two groups of not
symmetrically opposite, for a group of and a group of , and for a
group of and a group of Thus, we have .
Problem
Given that
Solution
We find that by the recursive formula. Summing the recursions
yields . Thus .
Since , it follows that