Class 12 Maths, Worked in Full Past papersGet updates
Chapter 13 · Probability

Example 13: If E and F are independent, so are E and F′F'

ExamplesIndependent events · Section 13.4
The question

Prove that if E and F are independent events, then so are the events E and F′.

Exam answer

Since EE and FF are independent,

P(E∩F)=P(E) P(F)…(1)P(E\cap F) = P(E)\,P(F) \quad\ldots(1)

E∩FE\cap F and E∩F′E\cap F' are mutually exclusive, and E=(E∩F)∪(E∩F′)E = (E\cap F)\cup(E\cap F')⁠.

So, by the addition rule for mutually exclusive events,

P(E)=P(E∩F)+P(E∩F′)P(E) = P(E\cap F) + P(E\cap F') P(E∩F′)=P(E)−P(E∩F)=P(E)−P(E) P(F)[by (1)]=P(E) [1−P(F)]\begin{aligned} P(E\cap F') &= P(E) - P(E\cap F) \\ &= P(E) - P(E)\,P(F) \\ &\qquad [\text{by }(1)] \\ &= P(E)\,[1 - P(F)] \end{aligned}

Since 1−P(F)=P(F′)1 - P(F) = P(F')⁠,

P(E∩F′)=P(E) P(F′)P(E\cap F') = P(E)\,P(F')

∴ E\therefore\ E and F′F' are independent events. Hence proved.

Want the reason behind every step, the basics and the checks?

The one idea this problem is built on

Split EE into the part inside FF and the part outside FF⁠. The two parts do not overlap, so their probabilities add up to P(E)P(E)⁠. The part inside FF has probability P(E) P(F)P(E)\,P(F) by independence, so the part outside FF gets what is left:

P(E)−P(E) P(F)=P(E) [1−P(F)]=P(E) P(F′).\begin{aligned} &P(E) - P(E)\,P(F) \\ &= P(E)\,[1 - P(F)] \\ &= P(E)\,P(F'). \end{aligned}

That is exactly the product test for EE and F′F'⁠.

Given, to find, and the plan
Given
EE and FF are independent: P(E∩F)=P(E) P(F)P(E \cap F) = P(E)\,P(F)⁠.
To show
EE and F′F' are independent: P(E∩F′)=P(E) P(F′)P(E \cap F') = P(E)\,P(F')⁠.
Plan
Write EE as two mutually exclusive pieces; add their probabilities; substitute the given product; factor out P(E)P(E)⁠; recognise 1−P(F)1 - P(F) as P(F′)P(F')⁠.

Basics you need

1Independent events (Section 13.4)

EE and FF are independent if P(E∩F)=P(E) P(F)P(E \cap F) = P(E)\,P(F)⁠. To prove two events independent, show this product rule holds. Lesson: independent events

2Two events cut S into four regions

E∩FE \cap F⁠, E∩F′E \cap F'⁠, E′∩FE' \cap F and E′∩F′E' \cap F' do not overlap, and EE is made of the first two. Basics: Venn diagrams

3Adding probabilities

If XX and YY are mutually exclusive, P(X∪Y)=P(X)+P(Y)P(X \cup Y) = P(X) + P(Y)⁠; and P(F′)=1−P(F)P(F') = 1 - P(F)⁠. Basics: rules of probability

Solution

  1. Write down what is given and what must be shown

    Since EE and FF are independent,

    P(E∩F)=P(E) P(F)…(1)P(E \cap F) = P(E)\,P(F) \quad\ldots(1)

    We must show the same kind of equation with F′F' in place of FF⁠:

    P(E∩F′)=P(E) P(F′).P(E \cap F') = P(E)\,P(F').
    Independence is defined by the product rule (Definition 3, Section 13.4). So "EE and F′F' are independent" means exactly this equation; proving it is the whole task. Equation (1) is the only information we have, so it must be used somewhere.
    Independent means P(E∩F)=P(E) P(F)P(E \cap F) = P(E)\,P(F)⁠. Lesson: independent events
  2. Split E into two pieces

    Every outcome in EE is either in FF or not in FF⁠. So

    E=(E∩F)∪(E∩F′),E = (E \cap F) \cup (E \cap F'),

    and the two pieces E∩FE \cap F and E∩F′E \cap F' are mutually exclusive (no outcome is in both FF and F′F'⁠).

    S E F E ∩ F′ E ∩ F E′ ∩ F E′ ∩ F′ E = (E ∩ F) ∪ (E ∩ F′): two pieces with no overlap
    The shaded circle is EE⁠. The circle FF cuts it into the lens E∩FE \cap F and the crescent E∩F′E \cap F'⁠. The two pieces do not overlap and together make up EE⁠.
    This is the same picture the book draws (Fig 13.3). Cutting EE along the edge of FF is useful because one piece, E∩FE \cap F⁠, is the piece equation (1) talks about, and the other piece, E∩F′E \cap F'⁠, is the one we need.
    Two events cut S into four regions. Basics: Venn diagrams
  3. Add the probabilities of the pieces

    By the addition rule for mutually exclusive events,

    P(E)=P(E∩F)+P(E∩F′).P(E) = P(E \cap F) + P(E \cap F').

    Subtract P(E∩F)P(E \cap F) from both sides:

    P(E∩F′)=P(E)−P(E∩F).P(E \cap F') = P(E) - P(E \cap F).
    For events with no common outcome, the probability of "one or the other" is the plain sum; nothing is counted twice. This turns the set equation of Step 2 into an equation between numbers.
    P(X∪Y)=P(X)+P(Y)P(X \cup Y) = P(X) + P(Y) when X∩Y=ϕX \cap Y = \phi⁠. Basics: rules of probability
  4. Use independence and factor

    P(E∩F′)=P(E)−P(E∩F)=P(E)−P(E) P(F)[by (1)]=P(E) [1−P(F)]=P(E) P(F′).\begin{aligned} P(E \cap F') &= P(E) - P(E \cap F) \\ &= P(E) - P(E)\,P(F) \\ &\qquad [\text{by }(1)] \\ &= P(E)\,[1 - P(F)] \\ &= P(E)\,P(F'). \end{aligned}

    So EE and F′F' are independent.

    Equation (1) replaces P(E∩F)P(E \cap F) by a product. Both terms then contain P(E)P(E)⁠, so it comes out as a common factor. What is left in the bracket, 1−P(F)1 - P(F)⁠, is the probability that FF does not happen, which is P(F′)P(F')⁠. The last line is the product rule for EE and F′F'⁠, which is what we had to show.
    Complement rule: P(F′)=1−P(F)P(F') = 1 - P(F)⁠. Basics: rules of probability
  5. The other two pairs (the book's Note)

    The same result, used twice more, gives the Note after this example:

    • Swap the names of the events: if FF and EE are independent, then so are FF and E′E'⁠. So E′E' and FF are independent.
    • Now apply the result to the independent pair E′E' and FF⁠: then E′E' and F′F' are independent.
    The proof used nothing special about EE or FF⁠, only that they are independent. So it can be applied to any independent pair, including pairs that already have a dash. Independence is a two-way relation (P(E∩F)=P(F∩E)P(E \cap F) = P(F \cap E)⁠), so the order of the two events does not matter.
    Independence of EE and FF is the same as independence of FF and EE⁠. Lesson: independent events
Result

P(E∩F′)=P(E) P(F′)P(E \cap F') = P(E)\,P(F')⁠, so if EE and FF are independent, then EE and F′F' are independent. Hence proved.

(Textbook answer: Hence, E and F′ are independent.)

Check it with numbers

A die. Throw a fair die; let E={2,4,6}E = \{2, 4, 6\} (even) and F={1,2}F = \{1, 2\}⁠. Then P(E)=36P(E) = \frac{3}{6}⁠, P(F)=26P(F) = \frac{2}{6} and E∩F={2}E \cap F = \{2\}⁠, so P(E∩F)=16=36×26P(E \cap F) = \frac{1}{6} = \frac{3}{6} \times \frac{2}{6}⁠: EE and FF are independent.

Now F′={3,4,5,6}F' = \{3, 4, 5, 6\} and E∩F′={4,6}E \cap F' = \{4, 6\}⁠, so P(E∩F′)=26≈0.3333P(E \cap F') = \frac{2}{6} \approx 0.3333⁠, and P(E) P(F′)=36×46=1236≈0.3333P(E)\,P(F') = \frac{3}{6} \times \frac{4}{6} = \frac{12}{36} \approx 0.3333⁠. The two agree, as the proof says they must.

Common mistakes
  1. Assuming what is to be proved. Writing P(E∩F′)=P(E) P(F′)P(E \cap F') = P(E)\,P(F') in the first line proves nothing; it must come out at the end of a chain that starts from P(E∩F′)P(E \cap F')⁠.
  2. Confusing independent with mutually exclusive. E∩FE \cap F and E∩F′E \cap F' are mutually exclusive, so their probabilities add. EE and FF themselves are independent, so their probabilities multiply. Do not mix up the two rules.
  3. Writing P(F′)=P(F)−1P(F') = P(F) - 1⁠. The complement rule is P(F′)=1−P(F)P(F') = 1 - P(F)⁠.
What to take away
  1. If EE and FF are independent, then so are EE and F′F'⁠, E′E' and FF⁠, and E′E' and F′F'⁠. Knowing that FF did not happen tells you no more about EE than knowing that it did.
  2. To prove a probability identity, split an event into mutually exclusive pieces and add.
  3. This result is used in Example 14 and in questions such as Exercise 13.2, Question 11, where P(A and not B)=P(A) P(B′)P(A \text{ and not } B) = P(A)\,P(B')⁠.

Every fact used, and where it comes from

FactUsed inSource
Independent if P(E∩F)=P(E) P(F)P(E \cap F) = P(E)\,P(F)Steps 1, 4Definition 3, Section 13.4 (Lesson: independent events)
E=(E∩F)∪(E∩F′)E = (E \cap F) \cup (E \cap F')⁠, pieces mutually exclusiveStep 2Fig 13.3, Section 13.4 (Basics: Venn diagrams)
Addition rule for mutually exclusive eventsStep 3Class XI, Probability (Basics: rules of probability)
P(F′)=1−P(F)P(F') = 1 - P(F)Step 4Class XI, Probability (Basics: rules of probability)
E′E' and FF⁠, E′E' and F′F' independentStep 5Note after Example 13, Section 13.4
Found an error, or want more?

Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →