Yann writes down the first consecutive positive integers, . He removes four different integers from the list. At least three of are consecutive and . The average of the integers remaining in the list is 89.5625. What is the number of possible values of ?
Solution
When Yann removes 4 of the integers from his list, there are integers left. Suppose that the sum of the integers left is . The average of these integers is . Since the sum of the integers is , then which means that . Since 1433 and 16 have no common divisor larger than 1 (the positive divisors of 16 are 1, 2, 4, 8, 16, none of which other than 1 is a divisor of 1433), the value of is a multiple of 16. Since , the original list includes more than 100 numbers. Since the original list includes consecutive integers starting at 1 and only 4 of more than 100 numbers are removed, it seems likely that the average of the original list and the average of the new list should be relatively similar. Since the average of the new list is 89.5625 which is close to 90, it seems reasonable to say that the average of the original list is close to 90. Since the original list is a list of consecutive positive integers starting at 1, this means that we would guess that the original list has roughly 180 integers in it. In other words, appears to be near 180. We do know that is a multiple of 16. The closest multiples of 16 to 180 are 160, 176 and 192, which correspond to , and . Suppose that , which seems like the most likely possibility. We will show at the end of the solution that this is the only possible value of . The equation gives . The sum of the integers in the original list is . When , the sum of the integers is . Since the sum of the numbers in the original list is 16290 and the sum once the four numbers are removed is 15763, the sum of the four numbers removed is . In other words, . We now want to count the number of ways in which we can choose with the conditions that and with at least three of consecutive. The fourth of these integers is at least 101 and at most 180, which means that the sum of the three consecutive integers is at least and is at most . This means that the consecutive integers are at least (whose sum is 348) since which is too small and smaller integers will give sums that are smaller still. If equal , then . The consecutive integers are at most (whose sum is 426) since which is too large and larger integers will give sums that are larger still. If equal , then . When each of the three consecutive integers is increased by 1 and the sum is constant, the fourth integer is decreased by 3 to maintain this constant sum. Using all of this, we obtain the following lists : ; ; ... ; ; ; ... ; Note that we cannot use 131, 132, 133, 131, since must be distinct. There are 26 lists of integers that can be removed (16 in the first set and 10 in the second set). The corresponding values of are: There are 4 values of that overlap between the two lists, and so there are possible values for . Why is the only possible value of ? To see this, we use the fact that the average of the list of consecutive integers starting at and ending at equals the average of and , or . (This is true because the integers in the list have a constant difference and are thus evenly distributed, which means that the average of the first and last integers will equal the average of all of the integers in the list.) The original list of integers is which has an average of . If the four largest integers are removed from the list, the new list is , which has an average of . If the four smallest integers are removed from the list, the new list is , which has an average of . When any four integers are removed, the sum of the remaining integers is greater than or equal to the sum of and less than or equal to the sum of . Since the denominator in the average calculation remains the same, the average of any of the lists after four numbers are removed is at least and at most . This means that the actual average (which is 89.5625) is greater than or equal to and less than or equal to . Since , then and so . Since , then and so . Since is an integer, then and so . Since is a multiple of 16, then and so , as required.