Naive addition mein KYA galat hota hai: ek element jo k sets mein hai, woh k baar add hota hai jabki hum chahte hain ki woh sirf 1 baar add ho. Humein ek aisa correction chahiye jo har k≥1 ke liye net 1 de.
Pehle singles add karo, phir hum pairwise overlaps ko over-subtract kar dete hain aur triple ko wapas add karna padta hai.
∣A∣+∣B∣+∣C∣ek triple-element ko 3 baar count karta hai.
Teen pairwise intersections subtract karo:
−(∣A∩B∣+∣A∩C∣+∣B∩C∣).Yeh step kyun? Har pairwise term exactly do sets mein rehne wale elements ka double-counting remove karti hai — theek hai. Lekin ek element jo teeno sets mein hai, woh teeno pairwise intersections mein tha, toh ushe 3 baar add hone ke baad 3 baar subtract kar diya gaya → net 0. Yeh galat hai; hum chahte hain ki woh ek baar count ho.
Toh triple intersection ek baar wapas add karo:
+∣A∩B∩C∣.
Alternating signs kyun forced hain — first-principles proof.
Koi bhi element x lo jo exactly m sets mein hai (m≥1). Hume dikhana hai ki right-hand side ise exactly ek baar count karta hai.
Iska net contribution hai:
S=∑k=1m(−1)k+1(km).
Binomial theorem use karo x=−1 ke saath:
∑k=0m(−1)k(km)=(1−1)m=0.Yeh step kyun? Yeh ek identity hamare saare terms contain karti hai, including k=0 term (0m)=1. k=0 alag karo:
0=(0m)+∑k=1m(−1)k(km)=1−∑k=1m(−1)k+1(km)=1−S.Sign flip kyun?k≥1 ke liye, (−1)k=−(−1)k+1, toh ∑k=1m(−1)k(km)=−S. Isliye 0=1−S, jo deta hai
S=1.Har element exactly ek baar count hota hai — QED.
Recall Feynman: ek 12-saal ke bacche ko explain karo
Socho tumne class mein poocha "kaun football khelta hai, aur kaun cricket?" aur dono haath-counts add kar liye. Kuch bacchon ne haath do baar uthaya kyunki woh dono khelte hain! Toh tum unhe over-count kar loge. Fix karne ke liye, tum dono-wale players ko ek baar count karo aur subtract karo, taaki har koi sirf ek baar count ho. Teen sports ke saath thoda aur tricky hai: jab tum overlapping pairs subtract karte ho toh "teeno khelne wale" bacche accidentally poori tarah erase ho jaate hain, toh tumhe unhe wapas add karna padta hai. Yeh add–subtract–add dance hi inclusion–exclusion hai.