Analyzing the Setup
Imagine you are standing at a table with a standard deck of 52 cards. You know the composition perfectly: 13 spades and 39 non-spades.
Suddenly, a card slips from the deck and vanishes. You don't know what it is. You are then asked to draw n cards from the remaining 51, and to your surprise, every single one of them is a spade.
The question is: what is the probability that the lost card was a spade? Furthermore, what is the value of n that makes this probability exactly 5011?
Defining the Hypotheses
We have two competing realities, which we call hypotheses:
- E1: The lost card is a spade.
- E2: The lost card is NOT a spade.
Before we draw any cards, we determine the prior probabilities. Since there are 13 spades in a 52-card deck, the probability of losing a spade is P(E1)=5213=41.
Consequently, the probability of losing a non-spade is P(E2)=5239=43.
The Observed Reality
Now, we observe Event A: "Drawing n spades from the remaining 51 cards." We calculate the conditional probability of A occurring under each hypothesis.
If E1 is true (a spade was lost), we have 12 spades left in 51 cards. The probability of drawing n spades is:
If E2 is true (a non-spade was lost), we still have 13 spades in 51 cards. The probability of drawing n spades is:
The Bayes' Bridge
We want to find P(E1∣A), the probability that the lost card was a spade given that we drew n spades. Bayes' Theorem provides the path:
P(E1∣A)=P(E1)P(A∣E1)+P(E2)P(A∣E2)P(E1)P(A∣E1)
Substituting our values into the equation:
P(E1∣A)=41⋅51Cn12Cn+43⋅51Cn13Cn41⋅51Cn12Cn
The Algebraic Dance
The 41 and the 51Cn appear in every term. We can divide them out entirely to simplify the expression:
P(E1∣A)=12Cn+3⋅13Cn12Cn
To simplify further, divide the numerator and denominator by 12Cn:
P(E1∣A)=1+3⋅12Cn13Cn1
Using the property m−1CrmCr=m−rm, we find that 12Cn13Cn=13−n13. Substituting this back:
P(E1∣A)=1+3⋅(13−n13)1=(13−n)+3913−n=52−n13−n
The Final Reveal
We are given that P(E1∣A)=5011. We set up the equation:
Cross-multiplying gives:
50(13−n)=11(52−n)
650−50n=572−11n
78=39n
Solving for n, we get:
n=2