Wiskunde bovenbouw · Grades 10–12
19De binomiale verdeling
Herhaal hetzelfde ja/nee-experiment meerdere keren, onafhankelijk, en tel de successen: de resulterende verdeling — de binomiale — is de belangrijkste discrete verdeling van allemaal. Dit hoofdstuk bouwt haar op met bomen en padtelling; de gesloten formule voor de padtellingen (met factorialen) komt met de telgereedschappen van Hoofdstuk 27, en de verdeling wordt hernomen in Hoofdstuk 33.
19.1 Bernoulli-proeven
Definitie 19.1 (Bernoulli-proef)
Een Bernoulli-proef is een experiment met precies twee uitkomsten: succes, met kans , en mislukking, met kans . De stochastische variabele gelijk aan bij succes en bij mislukking volgt de Bernoulli-verdeling ; dan
Bewijs van de twee formules. ; en omdat (zowel als is zijn eigen kwadraat), , dus volgens Propositie 18.13, . ∎
Definitie 19.2 (Herhaalde onafhankelijke proeven)
Een Bernoulli-proef keer onafhankelijk herhalen betekent: de uitkomst van elke proef heeft geen invloed op de andere, en de kans van elke volledige reeks uitkomsten is het product van de kansen langs het bijbehorende pad van de boom — voor elk succes, voor elke mislukking.
Voorbeeld 19.3
Drie onafhankelijke proeven met succeskans . De reeks SMS (succes, mislukking, succes) heeft kans — en dat geldt voor elke reeks met precies twee successen, ongeacht de posities: alleen het aantal S’s en M’s telt.
19.2 Padtellingen en binomiaalcoëfficiënten
Definitie 19.4 (Binomiaalcoëfficiënt)
In de boom van onafhankelijke proeven is de binomiaalcoëfficiënt (lees “ over ”) het aantal paden met precies successen.
Voorbeeld 19.5
: de paden SSM, SMS, MSS. Evenzo (het pad MMM), en . Per conventie en per de boom is voor elke .
Propositie 19.6 (Regel van Pascal)
Voor :
Bewijs. Sorteer de paden van de -proevenboom met successen volgens hun laatste proef. Die eindigend in succes komen uit een pad van de eerste proeven met successen: er zijn van. Die eindigend in mislukking verlengen een pad met successen onder de eerste proeven: van. Elk pad is van precies één van de twee soorten. ∎
De regel van Pascal genereert de coëfficiënten rij voor rij — elke entry is de som van de twee erboven:
Opmerking 19.7
Een gesloten formule, , samen met een systematische teltheorie, wordt opgesteld in Hoofdstuk 27. Op dit niveau berekent de driehoek van Pascal elke coëfficiënt die we nodig hebben.
19.3 De binomiale verdeling
Stelling 19.8 (Binomiale verdeling)
Laat de successen tellen in onafhankelijke Bernoulli-proeven van parameter . Dan volgt de binomiale verdeling :
Bewijs. De gebeurtenis is de collectie van alle paden met precies successen. Elk zulk pad heeft kans : het product langs het pad bevat factoren en factoren , in zekere volgorde (Definitie 19.2). Er zijn zulke paden (Definitie 19.4), en hun kansen tellen op. ∎
Voorbeeld 19.9
Een quiz heeft onafhankelijke vragen, elk met keuzes; een leerling antwoordt willekeurig, dus elke vraag is een succes met . Het aantal correcte antwoorden volgt , en, met rij van de driehoek van Pascal:
De kans op minstens één correct antwoord gebruikt het complement: .
Propositie 19.10 (Verwachting en variantie)
Als :
Rechtvaardiging. Schrijf , waar gelijk is aan als de -de proef slaagt: elke is een Bernoulli-variabele van verwachting (Definitie 19.1). Gemiddelden tellen op — sommeren van de bijdragen geeft . Dat varianties ook optellen voor onafhankelijke variabelen is waar maar delicater: de variantieformule is toegegeven op dit niveau en bewezen in Hoofdstuk 34. ∎
Methode 19.11 (Een binomiale situatie herkennen)
Voordat je schrijft, controleer drie ingrediënten: een vast aantal proeven, vooraf beslist; elke proef heeft twee uitkomsten met dezelfde succeskans ; de proeven zijn onafhankelijk (met teruglegging, of aparte apparaten). Trekken zonder teruglegging uit een kleine populatie is niet binomiaal — de kans verandert bij elke trekking (Oefening 18.6).
19.4 Steekproeven: is de waarneming verrassend?
De binomiale verdeling beantwoordt een zeer praktische vraag: als de succeskans echt is, welke aantallen successen zijn aannemelijk?
Voorbeeld 19.12
Een machine zou ten hoogste defecte stukken moeten produceren. In een batch van stukken zijn er defect. Pech of kapotte machine? Als de machine in orde is, volgt het aantal defecten , en
ongeveer één kans op . Een gebeurtenis zo onwaarschijnlijk waarnemen is een sterk signaal — men verwerpt de hypothese dat de machine nog op werkt, met in gedachten dat de beslissing fout kan zijn met kans ongeveer .
Methode 19.13 (Beslisregel vanuit een binomiaal model)
Om een waargenomen aantal successen te beoordelen tegen een hypothese : bereken de kans, onder de hypothese, van een resultaat minstens zo extreem als . Als die kans zeer klein is (een gebruikelijke conventie: onder ), verwerp de hypothese; anders is de waarneming ermee verenigbaar. De drempel is een keuze, geen stelling — statistiek kwantificeert het risico, en de gebruiker accepteert het.
19.5 Oefeningen
Oefening 19.1 ★
Breid de driehoek van Pascal uit tot rij , en geef de waarden van , en .
Oplossing
Oplossing van Oefening 19.1.
Rijen en :
Dus , , (de symmetrie weerspiegelt successen en mislukkingen verwisselen).
Oefening 19.2 ★
Een eerlijke dobbelsteen wordt keer gegooid; telt de zessen. Rechtvaardig dat en bereken , en .
Oplossing
Oplossing van Oefening 19.2.
Vast aantal proeven ( worpen), twee uitkomsten per worp (zes of niet, ), onafhankelijke worpen: .
Oefening 19.3 ★
Welke van de volgende is binomiaal? Rechtvaardig.
- Aantal koppen in worpen met een eerlijke munt.
- Aantal azen in kaarten uit één spel.
- Aantal regendagen volgende week, als elke dag regent met kans onafhankelijk.
Oplossing
Oplossing van Oefening 19.3.
1. Binomiaal : vaste , zelfde , onafhankelijke worpen.
2. Niet binomiaal: de kaarten worden zonder teruglegging gedeeld, dus de kans op een aas verandert van kaart tot kaart en de trekkingen zijn niet onafhankelijk.
3. Binomiaal door de gestelde onafhankelijkheids-aanname.
Oefening 19.4 ★
. Geef , en .
Oplossing
Oplossing van Oefening 19.4.
; ; .
Oefening 19.5 ★★
Een boogschutter raakt het doel met kans per schot, onafhankelijk. In schoten, bereken de kans op precies treffers, en op minstens treffers.
Oplossing
Oplossing van Oefening 19.5.
.
Oefening 19.6 ★★
Een waar/onwaar-toets heeft vragen; een leerling raadt elk antwoord. Wat is de kans om te slagen (minstens correcte antwoorden)?
Oplossing
Oplossing van Oefening 19.6.
; elk pad heeft kans , dus
Raden slaagt ongeveer één op de zeven keer.
Oefening 19.7 ★★
Elke gekochte graandoos bevat figuurtje A of figuurtje B, met kans elk, onafhankelijk. Een verzamelaar koopt dozen. Bereken de kans dat de verzamelaar minstens één figuurtje van elke soort krijgt. (Complement: allemaal A of allemaal B.)
Oplossing
Oplossing van Oefening 19.7.
Het complement van “minstens één van elk” is “alle vijf identiek”: alle A of alle B, elk met kans . Dus
Oefening 19.8 ★★
Een basketbalspeler scoort vrije worpen met kans , onafhankelijk. Laat het aantal scores in drie worpen zijn. Druk en uit als functies van , en vind voor welke de kans om alle drie te scoren gelijk is aan .
Oplossing
Oplossing van Oefening 19.8.
en . Oplossen van geeft (de derdemachtfunctie is strikt stijgend, Hoofdstuk 11, dus de oplossing is uniek).
Oefening 19.9 ★★
Hoe vaak moet een eerlijke munt gegooid worden opdat de kans op minstens één kop overschrijdt? (Complement, probeer daarna opeenvolgende waarden van .)
Oplossing
Oplossing van Oefening 19.9.
, dus de voorwaarde is , d.w.z. . Omdat en : vanaf worpen.
Oefening 19.10 ★★
Bewijs met de regel van Pascal (Propositie 19.6) en dat de entries van elke rij van de driehoek van Pascal tot sommen: interpreteer beide kanten als het tellen van alle paden van de boom.
Oplossing
Oplossing van Oefening 19.10.
De som van rij telt alle paden van de -proevenboom, gesorteerd op aantal successen. Maar de boom verdubbelt haar paden bij elke proef (elk pad splitst in S en M), dus ze heeft paden in totaal. Dus . Alternatief, door inductie: rij somt tot , en de regel van Pascal zorgt dat elke entry van rij bijdraagt aan precies twee entries van rij , dus de rijsommen verdubbelen.
Oefening 19.11 ★★★
Een politicus claimt goedkeuring. In een willekeurige steekproef van mensen keuren slechts goed.
- Onder de claim, welke verdeling volgt het aantal goedkeuringen in de steekproef? Bereken .
- Met de beslisregel van Methode 19.13 met een drempel van , is de waarneming verenigbaar met de claim?
Oplossing
Oplossing van Oefening 19.11.
1. Onder de claim, . Sommeren van de eerste termen:
2. Een resultaat minstens zo extreem als het waargenomene ( of minder goedkeuringen) heeft kans ongeveer — net boven de drempel van . Strikt de regel toepassend is de waarneming (nauwelijks) verenigbaar met de claim en verwerpt men haar niet. Het voorbeeld toont hoe gevoelig grensbeslissingen zijn voor de keuze van de drempel: met een conventie van zou de conclusie omslaan.