Cláudio Buffara and William McWorter
Tue, 25 Mar 2003

The Math Lotto

The "Math Lotto" betting card is a 6×6 table. The gambler is to mark 6 of the 36 slots in the card. The official result is published with 6 slots chosen as the "LOSING SLOTS". The gambler wins if he doesn't pick any losing slot.

1. Prove that it is possible to fill out 9 betting cards so that at least one of them is a winner. Describe the markings on the 9 cards.
2. Prove that 8 cards are not sufficient to ensure a win.

Solution

1. Assume each betting card consists of a 6-element subset of {1, 2, ..., 36}. Fill out 9 cards as follows:

   C₁ = {1, 2, 3, 4, 5, 6}
   C₂ = {4, 5, 6, 7, 8, 9}
   C₃ = {1, 2, 3, 7, 8, 9}
   C₄ = {10, 11, 12, 13, 14, 15}
   C₅ = {16, 17, 18, 19, 20, 21}
   
   C₆ = {22, 23, 24, 25, 26, 27}
   C₇ = {25, 26, 27, 28, 29, 30}
   C₈ = {22, 23, 24, 28, 29, 30}
   
   C₉ = {31, 32, 33, 34, 35, 36}
   

   Form the sets:

   A = C₁C₂C₃C₄C₅
   B = C₆C₇C₈

   Let T be any 6-subset of {1, 2, ..., 36}.

   If T meets A in at most 3 elements or B in at most 1 element, then one of the cards in A or B is disjoint from T. If T meets A in 4 or more elements and B in 2 or more elements, then T meets A in exactly 4 and B in exactly 2 elements. Hence T is disjoint from C₉.

   Conclusion: one of these 9 cards is a winner.

2. Let A₁, ..., A₈ be any 8 6-subsets. If an element x appears in three of the A_i, then choose x and one element each from the remaining five sets, making a 6-element set meeting each A_i. Thus none of the A_i is a guaranteed winner. Otherwise, no element appears in more than two A_i. We count the ordered pairs (A_i, x), x in {1, ..., 36} in two ways:

   sum of number of elements contained in each A_i = 8×6 = 48, and
   sum of number of A_i containing each x = d₁ + ... + d₃₆, d_i being the number of A_j containing the i^th element.

   We know each d_i is less or equal 2 from above. Hence there must be at least 12 d_i's equal to 2. Let x be one of those contained in two A_i, say A_i and A_j. Then |A_iA_j| 11; whence there is a y outside A_iA_j contained in two A_i's, say A_k and A_l, with all four of these sets distinct. Hence x, y, and one element each from the remaining four A_i's makes a 6-subset which meets all 8 of the A_i. Thus none of the A_i is a guaranteed winner.

   

   

   Copyright © 1996-2008 Alexander Bogomolny