Maths Olympiad Prep

Library / /1353 of 1394

, 2016

Combinatorics Difficulty 6.2 National Olympiad Prove it United States

Problem:

Kelvin the Frog has a pair of standard fair 8-sided dice (each labelled from 1 to 8). Alex the sketchy Kat also has a pair of fair 8-sided dice, but whose faces are labelled differently (the integers on each of Alex's dice need not be distinct). To Alex's dismay, when both Kelvin and Alex roll their dice, the probability that they get any given sum is equal!

Suppose that Alex's two dice have aa and bb total dots on them, respectively. Assuming that aba \neq b, find all possible values of min{a,b}\min \{a, b\}.

Proposed by: Alexander Katz

Solution

Solution:

Define the generating function of an event AA as the polynomial
g(A,x)=pixi g(A, x) = \sum p_{i} x^{i}
where pip_{i} denotes the probability that ii occurs during event AA. We note that the generating function is multiplicative; i.e.
g(A AND B,x)=g(A)g(B)=piqjxi+j g(A \text{ AND } B, x) = g(A) g(B) = \sum p_{i} q_{j} x^{i+j}
where qjq_{j} denotes the probability that jj occurs during event BB.

In our case, events AA and BB are the rolling of the first and second dice, respectively, so the generating functions are the same:
g(die,x)=18x1+18x2+18x3+18x4+18x5+18x6+18x7+18x8 g(\text{die}, x) = \frac{1}{8} x^{1} + \frac{1}{8} x^{2} + \frac{1}{8} x^{3} + \frac{1}{8} x^{4} + \frac{1}{8} x^{5} + \frac{1}{8} x^{6} + \frac{1}{8} x^{7} + \frac{1}{8} x^{8}
and so
g(both dice rolled,x)=g(die,x)2=164(x1+x2+x3+x4+x5+x6+x7+x8)2 g(\text{both dice rolled}, x) = g(\text{die}, x)^{2} = \frac{1}{64}\left(x^{1} + x^{2} + x^{3} + x^{4} + x^{5} + x^{6} + x^{7} + x^{8}\right)^{2}
where the coefficient of xix^{i} denotes the probability of rolling a sum of ii.

We wish to find two alternate dice, CC and DD, satisfying the following conditions:
- CC and DD are both 8-sided dice; i.e. the sum of the coefficients of g(C,x)g(C, x) and g(D,x)g(D, x) are both 8 (or g(C,1)=g(D,1)=8g(C, 1) = g(D, 1) = 8).
- The faces of CC and DD are all labeled with a positive integer; i.e. the powers of each term of g(C,x)g(C, x) and g(D,x)g(D, x) are positive integers (or g(C,0)=g(D,0)=0g(C, 0) = g(D, 0) = 0).
- The probability of rolling any given sum upon rolling CC and DD is equal to the probability of rolling any given sum upon rolling AA and BB; i.e. g(C,x)g(D,x)=g(A,x)g(B,x)g(C, x) g(D, x) = g(A, x) g(B, x).

Because the dice are "fair"—i.e. the probability of rolling any face is 18\frac{1}{8}—we can multiply g(A,x),g(B,x),g(C,x)g(A, x), g(B, x), g(C, x) and g(D,x)g(D, x) by 8 to get integer polynomials; as this does not affect any of the conditions, we can assume g(C,x)g(C, x) and g(D,x)g(D, x) are integer polynomials multiplying to (x1+x2++x8)2\left(x^{1} + x^{2} + \ldots + x^{8}\right)^{2} (and subject to the other two conditions as well). Since Z\mathbb{Z} is a UFD (i.e. integer polynomials can be expressed as the product of integer polynomials in exactly one way, up to order and scaling by a constant), all factors of g(C,x)g(C, x) and g(D,x)g(D, x) must also be factors of x1+x2++x8x^{1} + x^{2} + \ldots + x^{8}. Hence it is useful to factor x1+x2++x8=x(x+1)(x2+1)(x4+1)x^{1} + x^{2} + \ldots + x^{8} = x(x+1)(x^{2}+1)(x^{4}+1).

We thus have g(C,x)g(D,x)=x2(x+1)2(x2+1)2(x4+1)2g(C, x) g(D, x) = x^{2}(x+1)^{2}(x^{2}+1)^{2}(x^{4}+1)^{2}. We know that g(C,0)=g(D,0)=0g(C, 0) = g(D, 0) = 0, so xg(C,x),g(D,x)x \mid g(C, x), g(D, x). It remains to distribute the remaining term (x+1)2(x2+1)2(x4+1)2(x+1)^{2}(x^{2}+1)^{2}(x^{4}+1)^{2}; we can view each of these 6 factors as being "assigned" to either CC or DD. Note that since g(C,1)=g(D,1)=8g(C, 1) = g(D, 1) = 8, and each of the factors x+1,x2+1,x4+1x+1, x^{2}+1, x^{4}+1 evaluates to 2 when x=1x=1, exactly three factors must be assigned to CC and exactly three to DD. Finally, assigning x+1,x2+1x+1, x^{2}+1, and x4+1x^{4}+1 to CC results in the standard die, with a=b=28a = b = 28. This gives us the three cases (and their permutations):

- g(C,x)=x(x+1)2(x2+1)g(C, x) = x(x+1)^{2}(x^{2}+1), g(D,x)=x(x2+1)(x4+1)2g(D, x) = x(x^{2}+1)(x^{4}+1)^{2}. In this case we get g(C,x)=x5+2x4+2x3+2x2+xg(C, x) = x^{5} + 2 x^{4} + 2 x^{3} + 2 x^{2} + x and g(D,x)=x11+x9+2x7+2x5+x3+xg(D, x) = x^{11} + x^{9} + 2 x^{7} + 2 x^{5} + x^{3} + x, so the "smaller" die has faces 5,4,4,3,3,2,25, 4, 4, 3, 3, 2, 2, and 11 which sum to 2424.

- g(C,x)=x(x+1)(x2+1)2g(C, x) = x(x+1)(x^{2}+1)^{2}, g(D,x)=x(x+1)(x4+1)2g(D, x) = x(x+1)(x^{4}+1)^{2}. In this case we have g(C,x)=x6+x5+2x4+2x3+x2+xg(C, x) = x^{6} + x^{5} + 2 x^{4} + 2 x^{3} + x^{2} + x and g(D,x)=x10+x9+2x6+2x5+x2+xg(D, x) = x^{10} + x^{9} + 2 x^{6} + 2 x^{5} + x^{2} + x, so the "smaller" die has faces 6,5,4,4,3,3,26, 5, 4, 4, 3, 3, 2 and 11 which sum to 2828.

- g(C,x)=x(x2+1)2(x4+1)g(C, x) = x(x^{2}+1)^{2}(x^{4}+1), g(D,x)=x(x+1)2(x4+1)g(D, x) = x(x+1)^{2}(x^{4}+1). In this case we have g(C,x)=x9+2x7+2x5+2x3+xg(C, x) = x^{9} + 2 x^{7} + 2 x^{5} + 2 x^{3} + x and g(D,x)=x7+2x6+x5+x3+2x2+xg(D, x) = x^{7} + 2 x^{6} + x^{5} + x^{3} + 2 x^{2} + x, so the "smaller die" has faces 7,6,6,5,3,2,27, 6, 6, 5, 3, 2, 2, 11 which sum to 3232.

Therefore, min{a,b}\min \{a, b\} is equal to 2424, 2828, or 3232.

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.