Sunday Afternoon Maths LII
Subsum
1) In a set of three integers, will there always be two integers whose sum is even?
2) How many integers must there be in a set so that there will always be three integers in the set whose sum is a multiple of 3?
3) How many integers must there be in a set so that there will always be four integers in the set whose sum is even?
4) How many integers must there be in a set so that there will always be three integers in the set whose sum is even?
Show answer & extension
Hide answer & extension
1) Yes, there must be either at least two even integers or at least two odd integers. The sum of two even integers is even. The sum of two odd integers is even.
2) Five.
3) Five.
4) An infinite number: in a list of odd integers, there will never be three integers which add up to an even number.
This puzzle leads naturally into the following extension:
Extension
How many integers must there be in a set so that there will always be \(a\) integers in the set whose sum is a multiple of \(b\)?
For which values of \(a\) and \(b\) will the answer to this be finite?
More doubling cribbage
Brendan and Adam are playing lots more games of
high stakes cribbage: whoever
loses each game must double the other players money. For example, if Brendan has £3 and Adam has £4 then Brendan wins, they will have £6
and £1 respectively.
In each game, the player who has the least money wins.
Brendan and Adam notice that for some amounts of
starting money, the games end with one player having all the money; but for other amounts, the games continue forever.
For which
amounts of starting money will the games end with one player having all the money?
Show answer & extension
Hide answer & extension
If Adam has £\(a\) and Brendan has £\(b\), we will write this as £\(a\):£\(b\).
First, we can take
\(a\) and \(b\) to have no common factors, as dividing both by a common factor gives an equivalent starting point. For example,
£3:£6 and £6:£12 will have exactly the same behaviour (imagine £6 and 3 £2 coins).
£\(a\):£\(b\) is also clearly equivalent to £\(b\):£\(a\) (but with the two players swapping places).
A game starting £\(a\):£\(b\) will end with one player having the money if \(a+b\) is a power of two. This is because:
If \(a+b=2^n\), then if \(n=1\), either the game has already ended or it sits at £1:£1 and is about to end. If \(n>2\), then the starting
position can be written as £\(2^n-k\):£\(k\) with \(k<2^n-k\). After another game this will be £\(2^n-2k\):£\(2k\). This is equivalent to
£\(2^{n-1}-k\):£\(k\). Therefore by
induction, if \(a+b=2^n\) then the
game ends with one player having all the money.
It can also be shown by induction, that if a game ends then it must be £\(a\):£\(b\)
with \(a+b=2^n\).
Extension
What would happen if the losing player has to triple the winning player's money?