Maths Olympiad Prep

Library / /9 of 9

, 2013

Combinatorics Difficulty 7.8 National olympiad, round 2 Prove it Japan

There are 2424 pieces each of two different kinds of cakes AA and BB. All the cakes will be distributed among three people XX, YY, ZZ. A method of distribution where a person may not receive any cake of a particular kind is allowed for consideration. How many different ways of distributing cakes are there in which there are no pairs of people ending up with the following situation?

One person in the pair receives aa pieces of AA and bb pieces of BB, and the other person in the pair receives aa' pieces of AA and bb' pieces of BB, where all of the conditions aaa \le a', bbb \le b' and a+b<a+ba+b < a'+b' are satisfied.

Solution

Let us denote by aXa_X, aYa_Y and aZa_Z the numbers of cakes of type AA received by XX, YY and ZZ respectively, and by bXb_X, bYb_Y and bZb_Z the numbers of cakes of type BB received by XX, YY and ZZ, respectively. Then, they are non-negative integers and they satisfy aX+aY+aZ=bX+bY+bZ=24a_X + a_Y + a_Z = b_X + b_Y + b_Z = 24.

If aX<aYa_X < a_Y, then by the condition specified for the problem, we must have either bX>bYb_X > b_Y or aX+bXaY+bYa_X + b_X \ge a_Y + b_Y. We note that even when the second alternative takes place, we must have bX>bYb_X > b_Y, since aX<aYa_X < a_Y. So, we must have the following implication: aX<aYbX>bY\lceil a_X < a_Y \rceil \Rightarrow \lceil b_X > b_Y \rceil. Arguing similarly, we see that in order for the condition of the problem to be satisfied, we must also have the following implications as well: aX>aYbX<bY\lceil a_X > a_Y \rceil \Rightarrow \lceil b_X < b_Y \rceil, bX<bYaX>aY\lceil b_X < b_Y \rceil \Rightarrow \lceil a_X > a_Y \rceil, bX>bYaX<aY\lceil b_X > b_Y \rceil \Rightarrow \lceil a_X < a_Y \rceil. We therefore conclude that in order for the condition of the problem to be satisfied for XX and YY, we need one of the following conditions to be satisfied:

* aX<aYa_X < a_Y and bX>bYb_X > b_Y,
* aX=aYa_X = a_Y and bX=bYb_X = b_Y,
* aX>aYa_X > a_Y and bX<bYb_X < b_Y.

Conversely, if one of these conditions is satisfied, then we see the condition of the problem is satisfied for XX and YY. Similar statements can be made for XX and ZZ, and for YY and ZZ, which guarantee the validity of the condition of the problem for the corresponding pairs.

The number of triples (x,y,z)(x, y, z) of non-negative integers satisfying x+y+z=24x + y + z = 24 is given by
(262)=26×252×1=325. \binom{26}{2} = \frac{26 \times 25}{2 \times 1} = 325.
We classify them further according to the relative order of x,y,zx, y, z.

* When x=y=zx = y = z is satisfied: there is only one triple (x,y,z)=(8,8,8)(x, y, z) = (8, 8, 8) in this case.
* When x=y<zx = y < z is satisfied: in this case, we can write (x,y,z)=(k,k,242k)(x, y, z) = (k, k, 24-2k), where kk is an integer satisfying 0k70 \le k \le 7. So, there are 88 such triples. The same result holds for the cases y=z<xy = z < x, z=x<yz = x < y.
* When x=y>zx = y > z is satisfied: in this case, we have (x,y,z)=(k,k,242k)(x, y, z) = (k, k, 24-2k), where kk is an integer satisfying 9k129 \le k \le 12. So, there are 44 such triples. The same result holds for the cases y=z>xy = z > x, z=x>yz = x > y.
* The remaining case: We have x,y,zx, y, z to be distinct in this case, and there are 32518×34×3=288325-1-8 \times 3-4 \times 3 = 288 such triples (x,y,z)(x, y, z). There are 66 possibilities for the order of x,y,zx, y, z, but by symmetry, we can conclude that the number of those triples (x,y,z)(x, y, z) with x<y<zx < y < z is 2886=48\frac{288}{6} = 48, and the same result holds for others.

In order to get the solution for the problem, we count the number of cases depending on the order relation among aX,aY,aZa_X, a_Y, a_Z.

* When aX=aY=aZa_X = a_Y = a_Z: in this case, we must have bX=bY=bZb_X = b_Y = b_Z, so we have only 1×1=11 \times 1 = 1 possibility.
* When aX=aY<aZa_X = a_Y < a_Z: in this case, we have to have bX=bY>bZb_X = b_Y > b_Z, so we have 8×4=328 \times 4 = 32 possibilities. The same result holds for the cases aY=aZ<aXa_Y = a_Z < a_X and aZ=aX<aYa_Z = a_X < a_Y.
* When aX=aY>aZa_X = a_Y > a_Z: in this case, we have to have bX=bY<bZb_X = b_Y < b_Z, so we have 4×8=324 \times 8 = 32 possibilities. The same result holds for the cases aY=aZ>aXa_Y = a_Z > a_X and aZ=aX>aYa_Z = a_X > a_Y.
* When aX<aY<aZa_X < a_Y < a_Z: in this case, we have to have bX>bY>bZb_X > b_Y > b_Z, so we have 48×48=230448 \times 48 = 2304 possibilities. The same result holds for the five other cases, where aX,aY,aZa_X, a_Y, a_Z are all distinct.

Summing up all these numbers of possibilities, we obtain that the number of ways to distribute cakes among XX, YY, ZZ to satisfy the condition of the problem is
1×1+32×3+32×3+2304×6=14017. 1 \times 1 + 32 \times 3 + 32 \times 3 + 2304 \times 6 = 14017.

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 and solution reproduced as published; topic and difficulty added by this site.