Print this page and work through it on paper. Revealed answers are never printed, so you can check one question and still print a clean sheet.

  1. Show the solution to question 1

    (a) Set up the space. has outcomes. Two fair dice are physically symmetric and the red die does not influence the blue one, so every ordered pair is equally likely and the counting formula applies.

    is “the product is odd”, which happens exactly when both faces are odd. Each die has odd faces, so by the multiplication principle and . By the complement rule, , so .

    has outcomes, so .

    has outcomes, so .

    (b) Addition rule. Inside the blue face is , which is odd, so the product is even exactly when the red face is even: and . Then

    Direct count: consists of the outcomes of together with the outcomes of that are not in , namely those with an odd red face, . That is outcomes, and as before.

    (c) Difference formula. The event is : sum , product odd. Since , the difference formula that comes with monotonicity gives

    Of the three outcomes in , only has an even product, so and

    Check by listing: the outcomes are and , both with product , and there are indeed two of them.

  2. Show the solution to question 2

    (a) Count multiples. “Uniformly” means the outcomes are equiprobable, so every probability is a count divided by . There are multiples of , multiples of and multiples of up to , giving

    Because , and are pairwise coprime, “divisible by and by ” is the same as “divisible by ”, and similarly for the other pairs and the triple. There are multiples of , of , of and of :

    (b) Inclusion–exclusion for three events.

    By the complement rule, , which is of the integers. (Listing them — — confirms .)

    Checks. Boole's inequality gives , which exceeds and so is not informative here, though it is not violated. Monotonicity gives , and holds.

    (c) Exactly one. “ only” is . By the difference formula, , and by distributivity , whose probability the addition rule gives as

    since . Hence, in counts,

    The three “only” events are pairwise disjoint (an integer cannot be divisible by alone and by alone), so finite additivity gives

    Sanity check: exactly one is a sub-event of at least one, and , as monotonicity demands. The remaining of “at least one” is “two or more”, that is integers: , counting each pairwise multiple and removing the multiples of , which were counted three times, twice.

  3. Show the solution to question 3

    (a) From the addition rule and the upper bound. By the addition rule,

    Since , monotonicity gives , the last equality being the normalisation axiom. Combining,

    The bound has content only when ; otherwise it says a negative number, which non-negativity already guarantees.

    (b) Split along . Every outcome of lies either in or in , and not both, so

    with the two pieces disjoint, because one is inside and the other inside . Finite additivity gives , and subtracting from both sides is the claim.

    This is the difference formula with and ; the containment that formula needs is automatic, which is why no containment had to be assumed.

    (c) A probability-one event is invisible to intersections. By the complement rule, . Now , so monotonicity gives , and non-negativity gives ; hence . Apply part (b) with the roles of and exchanged:

    This does not show , because the axioms allow a non-empty event to have probability zero — a loaded die whose face never comes up has and , yet . Probability one means “almost certain”, which is a statement about , not about the set.

  4. Show the solution to question 4

    (a) Unordered, without repetition. A committee is a -element subset of the people: order is irrelevant and nobody can be chosen twice. All subsets are equally likely, so

    A committee with exactly women is built in two stages — choose the women from , then the men from — and the number of options at the second stage does not depend on the first choice, so the multiplication principle applies:

    (b) Complement. “At least one man” fails only for the all-women committees, of which there are . By the complement rule,

    The count cannot be right: it exceeds , so it is not the size of any event. The error is that a committee with men is produced once for each man who could have been “the” chosen one, so it is counted times. Exact counts by number of men: man, ; men, ; men, ; men, . The correct total is , matching the complement. Weighting by multiplicity, — exactly the flawed count, which confirms the diagnosis.

    (c) Disjoint cases. “More women than men” means or women, two mutually exclusive cases, so finite additivity applies:

    Full table by number of women: women, ; woman, ; women, ; women, ; women, . Sum: . The five cases partition the sample space, so the check had to come out exactly, and it did.

  5. Show the solution to question 5

    (a) Ordered, without repetition. A PIN is an ordered string, and by the multiplication principle with repetition allowed. All-distinct PINs are ordered selections of digits from without repetition:

    By the complement rule, .

    (b) Complement again. “At least one ” is awkward directly, so count PINs with no : each of the four positions has choices, giving . Hence

    The fraction is already in lowest terms: is odd and not a multiple of , so it shares no factor with .

    (c) Combinations inside an ordered space. A strictly increasing string has four distinct digits, and conversely any -element subset of can be written in increasing order in exactly one way. So the increasing PINs are in one-to-one correspondence with the -subsets, and there are

    of them. Note that : of the orderings of each set of four distinct digits, exactly one is increasing. Thus . The sample space is ordered, but the event picks out one representative per subset, so an unordered count is exactly what is needed — and the denominator stays , because the sample space has not changed.

    (d) Dependent. Count all-distinct PINs containing a by stages: choose which of the positions holds the ( ways), then fill the other three positions with distinct digits from the remaining ( ways). By the multiplication principle,

    Independence would require . Compare via the conditional form, since :

    These differ, so the events are dependent, and the student's product is wrong. The direction is intelligible: a PIN with four distinct digits uses four different values out of ten, whereas a PIN with repeats uses fewer, so a specific digit such as is more likely to be among the values used when the digits are distinct.

  6. Show the solution to question 6

    (a) Chain rule, colour by colour. Let , , be the colour of the -th ball. For all red,

    each conditioning event having positive probability, as the chain rule requires. For all blue, . For all green, , since only two green balls exist. The three cases are mutually exclusive, so by finite additivity

    Unordered check: all three-ball subsets are equally likely, and the monochrome ones number , giving again. The ordering convention cancels when used consistently on top and bottom.

    (b) Three different colours. In draw order the colours can appear in any of sequences. For the sequence red, blue, green the chain rule gives , and every other sequence gives the same product — the numerators are merely permuted over the fixed denominators . The six sequences are mutually exclusive, so

    Unordered check: subsets out of , and .

    (c) Conditioning on “no green”. Let be “no green ball drawn” and be “all three red”. Then , so and . For , count unordered draws from the non-green balls: , so (the chain rule agrees: ). By the definition,

    Reduced sample space: given , the draw is effectively three balls from the non-green ones, all subsets equally likely, and of them are all red: . Same answer, as it must be — conditioning is exactly the restriction to with the probabilities rescaled to total .

  7. Show the solution to question 7

    (a) Step 2: the complement rule is applied behind the bar. The rules of probability transfer to because conditioning on a fixed event yields a probability measure — but that measure lives in front of the bar. The valid statement is , i.e. . Changing the condition from to moves to a different reduced sample space, and nothing relates the two numbers. Correct value: after a red ball leaves, of the remaining are red, so

    Note ; there is no reason it should be .

    Step 3: right rule, wrong input. The multiplication rule is correctly stated and its hypothesis holds; the error is only the inherited . Correct value:

    Check by unordered counting: .

    Step 4: conditioning is about information, not causation. The definition asks only that ; it says nothing about which event happens first. Learning the colour of the second ball is evidence about the first, because the two draws are dependent. Since (computed in (b)), is perfectly well defined, and its value is .

    (b) Compute by counting. Take the sample space of ordered pairs of distinct balls: equally likely outcomes. The second ball is red in ways, and for each of those the first ball is any of the other , so and

    (That the two agree is the symmetry of a well-mixed bag: no position in the draw is special.) By the definition,

    Meaning: among all runs of the experiment in which the second ball turns out red, one-third have a red first ball — the second draw does not change the first, but knowing its result changes what we should believe about the first. It equals here only because .

  8. Show the solution to question 8

    (a) Only certain or impossible events are self-independent. Since , independence of with itself reads , that is

    so or . Conversely, if is or then and the definition holds.

    In words: learning that occurred tells you nothing about whether occurred only when you already knew.

    (b) Independence is additive over disjoint events. By distributivity,

    and the two pieces are disjoint, because . Finite additivity, then the two independence hypotheses, then finite additivity once more for the disjoint pair , :

    This is precisely the definition of independence for and .

    (c) A counterexample with overlap. Roll one fair die, so is equiprobable. Take , , , so and .

    and , so and are independent; identically gives and independent. But .

    Now has , while has probability , and

    So is not independent of .

    The proof breaks at the first equality: and are no longer disjoint (both contain ), so double counts the outcome and is not . The last equality fails for the same reason, since ; the addition rule's correction term is exactly what the disjointness hypothesis was suppressing.

  9. Show the solution to question 9

    (a) Seven is special. , so , and . The intersection has probability , and

    so and are independent.

    has , and has probability . But

    so and are dependent.

    The reason: whatever the first die shows, exactly one face of the second die makes the sum , so for every — learning the first die changes nothing. For a sum of , a first die of makes the event impossible while a leaves one chance in six, so the first die carries information about .

    (b) Independence of from an even first die. is the disjoint union of “first die is ”, “first die is ”, “first die is ”, so . Directly, and

    Independent. (This is also an instance of a general fact: is independent of each “first die is ” by the argument in (a), and independence is preserved under disjoint unions.)

    (c) Pairwise but not mutually. . The three pairwise intersections are

    each of probability , so all three pairs are independent. ( and are independent by the physical separation of the dice; and by the same reasoning as and .)

    The triple intersection is again , so , whereas

    Since , mutual independence fails. It is not surprising: and together pin the outcome to , which forces the sum to be , so . Each event alone says nothing about ; two of them together say everything.

  10. Show the solution to question 10

    (a) Partition, then total probability. The die shows exactly one face, so the are pairwise mutually exclusive and their union is the whole sample space; each has . All three conditions in the definition of a partition hold.

    Given , the coins are mutually independent and fair, so by the product rule for mutually independent events. By the law of total probability,

    Bounds check: the conditional rates run from to , and lies between them.

    (b) Exactly one head. Given , the coin results form equally likely strings (multiplication principle, with independence making them equiprobable), of which exactly contain a single head — one for each position the head could occupy. So , and

    (c) Total probability inside a conditional measure. Write , which is legitimate since , and which is a probability measure by the theorem that conditioning yields a probability measure. Under the events are still disjoint, they exhaust so that , and each has . So they partition the space for , and the law of total probability applies to . Moreover, for even ,

    because . Hence

    Direct route as a check: , and dividing by gives . Bounds: the relevant conditional rates are , and lies between and . It is also below , as it should be: an even die means at least two coins, which makes all-heads harder.

    (d) Dependent. , whereas ; since the conditional characterisation applies, and the two differ, so and are dependent. In product form, while .

    The dependence is positive: a on the die means a single coin, the easiest case for all-heads, so raises the chance of from to . Symmetrically, observing makes a low die roll more plausible.

  11. Show the solution to question 11

    (a) Evidence. The events , , partition the sample space — exactly one coin is chosen — with . Given the coin, the two tosses are independent, so

    By the law of total probability,

    Bounds: lies between and , the smallest and largest conditional rates.

    (b) Posteriors by Bayes' theorem with a partition. With ,

    Sum: , as the posteriors over a partition must (they are for the probability measure ).

    Odds form, two-headed against fair: the prior odds are ; the likelihood ratio is ; so the posterior odds are . Directly, . Agreed.

    (c) Predicting the third toss. Let be “third toss is heads”. Conditioning on gives a probability measure , under which , , still form a partition (each posterior is positive), so the law of total probability applies to :

    Conditional independence is used here: given the coin, the third toss is independent of the first two, so , which is , , for , , . Therefore

    Check from the definition: , and .

    Unconditionally a single toss shows heads with probability , well below . The tosses are conditionally independent given the coin but strongly dependent unconditionally: two heads are evidence for the two-headed coin, and that raises the chance of a third.

    (d) One head moves the posterior less. from (c), so by Bayes' theorem

    Compare . The prior rises to after one head and to after two: each head is evidence for , and the second head adds less than the first in absolute terms because there is less room left to move.

  12. Show the solution to question 12

    (a) Bayes with the partition . For both and (complement rule) are positive, so is a partition and the law of total probability gives the evidence

    which is positive since . Bayes' theorem then applies:

    Odds route: posterior odds equal the likelihood ratio times the prior odds,

    Converting odds back to a probability with ,

    the same expression, obtained without ever computing .

    (b) Three properties. The posterior exceeds the prior. Since the denominator is positive, is equivalent to , i.e. (dividing by ) to , i.e. to , which holds because and . A positive result from a test whose true-positive rate beats its false-positive rate always raises the probability of the condition.

    The half-way prevalence. exactly when , that is , so

    Below this prevalence a positive result still leaves the condition less likely than not.

    The amplification factor. Dividing numerator and denominator of by and rewriting ,

    At near the denominator is near , so : the posterior is the likelihood ratio times the prior, which is the odds form read for small probabilities. As increases the denominator grows (because ), so the ratio falls from towards at . The chord from the origin to any point of the curve therefore gets shallower as grows, which is what makes the curve bend downward.

    (c) The sketch. With , ,

    Values to mark: ; ; ; ; .

    Draw axes with from to horizontally and from to vertically, and the diagonal dashed. The curve starts at the origin, where it leaves nine times as steeply as the diagonal — draw a short tangent segment of slope , so that it reaches height by , just above the marked point . It passes through , already half-way up after one-tenth of the horizontal axis, then through , and arrives at almost flat: the last half of the axis lifts it only from to . It lies strictly above the diagonal on , by (b), touching it only at the two ends, and it is concave — the chords from the origin have slopes , which fall from to .

    The gap between curve and diagonal is the information the positive result carries: at prevalence the patient's probability moves from up to , and the gap is largest in the middle of the range — at it is .

    The steepness near is the base-rate effect seen from the other side: for rare conditions the posterior is extremely sensitive to the prevalence, so a screening programme at gives while a clinic whose patients arrive at gets from the very same test. Nothing about the test changed; the population did.

    The flattening near says a positive result adds little when the condition is already near-certain: at the test lifts the probability to , but from it can only reach , a gain of under .

    A useless test. If then : the curve collapses onto the dashed diagonal. The likelihood ratio is , the posterior odds equal the prior odds, and a positive result is no evidence at all.

Full solutions sheet →