Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2011/ia/paper-2/9f/a/solution

By the definition of conditional probability,
Since the form a disjoint partition of the sample space, the law of total probability gives . Substitution proves Bayes' theorem in the required form:
The hypotheses make the denominator positive and each conditioning probability well defined.

New to topics? Read the docs here!