Wiskunde bovenbouw · Grades 10–12
19De binomiale verdeling
Herhaal hetzelfde ja-neeexperiment een aantal keer, onafhankelijk, en tel de successen: de verdeling die je zo krijgt — de binomiale — is de belangrijkste discrete kansverdeling van allemaal. Dit hoofdstuk bouwt haar op met boomdiagrammen en het tellen van paden; de gesloten formule voor die aantallen paden (met faculteiten) komt met het telgereedschap van Hoofdstuk 27, en de verdeling keert terug in Hoofdstuk 33.
19.1 Bernoulli-experimenten
Definitie 19.1 (Bernoulli-experiment)
Een bernoulli-experiment is een experiment met precies twee uitkomsten: succes, met kans , en mislukking, met kans . Van de toevalsvariabele die gelijk is aan bij succes en aan bij mislukking zegt men dat ze de bernoulli-verdeling volgt; dan is
Bewijs van de twee formules. ; en omdat (zowel als is zijn eigen kwadraat), is , zodat Propositie 18.13 geeft dat . ∎
Definitie 19.2 (Herhaalde onafhankelijke experimenten)
Een bernoulli-experiment keer onafhankelijk herhalen betekent: de uitkomst van elk experiment heeft geen invloed op de andere, en de kans van een volledige rij uitkomsten is het product van de kansen langs het bijhorende pad van het boomdiagram — voor elk succes en voor elke mislukking.
Voorbeeld 19.3
Drie onafhankelijke experimenten met succeskans . De rij SMS (succes, mislukking, succes) heeft kans — en dat geldt voor elke rij met precies twee successen, waar ze ook staan: alleen het aantal S’en en M’en telt.
19.2 Aantallen paden en binomiaalcoëfficiënten
Definitie 19.4 (Binomiaalcoëfficiënt)
In het boomdiagram van onafhankelijke experimenten is de binomiaalcoëfficiënt (lees: “ boven ”) het aantal paden met precies successen.
Voorbeeld 19.5
: de paden SSM, SMS, MSS. Net zo is (het pad MMM), en . Per afspraak, en volgens het boomdiagram, is voor elke .
Propositie 19.6 (Regel van Pascal)
Voor geldt
Bewijs. Sorteer de paden met successen in het boomdiagram van experimenten volgens hun laatste experiment. De paden die op een succes eindigen ontstaan uit een pad van de eerste experimenten met successen: daarvan zijn er . De paden die op een mislukking eindigen verlengen een pad met successen onder de eerste experimenten: daarvan zijn er . Elk pad is van precies één van beide soorten. ∎
De regel van Pascal brengt de coëfficiënten rij per rij voort — elk getal is de som van de twee erboven:
Opmerking 19.7
Een gesloten formule, , samen met een stelselmatige theorie van het tellen, wordt in Hoofdstuk 27 opgebouwd. 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)
Zij het aantal successen in onafhankelijke bernoulli-experimenten met parameter . Dan volgt de binomiale verdeling :
Bewijs. De gebeurtenis is de verzameling van alle paden met precies successen. Elk zo’n pad heeft kans : het product langs het pad bevat factoren en factoren , in een of andere volgorde (Definitie 19.2). Er zijn zulke paden (Definitie 19.4), en hun kansen tellen op. ∎
Voorbeeld 19.9
Een quiz heeft onafhankelijke vragen met elk keuzemogelijkheden; een leerling antwoordt willekeurig, zodat elke vraag een succes is met . Het aantal juiste antwoorden volgt , en met rij van de driehoek van Pascal:
De kans op minstens één juist antwoord gebruikt het complement: .
Propositie 19.10 (Verwachtingswaarde en variantie)
Is , dan geldt
Verantwoording. Schrijf , waarbij gelijk is aan wanneer het -de experiment lukt: elke is een bernoulli-variabele met verwachtingswaarde (Definitie 19.1). Gemiddelden tellen op — de bijdragen sommeren geeft . Dat ook de varianties optellen voor onafhankelijke variabelen is waar maar delicater: de formule voor de variantie wordt op dit niveau aangenomen en in Hoofdstuk 34 bewezen. ∎
Methode 19.11 (Een binomiale situatie herkennen)
Ga, vóór je opschrijft, drie ingrediënten na: een vast aantal experimenten, op voorhand vastgelegd; elk experiment heeft twee uitkomsten met dezelfde succeskans ; en de experimenten zijn onafhankelijk (met teruglegging, of met aparte toestellen). 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 heel praktische vraag: als de succeskans werkelijk is, welke aantallen successen zijn dan aannemelijk?
Voorbeeld 19.12
Een machine hoort hoogstens defecte stukken te maken. In een partij van stukken zijn er defect. Pech of kapotte machine? Is de machine in orde, dan volgt het aantal defecten , en is
ongeveer één kans op . Zo’n onwaarschijnlijke gebeurtenis waarnemen is een sterk signaal — men verwerpt de veronderstelling dat de machine nog op werkt, met in het achterhoofd dat de beslissing met kans ongeveer fout kan zijn.
Methode 19.13 (Beslissingsregel bij een binomiaal model)
Om een waargenomen aantal successen te beoordelen tegenover de veronderstelling : bereken onder die veronderstelling de kans op een resultaat dat minstens even extreem is als . Is die kans erg klein (een gangbare afspraak: onder ), verwerp dan de veronderstelling; anders is de waarneming ermee verenigbaar. De drempel is een keuze, geen stelling — de statistiek kwantificeert het risico, en de gebruiker aanvaardt 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.
De rijen en :
Bijgevolg is , en (de symmetrie weerspiegelt het verwisselen van successen en mislukkingen).
Oefening 19.2 ★
Er wordt keer met een eerlijke dobbelsteen gegooid; telt de zessen. Verantwoord dat en bereken , en .
Oplossing
Oplossing van Oefening 19.2.
Vast aantal experimenten ( worpen), twee uitkomsten per worp (zes of geen zes, ), en onafhankelijke worpen: .
Oefening 19.3 ★
Welke van de volgende situaties is binomiaal? Verantwoord.
- Het aantal keer kop bij worpen met een eerlijke munt.
- Het aantal azen bij kaarten uit één spel.
- Het aantal regendagen volgende week, als elke dag onafhankelijk met kans regenachtig is.
Oplossing
Oplossing van Oefening 19.3.
1. Binomiaal : vaste , dezelfde , onafhankelijke worpen.
2. Niet binomiaal: de kaarten worden zonder teruglegging gedeeld, zodat de kans op een aas van kaart tot kaart verandert en de trekkingen niet onafhankelijk zijn.
3. Binomiaal , volgens de veronderstelde onafhankelijkheid.
Oefening 19.4 ★
. Geef , en .
Oplossing
Oplossing van Oefening 19.4.
; ; .
Oefening 19.5 ★★
Een boogschutter raakt het doel bij elk schot onafhankelijk met kans . Bereken bij schoten de kans op precies treffers, en op minstens treffers.
Oplossing
Oplossing van Oefening 19.5.
.
Oefening 19.6 ★★
Een juist-of-fouttoets heeft vragen; een leerling gokt elk antwoord. Wat is de kans om te slagen (minstens juiste antwoorden)?
Oplossing
Oplossing van Oefening 19.6.
; elk pad heeft kans , dus
Gokken levert ongeveer één keer op zeven een voldoende op.
Oefening 19.7 ★★
Elke gekochte doos ontbijtgranen bevat figuurtje A of figuurtje B, elk onafhankelijk met kans . Een verzamelaar koopt dozen. Bereken de kans dat hij minstens één figuurtje van elke soort krijgt. (Complement: alles A of alles B.)
Oplossing
Oplossing van Oefening 19.7.
Het complement van “minstens één van elk” is “alle vijf gelijk”: alles A of alles B, elk met kans . Bijgevolg is
Oefening 19.8 ★★
Een basketbalspeler scoort een vrijworp onafhankelijk met kans . Zij het aantal rake worpen op drie pogingen. Druk en uit als functies van , en zoek voor welke de kans om alle drie te scoren gelijk is aan .
Oplossing
Oplossing van Oefening 19.8.
en . Uit volgt (de derdemachtsfunctie is strikt stijgend, Hoofdstuk 11, dus is de oplossing uniek).
Oefening 19.9 ★★
Hoe vaak moet je met een eerlijke munt gooien opdat de kans op minstens één keer kop groter wordt dan ? (Complement, en probeer daarna opeenvolgende waarden van .)
Oplossing
Oplossing van Oefening 19.9.
, dus luidt de voorwaarde , dus . Omdat en : vanaf worpen.
Oefening 19.10 ★★
Bewijs met de regel van Pascal (Propositie 19.6) en dat de getallen van elke rij van de driehoek van Pascal optellen tot : duid beide leden als een telling van alle paden van het boomdiagram.
Oplossing
Oplossing van Oefening 19.10.
De som van rij telt alle paden van het boomdiagram met experimenten, gesorteerd naar hun aantal successen. Maar het boomdiagram verdubbelt zijn paden bij elk experiment (elk pad splitst in S en M), zodat het er in totaal heeft. Bijgevolg is . Anders, met inductie: rij telt op tot , en de regel van Pascal laat elk getal van rij aan precies twee getallen van rij bijdragen, zodat de rijsommen verdubbelen.
Oefening 19.11 ★★★
Een politicus beweert steun te hebben. In een willekeurige steekproef van mensen steunen er slechts hem.
- Welke verdeling volgt het aantal steunbetuigingen in de steekproef onder die bewering? Bereken .
- Is de waarneming verenigbaar met de bewering, volgens de beslissingsregel van Methode 19.13 met een drempel van ?
Oplossing
Oplossing van Oefening 19.11.
1. Onder de bewering is . De eerste termen optellen geeft
2. Een resultaat dat minstens even extreem is als het waargenomene ( of minder steunbetuigingen) heeft kans ongeveer — net boven de drempel van . Wie de regel strikt toepast, besluit dat de waarneming (nipt) verenigbaar is met de bewering en verwerpt haar niet. Het voorbeeld toont hoe gevoelig grensgevallen zijn voor de keuze van de drempel: bij een afspraak van zou het besluit omslaan.
19.6 Opgave: de bordplank van Galton
Probleem 19.1
Weekendopgave — balletjes, pinnen en de driehoek van Pascal: hoe de klokvorm geboren wordt, waarom een reeks finales de sterkste ploeg bevoordeelt, en wanneer je alarm moet slaan
Laat duizend balletjes door een rooster van pinnen vallen, waarbij elke botsing een eerlijke links-of-rechtsmuntworp is, en de vakjes eronder vullen zich tot een gladde, symmetrische klok — elke keer opnieuw. Het toestel heet de bordplank van Galton, en haar wiskunde is precies de binomiale verdeling van dit hoofdstuk (Stelling 19.8). Deze opgave bouwt de driehoek, laat de plank draaien, leidt een reeks van zeven finales in goede banen, en eindigt waar de binomiale verdeling haar loon verdient: bij de beslissing wanneer een waarneming ons aan een bewering moet doen twijfelen.
Deel I — De driehoek.
- Bouw de driehoek van Pascal tot rij (Propositie 19.6). Formuleer en verklaar de symmetrie in één zin ( voorwerpen kiezen is hetzelfde als …).
- Ga op de rijen en na dat elke rij optelt tot , en bewijs het: wat tellen alle samen?
- Leid de regel van Pascal opnieuw af met het commissieargument: kies één bijzondere persoon en splits de commissies op naar diens lot.
- Bereken twee keer: uit de driehoek, en met de faculteitsformule.
- Ga de trapidentiteit na, en verklaar ze door de regel van Pascal vanaf naar beneden te laten cascaderen.
Deel II — De plank. Een balletje valt door rijen pinnen; bij elke pin stuitert het onafhankelijk met kans naar links of naar rechts. Nummer de vakjes tot volgens het aantal stuiten naar rechts.
- Leg met de checklist van Methode 19.11 uit waarom het vakjesnummer de binomiale verdeling volgt.
- Voor een kleine plank (): geef de vijf kansen per vakje. Welk vakje raakt het drukst bezet?
- Nu en balletjes: hoeveel balletjes verwacht je in het middelste vakje, in vakje en in elk randvakje? Beschrijf de vorm van de stapel.
- Bereken voor de waarden , en (Propositie 19.10); bereken daarna het verwachte aandeel balletjes binnen van het midden (de vakjes tot ) en vergelijk met de garantie van Chebyshev uit Probleem 17.1.
- Een scheefgezette plank stuitert met kans naar rechts: geef , en voor , en beschrijf wat er met de stapel gebeurt.
- In één of twee zinnen: wat in het ontwerp van de plank brengt de klokvorm voort — en waarom stapelen zoveel grootheden uit de werkelijkheid (lichaamslengten, meetfouten) zich op dezelfde manier op? (De diepe stelling achter beide is de centrale limietstelling, het hoogtepunt van de kansrekening in de universitaire volumes.)
Deel III — Best of zeven. Twee ploegen spelen een reeks: wie het eerst wedstrijden wint, pakt de titel; de wedstrijden zijn onafhankelijk.
- Gelijkwaardige ploegen (): bereken de kans dat de reeks met een schoonveeg eindigt (precies wedstrijden).
- Bereken de kans dat de reeks de volle wedstrijden duurt (wat moet de stand na wedstrijden zijn?).
- Vervolledig de kansverdeling van de lengte van de reeks (, , of wedstrijden) voor gelijkwaardige ploegen, en bereken de verwachte lengte. Welke lengten zijn het waarschijnlijkst?
- Nu wint één ploeg elke wedstrijd met . Bereken haar kans om de reeks te winnen (winst in , , of wedstrijden: telkens wint de ploeg de laatste wedstrijd en van de vorige). Wat deed de reeks met haar voorsprong per wedstrijd?
- Vergelijk met één enkele finale () en met een reeks van drie (bereken die). Formuleer het algemene effect van de lengte van een reeks op kunde tegenover geluk — en waarom competities lange finales verkiezen.
Deel IV — Wanneer alarm slaan?
- Er wordt keer met een munt gegooid, met keer kop. Geef voor een eerlijke munt , en de z-score (Probleem 17.1) van de waarneming. Wat is het oordeel volgens de afspraak van ?
- Een leverancier beweert defecte stukken te leveren. In een partij van vind je er defect. Bereken onder die bewering (; ga via , en ). Alarmerend bij de drempel van (Methode 19.13, Oefening 19.11)?
- Volhouden bij de loterij: elk lot wint (iets) met kans . Bereken de kans op minstens één winnend lot bij loten. Het antwoord (, geen !) verbergt een beroemde constante: bereken en houd het getal in gedachten voor jaar 12.
- Slotstuk — het portret van de binomiale verdeling: de checklist om haar te herkennen (vaste , onafhankelijkheid, constante ); de driehoek van Pascal als haar tabel; de klok als haar vorm; en als haar kompas; en haar twee erfgenamen die in jaar 12 wachten — de gladde klokkromme en de wet van de grote aantallen. Telkens één zin.
Oplossing
Oplossing van Probleem 19.1.
1. De rijen: ; ; ; ; ; ; . De symmetrie: kiezen welke voorwerpen je meeneemt is dezelfde handeling als kiezen welke je achterlaat.
2. ; . Bewijs: de tellen de deelverzamelingen van elke omvang van een verzameling met elementen, en alle deelverzamelingen samen zijn er (elk element onafhankelijk erin of eruit).
3. Commissies van personen, gekozen uit mensen onder wie Zoë: die zonder Zoë zijn er (kies alle onder de anderen); die met Zoë zijn er (kies haar collega’s). Samen: .
4. Rij van de driehoek: : dus . Met de formule: .
5. . De cascade: — elke toepassing van de regel van Pascal pelt één trede van de trap af.
6. Een vast aantal stuiten; elke stuit een onafhankelijk bernoulli-experiment met dezelfde ; en het vakjesnummer telt de successen (de stuiten naar rechts): alle drie de vakjes van Methode 19.11 aangevinkt: .
7. De kansen zijn voor de vakjes : het middelste vakje raakt het drukst bezet.
8. De verwachte aantallen zijn : het middelste vakje krijgt balletjes; vakje krijgt er ; en elk randvakje . Een hoog midden dat symmetrisch wegzakt naar flinterdunne randen: de klok.
9. ; ; . Binnen dragen de vakjes tot
van de balletjes — veel beter dan de universele van Chebyshev (Probleem 17.1): klokvormen concentreren zich hard.
10. , , : de stapel houdt haar klokvorm maar schuift haar top naar vakje — een scheve plank is een verzwaarde munt, zichtbaar gemaakt.
11. Het vakjesnummer is een som van veel kleine, onafhankelijke, even grote toevalsduwtjes — en zulke sommen ordenen zich altijd tot de klok: de meeste duwtjes heffen elkaar op, terwijl uitersten eensgezindheid vragen. Lichaamslengten, meetfouten en talloze andere natuurlijke grootheden zijn eveneens sommen van veel kleine onafhankelijke effecten, en daarom duikt overal dezelfde silhouet op; de stelling die dat bevestigt is de centrale limietstelling.
12. Een schoonveeg: één ploeg wint alle : .
13. Zeven wedstrijden vragen – na zes: .
14. Eindigt in : de winnaar pakt wedstrijd 5 en van de eerste : . Eindigt in : . De verdeling over : (som ). Verwachte lengte: wedstrijden. Reeksen van zes en zeven wedstrijden zijn het waarschijnlijkst — de spanning zit in het format ingebouwd.
15. Winst in : ; in : ; in : ; in : . Samen: ongeveer : een ploeg met per wedstrijd wint van de reeksen — de reeks versterkt de voorsprong.
16. Eén enkele finale: . Reeks van drie: . De ladder loopt door met de lengte: meer wedstrijden middelen het geluk uit (de wet van de grote aantallen in het klein), zodat lange finales de kunde bekronen — en dat is precies wat competities verkopen.
17. Eerlijke munt: , ; : voorbij de afspraak van — de munt verdient een onderzoek.
18. ; ; . Dus is : ongeveer — boven de drempel van , dus (nog) niet genoeg om de bewering te verwerpen; een tweede slechte partij zou het verhaal veranderen.
19. : duizend loten met kans één op duizend geven geen zekerheid maar . De steeds terugkerende is in vermomming — de constante maakt haar officiële intrede in jaar 12.
20. Herkenning: vaste , onafhankelijkheid, constante — dan en alleen dan binomiaal. Tabel: de driehoek van Pascal, rij . Vorm: de klok, symmetrisch voor en verschoven daarbuiten. Kompas: het midden en de spreiding — de z-scores van beslissingen. Erfgenamen: de gladde klokkromme die de stapels naderen, en de wet van de grote aantallen die verklaart waarom grote planken nooit liegen.