Exploration questions
Q2: How to win at cards - combinations and permutations
Before attempting these questions, you should read Exploration: How to win at cards - combinations and permutations.
2.1. Using the formula from Exploration: The hidden sequences of Pascal’s triangle, show that the \(n\)th triangular number is equal to \(\displaystyle\binom{n}{2}\).
2.2. Using the formula from Exploration: The hidden sequences of Pascal’s triangle, show that the \(n\)th tetrahedral number is equal to \(\displaystyle\binom{n}{3}\).
2.3. Show the following identity for binomial coefficients: \[k\binom{n}{k} = n\binom{n-1}{k-1}\] (Hint: Think of picking a team of \(k\) students from a class of \(n\) students in two different ways: one where you pick the team first, then a captain; and one where you pick a captain first, then the rest of the team.)
2.4. Work out the probability of getting a straight flush in Texas hold ’em poker. An ace-low straight flush 5 4 3 2 A is permitted, so you should include this in your calculations. You should also remember that an A K Q J 10 straight flush is a royal flush, and so should be excluded from your calculations.
2.5. The UK National Lottery is a twice-weekly draw of 6 numbers out of a possible 59. To win the jackpot, you will need to match all 6 numbers on a single ticket. Work out the odds of winning the UK National Lottery by matching all 6 numbers.
Q3: Making it count - an introduction to the theory of functions
3.1. Before attempting these questions, you should read Exploration: Making it count - an introduction to the theory of funcions.
Let \(A\), \(B\) be sets and let \(f: A \to B\) be some function. Suppose there is a function \(g : B \to A\) with the property that \(f(g(b)) = b\) for all \(b \in B\). Show that \(f\) has to be surjective.
Let \(A\), \(B\) be sets and let \(p: A \to B\) be a function. Suppose there is a function \(q : B \to A\) with the property that \(q(p(a)) = a\) for all \(a \in A\). Show that \(p\) has to be injective.
Find an example of functions \(f,g\) as in (a) where \(f\) is not a bijection.
Find an example of functions \(p,q\) as in (b) where \(p\) is not a bijection.
Now suppose that \(f:A\to B\) is a bijection. Show that there is a function \(g:B\to A\) such that \(g(f(a)) = a\) for all \(a\in A\) and \(f(g(b)) = b\) for all \(b\in B\).
Finally, suppose that \(f:A\to B\) and \(g:B\to A\) are functions such that \(g(f(a)) = a\) for all \(a\in A\) and \(f(g(b)) = b\) for all \(b\in B\). Prove that \(f\) is bijective.
Version history and licensing
v1.0: initial version created 07/26 by tdhc, originally for the Sutton Trust Summer School 2026.