Understanding the Context

This elegant formula calculates the probability of obtaining exactly ( k ) successes in ( n ) independent trials, where each trial has two outcomes—commonly termed "success" (with probability ( p )) and "failure" (with probability ( 1 - p )). In this article, we’ll break down the components of this equation, explore its significance, and highlight practical applications where it shines.

What Is the Binomial Distribution?

The binomial distribution models experiments with a fixed number of repeated, identical trials. Each trial is independent, and the probability of success remains constant across all trials. For example:
- Flipping a fair coin ( n = 10 ) times and counting heads.
- Testing ( n = 100 ) light bulbs, measuring how many are defective.
- Surveying ( n = 500 ) customers and counting how many prefer a specific product.

Key Insights

The random variable ( X ), representing the number of successes, follows a binomial distribution: ( X \sim \ ext{Binomial}(n, p) ). The PMF ( P(k) ) quantifies the likelihood of observing exactly ( k ) successes.

Breaking Down the Formula

Let’s examine each element in ( P(k) = \binom{n}{k} p^k (1 - p)^{n - k} ):

1. Combinatorial Term: (\binom{n}{k})
This binomial coefficient counts the number of distinct ways to choose ( k ) successes from ( n ) trials:
[
\binom{n}{k} = \frac{n!}{k!(n - k)!}
]
It highlights that success orders don’t matter—only the count does. For instance, getting heads 4 times in 10 coin flips can occur in (\binom{10}{4} = 210) different sequences.

Final Thoughts

2. Success Probability Term: ( p^k )
Raising ( p ) to the ( k )-th power reflects the probability of ( k ) consecutive successes. If flipping a biased coin with ( p = 0.6 ) results in 4 heads in 10 flips, this part contributes a high likelihood due to ( (0.6)^4 ).

3. Failure Probability Term: ( (1 - p)^{n - k} )
The remaining ( n - k ) outcomes are failures, each with success probability ( 1 - p ). Here, ( (1 - p)^{n - k} ) scales the joint probability by the chance of ( n - k ) flips resulting in failure.

Probability Mass Function (PMF) Properties

The function ( P(k) ) is a valid PMF because it satisfies two critical properties:
1. Non-negativity: ( P(k) \geq 0 ) for ( k = 0, 1, 2, ..., n ), since both ( \binom{n}{k} ) and the powers of ( p, 1 - p ) are non-negative.
2. Normalization: The total probability sums to 1:
[
\sum_{k=0}^n P(k) = \sum_{k=0}^n \binom{n}{k} p^k (1 - p)^{n - k} = (p + (1 - p))^n = 1^n = 1
]
This algebraic identity reveals the binomial theorem in action, underscoring the comprehensive coverage of possible outcomes.