Inom kombinatorik är Bertrands valsats , uppkallad efter Joseph Bertrand , som publicerade den 1887, ett uttalande som bevisar svaret på frågan "Vad är sannolikheten att i ett val som involverar två kandidater, där den första får p röster och andra får q < p , kommer den första att ligga före den andra under hela tiden för rösträkningen? Svar på denna fråga:
.I sin publikation skissade Bertrand ett bevis på detta teorem genom induktion och undrade om det kunde bevisas med kombinatoriska metoder. Ett sådant bevis föreslogs av D. Andre[1] .
Antag att det finns 5 röster, varav 3 ges till kandidat A och 2 till kandidat B. I detta fall är p =3 och q =2. Eftersom endast resultatet av omröstningen är känt, finns det 10 alternativ för omröstningssekvenser:
För AABAB- sekvensen skulle rösträkningen se ut så här:
Kandidat | A | A | B | A | B |
A | ett | 2 | 2 | 3 | 3 |
B | 0 | 0 | ett | ett | 2 |
Det kan ses att i varje kolumn är antalet röster för A strikt större än antalet röster för B , vilket innebär att denna röstföljd uppfyller villkoret.
För sekvensen AABBA har vi följande:
Kandidat | A | A | B | B | A |
A | ett | 2 | 2 | 2 | 3 |
B | 0 | 0 | ett | 2 | 2 |
I detta fall kommer A och B att vara lika efter den fjärde omröstningen, och därför uppfyller denna sekvens inte det givna villkoret. Av de 10 möjliga sekvenserna passar bara AAABB och AABAB . Därför är sannolikheten att A kommer att ligga före B under hela omröstningsperioden
i full överensstämmelse med satsens förutsägelse.
Således är satsen sann för alla p och q så att p > q > 0.