Maths Olympiad Prep

Library / /25 of 27

Combinatorics Difficulty 6.5 National Olympiad Prove it Singapore

A total of 731731 objects are put into nn nonempty bags where nn is a positive integer. These bags can be distributed into 1717 red boxes and also into 4343 blue boxes so that each red and each blue box contain 4343 and 1717 objects, respectively. Find the minimum value of nn.

Solution

We shall prove this general with pp red boxes and qq blue boxes and pqpq objects, with p,qp, q coprime. Suppose the bags have been distributed as described, with each red box containing qq objects and each blue box containing qq objects. Suppose we have a collection of rr red and bb blue boxes. We say that a bag is internal (with respect to the collection) if it is contained in a red box and a blue box in the collection. It is external if it is contained in only one of the boxes in the collection. If the collection does not have any external bags, then rq=bprq = bp. Since p,qp, q are coprime, we have r=p,b=qr = p, b = q. This means any collection of xx boxes, with x<p+qx < p+q, must have an external bag.

We shall prove that for every x<p+qx < p+q, there is a collection of rr red and bb blue boxes with r+b=xr+b = x that has at least x1x-1 internal bags and at least 1 external bag. This is certainly true for x=2x = 2 since every bag is contained in a red box and a blue box and that these 2 boxes have an external bag. Inductively, suppose x<p+q1x < p+q-1 and there is a collection of xx boxes with x1x-1 internal bags and 1 external bag. By putting the box that contains the external bag into the collection, we have a collection of x+1x+1 boxes with xx internal bags. Since x+1<p+qx+1 < p+q, the collection also has an external bag. This can continue until x=p+q1x = p+q-1. For this collection, we have x1x-1 internal and 1 external bag giving a total x=p+q1x = p+q-1 bags. Thus np+q1n \ge p+q-1.

Next we shall show that n=p+q1n = p+q-1 is sufficient. Apply the division algorithm, assuming that p>qp > q, we have p=kq+rp = kq+r where 0r<q10 \le r < q-1. Suppose that we have solved the problem for (q,r)(q, r), i.e., we have q+r1q+r-1 bags containing a total of qrqr objects and these bags can be distributed into qq red boxes, R1,,RqR_1, \dots, R_q with rr objects in each box and into rr blue boxes, B1,,BrB_1, \dots, B_r, with qq objects in each box. Now add another kqkq bags with qq objects in each bag. We have a total kq+q+r1=p+q1kq + q + r - 1 = p + q - 1 bags with a total of kq2+qr=pqkq^2 + qr = pq objects. Put each of these new bags into a new blue box, then, together with B1,,BrB_1, \dots, B_r, we have kq+r=pkq + r = p blue boxes each with qq objects. Next into each of the red boxes R1,,RqR_1, \dots, R_q, put kk of these new bags so that each box has kq+r=pkq + r = p objects. Thus we have a solution for (p,q)(p, q). Since p,qp, q are coprime, applying the division algorithm repeatedly, we eventually get to the situation where r=1r=1. For the solution to the problem with q×1q \times 1 objects, we simply put 1 object in each bag.

For p=43,q=17p=43, q=17, we have 43=2×17+943 = 2 \times 17 + 9, 17=1×9+817 = 1 \times 9 + 8, 9=1×8+19 = 1 \times 8 + 1. Thus our solution is 8 bags with 1 object, 8 bags with 8 objects, 9 bags with 9 objects, 34 bags with 17 objects.

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.