WHAT tool: two-set inclusion–exclusion, because we are asked for a union and we were handed the overlap.
WHY subtract: the 5 both-owners are inside the 18and inside the 12, so simple addition counts them twice.
∣D∪C∣=∣D∣+∣C∣−∣D∩C∣=18+12−5=25.Answer: 25.
Recall Solution
∣A∩C∩D∣ is an intersection of k=3 sets. The sign is (−1)k+1=(−1)4=+.
WHY: three is odd, and odd-size intersections are added.
Answer: + (positive).
∣A∩B∣ = multiples of lcm(4,6)=12: ⌊100/12⌋=8.WHY lcm not 4⋅6: a number divisible by both 4 and 6 must be divisible by their least common multiple, 12 — not the product 24 (else you'd miss 12,36,60,…).
∣A∪B∣=25+16−8=33.Answer: 33.
Recall Solution
55+50+40−20−15−12+8.
Step by step: singles =145; subtract pairs 145−47=98; add the triple 98+8=106.
WHY +8: the 8 all-three students were added 3 times (once per single) and subtracted 3 times (once per pair), netting 0 — so they must be restored once.
Answer: 106.
WHAT tool: count "at least one" by inclusion–exclusion, then subtract from the total — it is far easier than counting "none" directly. See the shaded region below.
Triple: ⌊1000/30⌋=33.∣A∪B∪C∣=500+333+200−166−100−66+33=734.
Divisible by none: 1000−734=266.WHY the complement: "divisible by none" is the outside of the union; total minus union gives it in one line.
Answer: 266.
Recall Solution
WHY a new formula: the union counts "one or more," but we want strictly one. An element in exactly one set should count once; in exactly two, zero times; in exactly three, zero times.
The count of "exactly one" is
∑∣Ai∣−2∑i<j∣Ai∩Aj∣+3∣A∩B∩C∣.WHY the coefficients −2,+3: an element in exactly two sets appears in (12)=2 singles and (22)=1 pair, so 2−2(1)=0. An element in all three appears in 3 singles, 3 pairs, 1 triple: 3−2(3)+3(1)=0. Only "in exactly one" survives with coefficient 1.
=145−2(47)+3(8)=145−94+24=75.Answer: 75.
WHAT tool: count the "bad" functions that miss at least one box by inclusion–exclusion, then subtract from all 35 functions.
Let Ai = functions that avoid box bi.
Total functions: 35=243.
∣Ai∣ = functions into the other 2 boxes =25=32; there are (13)=3 of them.
∣Ai∩Aj∣ = functions into the remaining 1 box =15=1; there are (23)=3.
∣A1∩A2∩A3∣ = functions into 0 boxes =0; (33)=1.
Functions missing at least one box:
3(32)−3(1)+0=96−3=93.
Surjections =243−93=150.WHY this matches the formula: surjections =∑k=03(−1)k(k3)(3−k)5=243−96+3−0=150.Answer: 150.
Recall Solution
WHAT tool: derangements Dn, an inclusion–exclusion payoff (see parent example 3).
Let Ai = arrangements where letter iis in its correct envelope, so ∣Ai∣=(n−1)!, and a k-fold intersection fixes k letters: (n−k)! with (kn) choices.
D5=5!∑k=05k!(−1)k=120(1−1+21−61+241−1201).
Compute the bracket: 0+0.5−0.16+0.0416−0.0083=0.366, and 120×12044=44.Answer: D5=44.
WHAT tool:Bonferroni Inequalities — truncating inclusion–exclusion after an odd number of terms over-estimates (upper bound); after an even number under-estimates (lower bound).
After 1 term (odd → upper): P(∪)≤∑P(Ai)=3(0.4)=1.2. (Trivially capped at 1.)
After 2 terms (even → lower): P(∪)≥∑P(Ai)−∑i<jP(Ai∩Aj)=1.2−3(0.1)=0.9.
So 0.9≤P(A∪B∪C)≤1.WHEN exact = lower bound 0.9: equality holds precisely when the triple intersection is empty, P(A∩B∩C)=0, since the full formula adds +P(A∩B∩C) to the lower bound.
Answer: bounds [0.9,1]; exact =0.9 iff P(A∩B∩C)=0.
Recall Solution
Strategy: fix one element x that lies in exactly r of the sets, and show it contributes 1 to Em when r=m and 0 otherwise. Summing over all x then gives the count.
Its contribution to Sk.x appears in a k-fold intersection exactly when all k chosen sets are among the r containing it, so it contributes (kr) to Sk (and 0 if k>r).
Its contribution to Em. Substitute:
∑k=mn(−1)k−m(mk)(kr).
Use the subset-of-a-subset identity (mk)(kr)=(mr)(k−mr−m) (WHY: choosing k from r then m from those k equals choosing the final m from r then the remaining k−m from the leftover r−m). Factor out (mr):
(mr)∑k=mr(−1)k−m(k−mr−m).
Let j=k−m:
(mr)∑j=0r−m(−1)j(jr−m)=(mr)(1−1)r−m.WHY the binomial theorem here:∑j(−1)j(jN)=(1−1)N collapses the alternating sum to 0N.
If r>m: (1−1)r−m=0 → contributes 0. ✓
If r=m: (1−1)0=1, and (mm)=1 → contributes 1. ✓
If r<m: the sum is empty → 0. ✓
Every element in exactly m sets contributes 1, all others 0. Hence Em counts them exactly. ■