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.
Probability · Chapter test
Foundations of Probability
Work this sheet on paper, showing every step — the solutions give the full method so you can check your route, not just your final number. Name every rule you use (“by the complement rule”, “by the law of total probability”, “by Bayes' theorem”) and check its hypothesis where it has one: that the sample space is equiprobable, that the conditioning event has positive probability, that the cases form a partition. No calculator is needed anywhere; every answer is an exact fraction. Full worked solutions are on a separate page, and each question has its own reveal, so you can check one answer without seeing the rest.
- 1.Computation · 6 min
A red die and a blue die, both fair, are rolled, and the outcome is recorded as the ordered pair . Let be the event “the product of the two faces is even”, be “the blue die shows ”, and be “the two faces sum to ”. Wherever you use , say why the sample space you are counting in is equiprobable.
- (a)Find , and , and hence , and . Do not list all of : find by counting its complement, and name the rule that licenses the step.
- (b)Find by the addition rule, then confirm the value by counting directly.
- (c)Find the probability that the faces sum to and their product is odd. Say which two of , , are involved and which named result gives the answer without listing outcomes.
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.Computation · 7 min
An integer is chosen uniformly at random from . Let , and be the events that is divisible by , by and by respectively.
- (a)Compute , , , , , and , saying in one line how each intersection is counted.
- (b)Find the probability that is divisible by at least one of , , , and the probability that it is divisible by none of them. Name the theorem you use, and run the sanity checks that Boole's inequality and monotonicity provide.
- (c)Find the probability that is divisible by exactly one of the three. Derive the count you use from the addition rule rather than quoting a formula.
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.Proof · 8 min
Prove each statement for an arbitrary probability measure , using only the Kolmogorov axioms and the results that follow directly from them: finite additivity, the complement rule, monotonicity and the addition rule. Name each result at the point where it is used. The proofs are short; the marks are for making every hypothesis visible.
- (a)For any events and , .
- (b)For any events and , with no containment assumed, .
- (c)If then for every event . Then explain in one sentence why this does not show .
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.Computation · 8 min
A committee of is chosen uniformly at random from a pool of women and men. Before each count, say whether order matters and whether repetition is allowed, and use the same convention in numerator and denominator.
- (a)Find the probability that the committee has exactly women.
- (b)Find the probability that it contains at least one man, using the complement rule. Then explain precisely why the count (“pick a man, then any three others”) does not count the committees with at least one man, and reconcile it with the correct count by saying how many times it counts a committee with exactly men.
- (c)Find the probability that the committee contains more women than men, and verify your table of counts by checking that the numbers of committees with women sum to .
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.Computation · 10 min
A four-digit PIN is chosen uniformly at random from to , so leading zeros are allowed and . Give every answer as an exact fraction in lowest terms.
- (a)Find the probability that all four digits are distinct, and hence the probability that some digit is repeated.
- (b)Find the probability that the digit appears at least once.
- (c)Find the probability that the digits are strictly increasing from left to right (as in ). Explain why a combination count is the right tool even though the sample space consists of ordered strings.
- (d)A student argues: “the events in (a) and (b) are both about digits, so .” Compute correctly, decide whether the two events are independent, and explain in words which way the dependence runs.
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.Computation · 9 min
A box holds red, blue and green balls. Three balls are drawn one at a time without replacement, every ball still in the box being equally likely at each draw.
- (a)Use the chain rule to find the probability that all three balls are the same colour. Then recompute it by counting unordered draws, and confirm the two routes agree.
- (b)Find the probability that the three balls are of three different colours.
- (c)Given that no green ball was drawn, find the probability that all three balls are red — once from the definition of conditional probability, and once by working directly inside the reduced sample space.
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.Critique · 8 min
A bag holds red and blue balls. Two are drawn without replacement. Write , for the colour of the first ball and , for the second. A student writes:
Step 1. , since after a blue ball leaves, of the remaining balls are red.
Step 2. So by the complement rule, .
Step 3. By the multiplication rule, .
Step 4. is undefined: the second draw happens after the first, so it cannot affect it, and there is nothing to condition on.
Step 1 is correct. Nothing after it is.
- (a)For each of Steps 2, 3 and 4, say exactly what is wrong — which rule is misapplied, or which idea is confused — and give the correct value wherever there is one.
- (b)Compute and , and explain in one sentence what means.
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.Proof · 9 min
Work from the definition of independence, , throughout. Use the conditional characterisation only after checking its hypothesis.
- (a)Prove that an event is independent of itself if and only if or .
- (b)Suppose is independent of , is independent of , and . Prove that is independent of .
- (c)Give an explicit example on a single fair die showing that the conclusion of (b) can fail when , and point to the line of your proof in (b) that breaks.
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.Computation · 9 min
Two fair dice are rolled and the outcome is the ordered pair in the -element equiprobable sample space. Let be “the sum is ”, be “the sum is ”, be “the first die shows ”, and be “the second die shows ”.
- (a)Decide from the definition whether and are independent, and whether and are independent. Explain in words what it is about the number that makes the difference.
- (b)Let be “the first die shows an even number”. Show that and are independent.
- (c)Show that , , are pairwise independent but not mutually independent, and say in words why the failure is not surprising.
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.Computation · 11 min
A fair die is rolled. If it shows , then fair coins are tossed, the coins being independent of one another and of the die. Let be the event that every coin tossed shows heads, and let be the event that the die shows .
- (a)Verify that form a partition, state with justification, and compute exactly.
- (b)Compute the probability that exactly one head appears in total.
- (c)Let be “the die shows an even number”. Compute . Explain which theorem lets you run a total-probability argument inside the conditional world, and check the answer against the weighted-average bounds.
- (d)Are and independent? Decide by a computation, and say in words which way the dependence runs.
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.Computation · 11 min
A pocket holds three coins: a fair coin, a two-headed coin, and a biased coin for which heads has probability . One coin is chosen uniformly at random and tossed twice; successive tosses of a given coin are independent. Both tosses show heads. Write , and for the events that the fair, two-headed and biased coin was chosen, and for the observation.
- (a)Compute by the law of total probability, and check it against the weighted-average bounds.
- (b)Find the posterior probability of each coin given , and verify that the three posteriors sum to . Then compare the fair and two-headed coins in odds form and confirm it agrees.
- (c)The same coin is tossed a third time. Find the probability that it shows heads, given the two heads already seen. State exactly where conditional independence is used, and compare with the unconditional probability that a single toss shows heads.
- (d)Would a single observed head have moved the probability of the two-headed coin less far? Compute and compare with .
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.Sketch · 10 min
A test for a condition has sensitivity and false-positive rate , with . The prevalence depends on the population being tested. Write for the posterior probability of the condition after one positive result. Keep and symbolic until part (c); no calculator is needed.
- (a)Derive for , naming each theorem used. Then obtain the same formula from the odds form of Bayes' theorem.
- (b)Show that for every ; find the prevalence at which ; and show that , so that for small and the ratio decreases as grows.
- (c)Take and . Sketch for on the same axes as the line . Mark the points at , , , and with their exact -values and indicate the initial slope. Then explain what each of these features means for a patient: the gap between the curve and the diagonal, the steepness near , and the flattening near . Finally say what the sketch becomes for a useless test with .
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.
Solutions: calc-path.com/probability/test/foundations/answers